Marlin
From MaRDI portal
Cited in
(58)- TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
- \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments
- An algebraic framework for universal and updatable SNARKs
- Proof-carrying data without succinct arguments
- Time- and space-efficient arguments from groups of unknown order
- Tight state-restoration soundness in the algebraic group model
- Composition with knowledge assumptions
- Polynomial IOPs for linear algebra relations
- \textsf{ECLIPSE}: enhanced compiling method for Pedersen-committed zkSNARK engines
- Sumcheck arguments and their applications
- BooLigero: improved sublinear zero knowledge proofs for Boolean circuits
- Barreto-Naehrig
- Pinocchio
- GNUC
- eBATS
- SNARKs for C
- zk-SNARK
- Arya
- Ligero
- vSQL
- vRAM
- ZKBoo
- ANONIZE
- Ed25519
- Geppetto
- libiop
- libsnark
- U-Prove
- Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs
- Guaranteed output in \(O(\sqrt{n})\) rounds for round-robin sampling protocols
- Families of SNARK-friendly 2-chains of elliptic curves
- Gemini: elastic SNARKs for diverse environments
- On succinct non-interactive arguments in relativized worlds
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
- Mining for privacy: how to bootstrap a snarky blockchain
- libff
- Prio+
- constantine
- ginger-lib
- SwiftEC
- wasmcurves
- zkCNN
- MARVELlous
- MiMC
- Updateable Inner Product Argument with Logarithmic Verifier and Applications
- A PCP theorem for interactive proofs and applications
- Libra
- CPSNARKs-Set
- Halo2
- jsnark
- MP-SPDZ
- Succinct functional commitment for a large class of arithmetic circuits
- LegoSNARK
- MuSig2
- xJsnark
- Spartan
- EDRAX
- DIZK
This page was built for software: Marlin
