卡尔达诺超越比特币：无需任何更改的智能合约

一项重新点燃关于比特币能（或应该）在多大程度上超越其原始职能这一长期争议的公告中，卡尔达诺背后的研发工程公司Input Output（IO）公布了一套编译流水线系统，可在不修改比特币共识代码的前提下，在比特币网络上执行卡尔达诺智能合约。

该公司于周二深夜在X平台发文称："Input Output正在开发的新型编译流水线技术，可将用Python、TypeScript或Scala等现代语言编写的卡尔达诺智能合约，在不改动比特币协议的情况下运行于比特币网络"，并附上了详细阐述该技术的六篇技术推文。

比特币迎来卡尔达诺智能合约

技术推文描述了一个从高级源代码开始，最终嵌入比特币脚本的表示层级联系统。首先，卡尔达诺工具链将合约降级为无类型Plutus核心代码（UPLC）——一种精简的函数式字节码。UPLC经序列化后交由名为控制-环境-续延（CEK）机的微型解释器处理。IO并未要求比特币直接解释UPLC，而是将CEK机本身编译为RISC-V指令集——"一种现实世界的精简CPU指令集"。最终生成的RISC-V程序成为比特币网络验证的有效载荷，序列化的UPLC将在运行时传入。

软件工程师Riley Kilgore署名的配套博文用一句话概括该设计："通过结合序列化智能合约格式（UPLC）、精妙的解释器架构（CEK机）与广泛支持的开源精简指令集架构（RISC-V），IO正在将这一构想变为现实。"由于RISC-V代码具有确定性，其执行轨迹可在比特币脚本内被验证或质疑，因此无需软分叉。比特币协议保持原状，而表现力被卸载至可逐步验证其行为的辅助虚拟CPU。

该验证机制的安全锚点是BitVMX，这是Robin Linus 2023年提出的比特币"可争议计算"方案BitVM的衍生版本。IO的新闻稿称BitVMX是"创新的最小化信任协议"，采用"n中取1诚实运营者模型"，允许开发者"直接从常用钱包支付BTC交易费"。BitVMX继承了BitVM的乐观汇总模式——链下执行，链上欺诈证明——但用完整的RISC-V核心取代了BitVM的定制电路，支持标准工具链编译的未修改二进制文件。

此举旨在将卡尔达诺基于eUTxO的智能合约生态（包括Marlowe、Aiken等）接入比特币庞大的流动性池。实际应用可能包括借贷、互换甚至BTC抵押的NFT贷款，且无需将托管权让渡给侧链。

对比特币纯粹主义者而言，这一举措既熟悉又充满争议。2021年的Taproot升级通过Schnorr签名和密钥路径支出扩展了脚本功能，让网络首次体验复杂智能合约逻辑；2023年的BitVM则证明任意计算都可通过比特币节点验证而非执行。IO的编译流水线推进了这些理念，但始终坚持不改变基础层的设计准则——BitVM作者们称之为比特币社会契约中不可妥协的原则。

该编译流程仍在积极开发中，IO尚未公布主网上线时间，也未发布典型合约的燃料费基准测试。目前成果是理论上实现了两个哲学理念迥异的区块链间的完整桥梁。若能克服交易体积、争议延迟和用户体验摩擦等工程障碍，卡尔达诺的软件栈或将在比特币上获得一等公民地位。

截至发稿时，ADA报价0.87美元。