BitcoinOS 和 Starknet 正在考虑为比特币增加智能合约功能，无论是否进行具有争议的 OP_CAT 分叉。这两个项目都展示了他们正在创新地利用零知识（ZK）证明来扩展比特币，而不依赖于比特币的争议性 OP_CAT 分叉。尽管比特币的超简单脚本语言使其变得困难且昂贵，但这两个项目已经证明了可以在比特币现有的主网上验证 ZK 证明。这可能会创建真正的比特币第二层，继承了大部分比特币的安全性，并解锁了在比特币本身上创建可编程代币的有趣可能性。
Starknet 作为以太坊 Layer 2 最为知名，希望利用技术将比特币的交易量从目前的仅 7 TPS 提升至每秒数千次。共同创始人 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