Leo Alt is a crypto engineer focused on zkVM and formal verification work, currently at powdr labs. Leo Alt's Twitter Score is 89 out of 1000 (a Good rating) as of August 2026, ranking #8,553 (top 5%) among 482,922 tracked accounts.
Leo Alt previously worked at the Ethereum Foundation and was formerly affiliated with Solidity, the smart contract programming language maintained in part by Argot Collective, which builds critical infrastructure for Ethereum applications across repositories including Solidity, Fe, Sourcify, and hevm. Leo Alt is also affiliated with Argot Collective. At powdr labs, the work centers on powdr, a compiler-based technology that applies static analysis and formal verification techniques to accelerate and secure zkVMs.
Leo Alt has published 2,600 posts on the platform and has 4,711 followers as of August 2026. Leo Alt has been mentioned by 37 accounts, with 49 total mentions.
Who follows Leo Alt on X?
The accounts that follow Leo Alt include 323 founders, 94 angel investors, 48 influencers and 2 VCs. Among them are Stani, Joseph Lubin, Andre Cronje, Georgios Konstantopoulos, Tarun Chitra and John Wang.