Mengerjakan peta jalan @ethrex_client, @eth_proofs risc-v @alignedlayer VM dan klien @leanEthereum. Saya juga menulis lebih banyak ide tentang cara merancang bahasa pemrograman konkret kami (sistem tipe linier + efek aljabar sederhana melalui kemampuan + kernel terverifikasi ramping).