On interactive oracle proofs for Boolean R1CS statements (Q6045202)
From MaRDI portal
scientific article; zbMATH DE number 7689612
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On interactive oracle proofs for Boolean R1CS statements |
scientific article; zbMATH DE number 7689612 |
Statements
On interactive oracle proofs for Boolean R1CS statements (English)
0 references
26 May 2023
0 references
reverse multiplication friendly embeddings
0 references
incheck protocols
0 references
rowcheck protocols
0 references
0 references
0 references