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 Followers

11 Following

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