NilFoundation / crypto3-zk

Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
MIT License
33 stars 13 forks source link

Mechanism to reuse subtables/columns in lookups #236

Open dkales opened 11 months ago

dkales commented 11 months ago

We are currently working to integrate lookups in our components

We have several different lookup tables, where the first column is a simple 0..N index table and the second column is the value that is looked up. The first column is the exact same for all different lookup tables, so it could possibly be de-duplicated. Is there a way ATM to re-use the first column across multiple lookup tables, such that it only uses a single column in the trace?

As an example (ignore the concrete values) here are two lookups A,B, with 2 columns each, where the x column is the same. Ax Ay Bx By
0 51 0 100
1 52 1 101
2 53 2 102
3 54 3 103