zkllvm-blueprint
zkllvm-blueprint copied to clipboard
Lookup range check variant
For small n (e.g. 8 for now) we can do a range_check via lookup argument. Might be able to abuse other tables for that, although unsure how would a generic mechanism for that look like.