Linear-Time Accumulation Scheme Secures Post-Quantum Proof-Carrying Data
The WARP accumulation primitive achieves linear prover time and logarithmic verification, fundamentally unlocking post-quantum, scalable verifiable computation aggregation.
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.
WARP: Linear Accumulation Unlocks Post-Quantum Scalable Verifiable Computation
Introducing WARP, a hash-based accumulation scheme achieving linear prover time and logarithmic verification, radically accelerating recursive proof systems.
Homomorphic Encryption and VRF Achieve Scalable Unpredictable On-Chain Randomness
Homomorphic encryption combined with VRFs constructs a linear-scaling distributed randomness beacon, eliminating pre-computation bias in consensus leader selection.
Matrix Multiplication Enables Truly Useful Proof-of-Work with Negligible Overhead
The cuPOW protocol transforms AI's matrix multiplication bottleneck into a secure, energy-efficient Proof-of-Work primitive with near-zero computational overhead.
Optimal Asynchronous Consensus Resilience Using Complexity-Efficient Hash-Based Agreement
A new hash-based Multi-Valued Byzantine Agreement protocol achieves near-optimal fault tolerance with constant time complexity, enabling robust asynchronous consensus.
Non-Delegatable Commitments Enforce Cryptographic Proof of Work and Identity
Non-Delegatable Commitments cryptographically bind action to private key possession, preventing outsourcing and enforcing honest participation in attestations.
Layered Commit-Reveal Protocol Secures Decentralized Randomness Beacons
Commit-Reveal Squared uses randomized reveal order and a hybrid architecture to cryptographically secure decentralized randomness, eliminating last-revealer bias.
Verifiable Delay Functions Fail Random Oracle Model Security
Foundational VDF security is disproven in the Random Oracle Model, forcing all future randomness and fair ordering protocols to rely on stronger, structured assumptions.
