正在为 @ethrex_client、@eth_proofs 的 RISC-V @alignedlayer 虚拟机和 @leanEthereum 客户端制定路线图。我还在写更多关于如何设计我们的具体编程语言的想法（线性类型系统 + 通过能力实现简单的代数效应 + Lean 验证内核）。