Equifficient Polynomial Commitments Drastically Reduce Zero-Knowledge Proving Cost
Equifficient polynomial commitments introduce a new cryptographic primitive to drastically reduce SNARK prover time and proof size, enhancing verifiable computation scalability.
Sublinear Memory ZK Proofs Democratize Verifiable Computation
A new space-efficient tree algorithm reduces ZK proof memory complexity from linear to square-root, enabling verifiable computation on all devices.
End-to-End Minimal Disclosure Cryptography Secures Wallet Privacy and Decentralization
A new SDK for minimal disclosure cryptography and local state verification fundamentally shifts blockchain privacy from the network to the user's wallet.
Social Capital Consensus Replaces Financial Stake with Trust and ZK-Proofs
This new protocol uses non-transferable social capital as stake, integrating ZK-proofs to decouple consensus security from financial wealth, democratizing validation.
Practical Lattice-Based Single Secret Leader Election Secures Post-Quantum Consensus
Qelect introduces the first practical constant-round post-quantum SSLE using RLWE and tFHE, securing Proof-of-Stake against quantum adversaries.
Adaptive Threshold Schnorr Signatures Achieve Tight Security Proofs
New three-round Schnorr threshold scheme, Sparkle+, achieves the first tight, fully adaptive security proof, fundamentally strengthening decentralized key management.
Game Theory Secures Oracle Data Quality and Node Incentives
A Stackelberg game model resolves the oracle problem's incentive conflict, creating an equilibrium for secure, high-quality decentralized price feeds.
Affine One-Wayness Establishes Post-Quantum Verifiable Temporal Ordering for Distributed Systems
Affine One-Wayness is a new post-quantum cryptographic primitive that enforces provable, clock-independent event ordering, enabling Byzantine-resistant distributed synchronization.
Time-Bound Signatures Mitigate MEV by Enforcing Transaction Inclusion Deadlines
A modified Schnorr signature cryptographically ties transaction validity to block height, eliminating rational producer MEV deferral and ensuring fairer ordering.
