Bulletproofs With Stochastic Equation Sets

ePrint Report: Bulletproofs With Stochastic Equation Sets

Michael Brand, Benoit Poletti

Bulletproofs are general-purpose Zero Knowledge Proof protocols that allow a Prover to demonstrate to a Verifier knowledge of a solution to a set of equations, represented as a Rank 1 Constraint System.


We present a protocol extending the standard Bulletproof protocol, which introduces a second layer of interactivity to the protocol, by allowing the Verifier to choose the set of equations after the Prover has already committed to portions …

brand eprint report equation general knowledge michael proof protocol protocols report solution standard system zero knowledge zero knowledge proof