Link Extended Tables
aszepieniec opened this issue · 1 comments
aszepieniec commented
Currently, the extended tables have AIR constraints. The next step is to ensure that the extension columns compute correct values across distinct tables. Concretely, we need:
- a way to represent these relation checks
- a way to perform them
aszepieniec commented
Solved in b5ff3d7.