Protocol Berg v2

Building zig program for zkvms: a case study with zeam
2025-06-13 , Cinema 7

Most of zkvms SDKs only offer rust as a programming language. This talk will go over what is needed to implement other language frontends for zkvms, using zeam, the zig beam chain client, as a supporting example.


The beam chain is a proposal for upgrading Ethereum from a clean slate. This way, a lot of things can be upgraded in one go, instead of going through many forks. One of the aspects of the beam chain, is its reliance on zkvms as the primary tool for validating blocks. This implies that a lot of execution-level code needs to be updated to fit in this framework, which is currently far from ready for it. One notable example of this lack of readiness, is the support of a wide variety of languages targeting these zkvms.

This talk will go over what is needed to implement other language frontends for zkvms, using zeam, the zig beam chain client, as a supporting example. Depending how much work has progressed on this topics at the time of the presentation, this might also cover efforts to cross-compile geth for zkvms as well.

go-ethereum core dev + team lead of stateless team at the Ethereum Foundation.