Hyper-Efficient Universal SNARKs Decouple Proving Cost from Setup

HyperPlonk introduces a new polynomial commitment scheme, achieving a universal and updatable setup with dramatically faster linear-time proving, enabling mass verifiable computation.
Post-Quantum Verifiable Delay Functions Eliminate Trusted Setup

Isogeny-based Verifiable Delay Functions leverage endomorphism rings for quantum-secure, trustless, and efficiently verifiable sequential computation.