Base is partnering with Succinct to bring zero-knowledge proofs to Base Azul.
SP1 will prove $7.4 billion in deposits as @base joins a growing list of major L2s adding validity proofs to their roadmap with Succinct.
(1 / 8)
Zerocheck is the biggest cost in SP1's GPU prover: ~67% of a shard. Its hot core is one kernel, evaluating AIR constraints.
Every zkVM interprets that kernel. We compiled it, with a real compiler.
2.34× faster, stage 191.5 → 135.3 ms.
fractalyze.io/blog/constrain…
Proud that Flock is part of this milestone for Ethereum's future.
Until recently, proving standard hash functions was too slow for Ethereum blocks, so cryptographers instead built bespoke SNARK-friendly hashes. Flock — developed by @ronrothblum, @benediktbuenz, and
Goodbye, Poseidon!
An epic 8-year, 8-figure rabbit hole in post-quantum cryptography reaches its dream conclusion. The Ethereum Foundation is abandoning Poseidon for L1, pivoting to SHA or BLAKE. This milestone unlocks ultimate security for lean Ethereum and foreshadows a golden
We opened Flock's prover to an open network of humans & AI through @yukonresearch, an autoresearch competition to drive performance to its frontier.
The best result pushed proving throughput 255% over baseline to 1.8M BLAKE3 compressions/sec.
Introducing @yukonresearch
A platform for open frontier research.
Over the past 2 months, an open network of humans + AI has already:
- Beat Google’s frontier quantum circuit result over 50%
- Made Poolside’s open-weight model run 2.6x faster
- Increased post-quantum Ethereum
Vitalik's strawmap update calls out what's new since 2023:
→ First-class privacy
→ Post-quantum
→ AI-assisted formal verification
→ Native rollups
Here’s what we’ve shipped this year and where each lands against Ethereum’s Strawmap 👇
I updated my 2023 roadmap diagram to overlay where the items that were there sit in the current Strawmap ( strawmap.org ).
In general, a lot of overlap, but:
* Some things got reshuffled in order (eg. quantum safety up-prioritized)
* Some things deprioritized (eg.