A subversion-resistant SNARK
From MaRDI portal
Publication:1701432
DOI10.1007/978-3-319-70700-6_1zbMath1417.94036OpenAlexW2770559838MaRDI QIDQ1701432
Michał Zając, Helger Lipmaa, Behzad Abdolmaleki, Karim Baghery
Publication date: 23 February 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-70700-6_1
snarkcommon reference stringnon-interactive zero knowledgegeneric group modelsubversion zero knowledge
Related Items (19)
An algebraic framework for universal and updatable SNARKs ⋮ Updateable Inner Product Argument with Logarithmic Verifier and Applications ⋮ On QA-NIZK in the BPK Model ⋮ Practical witness-key-agreement for blockchain-based dark pools financial trading ⋮ Subversion-resistant quasi-adaptive NIZK and applications to modular zk-SNARKs ⋮ A Unified Framework for Non-universal SNARKs ⋮ Verifiably-Extractable OWFs and Their Applications to Subversion Zero-Knowledge ⋮ On the security of functional encryption in the generic group model ⋮ Counting vampires: from univariate sumcheck to updatable ZK-SNARK ⋮ NIWI and new notions of extraction for algebraic languages ⋮ \(\mathcal{Lunar}\): a toolbox for more efficient universal and updatable zkSNARKs and commit-and-prove extensions ⋮ Gentry-Wichs is tight: a falsifiable non-adaptively sound SNARG ⋮ Snarky ceremonies ⋮ Smooth zero-knowledge hash functions ⋮ Updatable NIZKs from non-interactive zaps ⋮ CRS-updatable asymmetric quasi-adaptive NIZK arguments ⋮ Succinct functional commitment for a large class of arithmetic circuits ⋮ On subversion-resistant SNARKs ⋮ Impossibility on tamper-resilient cryptography with uniqueness properties
This page was built for publication: A subversion-resistant SNARK