Les nouveaux contrats intelligents non Turing-complets d' Algorand 2.0 sont une fonctionnalité, pas un bug

La blockchain de preuve d'enjeu Algorand prend désormais en charge les contrats intelligents.

La Fondation Algorand a publié jeudi une mise à jour du protocole blockchain, ajoutant des fonctionnalités de Finance décentralisée (DeFi) ainsi que les contrats intelligents tant attendus. « Algorand 2.0 » représente la plus grande extension des capacités du réseau depuis son lancement en juin 2019.

« Avec cette version, de nouvelles fonctionnalités et des ressources de développement simples permettent de nouveaux cas d'utilisation et une adoption plus large de la blockchain dans son ensemble », a déclaré Steve Kokinos, PDG Algorand , dans un communiqué. déclaration.

Depuis des mois, les employés Algorand sont allusionen attentedéveloppementC'est la première fois Algorand prend en charge les contrats intelligents, les contrats pilotés par code qui peuvent suivre et exécuter les termes des accords formels au fil du temps.

Les contrats intelligents ASC d'Algorand présentent des différences de back-end par rapport aux contrats intelligents développés par des blockchains comme Ethereum. Cela s'explique par le fait que le nouveau langage de programmation interne d'Algorand, Transaction Execution Approval Language (TEAL), n'est pas Turing-complet.

Techniquement unique

La complétude de Turing est une mesure de la capacité d'un langage de programmation à simuler un autre langage de programmation et éventuellement à manipuler ses propres instructions de programmation.

Presque tous les langages de programmation modernes sont Turing-complets, mais Algorand présente la différence de TEAL comme une fonctionnalité, et non comme un bug. Les contrats intelligents TEAL sont plus sûrs à écrire et à exécuter, malgré un potentiel fonctionnel plus limité, affirme Algorand .

Par exemple, ASC ne peut pas prendre en chargelogique récursive, selon lepage du développeur.

« Nous ne pensons T que Turing-complet soit nécessaire pour la majorité des cas d'utilisation », a déclaré Paul Riegle, responsable produit chez Algorand. « Cela augmente considérablement la surface d'attaque et peut avoir un impact considérable sur les performances. »

Des fonctionnalités simplifiées pourraient améliorer la sécurité, ou du moins permettre aux développeurs de contrats ASC de ne pas perdre de ressources par inadvertance. Selon lui, il est plus facile et plus rapide de vérifier la présence d'erreurs dans le code d'un contrat intelligent lorsque son langage de programmation exclut la logique récursive.Hacker Noon.

Autres améliorations

La fonction d'émission d'actifs standard (ASA) apporte des fonctionnalités de tokenisation généralisées à Algorand et constitue également un outil DeFi de base.

La fondationpage du développeura déclaré que tout actif peut être numérisé et stocké sur la chaîne avec ASA.

Algorand a également introduit la fonctionnalité de transaction par lots avec la fonctionnalité Atomic Transfers publiée jeudi.

Grâce au nouvel outil, les utilisateurs peuvent effectuer des transferts de jetons complexes, tels que des transactions circulaires et des règlements de comptes internes, en une ONE transaction. page du développeur dit.

La fondation a déclaré Algorand 2.0 n'a pas d'impact sur les activités d'Algorand. conformité à la chariacertification, les autres caractéristiques clés restant inchangées.

Algorand a une capitalisation boursière de 108 millions de dollars, selon La nomique, et se classe au 48e rang des plus grandes blockchains, selonCoinMarketCap.