Spartan and Bulletproofs are simulation-extractable (for free!)

ePrint Report: Spartan and Bulletproofs are simulation-extractable (for free!)

Quang Dao, Paul Grubbs

Increasing deployment of advanced zero-knowledge proof systems, especially zkSNARKs, has raised critical questions about their security against real-world attacks. Two classes of attacks of concern in practice are adaptive soundness attacks, where an attacker can prove false statements by choosing its public input after generating a proof, and malleability attacks, where an attacker can use a valid proof to create another valid proof it could not have …

advanced attacks critical dao deployment eprint report free input knowledge paul practice prove public questions report security sim simulation systems valid work world zksnarks