Research Engineering @ Ethereum Foundation | prev. Aztec • zk • privacy • human flourishing • fresh air
Joined April 2025
- Tweets139
- Following175
- Followers291
- Likes206
I want to emphasize that, to my knowledge, @ziskvm is the only ZKVM with this performance at 128 bits of security. Hats off to them for really outstanding progress🎉
Cody Gunton retweeted
hegota scoping ⚡
ACDC #189 - ultra tl;dr
DFI:
🪓 7716: Anti-Correlation Attestation Penalties
🪓 8025: Optional Execution Proofs
🪓 8359: Beacon Block Reporting Field
🪓 8371: RowDAS
generally liked EIPs, but teams found that they weren't urgent enough to schedule (7716, 8359, 8371) or that they could be tackled without CFI (8025)
5 more EIPs to assess next meeting
video and summary:
forkcast.org/calls/acdc/189/
Cody Gunton retweeted
Nice to see how EIP-8025 spec efforts in L1 are also helping native rollup experimentation!
announcing nativerollups.fyi, a closed devnet based on frames-devnet-0 running a (half mocked) native rollup on top
a native rollup is an L2 that inherits L1's STF directly, greatly reducing complexity, governance and bug risks. here's how it works 🧵
Cody Gunton retweeted
Performance is cypherpunk! Many such cases
Cody Gunton retweeted
I'm currently returning to Toronto from a summit on the future of mathematics, at OpenAI. @SebastienBubeck asked me to talk a bit about the future we'd all like to avoid, where humans are mathematically disempowered. @Jacob_Tsimerman advised us to try to prioritize detail over correctness, and I have no doubt that I succeeded in deprioritizing correctness.
I tried to find a title that wasn't too bombastic:
Cody Gunton retweeted
We just released zkvmBlast: a zkVM-agnostic differential fuzzer for RISC-V zkVMs.
One program, run across SP1, RISC0, OpenVM, Pico, Zisk and Airbender plus a reference simulator. Every disagreement is a bug lead.
Partially funded by the @ethereumfndn
Ephemeral UIs is one of my favorite AI unlocks, highly suggest building these but without any of the special skills, which tend to me too opinionated and heavy
Cody Gunton retweeted
Britain has scrapped its national digital ID scheme.
This is the right decision. A centralised database of every resident's identity is a breach waiting to happen.
We argued this in our consultation response to the UK government.
Cody Gunton retweeted
I built the bash version of the EVM github.com/dangerousfood/bas…
Cody Gunton retweeted
on proving code: with these specs in hand we can formally verify zkVMs at *every level* - the constraints, the proof systems, all of the cryptography, even the EVM that runs inside the zkVM. in each case, we use Lean to prove that the code conforms with our specs. (5/n)
Shout out to @class_lambda for being the first to full eth-act ISA compliance
Based on my lurking of the Github branch activity of @openvm_org, it seems that RV64 will land in v2.1.0. Praying for RV64IM_Zicclsm🤞🙏
All of this plus the excellent work on standardization by my teammates @MBugajEth and @ignaciohagopian means that we are rapidly approaching a world where we have interoperability between ZKVMs and Ethereum state transition function implementations. Exciting times!