VitalikButerin a récemment proposé d'étendre la couche d'exécution future d'eth, en particulier RISC-V et zk RISC-V ont reçu beaucoup d'attention. zkVM a un grand marché avec de nombreux projets, certains construisent leur propre jeu d'instructions, d'autres utilisent un jeu d'instructions traditionnel (MIPS, RISC-V, WASM, etc.) pour faire une classification, voici une brève introduction :

1/Jeu d'instructions RISC-V - Boojum 2.0

-OpenVM @axiom_xyz équipe en transition vers zkVM - Risc0 zkVM

-@RiscZero @boundless_xyz ce projet est assez connu pour avoir été l'un des premiers à combiner RISC-V et zk

-SP1 @SuccinctLabs est récemment devenu assez célèbre, pas de présentation détaillée

-L'équipe Hermez de polygon zkVM ZisK RISC-V VM https://t.co/hNuUb77f5M

-Boojum 2.0 MatterLabs présentation détaillée https://t.co/AaD59lBtmQ…

2/Jeu d'instructions WASM

-@ligero_inc fonctionnant dans les navigateurs mobiles, machine virtuelle de preuve à connaissance nulle (zkVM) efficace en mémoire, soutient les applications de jeu P2P et les certificats anonymes sans vérificateur externe

-@DelphinusLab zkWASM a réalisé de nombreuses preuves zk dans diverses catégories de jeux

-@NovaNet_zkp jeu d'instructions WASM, toujours axé sur la confidentialité, l'agrégation et la preuve parallèle sur de petits appareils et des appareils en périphérie, ainsi que dans la direction du zkML

3/Jeu d'instructions propre

-@0xMiden zkVM projet de zkVM indépendant de polygon axé sur la confidentialité, vient d'annoncer un investissement de 25 millions de dollars par a16z, -

-@valida_xyz zkVM est également axé sur l'efficacité, il semble qu'il n'y ait plus trop de bruit à son sujet https://t.co/901gdxUQ6d

4/Jeu d'instructions MIPS

-ZKM @ProjectZKM

projet d'un jeu d'instructions assez ancien, connu pour sa compacité, ce marché est dominé par lui-même.