NilFoundation / zkllvm-blueprint

Circuit components definition library for zkLLVM circuit compiler
MIT License
43 stars 17 forks source link

Dynamic lookups #413

Closed ETatuzova closed 3 months ago

ETatuzova commented 4 months ago

Any component may reserve any dynamic lookup table from lookup_library by name. This table will have its own id and won't take part in table packing procedures

Some component may define dynamic table by given name. This means that this component will assignments for this table, add lookup_table structure to constraint system, store lookup_table in the library, it may be retrieved by table name

Table with given name should be defined only once. Other components may create lookup_constraints for this table. It may be done before table will be defined.

Related to NilFoundation/crypto3#283