💁We gonna have a workshop about #zkVMs this week shared by Shuang Wu from powdr labs. Don't miss if you are interested in it 😉~ 📑 Powdr, a Modular Stack for zkVMs ⏰ 26th March, 20:00 UTC+8

First sunset powdr labs Spring offsite. Coincidence??!

* Leo Alt, powdr labs, will join v2 to talk about compiler-based optimizations and ZK precompile synthesis that dramatically boost prover performance across frameworks, with insights from powdrVM and beyond.

This is not just another RISC-V—Petra is designed from the ground up for optimal performance using binary tower fields. Our roadmap includes plans for WebAssembly compiler (developed by powdr labs) and a specially-designed functional programming language, PetraML.

r5∨¬r5 Leo Alt said the answer is very simple, you just

I think these are great results! And we’re only getting started — we’re already working on some very concrete ideas to improve this further. I think there are two main use cases for this: ⬇️

Excited to work with powdr labs to incorporate powdr’s autoprecompile acceleration into OpenVM. Using the powdr compiler, developers can speed up OpenVM guest programs without adding additional security risk from hand-written precompile circuits.

Jordi Baylina - baylina.eth Polygon Jeremy Bruestle RISC Zero Norbert Vadas ZkCloud Justin Drake Ethereum Foundation Ethproofs Stephen Duan ZKM Alexandre Belling Linea.eth MayaD StarkWare 🐺🐱 Will Corcoran porter | ZKsync ∎ Matter Labs (∎, ∆) ZKsync (∎, ∆) alecjames.eth | nexus.xyz Nexus Argument Luca Donno L2BEAT 💗 Ethereum.org Alexander Hicks Declan Fox reka Yi Sun ⨇ Axiom OpenVM 🔹Leo Alt, Co-founder of powdr labs Leo Alt, co-founder of Powdr Labs, is a ZK innovator focused on scalable proof systems. His work on zkVM practicality will fuel discussions in the 'zkVMs in Practice' panel, offering actionable insights for technical attendees 🤝 🗓

We did say more optimizations were coming. Blog post updated with new numbers. Autoprecompiles are now faster than hand-written precompiles.

At the upcoming House of ZK Ethproofs Summit during Berlin Blockchain Week 🐻➡️ June 7-22, 2025, we’ll introduce you to powdr labs - an SDK for ZK proofs that connects high-level programs to the most suitable prover 🟢 Event info ➜ lu.ma/hozkethproofs powdr’s modular compiler architecture decouples