ZKBoo

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