BitcoinOS 和 Starknet 正在考虑为比特币增加智能合约功能，无论是否经过备受争议的 OP_CAT 分叉。
BitcoinOS 和 Starknet 并未等待备受争议的 OP_CAT 硬分叉，而是通过创新方式利用零知识（ZK）证明，目前已经展示了在比特币现有主网上验证 ZK 证明的可能性，即使比特币的超简单脚本语言使其变得困难和昂贵。这可能会创造出真正的基于比特币安全性的第二层网络，并解锁在比特币本身上创建可编程代币的有趣可能性。
作为以太坊第二层网络的知名项目，Starknet 希望利用该技术将比特币的交易量从目前仅有的 7 个每秒提升至数千个每秒。“Starknet 生态系统非常热衷于扩展到比特币，”联合创始人 Eli Ben-Sasson 在接受杂志采访时表示。
与此同时，BitcoinOS 声称将很快推出直接在比特币主网上解锁智能合约功能的技术，而不是要求将 BTC 发送到比特币第二层网络。这可以使将近 2 万亿美元的比特币在 DeFi 中得到本地使用。
CTO Gadi Guy 表示：“这是一大笔资金一直闲置着，什么也没做。我们希望让这笔钱发挥作用。”
去年，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