正在為 @ethrex_client、@eth_proofs 的路線圖工作，risc-v @alignedlayer vm 和 @leanEthereum 客戶端。我也在寫更多關於如何設計我們的具體編程語言的想法（線性類型系統 + 通過能力實現的簡單代數效應 + lean 驗證內核）。