BitcoinOS 和 Starknet 正在将智能合约功能添加到比特币中，无论是否采用备受争议的 OP_CAT 分叉。这两个项目均已证明可以在比特币现有主网上验证零知识证明，即使比特币超简单的脚本语言使其变得困难且昂贵。这可能会创建真正的比特币 Layer 2，继承其大部分安全性，并解锁在比特币本身上创建可编程代币的有趣可能性。
Starknet 作为以太坊 Layer 2 最为知名，希望利用这一技术将比特币的交易量扩展到每秒数千笔，而不仅仅是目前的 7 TPS。联合创始人 Eli Ben-Sasson 对杂志表示，Starknet 生态系统非常热衷于扩展到比特币上。
与此同时，BitcoinOS 声称将很快推出直接在比特币主网上解锁智能合约功能的技术，而不需要将 BTC 发送到比特币 Layer 2。这将使近 2 万亿美元的比特币能够在 DeFi 中本地使用。
BitcoinOS 在 11 月份通过其 Grail zk 桥在比特币和 Merlin 比特币 Layer 2 之间发送了第一笔无信任交易。Merlin 是与以太坊虚拟机兼容的区块链，BitcoinOS 打算很快公开展示比特币和以太坊之间的交易。
[阅读更多](https://cointelegraph.com/magazine/bitcoinos-starknet-adding-smart-contracts-bitcoin-zk-proofs/)
新闻来源 (Source): Cointelegraph.com News
作者 (Author): Andrew Fenton