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/901gdxUQ6d 4/MPIS指令集 -ZKM

@ProjectZKM

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