Initialement publié en anglais par StarkWare le 22 Aout, 2023

StarkWare rend Open Source le prouveur STARK, désormais nommé Stone, sous licence Apache 2.0.

Une session de revue de code aura lieu le 31 août lors de Starknet Summit. À cette date, le code du prouveur Stone sera disponible pour la communauté.

TL;DR

• Comme annoncé en février 2023, nous sommes sur le point de rendre open source le prouveur STARK de StarkWare, à présent appelé Stone (STARK one), sous licence Apache 2.0.

• La mise en open source du prouveur est une étape majeure vers la décentralisation de Starknet. Cela favorisera la collaboration et l'innovation, permettant aux développeurs d'observer, d'optimiser et d'utiliser le code du prouveur, de préférence pour le bien de Starknet.

• Cette étape s'inscrit dans la continuité des précédentes initiatives de mise en open source de la licence de la stack Starknet. Avec une communauté de développeurs en forte croissance, Starknet dispose de la stack Rollup la plus décentralisée. Comprenant plusieurs composants d'infrastructure clés, tels que Cairo, plusieurs implémentations de nœuds complets, le nouveau Séquenceur de Starknet et d'autres fonctionnalités open source développées par des équipes indépendantes.

• Le prouveur Stone est un moteur puissant, et les équipes sont encouragées à ajouter des personnalisations autour de celui-ci afin de construire le système de preuve dont elles ont besoin et qu'elles exigent.

Grande nouvelle :

Nous sommes enthousiastes ! Comme annoncé plus tôt cette année et prévu dès les premières étapes de Starknet, nous rendons open source le code du prouveur STARK, désormais appelé Stone. La base de code du prouveur sera disponible sous la licence Apache 2.0. Une session d'introduction au code aura lieu lors de Starknet Summit le 31 août, date à laquelle le code sera disponible.

Il s'agit d'une étape majeure vers la décentralisation de la technologie de StarkWare, permettant à la communauté de construire et de contribuer au développement du prouveur de manière indépendante.

Pour les développeurs, cela signifie que le moteur, testé au combat, est au centre des réalisations de StarkWare, et disponible pour que tous puissent l'utiliser pour prouver des programmes Cairo. Nous vous fournissons un puissant prouveur STARK, et vous pouvez l'utiliser pour contribuer au développement de l'écosystème Starknet.

Mise en Open Source du Prouveur STARK - Stone

Le Prouveur STARK est un composant vital au sein de la stack de Starknet. Il est responsable de la compression des transactions et de la génération de preuves cryptographiques, jouant un rôle clé dans l'évolutivité d'Ethereum.

Ce Prouveur est en production depuis juin 2020, jouant un rôle crucial dans la validation des transactions provenant d'applications décentralisées alimentées par StarkEx (comme Immutable X, Sorare, dYdX, et d'autres) et Starknet. Le code a été continuellement optimisé, et nous partageons sa version mise à jour la plus récente (qui a été publiée en mars 2023).

Depuis son lancement, les solutions de scalabilité basées sur la technologie STARK construites avec ce Prouveur à leur base (y compris StarkEx et Starknet) ont compressé et validé 1 000 milliards de dollars de volume de transactions cumulées, 500 millions de transactions et plus de 100 millions de créations de NFT. Bien sûr, des innovations et des optimisations supplémentaires sont possibles, que ce soit par StarkWare ou par les développeurs qui choisiront de prendre le code et de l'utiliser pour leurs propres initiatives.

Un Prouveur open source permet à davantage de regards d'examiner le code et d'offrir des optimisations, d'améliorer sa qualité, de détecter les bugs et de fournir de la transparence.

Actuellement, StarkWare a déjà open source Cairo, le noeud complet Papyrus et toutes les versions de Starknet. Le nouveau Séquenceur Starknet en cours de développement sera également open source. Ces projets sont rejoints par plusieurs projets open source dans l'écosystème Starknet.

Qu'est-ce qui est Open Source et comment les développeurs peuvent-ils l'utiliser ?

Le code open source comprend le Prouveur STARK - Stone en C++ (sous licence Apache 2.0). De plus, un Verifier STARK en C++ sera aussi disponible.

Le Prouveur Stone open source permettra des initiatives innovantes qui pourront l'utiliser comme moteur de validation sous-jacent de leurs systèmes de validation. Les développeurs pourront l'utiliser comme suit :

1. Écrire un programme Cairo0.

2. Utiliser les outils Cairo pour prendre le programme Cairo0 et le compiler en CASM.

3. Exécuter le code CASM avec cairo_run et recevoir une trace Cairo pour cette exécution.

4. Utiliser le Prouveur STARK - Stone pour prouver la trace Cairo.

5. Recevoir une Preuve STARK.

6. Utiliser le Vérifier C++ pour s'assurer que la preuve est valide.

Le Prouveur Stone est adapté pour la validation des programmes Cairo. Des personnalisations supplémentaires peuvent être construites au-dessus de lui afin de l'utiliser pour différents systèmes et besoins de validation. Les développeurs peuvent prendre ce moteur testé au combat et construire leur propre service de validation sur mesure. Par exemple, StarkWare a construit le système SHARP avec ce Prouveur comme base.

Résumé

Avec la publication du code source du Prouveur Stone sous la licence Apache 2.0, StarkWare marque un moment crucial dans le développement et la mise à disposition d'outils ouverts pour la mise à l'échelle sécurisée d'Ethereum. StarkWare estime que la mise en open source de la stack Starknet signifie davantage de collaboration, une meilleure qualité, une sécurité améliorée, de l'innovation et de l'indépendance. Toutes ces valeurs peuvent aider Starknet et Ethereum à atteindre leur plein potentiel.

À l'avenir, tout ce dont les développeurs ont besoin pour exploiter et exécuter la stack Starknet est prévu d'être en open source, comme il convient à un réseau de couche 2 décentralisé et sans permission.