leanEthereum/leanVM

**Project Summary:** leanEthereum/leanVM is an open-source, minimal zkVM (zero-knowledge virtual machine) for Ethereum, enabling the prototyping and inspection