trabalhando no roadmap do @ethrex_client, @eth_proofs risc-v @alignedlayer vm e @leanEthereum client. também estou escrevendo mais ideias sobre como projetar nossa linguagem de programação concreta (sistema de tipos linear + efeitos algébricos simples via capacidades + núcleo verificado lean).