Depuis longtemps, la technologie des preuves à divulgation nulle de connaissance (ZK) était considérée comme une technologie "théoriquement parfaite, mais pratiquement lente" en raison de son coût computationnel élevé et de sa lenteur dans le processus de génération, ce qui rendait difficile de répondre aux exigences strictes de temps de blocage de la blockchain, entravant ainsi son application dans des scénarios réels. Cependant, en 2025, cette situation a été complètement renversée, et les performances ZK ne sont plus le principal obstacle à leur application. Une percée emblématique est le système de preuve SP1 Hypercube développé par l'équipe Succinct. Il a réussi à démontrer la capacité de générer des preuves ZK pour plus de 93 % des blocs de la chaîne principale Ethereum dans un créneau de 12 secondes, avec un temps de preuve moyen de seulement 10,3 secondes. Quant à la raison pour laquelle Succinct SP1 Hypercube a pu réaliser un tel progrès technique, cela peut être compris simplement comme étant principalement dû à deux améliorations : 🔹 Le processus de génération de preuves ZK nécessite d'encoder les données de transaction de la blockchain dans un polynôme mathématique, ce résultat d'encodage aidant à former la preuve finale. On peut l'imaginer comme le fait de mettre un grand nombre de bagages en désordre dans une valise. Le polynôme utilisé auparavant s'appelait Polynômes Univariés, qui ne correspondait pas bien à la structure des données de la blockchain, comme utiliser une valise ronde pour des objets carrés, il y a toujours des espaces vides ou des compressions, rendant le travail de préparation de l'encodage long et inefficace. SP1 Hypercube a inventé un nouveau polynôme (Polynômes Multilinaires), qui correspond mieux aux caractéristiques multidimensionnelles des données de transaction, ce qui équivaut à concevoir une valise rectangulaire, capable de remplir parfaitement les bagages. Cela a considérablement réduit le temps de préparation de l'encodage des données, permettant à la génération de preuves de passer de minutes à secondes, réalisant ainsi un traitement en temps réel ; 🔹 Auparavant, la génération de preuves était comme un emballage manuel par une seule personne, tout le processus se déroulant étape par étape, sans possibilité de décomposition. Maintenant, SP1 Hypercube utilise de nouveaux algorithmes (y compris l'agrégation récursive et les protocoles d'optimisation), permettant de décomposer une grande preuve en plusieurs petites tâches de preuve, chaque petite tâche étant traitée indépendamment, puis facilement fusionnée en une preuve complète. L'avantage de la décomposition est qu'elle permet de tirer pleinement parti des calculs parallèles sur des CPU ou GPU multicœurs, comme si plusieurs personnes emballaient des bagages en même temps, ce qui fait que la vitesse globale s'envole, capable de suivre le rythme d'Ethereum avec un bloc toutes les 12 secondes, réalisant ainsi des preuves en temps réel.