Vitalik Buterin’s leanVM proposal is a minimal zero-knowledge virtual machine designed to lower Ethereum transaction costs and improve scalability. It uses a four-instruction ISA, multilinear STARKs and logup lookups to
