Pages that link to "Item:Q6045202"
From MaRDI portal
The following pages link to On interactive oracle proofs for Boolean R1CS statements (Q6045202):
Displaying 6 items.
- Batch ZK Proof and Verification of OR Logic (Q3624273) (← links)
- Succinct interactive oracle proofs: applications and limitations (Q6155266) (← links)
- Scalable and transparent proofs over all large fields, via elliptic curves. ECFFT. II (Q6169368) (← links)
- Amortized NISC over \(\mathbb{Z}_{2^k}\) from RMFE (Q6595673) (← links)
- Degree-\(D\) reverse multiplication-friendly embeddings: constructions and applications (Q6595675) (← links)
- Fully secure MPC and zk-FLIOP over rings: new constructions, improvements and extensions (Q6653026) (← links)