Zero-Knowledge Mechanisms Enable Private, Verifiable Mechanism Design
This research introduces a framework for privately committing to and executing economic mechanisms, leveraging zero-knowledge proofs to ensure verifiability without revealing sensitive rules or data, fostering trustless interactions.
Sublinear Space ZKP Prover Enables Efficient On-Device Verifiable Computation
A novel ZKP prover architecture significantly reduces memory footprint, enabling practical verifiable computation on resource-constrained devices, revolutionizing decentralized applications.
ZKPoT Consensus Secures Federated Learning with Proofs
This research introduces a novel Zero-Knowledge Proof of Training consensus, enabling privacy-preserving federated learning by verifying model contributions without exposing sensitive data.
Zero-Knowledge Proofs Enhance Bitcoin’s Functionality and Privacy
This research introduces protocols enabling zero-knowledge proofs on Bitcoin for privacy-preserving applications, leveraging zk-STARKs and BitVM to overcome Bitcoin's inherent programmability limitations.
Quantum-Secure Zero-Knowledge Proofs Resist Quantum Attacks
New quantum-secure zero-knowledge protocols from generalized MPC-in-the-head resist superposition attacks, safeguarding privacy in a quantum era.
Asymmetric Trust Redefines Distributed Fault Tolerance
This research introduces asymmetric Byzantine quorum systems, enabling subjective trust models to secure distributed protocols and consensus mechanisms.
Publicly Verifiable PIR Protocols Enhance Data Integrity and Privacy for Multi-Party Systems
This research introduces publicly verifiable Private Information Retrieval, enabling external validation of query results without compromising data privacy or requiring secret keys.
Libra, Virgo, Virgo++: Optimal Zero-Knowledge Proofs for Practical Systems
New zero-knowledge protocols, Libra, Virgo, and Virgo++, achieve optimal prover time, rapid verification, and succinct proofs, making ZKPs practical for blockchain and AI.
Efficient Robust Threshold Signatures for Decentralized Applications
This research pioneers a robust, highly efficient threshold ECDSA protocol, dramatically reducing communication and verification costs for securing decentralized systems.
