On interactive oracle proofs for Boolean R1CS statements (Q6045202)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7689612
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0 references
0.9024648
0 references
0.88179517
0 references
0 references
0.8669099
0 references
0 references
0 references
0.86251175
0 references
