Publié initialement en anglais par StarkWare le 2 Décembre, 2020

Le premier système basé sur Cairo est maintenant en production

Il y a cinq mois, nous avons lancé StarkEx 1.0, le premier échelon de production du système STARK, alimentant l'exchange self-custodial DeversiFi. Immédiatement après le lancement, nous avons commencé à développer la nouvelle version améliorée, StarkEx 2.0, qui est sortie aujourd'hui. Cette version introduit un nombre significatif d'améliorations dans différents aspects du système.

Lisez les documents

Cairo : Un vérificateur pour tous - StarkEx 2.0 est le premier système en production à être programmé en Cairo, notre nouveau langage de programmation Turing-complet pour générer des preuves STARK. Les exchanges de nos partenaires, ImmutableX et dYdX, qui seront bientôt lancés, seront également alimentés par Cairo. Vous pouvez en savoir plus sur Cairo en lisant cet article ou en écoutant cette conférence.

La scalabilité grâce à l'universalité - Passer des contraintes écrites à la main au cadre universel du Cairo peut être considéré comme un échange entre l'efficacité d'un ASIC et la sécurité d'un langage de programmation. Mais dans les faits, disposer d'un langage agile et expressif nous permet d'écrire un code plus efficace pour vérifier des calculs complexes et coûteux et, ce faisant, d'améliorer la scalabilité. Un tel exemple est la création de preuves plus petites en vérifiant un sous-arbre de Merkle, par opposition à la vérification de nombreux chemins individuels de Merkle.

Le résultat? Une multiplication par 4 de la taille des lots pour DeversiFi et, bien sûr, notre démo de 300 000 transactions Reddit en une seule preuve.

Connectivité L1-L2 rapide - L'année dernière, nous avons été les premiers à proposer des mécanismes pour exploiter les garanties des preuves de validité L2 afin de permettre des transactions L1 rapides avant la synchronisation avec l'état de la L2. Maintenant, cette fonctionnalité innovante est lancé, et permettra aux utilisateurs de StarkEx d'invoquer des retraits rapides ainsi que d'autres interactions L2-L1, à la vitesse de la blockchain. DeversiFi est déjà en train de planifier de nouvelles fonctionnalités excitantes utilisant cette capacité, et nous sommes impatients de voir l'innovation que cela va déclencher.

Support de l'ERC-721 - StarkEx 2.0 est maintenant prêt à supporter le trading (et bientôt, le minting massif off-chain) de jetons non fongibles (NFT) adhérant au format ERC-721. Cette capacité est cruciale pour le lancement imminent d'ImmutableX, mais servira également aux futurs clients de StarkEx qui pourraient souhaiter combiner l'échange de jetons fongibles et d'articles de jeu et de collection non fongibles.

Flexibilité - Nous avons amélioré les interfaces des contrats dans tous les domaines : les utilisateurs peuvent désormais effectuer des dépôts sur n'importe quel compte L2 et des retraits vers n'importe quelle adresse L1. Par exemple, Bob peut déposer directement sur le compte L2 d'Alice. Alice peut retirer ses fonds directement à l'adresse Ethereum de son cold wallet, ou envoyer ses fonds à l'adresse Ethereum de Bob.

Amélioration de l'accueil des utilisateurs - Les utilisateurs peuvent désormais être inscrits à StarkEx par n'importe quelle adresse (c'est-à-dire par l'opérateur lui-même), ce qui permet à l'application de supprimer l'étape d'inscription du processus d'accueil des utilisateurs, et d'inscrire les utilisateurs directement à la L2. Moins de friction, une meilleure transition.

Récupération des clés des smart contracts - Chaque adresse Ethereum peut désormais avoir plusieurs comptes L2. Cela permet aux smart contract wallets de récupérer leurs clés. Cela permet également aux traders de conserver leurs fonds dans différents comptes off-chain.

Assurer le self-custody - Enfin, cet mise à jour a été la première démonstration du mécanisme d'upgrade de StarkEx sur le Mainnet. Cette mise à niveau a été proposée on-chain il y a 28 jours:

https://twitter.com/StarkWareLtd/status/1320695603492507648?ref_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1320695603492507648%7Ctwgr%5E%7Ctwcon%5Es1_&ref_url=https%3A%2F%2Fcdn.embedly.com%2Fwidgets%2Fmedia.html%3Ftype%3Dtext2Fhtmlkey%3Da19fcc184b9711e1b4764040d3dc5c07schema%3Dtwitterurl%3Dhttps3A%2F%2Ftwitter.com%2Fstarkwareltd%2Fstatus%2F1320695603492507648image%3D

Nous avons conçu notre mécanisme de mise à niveau pour le self-custody des utilisateurs. Au lieu de permettre à l'opérateur du système d'apporter des modifications arbitraires à un contrat StarkEx, une nouvelle version du contrat est d'abord proposée et ne peut être activée qu'au bout de 28 jours. Cette période permet à tout utilisateur du système de vérifier les changements, et de quitter le système s'il le souhaite.

Vous trouverez plus de détails sur le mécanisme de mise à niveau ici.

Maintenant que StarkEx 2.0 est sorti, nous travaillons sur les prochaines versions, dont la première devrait être déployée d'ici la fin de l'année, et alimenter ImmutableX. Peu de temps après, le système StarkEx supportant l'échangeur de contrats perpétuels dYdX sera mis en service. Chacune de ces versions inclura des fonctionnalités supplémentaires innovantes et inédites - restez à l'écoute !

Tom Brand

Traduction faite par unhorizon

Publié initialement en anglais par StarkWare le 2 Décembre, 2020

Le premier système basé sur Cairo est maintenant en production

Il y a cinq mois, nous avons lancé StarkEx 1.0, le premier échelon de production du système STARK, alimentant l'exchange self-custodial DeversiFi. Immédiatement après le lancement, nous avons commencé à développer la nouvelle version améliorée, StarkEx 2.0, qui est sortie aujourd'hui. Cette version introduit un nombre significatif d'améliorations dans différents aspects du système.

Lisez les documents

Cairo : Un vérificateur pour tous - StarkEx 2.0 est le premier système en production à être programmé en Cairo, notre nouveau langage de programmation Turing-complet pour générer des preuves STARK. Les exchanges de nos partenaires, ImmutableX et dYdX, qui seront bientôt lancés, seront également alimentés par Cairo. Vous pouvez en savoir plus sur Cairo en lisant cet article ou en écoutant cette conférence.

La scalabilité grâce à l'universalité - Passer des contraintes écrites à la main au cadre universel du Cairo peut être considéré comme un échange entre l'efficacité d'un ASIC et la sécurité d'un langage de programmation. Mais dans les faits, disposer d'un langage agile et expressif nous permet d'écrire un code plus efficace pour vérifier des calculs complexes et coûteux et, ce faisant, d'améliorer la scalabilité. Un tel exemple est la création de preuves plus petites en vérifiant un sous-arbre de Merkle, par opposition à la vérification de nombreux chemins individuels de Merkle.

Le résultat? Une multiplication par 4 de la taille des lots pour DeversiFi et, bien sûr, notre démo de 300 000 transactions Reddit en une seule preuve.

Connectivité L1-L2 rapide - L'année dernière, nous avons été les premiers à proposer des mécanismes pour exploiter les garanties des preuves de validité L2 afin de permettre des transactions L1 rapides avant la synchronisation avec l'état de la L2. Maintenant, cette fonctionnalité innovante est lancé, et permettra aux utilisateurs de StarkEx d'invoquer des retraits rapides ainsi que d'autres interactions L2-L1, à la vitesse de la blockchain. DeversiFi est déjà en train de planifier de nouvelles fonctionnalités excitantes utilisant cette capacité, et nous sommes impatients de voir l'innovation que cela va déclencher.

Support de l'ERC-721 - StarkEx 2.0 est maintenant prêt à supporter le trading (et bientôt, le minting massif off-chain) de jetons non fongibles (NFT) adhérant au format ERC-721. Cette capacité est cruciale pour le lancement imminent d'ImmutableX, mais servira également aux futurs clients de StarkEx qui pourraient souhaiter combiner l'échange de jetons fongibles et d'articles de jeu et de collection non fongibles.

Flexibilité - Nous avons amélioré les interfaces des contrats dans tous les domaines : les utilisateurs peuvent désormais effectuer des dépôts sur n'importe quel compte L2 et des retraits vers n'importe quelle adresse L1. Par exemple, Bob peut déposer directement sur le compte L2 d'Alice. Alice peut retirer ses fonds directement à l'adresse Ethereum de son cold wallet, ou envoyer ses fonds à l'adresse Ethereum de Bob.

Amélioration de l'accueil des utilisateurs - Les utilisateurs peuvent désormais être inscrits à StarkEx par n'importe quelle adresse (c'est-à-dire par l'opérateur lui-même), ce qui permet à l'application de supprimer l'étape d'inscription du processus d'accueil des utilisateurs, et d'inscrire les utilisateurs directement à la L2. Moins de friction, une meilleure transition.

Récupération des clés des smart contracts - Chaque adresse Ethereum peut désormais avoir plusieurs comptes L2. Cela permet aux smart contract wallets de récupérer leurs clés. Cela permet également aux traders de conserver leurs fonds dans différents comptes off-chain.

Assurer le self-custody - Enfin, cet mise à jour a été la première démonstration du mécanisme d'upgrade de StarkEx sur le Mainnet. Cette mise à niveau a été proposée on-chain il y a 28 jours:

https://twitter.com/StarkWareLtd/status/1320695603492507648?ref_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1320695603492507648%7Ctwgr%5E%7Ctwcon%5Es1_&ref_url=https%3A%2F%2Fcdn.embedly.com%2Fwidgets%2Fmedia.html%3Ftype%3Dtext2Fhtmlkey%3Da19fcc184b9711e1b4764040d3dc5c07schema%3Dtwitterurl%3Dhttps3A%2F%2Ftwitter.com%2Fstarkwareltd%2Fstatus%2F1320695603492507648image%3D

Nous avons conçu notre mécanisme de mise à niveau pour le self-custody des utilisateurs. Au lieu de permettre à l'opérateur du système d'apporter des modifications arbitraires à un contrat StarkEx, une nouvelle version du contrat est d'abord proposée et ne peut être activée qu'au bout de 28 jours. Cette période permet à tout utilisateur du système de vérifier les changements, et de quitter le système s'il le souhaite.

Vous trouverez plus de détails sur le mécanisme de mise à niveau ici.

Maintenant que StarkEx 2.0 est sorti, nous travaillons sur les prochaines versions, dont la première devrait être déployée d'ici la fin de l'année, et alimenter ImmutableX. Peu de temps après, le système StarkEx supportant l'échangeur de contrats perpétuels dYdX sera mis en service. Chacune de ces versions inclura des fonctionnalités supplémentaires innovantes et inédites - restez à l'écoute !

Tom Brand

Traduction faite par unhorizon