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 many projects in a large track, so let’s categorize them and briefly introduce:

1/RISC-V Instruction Set - Boojum 2.0

@zkvm

There are many projects, some have their own instruction sets, while others use a traditional instruction set (MIPS, RISC-V, WASM, etc.) Which other companies are involved with RISC-V? - OpenVM

@axiom_xyz

The team has transitioned to zkVM - Risc0 zkVM

@RiscZero

@boundless_xyz

This project is quite famous for being one of the earliest to combine RISC-V with zk - SP1

@SuccinctLabs

Recently gained popularity, 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

Runs in mobile browsers, a memory-efficient zero-knowledge proof virtual machine (zkVM), supports P2P games and anonymous credentials without an external verifier for privacy protection applications

@DelphinusLab

ZkWASM targets the market with many categories of games for zk proofs

@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

A zkVM project independent from Polygon, focusing on privacy, just announced a $25 million investment from a16z, etc. -

@valida_xyz

zkVM also focuses on improving efficiency, seems like there hasn't been much noise lately https://t.co/901gdxUQ6d 4/MPIS Instruction Set - ZKM

@ProjectZKM

Developed a relatively old instruction set, known for its compactness, currently the only player in this market.