Skip to content

Commit

Permalink
add lookup gadget
Browse files Browse the repository at this point in the history 
add rwlookup test: heaplify

add pre-computed challenge mechanism

fix type mutabble in bench

make clippy happy

optimise constraints

wip

add lookupsnark

reformat

constraints scope to immutable stepcircuit
  • Loading branch information
@hero78119
hero78119 committed Oct 8, 2023
1 parent c657b04 commit 478e3e3
Show file tree
Hide file tree
Showing 7 changed files with 2,386 additions and 18 deletions.
Loading

0 comments on commit 478e3e3

Please sign in to comment.