powdr labs
@powdr_labs
Followers
2K
Following
59
Media
16
Statuses
93
Performance and security acceleration for zkVMs.
Joined June 2023
In our latest article about powdr autoprecompiles, we ask ourselves 2 questions: - Can we make manually written precompiles obsolete? - How do autoprecompiles improve the state-of-the-art of ZK proofs for Ethereum block verification? More in the article or below👇
1
4
31
I recently went through the exercise of applying logup* (Soukhanov) to implement Twist and Shout (Setty & Thaler). As a result, we can have memory checking arguments with very cheap commitment costs using hash-based commitment schemes! ↓
5
20
88
@ITUblockchain @withAUSD @jonk93 @frankencoinzchf @jchaskin22 @ethereumfndn @tfh_technology @worldcoin @AaronWStanley @BrazilCrypto_ @ChronicleLabs @buzea200 @gabriellamena @Scroll_ZKP @Scroll_PT @Scroll_ES @0xkkonrad @joinpeanut @Marcus_Balancer @balancerlabs @Balancer @luizfromdux @usedecentral @OrnellaWeb3 @EFDevcon @kaanuzdogan @SourcifyEth @ethereum @markswiderski @worldcoinfnd @iampdroalves @zama_fhe @TobiFrieder @OfframpXYZ @OfframpESP @OfframpPT @agfviggiano @SizeCredit @getreconxyz @spearbit @SecurityOak @arturrod96 @protofire @jnptzl @Kleros_io @arbitrum @arbitrumdao_gov @ArbitrumNewsDAO Back in Brazil! 🇧🇷 We are thrilled to welcome @leonardoalt, co-founder of @powdr_labs and prev. Formal Verification lead at the Ethereum Foundation! If you are a builder, don't miss his talk: Accelerating zkVMs (and Ethereum) with compiler optimizations.
1
2
15
@ligero_inc @SmartCryptology @0xLita @0xMiden @NexusLabs powdr labs @powdr_labs has reported progress on 'autoprecompiles', a method to automatically generate @ethereum precompiles: https://t.co/X1pbzOqoS0 Tests show they can outperform or match manually written precompiles for Keccak, SHA256, and 256-bit arithmetic, while elliptic
1
1
17
9/9 ZK proofs for Ethereum block verification: - 1.37x improvement today with recursion. - 1.84x improvement on app proofs. This will keep improving and we’re confident that we can eventually double the proving speed of Ethereum block verification with autoprecompiles alone!
1
2
5
8/9 Our experiments hint that manual precompiles can be made mostly obsolete sooner than later, eliminating a huge amount of engineering effort and security risk.
1
1
4
7/9 Finally, we removed all OpenVM precompiles from the guest program, simulating a world where they don't exist. We achieve a 2.62x improvement (with recursion) over software. As ECDSA is a major workload when verifying Ethereum blocks, OpenVM precompiles achieve better times.
1
0
4
6/9 We stop at 100 autoprecompiles above due to restrictions on recursion, which could be solved by a different proving system. We report results without recursion also for larger numbers of autoprecompiles. With 1000 autoprecompiles, we achieve a 1.84x speedup!
1
0
4
5/9 In the first case, autoprecompiles already provide a 1.37x advantage over using vanilla OpenVM, including recursion!
1
0
4
4/9 When benchmarking Ethereum block verification, we consider two scenarios: - Use autoprecompiles next to existing manual precompiles. - Do not use any manual precompiles.
1
0
4
3/9 Isolated benchmarks comparing autoprecompiles to existing precompiles in @openvm_org: - Keccak, U256: faster than manual precompiles! - SHA: autoprecompiles achieve close performance to manual. - EC/ECDSA: manual precompiles are faster, likely more hints could close the gap.
1
0
4
powdr is part of @OctantApp Epoch 8! If you're bullish on ZK Ethereum consider supporting us to help accelerate and secure ZK tech!
Epoch 8 is now open đź’ť 30 teams making @ethereum stronger all growing sustainably all waiting for you let's show builders what community support looks like happy allocating fam <3
2
1
13
19/ @powdr_labs Makes zkVMs faster and safer with automated compiler optimizations and formal verification. Can accelerate ZK proofs for Rust programs by 13x.
1
1
12
At the upcoming House of ZK @eth_proofs Summit during @BerBlockWeek, we’ll introduce you to @powdr_labs - an SDK for ZK proofs that connects high-level programs to the most suitable prover 🟢 Event info ➜ https://t.co/4GBfWHfjjb powdr’s modular compiler architecture decouples
1
8
48
We did say more optimizations were coming. Blog post updated with new numbers. Autoprecompiles are now faster than hand-written precompiles.
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
3
22
@jbaylina @0xPolygon @BruestleJeremy @RiscZero @NorbertVadas @thezkcloud @drakefjustin @ethereumfndn @eth_proofs @sd_eigen @ProjectZKM @alexand_belling @LineaBuild @MayaD09111862 @StarkWareLtd @corcoranwill @portport255 @the_matter_labs @zksync @0xAlecJames @NexusLabs @argumentxyz @lucadonnoh @l2beat @ethereum @alexanderlhicks @DeclanFox14 @reka_eth @theyisun @axiom_xyz @openvm_org 🔹@leonardoalt, 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 🤝 🗓
1
1
16
Excited to work with @powdr_labs to incorporate powdr’s autoprecompile acceleration into @openvm_org. Using the powdr compiler, developers can speed up OpenVM guest programs without adding additional security risk from hand-written precompile circuits.
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 👇
3
6
31
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: ⬇️
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
2
7
We’ll be in Berlin and Cannes for the upcoming conference weeks. Here’s a talk you don’t want to miss, see you there! https://t.co/OwPo1KWL0w
* @leonardoalt, @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.
0
0
5