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