Lucrez la foaia de parcurs a @ethrex_client, @eth_proofs risc-v @alignedlayer VM și client @leanEthereum. De asemenea, scriu mai multe idei despre cum să proiectăm limbajul nostru de programare concret (sistem de tipuri liniar + efecte algebrice simple prin capabilități + kernel Lean Verificat).