1/ Jolt vient d'obtenir un gain de vitesse de 6×. Nous prouvons maintenant plus de 1 000 000 de cycles RISC-V/sec sur un CPU à 32 cœurs et plus de 500 000 cycles/sec sur un MacBook, avec des preuves d'environ 50 Ko. Voici les nouveautés 🧵

1/ Attention au battage médiatique : si les SNARK et les zkVM sont très prometteurs, ils ne sont pas prêts pour des déploiements complexes et à fort enjeu. Les bugs sont partout, la vérification formelle n’en est qu’à ses balbutiements et les preuves peuvent être des centaines de milliers de fois plus lentes que l’exécution native.

1/ Dans la courte vidéo + article de blog ci-dessous, nous faisons le point sur Jolt, couvrant les progrès depuis la sortie et notre feuille de route pour les mois à venir.