BitcoinOS和Starknet正处于将智能合约功能添加到比特币上的边缘，无论是否采取颇具争议的OP_CAT硬分叉。
BitcoinOS和Starknet并未等待颇具争议的OP_CAT硬分叉来为比特币增加新功能，这两个项目都正在设计创新的方式，利用零知识（ZK）证明来扩展比特币的规模。
这两个项目都已经证明了可以在比特币现有的主网上验证ZK证明，即使比特币的超简单脚本语言使其变得困难且昂贵。这可能会创造真正的比特币第二层，继承了大部分的安全性，并解锁在比特币本身上创建可编程代币的有趣可能性。
Starknet作为以太坊第二层的知名项目，希望利用这项技术将比特币的交易量从目前的每秒7笔扩展到数千笔。共同创始人Eli Ben-Sasson告诉《杂志》，“Starknet生态系统对扩展到比特币也非常热衷”。
与此同时，BitcoinOS声称将很快展示一项技术，可以直接在比特币主网上解锁智能合约功能，而无需将比特币发送到比特币第二层。这将使近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