[PDF][PDF] Brakedown: Linear-time and post-quantum SNARKs for R1CS.
A Golovnev, J Lee - iacr.steepath.eu
This paper introduces Brakedown, 1 the first built system that provides linear-time SNARKs
for NP, meaning the prover incurs O (N) finite field operations to prove the satisfiability of an …
for NP, meaning the prover incurs O (N) finite field operations to prove the satisfiability of an …
[PDF][PDF] Brakedown: Linear-time and post-quantum SNARKs for R1CS
A Golovnev, J Lee, S Setty, J Thaler, RS Wahby - scholar.archive.org
This paper introduces Brakedown, 1 the first built system that provides linear-time SNARKs
for NP, meaning the prover incurs O (N) finite field operations to prove the satisfiability of an …
for NP, meaning the prover incurs O (N) finite field operations to prove the satisfiability of an …