Blockchain Secures Private Cloud Deduplication and Auditing, Eliminating Trusted Third Parties
This research introduces a blockchain-smart contract system using identity-based broadcast encryption to enable private, verifiable cloud data deduplication and auditing, removing central trust.
Scorpius: A Sound and Efficient Post-Quantum Zero-Knowledge Argument System
This research rectifies critical soundness flaws in post-quantum zero-knowledge arguments, introducing Scorpius for robust, efficient verifiable computation.
Zero-Knowledge Mechanisms Enable Private, Verifiable Economic Commitments without Mediators
This work introduces zero-knowledge proofs to mechanism design, allowing verifiable, private economic interactions without revealing underlying rules or needing trusted intermediaries.
Zero-Knowledge Mechanisms: Private Commitment in Mechanism Design
This research introduces a framework for private mechanism design, allowing verifiable commitment to rules without revealing sensitive details, thereby enhancing trust and efficiency in decentralized systems.
Fully Homomorphic Encryption Unlocks Ubiquitous Confidential Smart Contracts On-Chain
The Zama Protocol introduces a novel cross-chain confidentiality layer, leveraging Fully Homomorphic Encryption to enable smart contracts to process encrypted data without decryption, fostering ubiquitous on-chain privacy.
Recursive Proofs Enhance Blockchain Scalability and Verifiable Computation
A novel recursive proof composition scheme enables a single, compact proof to verify an arbitrary sequence of prior zero-knowledge proofs, fundamentally enhancing blockchain scalability.
Zero-Knowledge Proofs: Bridging Theory to Practical Blockchain Privacy and Scale
Zero-knowledge proofs enable verifiable computation without revealing underlying data, fundamentally transforming blockchain privacy, security, and scalability for decentralized systems.
Zero-Knowledge Mechanisms Enable Private, Verifiable Economic Commitments
This research introduces a framework for committing to and executing economic mechanisms without revealing their details, ensuring verifiable properties via zero-knowledge proofs.
Quantum-Safe Threshold Signatures Secure Public Blockchains
New quantum-safe threshold ML-DSA signatures, using MPC, enable secure, collaborative signing for public blockchains, protecting against future quantum threats.
