La partie 5 de "De 0 connaissance à Zero Knowledge" est en ligne. Comment le code devient-il réellement prouvable ? Qu'est-ce qu'un zkVM et pourquoi est-ce important ? 🧵

Les systèmes de preuve ZK fonctionnent avec des équations mathématiques. Les développeurs écrivent du code. Jusqu'à présent, combler cette lacune nécessitait d'écrire des circuits arithmétiques à la main. Puissant, mais seuls des experts pouvaient le faire. Les zkVM ont changé cela. Écrivez du Rust normal, obtenez des preuves. Pas besoin d'expertise en circuits.

Pensez à l'évolution du développement de l'IA. Avant TensorFlow, vous deviez écrire du code GPU de bas niveau. Seuls des spécialistes pouvaient construire des réseaux de neurones. Les frameworks ont abstrait la complexité. Des millions de développeurs ont suivi. Les zkVM font la même chose pour la connaissance zéro.

Tous les zkVM ne sont pas les mêmes. Chaque équipe fait des choix architecturaux en fonction de ce pour quoi elle optimise. Certaines privilégient la transparence. Certaines privilégient une vérification on-chain peu coûteuse. Certaines privilégient la vitesse de preuve. Vous ne pouvez pas optimiser pour tout. Les compromis sont inévitables.