Leo Alt is a crypto engineer focused on zkVM and formal verification work, currently at powdr labs. Leo Alt's Twitter Score is 87 out of 1000 (a Good rating) as of October 2026, ranking #8,839 (top 5%) among 493,263 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,636 posts on the platform and has 4,839 followers as of October 2026. Leo Alt has been mentioned by 41 accounts, with 54 total mentions.
Who follows Leo Alt on X?
The accounts that follow Leo Alt include 333 founders, 94 angel investors, 47 influencers and 2 VCs. Among them are Stani, Joseph Lubin, Andre Cronje, Georgios Konstantopoulos, Tarun Chitra and John Wang.