ZKBoo
From MaRDI portal
Software:40217
swMATH28503MaRDI QIDQ40217FDOQ40217
Author name not available (Why is that?)
Source code repository: https://github.com/Sobuno/ZKBoo
Cited In (23)
- ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines
- TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
- Differential power analysis of the Picnic signature scheme
- Zero-knowledge proofs for committed symmetric Boolean functions
- Efficient non-interactive zero-knowledge proofs in cross-domains without trusted setup
- Zero-knowledge arguments for lattice-based PRFs and applications to E-cash
- On the round complexity of black-box secure MPC
- BooLigero: improved sublinear zero knowledge proofs for Boolean circuits
- MPC-in-multi-heads: a multi-prover zero-knowledge proof system (or: how to jointly prove any NP statements in ZK)
- Post-quantum ID-based ring signatures from symmetric-key primitives
- A simple post-quantum non-interactive zero-knowledge proof from garbled circuits
- Traceable ring signatures: general framework and post-quantum security
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
- Updateable Inner Product Argument with Logarithmic Verifier and Applications
- On the power of secure two-party computation
- Sublinear Zero-Knowledge Arguments for RAM Programs
- Concretely-Efficient Zero-Knowledge Arguments for Arithmetic Circuits and Their Application to Lattice-Based Cryptography
- Efficient Secure Multiparty Computation with Identifiable Abort
- Arya: nearly linear-time zero-knowledge proofs for correct program execution
- On Garbling Schemes with and Without Privacy
- Efficient Generic Zero-Knowledge Proofs from Commitments (Extended Abstract)
- Keyed-fully homomorphic encryption without indistinguishability obfuscation
- Libra: succinct zero-knowledge proofs with optimal prover computation
This page was built for software: ZKBoo