[Feature request]: Move all proof-generating functionality to preprocessor

NilFoundation / zkLLVM

Zero-Knowledge Proof Systems Circuit Compiler

https://docs.nil.foundation/zkllvm

278 stars 48 forks source link

Open ETatuzova opened 8 months ago

ETatuzova commented 8 months ago

[ ] Replace proof-generation in transpiler and recursive_gen proof generation calls with proof-producer calls in *_prove and *_evm_verifier targets.
[ ] Remove proof -m gen-test-proof from transpiler and -m gen_input from recursive_gen app