sto lavorando alla roadmap di @ethrex_client, @eth_proofs risc-v @alignedlayer vm e @leanEthereum client. Sto anche scrivendo altre idee su come progettare il nostro linguaggio di programmazione concreto (sistema di tipi lineari + effetti algebrici semplici tramite capacità + kernel verificato lean).