A subversion-resistant SNARK
From MaRDI portal
Publication:1701432
DOI10.1007/978-3-319-70700-6_1zbMATH Open1417.94036OpenAlexW2770559838MaRDI QIDQ1701432FDOQ1701432
Authors: Behzad Abdolmaleki, Karim Baghery, Helger Lipmaa, Michal Zajac 
Publication date: 23 February 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-70700-6_1
Recommendations
snarkcommon reference stringgeneric group modelnon-interactive zero knowledgesubversion zero knowledge
Cited In (29)
- NIWI and new notions of extraction for algebraic languages
- A unified framework for non-universal SNARKs
- On black-box knowledge-sound commit-and-prove SNARKs
- Updatable NIZKs from non-interactive zaps
- An algebraic framework for universal and updatable SNARKs
- Snarky ceremonies
- NIZKs with an untrusted CRS: security in the face of parameter subversion
- Algebraic group model with oblivious sampling
- Verifiably-Extractable OWFs and Their Applications to Subversion Zero-Knowledge
- Subversion-zero-knowledge SNARKs
- Smooth zero-knowledge hash functions
- CRS-updatable asymmetric quasi-adaptive NIZK arguments
- Subversion-resistant simulation (knowledge) sound NIZKs
- \(\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
- On QA-NIZK in the BPK model
- On subversion-resistant SNARKs
- Benchmarking the setup of updatable zk-SNARKs
- Subversion-resistant quasi-adaptive NIZK and applications to modular zk-SNARKs
- Practical witness-key-agreement for blockchain-based dark pools financial trading
- Witness semantic security
- UC-secure CRS generation for SNARKs
- Impossibility on tamper-resilient cryptography with uniqueness properties
- Updatable Trapdoor SPHFs: Modular Construction of Updatable Zero-Knowledge Arguments and More
- Updateable Inner Product Argument with Logarithmic Verifier and Applications
- Polymath: Groth16 is not the limit
- Succinct functional commitment for a large class of arithmetic circuits
- On the security of functional encryption in the generic group model
- Counting vampires: from univariate sumcheck to updatable ZK-SNARK
This page was built for publication: A subversion-resistant SNARK
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1701432)
