Spartan

swMATH46419MaRDI QIDQ5974971

No author found.

Source code repository: https://github.com/microsoft/Spartan

Described by source

• Spartan: efficient and general-purpose zkSNARKs without trusted setup

Related Items (12)

Threshold Schnorr with stateless deterministic signing from standard assumptions ⋮ \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments ⋮ Sumcheck arguments and their applications ⋮ An algebraic framework for universal and updatable SNARKs ⋮ Time- and space-efficient arguments from groups of unknown order ⋮ Non-interactive batch arguments for NP from standard assumptions ⋮ BooLigero: improved sublinear zero knowledge proofs for Boolean circuits ⋮ Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs ⋮ Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier ⋮ Gemini: elastic SNARKs for diverse environments ⋮ ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines ⋮ TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures

This page was built for software: Spartan