@Vitalik Buterin's recent proposal to expand the execution layer of future ETH, especially Risc-V and ZK Risc-V, has received a lot of attention. There are still many projects in the zkvm race track. Let's categorize them and briefly introduce them: 1/RISC-V instruction set -Boojum 2.0 @ zkvm has many projects, some of which are self built instruction sets, while others are traditional instruction sets (mips, risc-v, wasm, etc.) How many other RISC-V companies are there -OpenVM