卡尔达诺通过智能合约创新在比特币 DeFi 领域取得重大突破

Input Output Global 的 Cardano 开发团队构建了一个新工具，允许为区块链编写的智能合约在比特币上运行。

该系统于本月早些时候推出，无需修改比特币的基本代码即可运行，并可能为网络上的 DeFi 带来新的可能性。

新管道将卡尔达诺智能合约桥接到比特币

在一项重大进展中，卡尔达诺背后的公司 Input Output Global 宣布了一种在比特币网络上运行智能合约的新方法。

该更新引入了一个工具链，允许开发人员使用现代编程语言编写 Cardano 智能合约。

之后，它们可以通过构建用于比特币的新管道执行。

该过程从用 Python、TypeScript 或 Scala 等语言编写的智能合约开始。

这些被编译成非类型 Plutus Core （UPLC），这是一种干净直接的字节码格式。UPLC 充当桥梁，允许以标准方式表达智能合约逻辑。

从那里，UPLC 代码被序列化。此步骤将代码转换为字节流，可以发送、存储或传递到另一个系统进行处理。

然后使用称为 CEK 机器的虚拟机解释序列化代码。这是一个为了解 UPLC 而构建的小程序。

值得补充的是，IOG 没有直接在比特币上运行这个解释器，而是采取了不同的方法。

据透露，CEK 机器被编译成 RISC-V，这是一个广泛用于研究和硬件的开放指令集。

这意味着智能合约逻辑可以在一个简单、可预测的链下环境中执行。

为了使系统安全可靠，IOG 正在使用 BitVMX。该工具可以验证比特币上的链下计算。

如果对结果存在分歧，任何人都可以通过逐步揭示过程来质疑它。

如果发现欺诈行为，提交结果的一方将面临失去预付押金的风险。

根据该出版物，整个管道经历了以下阶段：UPLC → CEK → RISC-V →比特币。

比特币 DeFi 可能会出现新的增长

该系统的主要目标之一是为比特币引入更先进的智能合约功能。

比特币本身以安全和简单而闻名;但是，它的脚本语言有些有限。这使得直接在比特币上构建 DeFi 应用程序变得困难。

通过这种新设置，开发人员可以利用卡尔达诺的工具和语言来构建去中心化交易所、托管系统和稳定币等应用程序。

这些应用程序可以在链下执行，然后使用比特币的安全基础层在链上进行验证。

RISC-V 在该系统中起着关键作用。它是开放的、有良好支持的并且足够简单，以确保合同执行仍然易于检查。

BitVMX 引入了对不正确结果提出异议的能力，这有助于维护系统完整性，而不会给区块链带来额外的负载。

这种设置还实现了卡尔达诺和比特币生态系统之间的连接。

资产可以以无需信任的方式跨链转移，开发人员无需为两个平台重新构建工具。

推动 DeFi 发展的功能合作

该项目是名为 BitVMX FORCE 的联合努力的一部分。此次合作包括 IOG、Rootstock Labs 和 Fairgate Labs。

在比特币 2025 活动中，Input Output 展示了将 UPLC 连接到 RISC-V 的编译器，展示了其与 BitVMX 验证器的功能。

该项目背后的团队认为，比特币可以作为新型创新合约应用的基础。

他们的目标不是改变比特币，而是通过链下工具和安全验证来扩展其功能。

通过将卡尔达诺的开发人员工具与比特币网络联系起来，这项工作可以为基于比特币的去中心化金融的新道路铺平道路。

卡尔达诺通过智能合约创新在比特币 DeFi 领域取得重大突破的帖子首先出现在 The Coin Republic 上。