Improved SNARK Frontend for Highly Repetitive Computations

ePrint Report: Improved SNARK Frontend for Highly Repetitive Computations

Sriram Sridhar, Yinuo Zhang

Modern SNARK designs typically feature a frontend-backend paradigm: The frontend compiles a user's program into some equivalent circuit representation, while the backend calls for a SNARK specifically made for proving satisfiability of the circuit. While the circuit may be defined over small fields, the backend prover often needs to lift the computation to much larger fields for achieving soundness. This gap results in concrete overheads, for example, …

backend defined eprint report feature frontend may paradigm program report representation