The following pages link to vSQL (Q40218):
Displaying 9 items.
- Arya: nearly linear-time zero-knowledge proofs for correct program execution (Q1633476) (← links)
- Spartan: efficient and general-purpose zkSNARKs without trusted setup (Q2104239) (← links)
- Sumcheck arguments and their applications (Q2120101) (← links)
- Zero-knowledge proofs for set membership: efficient, succinct, modular (Q2145404) (← links)
- Gemini: elastic SNARKs for diverse environments (Q2170056) (← links)
- Aurora: transparent succinct arguments for R1CS (Q2292641) (← links)
- Libra: succinct zero-knowledge proofs with optimal prover computation (Q2304944) (← links)
- Succinct functional commitment for a large class of arithmetic circuits (Q2691602) (← links)
- Updateable Inner Product Argument with Logarithmic Verifier and Applications (Q5041169) (← links)
