![Proofs, Consensus, and Decentralizing Society_hi-res logo](/sites/default/files/styles/workshop_banner_sm_1x/public/2023-01/Proofs%2C%20Consensus%2C%20and%20Decentralizing%20Society_hi-res.png.jpg?itok=gluZ2qCs)
Abstract
We show how to obtain a publicly verifiable zero-knowledge argument system based on public-coin honest-verifier zero-knowledge proofs and any blockchain that satisfies a mild assumption. The assumption is that sufficiently many future (honest) blocks include a high min-entropy string. Our publicly-verifiable zero-knowledge proofs are secure against a verifier/prover that can corrupt blockchain players adaptively. The only previously known construction of publicly verifiable zero-knowledge proofs, provided by Goyal and Goyal in TCC 2017 works only for proof-of-stake blockchains, allows only static corruption of the stakeholders and restricts the use of the secret keys of honest stakeholders.