1/ Nouvelle enquête : Sum-check est tout ce dont vous avez besoin. Je viens de publier une enquête sur les principes de conception derrière Jolt et les SNARKs à preuve rapide de manière plus générale. C'est sans doute la première fois que les idées fondamentales ont toutes été écrites au même endroit.

2/ Qu'est-ce que le protocole de vérification de somme ? C'est la colonne vertébrale des SNARKs les plus rapides d'aujourd'hui. Une preuve interactive qui vérifie une énorme somme avec un minimum de surcharge. Dans les SNARKs, cela permet aux prouveurs de s'engager à moins de données. La plupart du travail devient de simples additions et multiplications.

3/ Mais toutes les utilisations de la vérification de somme ne sont pas égales. Les SNARKs les plus rapides l'utilisent intelligemment, exploitant une structure répétée pour minimiser le travail du prouveur. Techniques clés : – Arguments d'évaluation par lots – Vérification de la mémoire – Polynomiales virtuelles – Vérifications de somme éparses – Préservation des petites valeurs