Työskentelen @ethrex_client:n tiekartan parissa, @eth_proofs RISC-V @alignedlayer VM ja @leanEthereum asiakas. Kirjoitan myös lisää ideoita siitä, miten suunnitella konkreettinen ohjelmointikielemme (lineaarinen tyyppijärjestelmä + yksinkertaiset algebraiset vaikutukset kyvykkyyksien kautta + lean-varmennettu ydin).