BitcoinOS和Starknet正处于将智能合约功能添加到比特币上的边缘，无论是否经过备受争议的OP_CAT分叉。
BitcoinOS和Starknet并未等待备受争议的OP_CAT硬分叉，而是通过设计创新的方式，使用零知识（ZK）证明来扩展比特币的功能。这两个项目都已经证明，即使比特币的超简单脚本语言使其难以实现且昂贵，也可以在比特币现有的主网上验证ZK证明。这可能会为比特币L2层创造真正的应用，并打开在比特币本身上创建可编程代币的有趣可能性。
作为以太坊L2的知名项目Starknet希望利用这项技术，将比特币的交易量从今天的仅7笔每秒提高到数千笔每秒。“Starknet生态系统非常热衷于扩展到比特币，”共同创始人Eli Ben-Sasson告诉《Magazine》。
与此同时，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