Vitalik Buterin recently proposed expanding the future execution layer of ETH, especially RISC-V and zk RISC-V, which have received a lot of attention. The zkvm track has many projects, some of which are self-built instruction sets, while others categorize traditional instruction sets (MIPS, RISC-V, WASM, etc.) and briefly introduce them:

1/RISC-V Instruction Set - Boojum 2.0

- OpenVM @axiom_xyz team transformed to create zkvm - Risc0 zkVM

- @RiscZero @boundless_xyz this is a well-known project that was one of the first to combine RISC-V with zk

- SP1 @SuccinctLabs recently gained some fame, no detailed introduction

- Polygon's Hermez team zkvm ZisK RISC-V VM https://t.co/hNuUb77f5M

- Boojum 2.0 MatterLabs detailed introduction https://t.co/AaD59lBtmQ…

2/WASM Instruction Set

- @ligero_inc runs in mobile browsers, a memory-efficient zero-knowledge proof virtual machine (zkVM), supporting P2P games and privacy-protecting applications like anonymous credentials without external validators.

- @DelphinusLab zkwasm has done a lot of zk proofs for various game categories in its target market.

- @NovaNet_zkp WASM instruction set still aims at privacy, aggregation, and parallel proof on small devices and edge devices, as well as zkml direction.

3/Custom Instruction Set

- @0xMiden zkvm a zkvm project independent from Polygon focusing on privacy just announced $25 million investment from a16z, etc. -

- @valida_xyz zkvm also core to improving efficiency zkvm it seems hasn't received much attention https://t.co/901gdxUQ6d

4/MIPS Instruction Set

- ZKM @ProjectZKM

a relatively older instruction set known for its compactness, this market is played solely by itself.