BitcoinOS和Starknet正处于为比特币添加智能合约功能的边缘，无论是否有备受争议的OP_CAT硬分叉。
这两个项目都展示了在比特币现有的主网上验证零知识（ZK）证明的可能性，即使比特币的超简单脚本语言使其变得困难和昂贵。这可能会创造出真正的比特币第二层，继承了其大部分安全性，并解锁了在比特币本身上创建可编程代币的有趣可能性。
作为以太坊第二层最为著名的Starknet希望利用这项技术将比特币的交易量从目前的每秒7笔提升到数千笔。共同创始人Eli Ben-Sasson告诉杂志说：“Starknet生态系统非常热衷于扩展到比特币”。
与此同时，BitcoinOS声称将很快揭示一项技术，直接在比特币主网上解锁智能合约功能，而不需要将比特币发送到比特币第二层。这可能使将近2万亿美元的比特币在DeFi中本地使用成为可能。
CTO Gadi Guy表示：“这是一大笔钱，却闲置无为。我们希望让这笔钱发挥作用。”
去年11月，BitcoinOS通过其Grail zk桥在比特币和Merlin比特币第二层之间发送了第一笔无信任交易。Merlin是一个与以太坊虚拟机兼容的区块链，BitcoinOS计划很快公开展示比特币和以太坊之间的交易。
新闻来源 (Source): Cointelegraph.com News
作者 (Author): Andrew Fenton