Leonardo Alt

Leonardo Alt helped create powdr, a toolkit for building zero-knowledge virtual machines.

3 talks by Leonardo Alt

• powdr: zkVM stack & compiler by Leonardo Alt
• Powdr: a modular stack for zkVMs
• Using Solidity's SMTChecker by Leonardo Alt (Devcon4)