Constant-Size Timed Signatures Revolutionize Verifiable Future Transaction Execution
This new VTS primitive achieves constant-size proof overhead using RSA and TVDF, fundamentally unlocking efficient time-locked on-chain applications.
Folding Schemes Enable Fastest Recursive Zero-Knowledge Arguments
The Nova folding scheme dramatically accelerates verifiable computation by deferring all intermediate proof checks into a single, succinct final argument.
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.
Proof-of-Sequential-Work Secures Low-Latency Randomness and Optimal Time-Lock Security
A new Proof-of-Sequential-Work primitive fundamentally optimizes Verifiable Delay Functions, enabling robust, low-latency on-chain randomness.
Verifiable Delay Functions Secure Consensus Randomness with Provable Delay
VDFs are sequential cryptographic timekeepers that make randomness manipulation computationally prohibitive, enhancing Proof-of-Stake security and finality.
Cryptographic Sequential Delay Secures Decentralized Randomness Beacons
Verifiable Delay Functions introduce cryptographically enforced sequential time, preventing parallel computation and eliminating randomness bias in Proof-of-Stake leader election.
Cryptanalysis Exposes Flaw in Verifiable Delay Function Security
Cryptanalysis revealed that parallel computation bypasses the sequential time delay in VDFs, challenging the security of verifiable randomness primitives.
Collaborative VDFs Enable Multi-Party Time-Lock and Fair Decentralized Protocols
Collaborative Verifiable Delay Functions introduce a new primitive for joint, publicly verifiable time-delay, securing fair multi-party mechanism design.
Cornucopia: Accumulators and VDFs Secure Scalable Decentralized Randomness Beacons
This new Cornucopia framework combines Verifiable Delay Functions with accumulators to create a scalable, bias-resistant randomness beacon secure with only one honest participant.
