Aujourd'hui, j'ai essayé de me pencher sur l'idée de zkVM, qui m'était nouvelle, et j'ai en fait réalisé que ce n'est pas aussi complexe qu'il y paraît.
Un zkVM est comme un ordinateur qui peut prouver qu'il a bien effectué son travail.
Il exécute votre code, obtient une réponse, puis crée une preuve qu'il a tout fait correctement. Pour le vérifier, vous n'avez pas à tout refaire. Vous vérifiez simplement la preuve.
Cela rend les choses rapides. De plus, cela garde les secrets en sécurité car la preuve ne montre pas toutes les petites étapes nécessaires
Voir l'original