search

NilFoundation / zkLLVM

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

[Feature request]: Remove assignment table from transpiler's and recursive_gen's parameters #491

Open ETatuzova opened 8 months ago

ETatuzova commented 8 months ago

Is your feature request related to a problem? Please describe. EVM verifier and recursive verifier shouldn't depend on public input.

Describe the solution or interface you'd like That's why we need to have only constraint_system and common_data as inputs.

Additional context Related to NilFoundation/proof-producer#31