zkllvm-blueprint icon indicating copy to clipboard operation
zkllvm-blueprint copied to clipboard

Lookup range check variant

Open Iluvmagick opened this issue 1 year ago • 0 comments

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.

Iluvmagick avatar Dec 01 '23 11:12 Iluvmagick