Pages that link to "Item:Q2145410"
From MaRDI portal
The following pages link to BooLigero: improved sublinear zero knowledge proofs for Boolean circuits (Q2145410):
Displaying 4 items.
- On interactive oracle proofs for Boolean R1CS statements (Q6045202) (← links)
- Ligero: lightweight sublinear arguments without a trusted setup (Q6063128) (← links)
- Your reputation's safe with me: framing-free distributed zero-knowledge proofs (Q6581782) (← links)
- Threshold linear secret sharing to the rescue of MPC-in-the-head (Q6595690) (← links)