Ethereum programável parte 1: Ethereum programável, VMs e ISAs parte 2: zk tudo (com participação: RISC-V, EVM) parte 3: escalando o Ethereum leve com leanVM e EVM 2.0 1/30