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