Vi jobber med veikartet for @ethrex_client, @eth_proofs risc-v @alignedlayer VM og @leanEthereum klient. Jeg skriver også flere ideer om hvordan vi kan designe vårt konkrete programmeringsspråk (lineært typesystem + enkle algebraiske effekter via kapabiliteter + lean-verifisert kjerne).