Decentralized Mechanism Design Impossibility and Cryptographic Circumvention
This research reveals the fundamental impossibility of fully collusion-resistant blockchain transaction mechanisms, proposing cryptographic techniques to build robust alternatives.
Code-Based Zero-Knowledge Proofs Enhance Post-Quantum Cryptographic Security
This research introduces novel code-based zero-knowledge proofs, including HammR and a syndrome decoding protocol, fundamentally advancing quantum-resilient cryptography and secure digital signatures.
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.
Efficient Data Availability Sampling with Robust Repair for Scalable Blockchains
This research introduces novel data availability sampling constructions, enabling robust and efficient data recovery crucial for blockchain scalability.
Blind Vote and Private Auctions: Enhancing On-Chain Protocol Efficiency
This research introduces novel blockchain protocols for untraceable voting and private auctions, leveraging cryptographic tools to achieve superior gas efficiency and robust privacy.
Exponent VRFs Streamline Ethereum Validator Key Management Securely
A novel DDH-based Exponent VRF transforms Ethereum validator key management from linear to constant complexity, enhancing scalability and privacy.
Zero-Knowledge Proof of Traffic Secures Cooperative Vehicle Perception Data
This research introduces a novel zero-knowledge proof system enabling deterministic, privacy-preserving verification of vehicle observations, crucial for secure autonomous systems.
Kontrol Simplifies Scalable Formal Verification for EVM Smart Contracts
Kontrol revolutionizes EVM smart contract security by integrating formal verification with existing tests, enabling scalable, mathematically certain code correctness.
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.
