Marlin
From MaRDI portal
Software:1353387
No author found.
Source code repository: https://github.com/arkworks-rs/marlin
Related Items (21)
\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 ⋮ Updateable Inner Product Argument with Logarithmic Verifier and Applications ⋮ 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 ⋮ Polynomial IOPs for Linear Algebra Relations ⋮ ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines ⋮ Succinct functional commitment for a large class of arithmetic circuits ⋮ TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
This page was built for software: Marlin