search

NilFoundation / zkLLVM

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

[Feature request]:Recursive verifier without dynamic loops #538

Closed ETatuzova closed 5 months ago