powdr labs (@powdr_labs) 's Twitter Profile
powdr labs

@powdr_labs

The most flexible and composable SDK for ZK proofs.

powdr is future-proof.

ID: 1671142711850614784

linkhttp://powdr.org calendar_today20-06-2023 13:07:43

62 Tweet

1,1K Takipçi

11 Takip Edilen

Coset (@coset_io) 's Twitter Profile Photo

💁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

💁We gonna have a workshop about #zkVMs this week shared by <a href="/Shuang_Wu_sw/">Shuang Wu</a> from <a href="/powdr_labs/">powdr labs</a>. Don't miss if you are interested in it 😉~

📑 Powdr, a Modular Stack for zkVMs
⏰ 26th March, 20:00 UTC+8
Protocol Berg v2 (@protocol_berg) 's Twitter Profile Photo

* 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.

* <a href="/leonardoalt/">Leo Alt</a>, <a href="/powdr_labs/">powdr labs</a>, 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.
Irreducible (@irreduciblehw) 's Twitter Profile Photo

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.

Georg Wiese (@georgwiese) 's Twitter Profile Photo

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: ⬇️

Axiom (@axiom_xyz) 's Twitter Profile Photo

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.

powdr labs (@powdr_labs) 's Twitter Profile Photo

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

We did say more optimizations were coming. Blog post updated with new numbers.

Autoprecompiles are now faster than hand-written precompiles.
House of ZK (@houseofzk) 's Twitter Profile Photo

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

At the upcoming House of ZK <a href="/eth_proofs/">Ethproofs</a> Summit during <a href="/BerBlockWeek/">Berlin Blockchain Week 🐻➡️ June 7-22, 2025</a>, we’ll introduce you to <a href="/powdr_labs/">powdr labs</a> - 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