Vitalik Buterin recentemente propôs expandir a camada de execução futura do ETH, especialmente RISC-V e zk RISC-V, que receberam muita atenção. O grande campo do zkVM ainda tem vários projetos, alguns com conjuntos de instruções próprios, outros utilizando conjuntos de instruções tradicionais (MIPS, RISC-V, WASM, etc.) categorizados, uma breve introdução:

1/Conjunto de Instruções RISC-V - Boojum 2.0

- OpenVM @axiom_xyz a equipe que se transformou em zkVM - Risc0 zkVM

- @RiscZero @boundless_xyz este é um dos projetos mais famosos que primeiro combinou RISC-V com zk

- SP1 @SuccinctLabs recentemente ficou bastante famoso, não vou detalhar

- A equipe Hermez do polygon zkVM ZisK RISC-V VM https://t.co/hNuUb77f5M

- Boojum 2.0 MatterLabs introdução detalhada https://t.co/AaD59lBtmQ…

2/Conjunto de Instruções WASM

- @ligero_inc zkVM que opera em navegadores móveis, prova de conhecimento zero eficiente em memória, suporta jogos P2P e aplicações de proteção de privacidade como certificados anônimos sem necessidade de verificadores externos

- @DelphinusLab zkwasm, o mercado-alvo fez muitos tipos de jogos com zk proofs

- @NovaNet_zkp conjunto de instruções WASM ainda com foco em dispositivos pequenos, dispositivos de borda, prova de privacidade, agregação e paralelização, bem como na direção do zkml

3/Conjunto de Instruções Próprio

- @0xMiden zkvm projeto zkvm independente do polygon, focado em privacidade, anunciou recentemente investimento de 25 milhões de dólares da a16z

- @valida_xyz zkvm também é um zkvm com foco em aumentar a eficiência, parece não ter muito alarde https://t.co/901gdxUQ6d

4/Conjunto de Instruções MPIS

- ZKM @ProjectZKM

uma das mais antigas instruções, conhecida por seu conjunto de instruções compacto, este mercado é apenas ele que participa