Leo Alt

@leonardoalt

co-founder, FV/ZK @powdr_labs | prev FV @ethereumfndn @solidity_lang

Berlin, Germany

Joined June 2018

Pinned
Leo Alt
@leonardoalt
Oct 1, 2024
Yesterday was my last day @ethereum foundation - a place where I worked with truly great people & had a fantastic time during the last 7 years. The powdr adventure officially starts today as @powdr_labs is now an independent org. Excited to make ZK tooling better for everyone!
powdr labs
@powdr_labs
Oct 1, 2024
We are excited to share that 𝑝𝑜𝑤𝑑𝑟 labs is now an independent organization focused on the next generation of ZK tooling, security, and applied research. Read the full announcement on our blog or follow this thread for a tl;dr 👇 powdr.org/blog/powdrlabs
Leo Alt
@leonardoalt
Aug 13
gym booking platforms just got promoted to critical software
Andrew Curran
@AndrewCurran_
Aug 9
A man in Australia asked his agent (Claude running on OpenClaw) to book him a spot in a popular gym class. The agent found a software vulnerability that let it book the class weeks further ahead than should have been possible. When the user then asked if it could move him up the
Leo Alt
@leonardoalt
Aug 10
EVM formal methods are hot right now🔥just added multiple bangers here: - equiVM by @argotorg - evm-asm by @pirapira @dhsorens - evm-sail by @TauLepton_ - {evm,yul}-semantics & verified yul-c by us @powdr_labs
GitHub - leonardoalt/ethereum_formal_verification_overview: Overview of the formal verification...
From github.com
Leo Alt
@leonardoalt
Aug 7
Vericoded GraphQL!! The use cases keep growing, soon everything will be @leanprover
Duckki Oe
@DuckkiOe
Aug 7
A faster @GraphQL execution algorithm, with its response semantics proved in @leanprover. In a synthetic 40,000-field synchronous benchmark, its TypeScript prototype was up to 1.76× faster and used 28.6% less observed heap. duckki.github.io/2026/08/06/exe…
Leo Alt
@leonardoalt
Aug 5
Why is Claude so lazy???? 😭😭😭