1/13 Une nouvelle enquête de @SuccinctJT : le protocole de vérification de somme est la base de tous les proveurs SNARK rapides. La thèse clé : Le temps du prouveur est dominé par (1) le coût d'engagement et (2) le fait que les données de preuve soient bien formées. La vérification de somme, lorsqu'elle est utilisée correctement, minimise les deux. 🧵