Compiler Proves Security for Distributed Cryptography via Foundational Unification
A formal compiler proof automatically synthesizes secure, distributed cryptographic protocols from simple centralized code, enabling robust, private systems.
HyperCommit Achieves Constant-Time Verifiable Data Availability Sampling
A novel polynomial commitment scheme enables light clients to verify massive data availability with constant-time cryptographic proofs, securing modular scaling.
Eliminating Prime Hashing Makes RSA Accumulators Viable for Decentralized Systems
This new RSA accumulator construction bypasses the slow "hashing into primes" bottleneck, fundamentally enabling succinct, dynamic, and practical set membership proofs on-chain.
