Arya: nearly linear-time zero-knowledge proofs for correct program execution (Q1633476)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Arya: nearly linear-time zero-knowledge proofs for correct program execution |
scientific article |
Statements
Arya: nearly linear-time zero-knowledge proofs for correct program execution (English)
0 references
20 December 2018
0 references
zero-knowledge proofs
0 references
succinct arguments of knowledge
0 references
TinyRAM
0 references
ideal linear commitments
0 references
post-quantum security
0 references
