比特币上的 Linux？开源框架 BitVMX 设想由 BTC 驱动的程序

比特币研究人员正在完善一个名为 BitVMX 的新开源框架，该框架有望允许在比特币的基础层上安全地构建和执行复杂的应用程序和功能。

BitVMX 的灵感来自 Robin Linus 的 BitVM 项目，由主要的比特币第 2 层协议 RootstockLabs 支持。该项目旨在创建一个开源、同行评审、与侧链无关的框架，用于开发基于比特币的程序。

Cointelegraph 独家采访了 RootstockLabs 首席科学家 Sergio Demian Lerner，详细了解了 BitVMX 项目及其对比特币生态系统的潜在影响。该项目将在 Bitcoin++ 奥斯汀会议上正式亮相，同时发布其白皮书。

勒纳对比特币创始人中本聪所采用的挖矿模式的研究被新闻媒体和研究人员广泛引用。资料来源：Bitslog

勒纳最出名的研究是探索模式，以确定中本聪在比特币早期使用什么硬件进行挖矿，Cointelegraph 杂志在 2021 年对此进行了报道。

BitVMX 希望为比特币程序提供支持

从技术层面上讲，BitVMX 允许将资金锁定在未花费交易输出 (UTXO) 中，其花费条件取决于程序执行的结果。Lerner 表示，在创建 UTXO 时必须定义程序，但程序输入则不需要。

科学家表示，该框架的可能性非常广泛，有可能为各种应用程序和功能提供支持：

“BitVMX 的神奇之处在于，它基本上允许开发人员在比特币上运行任何东西，甚至是 Linux。”

勒纳表示，BitVMX 可以为比特币搭建桥梁，允许 BTC 在主链和 Rootstock 等侧链之间单向流动，然后可以用来与去中心化应用程序 (DApps) 和其他智能合约进行交互。

相关：比特币需要 DeFi、消费者应用程序才能大规模采用——L2 开发者

另一个用例是构建聚合器预言机，从各种来源收集和验证数据，并以自动和分散的方式将其存储在比特币网络上。

BitVMX 还将直接在比特币上支持零知识简洁非交互式知识论证 (zk-SNARK) 和零知识可扩展透明知识论证 (zk-STARK) 验证器。这有望开辟新的应用，例如零知识附带支付和自主漏洞赏金计划。

比特币 L2 批评

比特币社区一直在直言不讳地批评那些推广声称在链上本地运行的比特币 L2 的初创公司日益增强的亲和力营销策略。

勒纳强调，BitVMX 与任何代币销售无关，该框架允许创建更安全、更分散的桥梁，不依赖于外国代币的抵押。

比特币第 2 层协议按各种协议中锁定的比特币总量排名。闪电网络的点对点协议仍然拥有最多的 BTC 锁定在支付渠道中。资料来源：比特币前沿基金

这位计算机科学家还表示，Rootstock Labs 相信可以用简单的标准来定义比特币 L2 的构成：

“它必须使用 BTC 作为其原生资产和结算机制来执行交易，并展示对比特币的功能依赖。其他一切都只是亲和力营销。”

勒纳补充道，声称建立在比特币基础上的欺诈项目破坏了每一次牛市。他补充说，用户应该坚持使用闪电网络、Liquid 和 Rootstock 等经过实战检验的解决方案，而不是“冒着资金风险，将他们的比特币投入到资金雄厚、营销活动光鲜亮丽且未经测试或未知的解决方案上”。

改变比特币功能的叙述

BitVMX 项目公开承认 Robin Linus 的 BitVM 框架的奠基性工作。它试图以 BitVM 的理论方法为基础，使用复杂的组合逻辑电路方法，依靠大型 Merkle 树进行门级验证。

相反，BitVMX 宣称采用一种简化方法，直接使用比特币脚本操作码执行中央处理单元指令。Lerner 表示，这使得它更适合现实世界的应用程序，并解锁了运行侧链轻客户端和使用 zk-SNARK 进行验证等用例。

首席科学家解释说，该框架以“高效、安全的方式”为比特币带来可争议计算，从而实现一系列新的用例。

Lerner 简要阐述了可争议计算的范式。如果各方都同意计算结果，则链上不会进行任何计算。

然而，如果一方不同意，链上互动将开始正式有效地解决争议。最坏的情况是，单个有争议的门、线路或计算步骤在链上得到验证。

相关：比特币 L2 代币飙升两位数，因为 BTC 创下 25 个月新高

Lerner 设想 BitVMX 将通过扩展网络功能激发新一波比特币建设者。他强调，该框架能够为比特币的基础层提供更复杂的支出限制。

这位计算机科学家补充说，比特币的脚本语言缺少可以使 BitVMX 更便宜、更高效的关键操作码。

“问题不再是比特币是否能够做到 X？”，而是“比特币能多高效地做到 X”，勒纳说。

不断变化的叙事也可能加速比特币的变革，并有可能带回操作码，包括 OP_MUL 或 OP_CAT。

杂志：遗产的价值：追寻中本聪的比特币