Pages that link to "Item:Q2849388"
From MaRDI portal
The following pages link to SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge (Q2849388):
Displaying 9 items.
- TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures (Q2117059) (← links)
- A survey of elliptic curves for proof systems (Q6063127) (← links)
- Resumable zero-knowledge for circuits from symmetric key primitives (Q6108797) (← links)
- Obtaining simulation extractable NIZKs in the updatable CRS model generically (Q6118305) (← links)
- Updatable NIZKs from non-interactive zaps (Q6164392) (← links)
- Accountable Storage (Q6487222) (← links)
- Distilling Constraints in Zero-Knowledge Protocols (Q6487324) (← links)
- Optimized and Secure Pairing-Friendly Elliptic Curves Suitable for One Layer Proof Composition (Q6488029) (← links)
- Secure formation of public parameters and elimination of vulnerabilities of zero-knowledge succint non-interactive arguments of knowledge (Q6495963) (← links)
