Spartan
From MaRDI portal
Software:5974971
swMATH46419MaRDI QIDQ5974971FDOQ5974971
Author name not available (Why is that?)
Source code repository: https://github.com/microsoft/Spartan
Cited In (12)
- ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines
- 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
- Threshold Schnorr with stateless deterministic signing from standard assumptions
- Time- and space-efficient arguments from groups of unknown order
- Non-interactive batch arguments for NP from standard 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
- Gemini: elastic SNARKs for diverse environments
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
This page was built for software: Spartan
