trabajando en la hoja de ruta de @ethrex_client, @eth_proofs risc-v @alignedlayer vm y @leanEthereum client. también estoy escribiendo más ideas sobre cómo diseñar nuestro lenguaje de programación concreto (sistema de tipos lineales + efectos algebraicos simples a través de capacidades + núcleo verificado lean).