VitalikButerin最近提案拓展未來eth的執行層，尤其risc-v和zk risc-v得到了很多關注。zkvm大的賽道還有不少項目，有的是自建指令集，有的是傳統的某個指令集（mips，risc-v，wasm等）做個分類，簡單介紹下：

1/RISC-V指令集 -Boojum 2.0

-OpenVM @axiom_xyz 團隊轉型做的zkvm -Risc0 zkVM

-@RiscZero @boundless_xyz 這個比較出名最早把risc-v結合zk的項目

-SP1 @SuccinctLabs 最近比較出名 不詳細介紹了

-polygon 的Hermez團隊 的zkvm ZisK risc-v vm https://t.co/hNuUb77f5M

-Boojum 2.0 MatterLabs 詳細介紹https://t.co/AaD59lBtmQ…

2/WASM指令集

-@ligero_inc 運行在移動瀏覽器中、內存高效的零知識證明虛擬機 (zkVM)，無需外部驗證器即可支持 P2P 遊戲和匿名憑證等隱私保護應用

-@DelphinusLab zkwasm 目標市場做了很多遊戲品類的zk證明

-@NovaNet_zkp wasm指令集 仍然目標在小型設備 邊緣設備上 的隱私、聚合和並行化證明 以及zkml方向

3/自己的指令集

-@0xMiden zkvm polygon獨立出來的zkvm項目 主打隱私 剛宣佈a16z等投資2500萬美金 -

-@valida_xyz zkvm 也是提升效率爲核心的zkvm 好像沒有太多聲音了 https://t.co/901gdxUQ6d

4/MPIS指令集

-ZKM @ProjectZKM

做的一種比較久遠的指令集，以指令集小巧著稱 這個市場就他自己在玩