BitcoinOS 和 Starknet 正在着手为比特币添加智能合约功能 —— 无论是否经过备受争议的 OP_CAT 分叉。
这两个项目展示了他们有能力在比特币现有的主网上验证零知识（ZK）证明，尽管比特币的超简单脚本语言使这一过程变得困难且昂贵。这将为比特币打造真正的第二层解决方案，继承了大部分安全性，并解锁了在比特币本身上创建可编程代币的有趣可能性。
Starknet 作为以太坊的第二层解决方案，希望利用这项技术将比特币的交易量从当前的每秒 7 笔提升至数千笔。共同创始人 Eli Ben-Sasson 在接受 Magazine 采访时表示：“Starknet 生态系统对扩展到比特币也非常热情。”
与此同时，BitcoinOS 宣称将很快发布一项技术，在比特币的主网上直接解锁智能合约功能，而不需要将 BTC 发送至比特币的第二层解决方案。这将使近 2 万亿美元的比特币能够在 DeFi 中原生使用。
比特币OS 在11月份通过其 Grail zk 桥梁在比特币和 Merlin 比特币第二层之间发送了首笔不受信任的交易。Merlin 是与以太坊虚拟机兼容的区块链，BitcoinOS 打算很快公开展示比特币与以太坊之间的交易。
[阅读更多](https://cointelegraph.com/magazine/bitcoinos-starknet-adding-smart-contracts-bitcoin-zk-proofs/)
新闻来源 (Source): Cointelegraph.com News
作者 (Author): Andrew Fenton