@VitalikButerin 最近提案拓展未来eth的执行层，尤其risc-v和zk risc-v得到了很多关注。zkvm大的赛道还有不少项目，做个分类，简单介绍下：

1/RISC-V指令集

-Boojum 2.0 @zkvm还有不少项目，有的是自建指令集，有的是传统的某个指令集（mips，risc-v，wasm等）

risc-v的还有哪几家

-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/d8G2f3B3cu

4/MPIS指令集

-ZKM @ProjectZKM 做的一种比较久远的指令集，以指令集小巧著称 这个市场就他自己在玩