Temps ZK-STARKs : L’article blanc ZK-STARK a été publié en 2018 (ainsi qu’un composant principal appelé FRI). À cette époque, nous avions déjà constaté que les ZK-SNARKs basés sur les courbes elliptiques pouvaient résoudre la confidentialité pour les blockchains, et il semblait s’agir de tout ce que le monde espérait. Alors, pourquoi une construction complètement nouvelle ? Qu’est-ce qui était primordial pour nous ? Les principaux avantages des ZK-STARKs étaient les suivants : • Transparence (le T de STARK) — Cela signifie pas de configuration « toxique » comme nécessaire lors de la cérémonie pour les SNARKs. C’est très important pour la confiance. Pour expliquer — Il n’y a pas de configuration de confiance, donc les ZK-STARKs transparents peuvent être considérés comme fiables même s’ils sont utilisés par Darth Vader. • Sécurité post-quantique — En 2018, peu de personnes parlaient de la menace quantique et de la façon dont elle pourrait détruire la cryptographie basée sur les courbes elliptiques. Mais les ZK-STARKs sont sécurisés post-quantique et ne nécessitent en fait que l’existence d’une fonction de hachage sécurisée. Cela s’est révélé important à notre époque d’intelligence supérieure et de sa menace contre les hypothèses de difficulté standard comme celles sur lesquelles reposent RSA, DH, ECDSA, les constructions basées sur les réseaux, etc. • Indépendant du champ — Les ZK-SNARKs de Zcash nécessitaient des structures algébriques très spécifiques (corps finis) et de grande taille. Les STARKs, en revanche, fonctionnent sur pratiquement tous les corps finis, y compris les corps binaires et les petits corps premiers, ce qui est plus adapté pour une durée de calcul efficace. Pour les non-mathématiciens, cela signifie une vitesse et une échelle bien supérieures. Par exemple, nous avons mesuré l’arithmétique du champ M31 (utilisée par notre dernier et plus performant prouveur STARK, S-two) comme étant 100 fois plus rapide que l’arithmétique utilisée pour notre premier prouveur, qui exigeait un champ de 256 bits (!). • Évolutivité — Le fait qu’ils fonctionnent sur n’importe quel champ, combiné à l’absence de besoin d’une configuration de confiance, signifie que nous n’avons pas eu à modifier le vérificateur onchain, même en augmentant encore et encore la taille des calculs que nous traitions. En résumé — transparence, sécurité post-quantique, efficacité et évolutivité étaient les grands avantages que les ZK-STARKs offraient au monde en 2018. Aujourd’hui, ils sont devenus la référence absolue pour une échelle ZK sûre et une confidentialité optimale. LA FIN