@ethrex_client、RISC-V@alignedlayer VMと@leanEthereumクライアントのロードマップ@eth_proofs作成中です。また、具体的なプログラミング言語(線形型システム+能力を通じた単純な代数的効果+リーン検証済みカーネル)の設計方法についてもさらにアイデアを書いています。