Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks

DOI10.1007/978-3-319-63715-0_20zbMath1410.94077OpenAlexW2726052863MaRDI QIDQ1680230

Publication date: 15 November 2017

Full work available at URL: https://discovery.ucl.ac.uk/id/eprint/10039783/

Related Items (25)

\textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments ⋮ Updateable Inner Product Argument with Logarithmic Verifier and Applications ⋮ On Black-Box Extensions of Non-interactive Zero-Knowledge Arguments, and Signatures Directly from Simulation Soundness ⋮ Signatures of Knowledge for Boolean Circuits Under Standard Assumptions ⋮ Composition with knowledge assumptions ⋮ Signatures of knowledge for Boolean circuits under standard assumptions ⋮ Somewhere statistically binding commitment schemes with applications ⋮ Another look at extraction and randomization of Groth's zk-SNARK ⋮ Mining for privacy: how to bootstrap a snarky blockchain ⋮ Practical witness-key-agreement for blockchain-based dark pools financial trading ⋮ Subversion-resistant quasi-adaptive NIZK and applications to modular zk-SNARKs ⋮ Efficient chameleon hash functions in the enhanced collision resistant model ⋮ Fiat-Shamir bulletproofs are non-malleable (in the algebraic group model) ⋮ A Unified Framework for Non-universal SNARKs ⋮ Witness-succinct universally-composable SNARKs ⋮ Spartan and bulletproofs are simulation-extractable (for free!) ⋮ Obtaining simulation extractable NIZKs in the updatable CRS model generically ⋮ What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable? ⋮ Onion routing with replies ⋮ Gentry-Wichs is tight: a falsifiable non-adaptively sound SNARG ⋮ Proofs for inner pairing products and applications ⋮ Unnamed Item ⋮ \textsf{Orbweaver}: succinct linear functional commitments from lattices ⋮ An Introduction to the Use of zk-SNARKs in Blockchains ⋮ Election control through social influence with unknown preferences

This page was built for publication: Snarky signatures: minimal signatures of knowledge from simulation-extractable snarks