Linear-Time Maliciously Secure Shuffle Advances Secret Sharing Protocols
This new protocol is the first to achieve linear end-to-end time for maliciously secure, constant-round secret-shared shuffling, enabling practical, private computation primitives.
Threshold Cryptography Secures Transaction Ordering Eliminating Centralized MEV Risk
A threshold decryption protocol forces block ordering before content revelation, fundamentally solving the MEV centralization problem and ensuring transaction fairness.
Verifiable Delay Functions Secure Decentralized Randomness and Consensus Integrity
The Verifiable Delay Function is a cryptographic time-lock, enforcing a mandatory sequential computation to generate unbiasable randomness, thereby securing consensus leader election.
Optimistic Knowledge-Coin Protocol Solves Digital Fair Exchange Problem
This new optimistic fair exchange protocol minimizes on-chain cost and eliminates complex ZKP computation, enabling provably fair digital asset swaps.
Trustless Logarithmic Commitment Secures Verifiable Computation
This new vector-based commitment achieves logarithmic proof size and trustless setup, fundamentally accelerating ZK-proof verification and scaling.
Lattice-Based Folding Schemes Achieve Post-Quantum Scalable Zero-Knowledge Proofs
This new lattice-based folding primitive fundamentally secures recursive zero-knowledge proofs against quantum adversaries, ensuring long-term verifiable computation integrity.
Libra Achieves Optimal Linear Prover Time for Succinct Zero-Knowledge Proofs
Libra is the first ZKP to achieve optimal linear prover time $O(C)$ and logarithmic succinctness, fundamentally enabling verifiable computation at scale.
Eliminating Threshold Cryptography Latency in Byzantine Fault Tolerant Consensus
Foundational research eliminates the inherent one-message latency price of threshold cryptography in BFT systems, enabling faster, provably secure on-chain randomness.
Artemis CP-SNARKs Enable Practical, Verifiable, Privacy-Preserving Machine Learning
Artemis CP-SNARK is a modular construction that eliminates the commitment verification bottleneck in zkML, making large-scale, privacy-preserving AI models practical.
