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 pour obtenir la réponse.

@0xMiden est construit sur cette idée et ils sont la raison pour laquelle j'ai développé un intérêt pour zkVM. Miden utilise un zkVM pour effectuer des calculs et les transformer en preuves que le réseau peut vérifier rapidement.

Cela permet aux gens d'exécuter des choses grandes et compliquées sans encombrer le réseau principal, tout en prouvant que cela a été fait correctement. Cela allège la charge et maintient tout le système en marche.

Cela aide également Miden à garder les choses privées. Vous pouvez prouver que vous avez fait quelque chose sans montrer aucun des éléments secrets impliqués.

C'est un moyen astucieux de rester privé et vérifiable en même temps.