Marlin
From MaRDI portal
Software:1353387
swMATH41698MaRDI QIDQ1353387FDOQ1353387
Author name not available (Why is that?)
Source code repository: https://github.com/arkworks-rs/marlin
Cited In (21)
- ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines
- Polynomial IOPs for Linear Algebra Relations
- 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
- Sumcheck arguments and their applications
- BooLigero: improved sublinear zero knowledge proofs for Boolean circuits
- 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
- Updateable Inner Product Argument with Logarithmic Verifier and Applications
- A PCP theorem for interactive proofs and applications
- Succinct functional commitment for a large class of arithmetic circuits
This page was built for software: Marlin