Quantifying Restaking Robustness and Bounding Cascading Cryptoeconomic Security Risks
New cryptoeconomic model characterizes restaking network robustness using an overcollateralization buffer to prevent cascading stake loss.
Lattice-Based SNARGs Achieve Post-Quantum Proof Efficiency
This new Ring-QAP construction uses RLWE to significantly reduce the amortized proof size of post-quantum zk-SNARKs, enabling practical verifiable computation.
Lattice-Based Commitments Achieve Post-Quantum Zero-Knowledge with Transparent Setup
A new lattice-based polynomial commitment provides post-quantum security and a transparent setup, fundamentally advancing trustless, quantum-resistant verifiable computation.
Atomic Ownership Blockchains: A New Architecture for Cryptographic Security
AOB introduces a public network of asset-specific private blockchains, replacing economic consensus with cryptographic security for true horizontal scaling.
Distributed PIOP Achieves Linear Prover Time and Logarithmic Communication
HyperPianist introduces a distributed ZKP architecture that cuts prover time to linear and communication to logarithmic, enabling practical, massive-scale verifiable computation.
Post-Quantum Transparent zkSNARKs Achieve Succinct, Trustless, and Efficient Verifiable Computation
Phecda combines new polynomial commitment and VOLE-in-the-Head to deliver the first post-quantum, transparent, and succinct zero-knowledge proof system.
Weighted VRFs Achieve Scalable Distributed On-Chain Randomness
A new cryptographic primitive, the Weighted Verifiable Unpredictable Function, ensures that validator computation costs remain constant regardless of stake, solving the scalability bottleneck for on-chain randomness in PoS systems.
New Identity Primitive Secures Decentralized Systems against Quantum and Correlation Threats
MSCIKDF introduces a single, durable identity root with cryptographically enforced context isolation, solving legacy wallet linkability and enabling seamless Post-Quantum migration.
EVM-Native Fraud Proofs Enable Trust-Minimized Optimistic Rollup Client Diversity
Specular introduces an EVM-native fraud proof system, enforcing execution at the instruction level to minimize the trusted base and enable permissionless client diversity for optimistic rollups.
