Cardano打破比特幣：智能合約無需任何更改

IO(，這家負責Cardano的研究和工程公司，推出了一條編譯管道，可以在不觸及比特幣共識代碼的情況下，在比特幣上執行Cardano智能合約。

“Input | Output正在開發一個新的編譯管道，它將使用現代語言如Python、TypeScript或Scala編寫的Cardano智能合約在不修改比特幣本身的情況下運行於比特幣上，”該公司在周二晚上在X上寫道，並附上了一篇詳細說明該過程的六篇技術帖。

比特幣獲得卡爾達諾智能合約

該線程描述了一個表示的中繼，從高級原始碼開始，最終進入比特幣腳本。首先，Cardano的工具鏈將合約降低到未類型化的Plutus Core )UPLC(，一個精簡的函數字節碼。UPLC隨後被序列化並交給一個稱爲控制環境連續體)CEK(的微型解釋器。IO並沒有直接請求比特幣解釋UPLC，而是將CEK機器自身編譯爲RISC-V，"一個現實世界的簡單CPU指令集。" 生成的RISC-V程序成爲比特幣最終驗證的有效載荷，序列化的UPLC在運行時傳遞給它。

相關閱讀：Cardano Clash：Hoskinson爲IOG辯護，面對鯨魚的反對一篇由軟件工程師Riley Kilgore簽署的博客文章用一句話概括了設計：“通過結合序列化的智能合約格式)未類型化Plutus Core – UPLC(，一個巧妙的解釋器架構)CEK機器(，以及一個廣泛支持的開源精簡指令集架構)RISC-V(，IO正在將這個想法變爲現實。”由於RISC-V代碼是確定性的，其執行軌跡可以在比特幣腳本中被證明或質疑，因此不需要軟分叉。比特幣保持不變；表達能力被轉移到一個輔助虛擬CPU，其行爲可以逐步被質疑.

對於這些挑戰的安全支柱是BitVMX，它是Robin Linus在2023年提出的“可爭議計算”在比特幣上的BitVM提案的後裔。IO的新聞聲明稱BitVMX是一個“創新、最小信任協議”，它“在一個誠實操作員模型中以1爲基礎”運行，並允許開發者“直接從他們首選的錢包中以BTC支付交易費用。”BitVMX繼承了BitVM的樂觀匯總風格——鏈外執行，鏈上欺詐證明——但用一個完整的RISC-V核心替代了BitVM的定制電路，從而允許由標準工具鏈編譯的未修改的二進制文件.

承諾是將Cardano基於eUTxO的智能合約生態系統——Marlowe、Aiken及其他——引入比特幣龐大的流動性池。從實際角度來看，這可能意味着借貸、交換，甚至是以BTC作爲抵押的NFT支持貸款，所有這些都無需將托管控制權交給側鏈。

相關閱讀：Cardano受到了攻擊：霍斯金森表示，6億美元的IOG審計定於8月進行對於比特幣純粹主義者來說，這一舉動既熟悉又有爭議。2021年的Taproot擴展了Script，增加了Schnorr籤名和密鑰路徑支出，讓網路首次體驗了復雜智能合約邏輯，而2023年的BitVM則展示了任意計算可以被驗證而不是由比特幣節點執行。IO的管道將這些想法進一步推進，但它以保持基礎層不變的方式進行——這一設計標準被BitVM的作者稱爲比特幣社會契約不可妥協的要求。

編譯流程仍在積極開發中；IO尚未承諾主網發布日期，也未發布典型合約的氣體成本基準。它所做的是展示了兩個哲學上不同的區塊鏈之間一個理論上完整的橋梁。如果工程障礙——交易大小、爭議延遲和用戶體驗摩擦——能夠得到控制，Cardano的軟件堆棧可能很快就會成爲比特幣上的一流公民。

截至發稿時，ADA的交易價格爲$0.87。

![卡爾達諾價格])http://img-cdn.gateio.im/social/moments-a5cb48c0faf235000c710a0d29f4a8f7(ADA 停在 0.236 斐波那契下方，1 周圖表 |資料來源：TradingView.com 上的 ADAUSDT使用 DALL 創建的特色圖片。E，來自 TradingView.com 的圖表 ![])http://bitcoinist.com/wp-content/uploads/2025/02/safe.png( 編輯流程 bitcoinist 專注於提供經過充分研究、準確且公正的內容。我們堅持嚴格的來源標準，每一頁都經過我們頂尖技術專家和資深編輯團隊的認真審核。這個過程確保了我們內容的完整性、相關性和對讀者的價值。