Thetacrypt: Simplifying Threshold Cryptography for Distributed Systems
Thetacrypt introduces a versatile library for integrating diverse threshold cryptographic schemes, enabling simpler construction of robust, distributed systems and enhancing blockchain security.
GuardianMPC: Backdoor-Resilient Neural Network Computation via Secure MPC
A novel framework leverages secure multi-party computation to protect neural networks from backdoor attacks, ensuring private, robust AI inference and training.
Updatable Distributed Point Functions Enable Private Account-Based Digital Currencies
UVDPF, a new cryptographic primitive, enables private, mutable state in decentralized systems, challenging the UTXO model for scalable, private digital currencies.
Efficient Byzantine Verifiable Secret Sharing Secures Decentralized Systems Foundationally
EByFTVeS introduces an Adaptive Share Delay Provision strategy to resolve consistency and efficiency burdens in BFT-based Verifiable Secret Sharing, strengthening core cryptographic primitives.
Committed VOLE Enables Consistent Private Computation across Multiple Parties
C-VOLE is a new cryptographic primitive that ensures input consistency across multiple private computations, fundamentally accelerating secure multi-party protocols.
Vector-OLE Enables Efficient Zero-Knowledge Proofs over Integer Rings
A new Vector-OLE protocol provides maliciously secure, high-speed Zero-Knowledge Proofs over the integer ring $mathbb{Z}_{2^k}$, fundamentally aligning verifiable computation with modern CPU arithmetic.
Formal Compiler Proof Secures Distributed Cryptographic Applications Synthesis
A new compiler security proof unifies four formalisms to automatically synthesize complex, secure distributed protocols from simple sequential programs, guaranteeing end-to-end security.
Cryptographic Zk-Agreements Establish Private Deterministic Trust on Blockchains
The zk-agreements protocol uses Zero-Knowledge Proofs and MPC to finally secure confidential legal contracts on public ledgers, unlocking enterprise adoption.
Vector Oblivious Linear Evaluation Unlocks Efficient Zero-Knowledge Proof Systems
VOLE-ZK leverages MPC primitives to construct highly efficient, CPU-friendly zero-knowledge proofs for complex computation.
