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