@VitalikButerin recently proposed to expand the execution layer of future ETH, especially RISC-V and zk RISC-V have received a lot of attention. The zkVM has a large track with many projects, let's categorize and briefly introduce them:

1/RISC-V Instruction Set

-Boojum 2.0 @zkvm has many projects, some have their own instruction sets, and some are traditional instruction sets (MIPS, RISC-V, WASM, etc.)

Which other companies are in RISC-V?

-OpenVM @axiom_xyz team transformed to make zkVM

-Risc0 zkVM @RiscZero @boundless_xyz this is quite famous, the earliest project to combine RISC-V with zk

SP1 @SuccinctLabs recently became quite famous, not going into detail

-Polygon's Hermez team zkVM ZisK RISC-V VM

https://t.co/hNuUb77f5M

-Boojum 2.0 MatterLabs https://t.co/AaD59lBtmQ

2/WASM Instruction Set

@ligero_inc operates in mobile browsers, a memory-efficient zero-knowledge proof virtual machine (zkVM) that supports P2P games and anonymous credentials without external validators for privacy protection applications

@DelphinusLab zkwasm has developed many zk proofs for various game categories in its target market

@NovaNet_zkp WASM instruction set still targets privacy, aggregation, and parallelization proofs on small devices and edge devices, as well as zkML direction

3/Own Instruction Set

-@0xMiden zkVM is a zkVM project that has been spun off from Polygon, focusing on privacy, recently announced $25 million investment from a16z and others

-@valida_xyz zkVM also focuses on improving efficiency, but it seems there hasn't been much noise lately https://t.co/d8G2f3B3cu

4/MPIS Instruction Set

-ZKM @ProjectZKM has created a relatively old instruction set, known for its compactness, and this market is only played by itself