Arya

swMATH28501MaRDI QIDQ40215FDOQ40215

Author name not available (Why is that?)

Described by source

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

Cited In (1)

• Gemini: elastic SNARKs for diverse environments

This page was built for software: Arya