VitalikButerin

Recently proposed to expand the execution layer of future ETH, especially RISC-V and zk RISC-V have received a lot of attention. There are still many projects in the large zkVM track, so let's categorize and briefly introduce them: 1/RISC-V Instruction Set - Boojum 2.0

@zkvm

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

@axiom_xyz

The team has 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 fame, not detailed here - Polygon's Hermez team’s zkVM ZisK RISC-V VM https://t.co/hNuUb77f5M… - Boojum 2.0 MatterLabs https://t.co/AaD59lBtmQ… 2/WASM Instruction Set

@ligero_inc

A zero-knowledge proof virtual machine (zkVM) that runs in mobile browsers, memory-efficient, supports P2P games and privacy-protecting applications like anonymous credentials without external validators

@DelphinusLab

ZKWASM has done many zk proofs for various game categories in its target market

@NovaNet_zkp

WASM instruction set still targets privacy, aggregation, and parallel proof on small devices and edge devices, as well as zkML directions 3/Own Instruction Set -

@0xMiden

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

@valida_xyz

zkVM is also centered on improving efficiency, but seems to have not made much noise lately https://t.co/901gdxUQ6d 4/MIPS Instruction Set - ZKM

@ProjectZKM

A relatively old instruction set known for its compactness, this market is only played by itself.