Announcing OpenVM, an open-source zkVM framework prioritizing customization and extensibility at every level of the stack. OpenVM achieves this with a novel modular design allowing developers to extend the ISA, ZK circuits, and proof system within one unified framework.

Announcing powdr-OpenVM. powdr’s compiler middleware now enhances @openvm_org with autoprecompiles for custom guest acceleration, showing >5x proof time improvement in end-to-end experiments. Is this the end of hand-written zkVM precompiles?. More in the blog post and below 👇

1/ How @openvm_org uses variable word size for memory access. Traditional architectures use fixed-size words (e.g., 32-bit, 64-bit). But STARK-based OpenVM removes this constraint with variable word size memory. Here’s how it works and why it matters for zk-STARKs. 🧵👇.

We’re thrilled to announce Axiom V2 is now live on Ethereum mainnet!. Axiom V2 allows smart contracts to trustlessly compute over the entire history of Ethereum, including transactions and receipts. Learn more below 👇

As part of the @axiom_xyz's Open Source Program v2, Guillaume, Zhengxun and I developed Halo2-svd, a library which provides functionalities to verify the singular value decomposition (SVD) of a matrix and perform basic linear algebra operations in Halo2. (1/5).

2/ Axiom V2 allows devs to specify their data access and compute in a new Javascript interface, and they can use Axiom-verified results on-chain via a single smart contract callback interface. This means developers can integrate Axiom V2 using Solidity and Javascript alone.

Verified ML in the form of ZKML has captured significant interest. But it's too slow in practice, taking 6 hours to verify the Twitter recommendation model. Enter TensorPlonk, a new ZKML proving system with >1,000x faster proving. 📝Blog post: 🧵 1/9.