The following pages link to Shorter quadratic QA-NIZK proofs (Q2289213):
Displaying 11 items.
- Shorter non-interactive zero-knowledge arguments and ZAPs for algebraic languages (Q2104242) (← links)
- Signatures of knowledge for Boolean circuits under standard assumptions (Q2143135) (← links)
- Somewhere statistically binding commitment schemes with applications (Q2145407) (← links)
- Subversion-resistant quasi-adaptive NIZK and applications to modular zk-SNARKs (Q2149845) (← links)
- Fully-succinct publicly verifiable delegation from constant-size assumptions (Q2695648) (← links)
- On QA-NIZK in the BPK Model (Q5041171) (← links)
- Signatures of Knowledge for Boolean Circuits Under Standard Assumptions (Q5048960) (← links)
- Gentry-Wichs is tight: a falsifiable non-adaptively sound SNARG (Q6157544) (← links)
- CRS-updatable asymmetric quasi-adaptive NIZK arguments (Q6169455) (← links)
- On black-box knowledge-sound commit-and-prove SNARKs (Q6562559) (← links)
- Set (non-)membership NIZKs from determinantal accumulators (Q6619944) (← links)