De 0 à ZK Concept Bites #5 : Succinctness Dans notre dernier Concept Bite, nous avons parlé de quand la propriété de "zero knowledge" est réellement importante pour la vie privée. Mais la vie privée n'est qu'un des deux superpouvoirs de ZK. L'autre, la succinctness, est celui que Brevis utilise dans presque toutes les intégrations que nous expédions. 🚀 La succinctness signifie qu'une preuve est dramatiquement plus petite que le calcul qu'elle prouve. Traitez 100 000 transactions, et la preuve résultante ne fait que quelques kilooctets. Vérifiez l'exécution d'un bloc Ethereum complet, et la preuve tient dans un seul appel on-chain. La taille de la preuve reste à peu près constante peu importe la lourdeur de la charge de travail originale. C'est là que cela devient intéressant. Générer une preuve coûte en réalité plus que de simplement exécuter le calcul lui-même, car le prouveur doit effectuer des opérations cryptographiques supplémentaires en plus de l'exécution brute. Mais vérifier cette preuve coûte presque rien en comparaison. La relation ressemble à ceci : Prouver > Exécution >> Vérification. Cette structure de coût est exactement ce dont les blockchains ont besoin. Aujourd'hui, chaque transaction Ethereum est réexécutée par des centaines de milliers de validateurs de manière indépendante, le même travail répété à travers tout le réseau. Avec des preuves succinctes, une partie fait le gros du travail et produit une preuve compacte. Tout le monde d'autre vérifie juste cela. Le réseau passe de "tout le monde fait tout" à "calculez une fois, vérifiez partout." 📜 C'est pourquoi Brevis peut offrir des choses comme des requêtes de données historiques pour les niveaux de frais VIP de PancakeSwap, ou des distributions de récompenses de milliards de tokens pour Linea, sans exploser les coûts de gaz. Le calcul se fait hors chaîne où c'est bon marché. La preuve arrive sur chaîne où la vérification est fixe et abordable, peu importe combien de données ont été traitées en coulisses. La succinctness est aussi la raison pour laquelle la preuve en temps réel des blocs Ethereum de Pico Prism fonctionne du tout. Prouver l'exécution d'un bloc entier et le compresser en quelque chose qu'un contrat intelligent peut vérifier en millisecondes serait inutile si la preuve elle-même était aussi grande que les données du bloc. Le ratio de compression est ce qui rend tout le modèle viable. Lisez la Partie 2 :