Je me suis intéressé à certaines des dernières évolutions de @Starknet, et le SNIP-36 a retenu mon attention. Il s’appelle In Protocol Proof Verification, et la dernière mise à jour v0.14.4 le rend encore plus intéressant. Mais d’abord, que fait exactement le SNIP-36 ? Pensez aux applications qui doivent effectuer des calculs intensifs. Effectuer tout ce travail directement sur la chaîne peut être coûteux et gourmand en ressources. Le SNIP-36 introduit une autre approche. Les applications peuvent exécuter la logique appropriée hors chaîne, générer une preuve STARK de cette exécution et soumettre la preuve à Starknet pour vérification. Voici comment le processus fonctionne : - L’application exécute sa logique hors chaîne sur un état Starknet spécifique. - Le prouveur S Two génère une preuve démontrant que l’exécution était valide. - L’application soumet la preuve accompagnée de données appelées proof_facts. - Le consensus Starknet vérifie la preuve, et le contrat de l’application peut utiliser le résultat vérifié pour effectuer les changements d’état requis. En termes simples, le calcul se fait hors chaîne, tandis que sa correction peut toujours être vérifiée sur Starknet. Maintenant, voici ce qui rend la dernière mise à jour intéressante. Avec Starknet v0.14.4, le SNIP-36 dépasse les petites transactions virtuelles pour permettre de prouver des calculs beaucoup plus volumineux, de taille bloc. Dans les conditions spécifiées, une seule transaction prouvée peut contenir jusqu’à 1,1 milliard de gaz L2 de calcul. Cela signifie que les applications peuvent potentiellement gérer des charges de travail trop importantes pour une transaction classique, en prouvant l’exécution au lieu de la payer comme une exécution normale sur chaîne. Pourquoi est-ce important ? 1. ZKThreads et mise à l’échelle des applications Les applications peuvent déplacer une partie plus importante de leur exécution hors chaîne et ramener des résultats vérifiés sur Starknet. Cela ouvre la voie à des possibilités de mise à l’échelle spécifiques aux applications via ZKThreads. 2. Applications axées sur la confidentialité Le SNIP-36 peut également soutenir des applications qui utilisent des entrées privées tout en révélant uniquement les résultats publics nécessaires. L’implémentation actuelle offre une confidentialité computationnelle, mais il ne faut pas la confondre avec des garanties complètes de confidentialité mathématique zero-knowledge. 3. Plus de flexibilité pour les développeurs Les développeurs disposent de davantage de liberté pour construire des applications nécessitant des calculs complexes, sans être obligés de faire passer chaque partie de cette charge de travail par une exécution classique sur chaîne. Une chose que je trouve intéressante à propos de Starknet est qu’elle ne se concentre pas uniquement sur le traitement de plus de transactions. Elle facilite également pour les applications la gestion de calculs complexes sans imposer toute la charge de travail sur chaîne. C’est là que le SNIP-36 devient intéressant. Plus de calcul avec des résultats vérifiables signifie davantage de possibilités pour les constructeurs sur Starknet. Encore tôt, mais certainement quelque chose qui mérite d’être suivi.