近几周，比特币网络面临了增加使用Ordinals和BRC-20代币加入其区块链的压力。由此导致的拥堵令比特币社区感到失望，尤其考虑到一些BRC-20代币是吸引了数十亿美元资本的模因代币。与此同时，以零知识证明（zk-proofs）为代表的扩展方案使得以太坊生态系统得到了好处。Cointelegraph采访了StarkWare的联合创始人Eli Ben-Sasson，就zk-proofs如何应对比特币当前的挑战进行了探讨。

zk-proofs是一种允许当事方在不透露任何信息的情况下证明陈述或数据的加密协议。这种技术增强了隐私和安全性，同时减少了验证交易和区块链上存储的信息的计算负担。Ben-Sasson认为，有效性证明和STARK可以为比特币网络提供更大的完整性和效率。他预计zk-proofs将增加更多的容量，使得微支付和智能合约等更多的社交功能得以实现。

将zk-proofs引入比特币的潜力是由市场需求推动的，特别是BRC-20代币在比特币顶部寻求更多功能的情况下。新成立的初创公司ZeroSync Association正在开发zk-proof驱动的工具，使用户能够验证比特币网络的状态，而无需下载区块链或信任第三方进行验证。其中一种工具是ZeroSync的有效性证明，它可以立即验证比特币的链状态。ZeroSync还开发了zkCoins，它允许处理高达100个代币交易，同时将on-chain印记尽量减少，并不会增加UTXO集。

虽然这些解决方案并没有直接解决网络拥堵问题，但zk-proofs仍然有帮助缓解拥堵的潜力。Linus指出，比特币主层上的SNARK验证器可以实现一系列扩展方案，包括zk-rollups，信任桥接到侧链，以及潜在地将BTC钉在zkCoins上以增强隐私和吞吐量。总的来说，有效性证明在比特币社区越来越受到关注，而zk-proofs为比特币网络带来益处的潜力是明确的。