Arya

MaRDI QIDQ40215swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-030-03326-2_20

Described by source

• Arya: nearly linear-time zero-knowledge proofs for correct program execution

Cited in

(13)

• Pinocchio
• SNARKs for C
• vSQL
• vRAM
• libiop
• Gemini: elastic SNARKs for diverse environments
• Libra
• CPSNARKs-Set
• Marlin
• LegoSNARK
• MuSig2
• Spartan
• DIZK

This page was built for software: Arya