search

NilFoundation / zkLLVM

Zero-Knowledge Proof Systems Circuit Compiler
https://docs.nil.foundation/zkllvm
285 stars 48 forks source link

Removed dynamic for-loops from recursive verifier #538 #539

Closed ETatuzova closed 7 months ago