Non-fixed lookups in Halo 2

Orbis-Tertius / Orbis

A general-purpose layer 2 zk-rollup scaling solution for Cardano

Apache License 2.0

21 stars 1 forks source link

Non-fixed lookups in Halo 2 #66

Open morganthomas opened 2 years ago

morganthomas commented 2 years ago

Is it possible to do lookup arguments where the lookup table includes non-fixed columns? If not, when was this capability taken out (as it used to be there)? Why was it taken out? What would it take to get it back? What issues does this introduce if we get it back?

ursi commented 2 years ago

discord discussion: https://discord.com/channels/809218587167293450/908272377727701033/946137800355487805 where it was removed: https://github.com/zcash/halo2/pull/347/commits/5af7a7abfa4a97a9dcdde8bc67dbdbc19bb7205f issue for adding it back: https://github.com/zcash/halo2/issues/534 an alternative (that doesn't exist yet, but I guess can be simulated with a fork without too much effort?): https://github.com/zcash/halo2/issues/527