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