Post-Quantum SNARKs Secure Blockchain State Verification
A novel zero-knowledge argument construction achieves post-quantum security for blockchain state verification, safeguarding decentralized systems against future quantum threats.
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.
Zero-Knowledge Proofs Enable Verifiable Mechanisms without Disclosure or Mediators
This framework uses zero-knowledge proofs to execute verifiable, private mechanisms, enabling trustless economic interactions without revealing sensitive design.
Scalable Zero-Knowledge Proofs Enhance Blockchain Hashing Verification
This research introduces a novel methodology leveraging Plonky2 to achieve efficient, scalable zero-knowledge proofs for cryptographic hashing, critical for blockchain integrity.
Quantum-Resistant STARKs Secure Scalable, Private Blockchain Architecture
This research introduces a Layer-1 blockchain integrating quantum-resistant cryptography with recursive zero-knowledge STARKs, enabling secure, scalable, and private decentralized systems.
Sublinear Zero-Knowledge Proofs Revolutionize On-Device Verifiable Computation
This breakthrough redefines zero-knowledge proof generation, enabling efficient on-device computation by dramatically reducing prover memory requirements.
Verifiable Federated Learning Aggregation with Zero-Knowledge Proofs
This research introduces zkFL, a novel framework leveraging zero-knowledge proofs and blockchain to secure federated learning against malicious aggregators, fostering trust in collaborative AI systems.
