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 专注于提供经过充分研究、准确且公正的内容。我们坚持严格的来源标准，每一页都经过我们顶尖技术专家和资深编辑团队的认真审核。这个过程确保了我们内容的完整性、相关性和对读者的价值。