Ich arbeite an der Roadmap von @ethrex_client, @eth_proofs, risc-v @alignedlayer vm und @leanEthereum client. Ich schreibe auch weitere Ideen darüber, wie wir unsere konkrete Programmiersprache entwerfen können (lineares Typsystem + einfache algebraische Effekte über Fähigkeiten + verifiziertem Lean-Kernel).