Contenu éditorial de confiance, examiné par des experts de l'industrie de premier plan et des éditeurs expérimentés. Divulgation des annonces
Dans une annonce qui ravive le débat perpétuel sur jusqu'où le Bitcoin peut - ou devrait - s'étendre au-delà de son mandat original, Input Output (IO), la société de recherche et d'ingénierie derrière Cardano, a dévoilé un pipeline de compilation qui exécute des contrats intelligents Cardano sur Bitcoin sans toucher une ligne du code de consensus de Bitcoin.
« Un nouveau pipeline de compilation en cours de développement chez Input | Output prend un contrat intelligent Cardano, écrit en utilisant un langage moderne tel que Python, TypeScript ou Scala, et l'exécute sur Bitcoin sans modifier Bitcoin lui-même », a écrit la société sur X tard mardi soir, en joignant un fil technique de six publications qui expliquait le processus en détail.
Bitcoin obtient des contrats intelligents Cardano
Le fil décrit un relais de représentations qui commence par un code source de haut niveau et se termine à l'intérieur de Bitcoin Script. Tout d'abord, la chaîne d'outils de Cardano réduit le contrat en Untyped Plutus Core (UPLC), un bytecode fonctionnel simplifié. UPLC est ensuite sérialisé et remis à un interpréteur miniature connu sous le nom de machine Control–Environment–Continuation (CEK). Au lieu de demander à Bitcoin d'interpréter UPLC directement, IO compile la machine CEK elle-même en RISC‑V, "un ensemble d'instructions CPU simple et réel". Le programme RISC‑V résultant devient la charge utile que Bitcoin vérifie finalement, avec l'UPLC sérialisé passé à celui-ci au moment de l'exécution.
Lecture Connexe : Cardano Clash : Hoskinson Défend IOG Face à la Controverse des BaleinesUn article de blog compagnon signé par l'ingénieur logiciel Riley Kilgore cadre le design en une seule phrase : « En combinant un format de contrat intelligent sérialisé (Core Plutus non typé – UPLC), une architecture d'interpréteur astucieuse (machine CEK), et une architecture à jeu d'instructions réduites open source largement supportée (RISC-V), IO transforme cette idée en réalité. » Parce que le code RISC-V est déterministe et que sa trace d'exécution peut être prouvée – ou contestée – dans Bitcoin Script, aucun soft-fork n'est nécessaire. Bitcoin reste inchangé ; l'expressivité est déchargée vers un CPU virtuel auxiliaire dont le comportement peut être contesté étape par étape.
L'ancre de sécurité pour ces défis est BitVMX, un descendant de la proposition BitVM de Robin Linus en 2023 pour "le calcul contestable" sur Bitcoin. La déclaration du bureau de presse d'IO qualifie BitVMX de "protocole innovant et minimisé en matière de confiance" qui "fonctionne sur un modèle d'opérateur honnête 1 sur n" et permet aux développeurs de "payer les frais de transaction en BTC directement depuis leur portefeuille préféré." BitVMX hérite du style roll-up optimiste de BitVM—exécution hors chaîne, preuves de fraude sur chaîne—mais remplace les circuits sur mesure de BitVM par un cœur RISC-V complet, permettant des binaires non modifiés compilés par des chaînes d'outils standard.
La promesse est d'apporter l'écosystème de contrats intelligents basé sur eUTxO de Cardano—Marlowe, Aiken, et le reste—dans le vaste pool de liquidités de Bitcoin. En termes pratiques, cela pourrait signifier des prêts, des échanges, et même des prêts garantis par des NFT adossés à des garanties BTC, le tout sans céder le contrôle de garde à une sidechain.
Lecture connexe : Cardano sous le feu : Audit IOG de 600 millions de dollars prévu pour août, dit HoskinsonPour les puristes du Bitcoin, ce mouvement est à la fois familier et controversé. Taproot en 2021 a élargi Script avec des signatures Schnorr et des dépenses par chemin de clé, offrant au réseau son premier aperçu de la logique complexe des contrats intelligents, tandis que BitVM en 2023 a montré que le calcul arbitraire pouvait être vérifié plutôt que exécuté par des nœuds Bitcoin. Le pipeline d’IO pousse ces idées plus loin, mais le fait d’une manière qui garde la couche de base inchangée—un critère de conception que les auteurs de BitVM ont qualifié de non-négociable pour le contrat social du Bitcoin.
Le flux de compilation est toujours en cours de développement actif ; IO ne s'est pas engagé à une date de lancement de la chaîne principale, ni n'a publié de références de coût en gaz pour des contrats typiques. Ce qu'il a fait, c'est démontrer un pont théoriquement complet entre deux blockchains philosophiquement divergentes. Si les obstacles techniques - tailles de transaction, latence des litiges et frictions d'expérience utilisateur - peuvent être contenus, la pile logicielle de Cardano pourrait bientôt devenir un citoyen de première classe sur Bitcoin.
À l'heure actuelle, ADA se négocie à 0,87 $.
ADA stagne en dessous du Fib 0.236, graphique sur 1 semaine | Source : ADAUSDT sur TradingView.comImage en vedette créée avec DALL.E, graphique provenant de TradingView.com
Le processus éditorial de bitcoinist est axé sur la livraison de contenu minutieusement recherché, précis et impartial. Nous maintenons des normes de sourcing strictes, et chaque page est soumise à un examen minutieux par notre équipe d'experts en technologie de premier plan et d'éditeurs chevronnés. Ce processus garantit l'intégrité, la pertinence et la valeur de notre contenu pour nos lecteurs.
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
Cardano casse Bitcoin : Smart Contracts sans aucun changement
« Un nouveau pipeline de compilation en cours de développement chez Input | Output prend un contrat intelligent Cardano, écrit en utilisant un langage moderne tel que Python, TypeScript ou Scala, et l'exécute sur Bitcoin sans modifier Bitcoin lui-même », a écrit la société sur X tard mardi soir, en joignant un fil technique de six publications qui expliquait le processus en détail.
Bitcoin obtient des contrats intelligents Cardano
Le fil décrit un relais de représentations qui commence par un code source de haut niveau et se termine à l'intérieur de Bitcoin Script. Tout d'abord, la chaîne d'outils de Cardano réduit le contrat en Untyped Plutus Core (UPLC), un bytecode fonctionnel simplifié. UPLC est ensuite sérialisé et remis à un interpréteur miniature connu sous le nom de machine Control–Environment–Continuation (CEK). Au lieu de demander à Bitcoin d'interpréter UPLC directement, IO compile la machine CEK elle-même en RISC‑V, "un ensemble d'instructions CPU simple et réel". Le programme RISC‑V résultant devient la charge utile que Bitcoin vérifie finalement, avec l'UPLC sérialisé passé à celui-ci au moment de l'exécution.
Lecture Connexe : Cardano Clash : Hoskinson Défend IOG Face à la Controverse des BaleinesUn article de blog compagnon signé par l'ingénieur logiciel Riley Kilgore cadre le design en une seule phrase : « En combinant un format de contrat intelligent sérialisé (Core Plutus non typé – UPLC), une architecture d'interpréteur astucieuse (machine CEK), et une architecture à jeu d'instructions réduites open source largement supportée (RISC-V), IO transforme cette idée en réalité. » Parce que le code RISC-V est déterministe et que sa trace d'exécution peut être prouvée – ou contestée – dans Bitcoin Script, aucun soft-fork n'est nécessaire. Bitcoin reste inchangé ; l'expressivité est déchargée vers un CPU virtuel auxiliaire dont le comportement peut être contesté étape par étape.
L'ancre de sécurité pour ces défis est BitVMX, un descendant de la proposition BitVM de Robin Linus en 2023 pour "le calcul contestable" sur Bitcoin. La déclaration du bureau de presse d'IO qualifie BitVMX de "protocole innovant et minimisé en matière de confiance" qui "fonctionne sur un modèle d'opérateur honnête 1 sur n" et permet aux développeurs de "payer les frais de transaction en BTC directement depuis leur portefeuille préféré." BitVMX hérite du style roll-up optimiste de BitVM—exécution hors chaîne, preuves de fraude sur chaîne—mais remplace les circuits sur mesure de BitVM par un cœur RISC-V complet, permettant des binaires non modifiés compilés par des chaînes d'outils standard.
La promesse est d'apporter l'écosystème de contrats intelligents basé sur eUTxO de Cardano—Marlowe, Aiken, et le reste—dans le vaste pool de liquidités de Bitcoin. En termes pratiques, cela pourrait signifier des prêts, des échanges, et même des prêts garantis par des NFT adossés à des garanties BTC, le tout sans céder le contrôle de garde à une sidechain.
Lecture connexe : Cardano sous le feu : Audit IOG de 600 millions de dollars prévu pour août, dit HoskinsonPour les puristes du Bitcoin, ce mouvement est à la fois familier et controversé. Taproot en 2021 a élargi Script avec des signatures Schnorr et des dépenses par chemin de clé, offrant au réseau son premier aperçu de la logique complexe des contrats intelligents, tandis que BitVM en 2023 a montré que le calcul arbitraire pouvait être vérifié plutôt que exécuté par des nœuds Bitcoin. Le pipeline d’IO pousse ces idées plus loin, mais le fait d’une manière qui garde la couche de base inchangée—un critère de conception que les auteurs de BitVM ont qualifié de non-négociable pour le contrat social du Bitcoin.
Le flux de compilation est toujours en cours de développement actif ; IO ne s'est pas engagé à une date de lancement de la chaîne principale, ni n'a publié de références de coût en gaz pour des contrats typiques. Ce qu'il a fait, c'est démontrer un pont théoriquement complet entre deux blockchains philosophiquement divergentes. Si les obstacles techniques - tailles de transaction, latence des litiges et frictions d'expérience utilisateur - peuvent être contenus, la pile logicielle de Cardano pourrait bientôt devenir un citoyen de première classe sur Bitcoin.
À l'heure actuelle, ADA se négocie à 0,87 $.