Generalizing MPC-in-the-head for Superposition-Secure Quantum Zero-Knowledge Proofs
We generalize MPC-in-the-head to create post-quantum zero-knowledge arguments, securing verifiable computation against quantum superposition attacks using LWE.
Multi-Party Computation Circumvents Impossibility in Decentralized Mechanism Design for Fair Fees
Cryptographic Multi-Party Computation enables collusion-resistant transaction fee mechanisms, transforming a game-theoretic impossibility into a secure computation problem.
Zero-Knowledge Proof of Training Secures Decentralized Federated Learning
This research introduces Zero-Knowledge Proof of Training, a zk-SNARK-based consensus mechanism that validates machine learning contributions without compromising participant data privacy, enabling secure, scalable decentralized AI.
Homomorphic Encryption Secures Decentralized Biometric Identity without Privacy Loss
This breakthrough uses Homomorphic Encryption to perform biometric verification directly on encrypted data, enabling a provably private and secure decentralized identity layer.
Zero-Knowledge Proof of Training Secures Federated Consensus
Research introduces ZKPoT consensus, leveraging zk-SNARKs to cryptographically verify machine learning contributions without exposing private training data or model parameters.
Verifiable One-Time Programs Enable Open Secure Computation
This research introduces verifiable one-time programs, foundational for a novel single-round secure computation model, unlocking practical quantum-assisted cryptography with minimal resources.
Verifiable One-Time Programs Enable Near-Term Quantum Secure Computation
This research introduces verifiable one-time programs, enabling single-round secure computation with minimal quantum resources, accelerating practical quantum internet applications.
Verifiable One-Time Programs Enable Novel Single-Round Open Secure Computation
Verifiable One-Time Programs and Open Secure Computation enable efficient, private single-round multi-party protocols with minimal quantum assistance.
Verifiable One-Time Programs Enable Quantum-Assisted Secure Computation
This research introduces verifiable one-time programs, unlocking secure, single-round quantum-assisted computation for critical blockchain and internet applications.
Nil Message Compute Redefines Decentralized Computation beyond Blockchain Consensus
Nil Message Compute introduces a cryptographic framework for secure, private, and scalable decentralized computation, transcending traditional blockchain limitations.
Silentflow Enables Efficient, Communication-Free MPC on Resource-Limited Edge Devices
Silentflow pioneers TEE-assisted MPC, eliminating communication bottlenecks in Correlated Oblivious Transfer for real-time edge inference, advancing privacy-preserving computation.
Post-Quantum Cryptography Secures Federated Learning with Blockchain Verification
A novel framework integrates post-quantum cryptography with blockchain to fortify federated learning against quantum threats, ensuring long-term data security.
Zero-Knowledge Proofs Revolutionize Digital Privacy and Scalability across Applications
ZKP technology enables verifiable computation without revealing underlying data, fundamentally transforming privacy and integrity across decentralized and traditional systems.
Efficient Threshold Signatures Enhance Decentralized Application Security
This research optimizes threshold ECDSA by leveraging homomorphic encryption, enabling robust, efficient distributed signing with reduced communication overhead for decentralized applications.
Private Smart Contracts with Delegated Transactions on Permissioned Blockchains
This research introduces a zk-SNARK-based framework for private smart contracts on permissioned blockchains, enabling secure, decentralized transactions like Delivery vs. Payment.
Secure Multiparty Protocols Advance Blockchain Fairness and Scalability
This research pioneers protocols leveraging secure computation and zero-knowledge proofs to enable fair, scalable, and private blockchain applications.
Zero-Knowledge Proofs of Quantumness: Securing Quantum Computation Verification
ZKPoQ enables secure verification of quantum computational advantage without revealing sensitive quantum data, safeguarding future quantum protocols.
Secure Multiparty Generative AI with Decentralized Verification
A novel secure multiparty computation architecture enables private, verifiable generative AI by sharding models across decentralized networks.
Quantum Zero-Knowledge Proofs Resist Superposition Attacks with LWE
This work extends MPC-in-the-head to create quantum-resistant zero-knowledge proofs, securing privacy against future superposition attacks using LWE.
Succinct One-Sided Private Set Intersection for Confidential Data Matching
This research introduces a novel cryptographic primitive enabling private set intersection where one party learns the common elements succinctly, without revealing their own set.
BFT-based Verifiable Secret Sharing Secures Distributed Machine Learning
A novel Byzantine Fault Tolerant verifiable secret sharing scheme thwarts model poisoning attacks, enhancing privacy and consistency in distributed machine learning.
Zero-Knowledge Proofs: Revolutionizing Privacy, Scalability, and Verifiable Computation
Zero-knowledge proofs enable secure data exchange and computational integrity without revealing underlying private information, transforming decentralized systems.
Optimizing Communication for Secure Multi-Party Computation with Aborts
New protocols drastically reduce communication overhead in secure multi-party computation with selective aborts, enhancing practicality for decentralized applications.
Witness Encryption Indispensable for Resettable Zero-Knowledge Arguments
This research proves witness encryption is essential for highly secure, randomness-reusable zero-knowledge arguments, advancing practical privacy solutions.
