Recursive proof composition from accumulation schemes (Q2119035)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recursive proof composition from accumulation schemes |
scientific article |
Statements
Recursive proof composition from accumulation schemes (English)
0 references
23 March 2022
0 references
succinct arguments
0 references
proof-carrying data
0 references
recursive proof composition
0 references
