信頼できる編集コンテンツは、業界の専門家や経験豊富な編集者によってレビューされています。広告開示ビットコインが本来の目的を超えてどこまで拡張できるか、あるいはすべきかという永遠の議論を再燃させる発表の中で、Input Output (IO)、カルダノの背後にある研究およびエンジニアリング会社は、ビットコインのコンセンサスコードに一行も触れることなくビットコイン上でカルダノのスマートコントラクトを実行するコンパイルパイプラインを発表しました。「Input | Outputで開発中の新しいコンパイルパイプラインは、Python、TypeScript、Scalaなどの現代的な言語で書かれたCardanoスマートコントラクトを取り、それをBitcoinで実行し、Bitcoin自体を変更することなく行うものです」と、同社は火曜日の夜遅くにXで書き、プロセスを詳細に説明した6つの投稿からなる技術スレッドを添付しました。## ビットコインがカルダノのスマートコントラクトを取得このスレッドでは、高レベルのソースコードから始まり、Bitcoin Script内で終わる表現のリレーについて説明しています。まず、Cardanoのツールチェーンは、契約を型なしPlutus Core (UPLC)に下げます。これは、ストリップダウンされた関数型バイトコードです。UPLCはシリアライズされ、Control–Environment–Continuation (CEK)マシンとして知られるミニチュアインタープリターに渡されます。BitcoinにUPLCを直接解釈するように要求するのではなく、IOはCEKマシン自体をRISC-Vにコンパイルします。これは「実世界のシンプルなCPU命令セット」です。その結果得られたRISC-Vプログラムは、最終的にBitcoinが検証するペイロードとなり、シリアライズされたUPLCが実行時に渡されます。関連する読み物: カルダノの対立: ホスキンソンがホエールの反発に対してIOGを擁護ソフトウェアエンジニアのライリー・キルゴアによって署名された補助ブログ投稿は、デザインを一文で表現しています: 「(未型Plutus Core – UPLC)、巧妙なインタープリタアーキテクチャ(CEKマシン)、そして広くサポートされているオープンソースのリデュースドインストラクションセットアーキテクチャ(RISC-V)を組み合わせることで、IOはそのアイデアを現実に変えています。」 RISC-Vコードは決定論的であり、その実行トレースはビットコインスクリプト内で証明または異議を唱えることができますので、ソフトフォークは必要ありません。ビットコインは変更されず、その表現力は段階的に挑戦できる補助的な仮想CPUにオフロードされています。これらの課題に対するセキュリティの基盤は、Robin Linusの2023年のBitVM提案から派生したBitVMXです。IOのニュースルームの声明では、BitVMXを「革新的で信頼を最小限にしたプロトコル」と呼び、「1人の誠実なオペレーターのモデルで運営され」、開発者が「お気に入りのウォレットから直接BTCで取引手数料を支払う」ことを可能にすると述べています。BitVMXはBitVMの楽観的ロールアップスタイルを受け継いでおり、オフチェーンでの実行とオンチェーンでの詐欺証明を行いますが、BitVMの特注回路を完全なRISC-Vコアに置き換え、標準ツールチェーンによってコンパイルされた未修正のバイナリを許可します。約束は、CardanoのeUTxOベースのスマートコントラクトエコシステムであるMarlowe、Aiken、その他をBitcoinの膨大な流動性プールに持ち込むことです。実際には、それは貸し出し、スワップ、さらにはBTC担保によって担保されたNFTバックのローンを意味する可能性があり、サイドチェーンに対して管理権を与えることなく行われます。関連情報：カルダノが攻撃を受ける：6億ドルのIOG監査が8月に予定されているとホスキンソンは言うビットコインの純粋主義者にとって、この動きはどちらもおなじみで物議を醸すものです。2021年のタプルートは、シュノー署名とキー経路支出を用いてスクリプトを拡張し、ネットワークに複雑なスマートコントラクトのロジックを初めてもたらしました。一方、2023年のBitVMは、任意の計算がビットコインノードによって実行されるのではなく、検証されることができることを示しました。IOのパイプラインはこれらのアイデアをさらに進めますが、基本層を変更しない方法で行われます—これはBitVMの著者たちがビットコインの社会契約にとって交渉不可能と呼んだ設計基準です。コンパイルフローはまだアクティブな開発中です。IOはメインネットのローンチ日程を確約しておらず、典型的な契約のガスコストベンチマークも公開していません。彼らが行ったのは、哲学的に異なる2つのブロックチェーンの間に理論的に完全なブリッジを示すことです。エンジニアリングの課題—トランザクションサイズ、紛争のレイテンシー、ユーザーエクスペリエンスの摩擦—が抑えられれば、Cardanoのソフトウェアスタックは間もなくBitcoinの一流市民となるかもしれません。報道時点で、ADAは$0.87で取引されていました。ADAは0.236フィボナッチを下回る、1週間足チャート |出典:TradingView.comのADAUSDTドールで作成された注目の画像。E、チャート TradingView.combitcoinistの**編集プロセス**は、徹底的に調査された正確で偏りのないコンテンツを提供することに中心を置いています。我々は厳格な情報源基準を守り、各ページは最高の技術専門家と経験豊富な編集者からなるチームによって丁寧にレビューされます。このプロセスは、読者に対するコンテンツの整合性、関連性、および価値を保証します。
カルダノがビットコインを打ち破る：スマートコントラクトは一切の変更なしで
「Input | Outputで開発中の新しいコンパイルパイプラインは、Python、TypeScript、Scalaなどの現代的な言語で書かれたCardanoスマートコントラクトを取り、それをBitcoinで実行し、Bitcoin自体を変更することなく行うものです」と、同社は火曜日の夜遅くにXで書き、プロセスを詳細に説明した6つの投稿からなる技術スレッドを添付しました。
ビットコインがカルダノのスマートコントラクトを取得
このスレッドでは、高レベルのソースコードから始まり、Bitcoin Script内で終わる表現のリレーについて説明しています。まず、Cardanoのツールチェーンは、契約を型なしPlutus Core (UPLC)に下げます。これは、ストリップダウンされた関数型バイトコードです。UPLCはシリアライズされ、Control–Environment–Continuation (CEK)マシンとして知られるミニチュアインタープリターに渡されます。BitcoinにUPLCを直接解釈するように要求するのではなく、IOはCEKマシン自体をRISC-Vにコンパイルします。これは「実世界のシンプルなCPU命令セット」です。その結果得られたRISC-Vプログラムは、最終的にBitcoinが検証するペイロードとなり、シリアライズされたUPLCが実行時に渡されます。
関連する読み物: カルダノの対立: ホスキンソンがホエールの反発に対してIOGを擁護 ソフトウェアエンジニアのライリー・キルゴアによって署名された補助ブログ投稿は、デザインを一文で表現しています: 「(未型Plutus Core – UPLC)、巧妙なインタープリタアーキテクチャ(CEKマシン)、そして広くサポートされているオープンソースのリデュースドインストラクションセットアーキテクチャ(RISC-V)を組み合わせることで、IOはそのアイデアを現実に変えています。」 RISC-Vコードは決定論的であり、その実行トレースはビットコインスクリプト内で証明または異議を唱えることができますので、ソフトフォークは必要ありません。ビットコインは変更されず、その表現力は段階的に挑戦できる補助的な仮想CPUにオフロードされています。
これらの課題に対するセキュリティの基盤は、Robin Linusの2023年のBitVM提案から派生したBitVMXです。IOのニュースルームの声明では、BitVMXを「革新的で信頼を最小限にしたプロトコル」と呼び、「1人の誠実なオペレーターのモデルで運営され」、開発者が「お気に入りのウォレットから直接BTCで取引手数料を支払う」ことを可能にすると述べています。BitVMXはBitVMの楽観的ロールアップスタイルを受け継いでおり、オフチェーンでの実行とオンチェーンでの詐欺証明を行いますが、BitVMの特注回路を完全なRISC-Vコアに置き換え、標準ツールチェーンによってコンパイルされた未修正のバイナリを許可します。
約束は、CardanoのeUTxOベースのスマートコントラクトエコシステムであるMarlowe、Aiken、その他をBitcoinの膨大な流動性プールに持ち込むことです。実際には、それは貸し出し、スワップ、さらにはBTC担保によって担保されたNFTバックのローンを意味する可能性があり、サイドチェーンに対して管理権を与えることなく行われます。
関連情報：カルダノが攻撃を受ける：6億ドルのIOG監査が8月に予定されているとホスキンソンは言うビットコインの純粋主義者にとって、この動きはどちらもおなじみで物議を醸すものです。2021年のタプルートは、シュノー署名とキー経路支出を用いてスクリプトを拡張し、ネットワークに複雑なスマートコントラクトのロジックを初めてもたらしました。一方、2023年のBitVMは、任意の計算がビットコインノードによって実行されるのではなく、検証されることができることを示しました。IOのパイプラインはこれらのアイデアをさらに進めますが、基本層を変更しない方法で行われます—これはBitVMの著者たちがビットコインの社会契約にとって交渉不可能と呼んだ設計基準です。
コンパイルフローはまだアクティブな開発中です。IOはメインネットのローンチ日程を確約しておらず、典型的な契約のガスコストベンチマークも公開していません。彼らが行ったのは、哲学的に異なる2つのブロックチェーンの間に理論的に完全なブリッジを示すことです。エンジニアリングの課題—トランザクションサイズ、紛争のレイテンシー、ユーザーエクスペリエンスの摩擦—が抑えられれば、Cardanoのソフトウェアスタックは間もなくBitcoinの一流市民となるかもしれません。
報道時点で、ADAは$0.87で取引されていました。