The following pages link to ZKBoo (Q40217):
Displaying 24 items.
- Arya: nearly linear-time zero-knowledge proofs for correct program execution (Q1633476) (← links)
- Zero-knowledge arguments for lattice-based PRFs and applications to E-cash (Q1701449) (← links)
- Traceable ring signatures: general framework and post-quantum security (Q2034982) (← links)
- Keyed-fully homomorphic encryption without indistinguishability obfuscation (Q2096599) (← links)
- Post-quantum ID-based ring signatures from symmetric-key primitives (Q2096649) (← links)
- TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures (Q2117059) (← links)
- Differential power analysis of the Picnic signature scheme (Q2118537) (← links)
- Zero-knowledge proofs for committed symmetric Boolean functions (Q2118554) (← links)
- On the round complexity of black-box secure MPC (Q2128561) (← links)
- BooLigero: improved sublinear zero knowledge proofs for Boolean circuits (Q2145410) (← links)
- MPC-in-multi-heads: a multi-prover zero-knowledge proof system (or: how to jointly prove any NP statements in ZK) (Q2148762) (← links)
- A simple post-quantum non-interactive zero-knowledge proof from garbled circuits (Q2151307) (← links)
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier (Q2170049) (← links)
- Efficient non-interactive zero-knowledge proofs in cross-domains without trusted setup (Q2289212) (← links)
- On the power of secure two-party computation (Q2303458) (← links)
- Libra: succinct zero-knowledge proofs with optimal prover computation (Q2304944) (← links)
- On Garbling Schemes with and Without Privacy (Q2827734) (← links)
- Efficient Generic Zero-Knowledge Proofs from Commitments (Extended Abstract) (Q2953816) (← links)
- Efficient Secure Multiparty Computation with Identifiable Abort (Q3179367) (← links)
- Concretely-Efficient Zero-Knowledge Arguments for Arithmetic Circuits and Their Application to Lattice-Based Cryptography (Q5041168) (← links)
- Updateable Inner Product Argument with Logarithmic Verifier and Applications (Q5041169) (← links)
- ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines (Q5087274) (← links)
- Sublinear Zero-Knowledge Arguments for RAM Programs (Q5738888) (← links)
- Publication:2289212 (← links)
