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