Research
What we find out,
written down.
Two tracks: video generation, and the proof systems underneath our acceleration work.
Video generation
Source index on GitHub ↗-
Where open video models actually fall short
The gap between open weights and the closed frontier is mostly post-training and data curation, not architecture. Here is the evidence, and what it costs to close.
-
The open post-training toolbox for video
Every published reward model and preference-optimisation method for video generation, ordered by what it costs and what it has been measured to buy.
-
MiniMax H3 and the open-weight frontier
Open weights reached the top of the human-preference leaderboard in August 2026. What that changes, and the three constraints that stop it being a clean win.
Proof systems
Written between October 2024 and September 2025 while building ZKVM accelerators. Full texts, with their figures.
-
The Prover Network Landscape: A Comparative Analysis of Succint and Boundless Networks
Comparing Succinct and Boundless on decentralisation, participation and economics.
-
Labrador: A New Era of Post-Quantum ZK Proofs
A lattice-based proof system and what it changes for post-quantum ZK.
-
Boundless The Signal: An Architecture and Paradigm Innovation for Zero-Knowledge Cross-Chain Ultimacy Protocols
The Signal: ZK finality as a cross-chain primitive.
-
Binius Proof System, PCS
Binary-tower fields, small memory footprint, and the PCS at the core of Binius.
-
Aleo Roadmap 2025 and In-Depth Exploration of Varuna
What Varuna is, and which algorithms Aleo needs to hit its 2025 roadmap.
-
Finite Field Arithmetic Optimization
Novel field-multiplication algorithms worth at least 20% on the inner loop.
-
Introduction to SP1 zkVM
SP1 end to end, benchmarked against RISC0 on a Taiko block.
-
Advanced ZK Hardware Acceleration: The Technology Behind Aleo ASIC Miner
Inside the first production Aleo ZK ASIC miner.
-
RISC0 algorithm analysis, segment proof — Part1
RISC0 segment proofs, taken apart step by step.
-
The Journey Toward Aleo’s Universal ZKVM
How Aleo moved from a circuit-per-program model toward a universal zkVM.
-
An Introduction to Jolt: Core Proofs and Protocol Frameworks
Jolt: lookup-singularity SNARKs and the protocol stack around them.