swMATH46419MaRDI QIDQ5974971FDOQ5974971
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/978-3-030-56877-1_25
Source code repository: https://github.com/microsoft/Spartan
Cited In (37)
- zkCNN
- EDRAX
- 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
- DIZK
- LegoSNARK
- Non-interactive batch arguments for NP from standard assumptions
- \textsf{ECLIPSE}: enhanced compiling method for Pedersen-committed zkSNARK engines
- Sumcheck arguments and their applications
- BooLigero: improved sublinear zero knowledge proofs for Boolean circuits
- Libra
- Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs
- Pinocchio
- SNARKs for C
- ADSNARK
- zk-SNARK
- Arya
- Ligero
- vSQL
- vRAM
- ZKBoo
- Ed25519
- Geppetto
- libiop
- libsnark
- Gemini: elastic SNARKs for diverse environments
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
- zkledger
- CPSNARKs-Set
- Halo2
- Marlin
- dalek
- MuSig2
- xJsnark
This page was built for software: Spartan
