BitcoinOS和Starknet正处于将智能合约功能添加到比特币的边缘 – 无论是否使用备受争议的OP_CAT分叉。
BitcoinOS和Starknet并未等待备受争议的OP_CAT硬分叉就开始为比特币添加新功能，两个项目均正在设计创新的方式利用零知识(ZK)证明来扩展比特币。
这两个项目已经证明了在比特币现有主网上验证ZK证明是可能的，即使比特币的超简单脚本语言使其变得困难且昂贵。这可能会创建真正的比特币第二层网络，继承了其大部分安全性，并解锁在比特币本身上创建可编程代币的有趣可能性。
作为以太坊第二层的Starknet最为人熟知，希望利用这项技术将比特币的交易量提升到每秒数千笔，而不仅仅是今天的7笔。共同创始人Eli Ben-Sasson告诉《Magazine》说，Starknet生态系统非常热衷于扩展至比特币。
与此同时，BitcoinOS声称将很快推出一项技术，直接在比特币的主网上解锁智能合约功能，而不需要将BTC发送到比特币第二层。这可能使近2万亿美元的比特币能够在DeFi中本地使用。
CTO Gadi Guy表示：“有这么多钱闲置着什么都不做，我们想让这些资金投入使用。”去年11月，BitcoinOS通过其Grail zk桥在比特币和Merlin比特币第二层之间发送了第一笔无信任交易。Merlin是与以太坊虚拟机兼容的区块链，BitcoinOS打算很快公开展示比特币和以太坊之间的交易。
[阅读更多](https://cointelegraph.com/magazine/bitcoinos-starknet-adding-smart-contracts-bitcoin-zk-proofs/)
新闻来源 (Source): Cointelegraph.com News
作者 (Author): Andrew Fenton