Trabalhando no roadmap da @ethrex_client, @eth_proofs risc-v @alignedlayer VM e @leanEthereum cliente. 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 + kernel lean verificado).