A subversion-resistant SNARK
From MaRDI portal
Recommendations
Cited in
(30)- Subversion-zero-knowledge SNARKs
- On subversion-resistant SNARKs
- Impossibility on tamper-resilient cryptography with uniqueness properties
- An algebraic framework for universal and updatable SNARKs
- Practical witness-key-agreement for blockchain-based dark pools financial trading
- Subversion-resistant quasi-adaptive NIZK and applications to modular zk-SNARKs
- UC-secure CRS generation for SNARKs
- Subversion-resistant simulation (knowledge) sound NIZKs
- Succinct functional commitment for a large class of arithmetic circuits
- NIZKs with an untrusted CRS: security in the face of parameter subversion
- Updateable Inner Product Argument with Logarithmic Verifier and Applications
- On QA-NIZK in the BPK model
- 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
- Updatable Trapdoor SPHFs: Modular Construction of Updatable Zero-Knowledge Arguments and More
- On black-box knowledge-sound commit-and-prove SNARKs
- Algebraic group model with oblivious sampling
- Benchmarking the setup of updatable zk-SNARKs
- Witness semantic security
- Polymath: Groth16 is not the limit
- Key exchange in the post-Snowden era: universally composable subversion-resilient PAKE
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)
