本文探讨了如何在比特币网络上验证零知识证明（ZK Proofs），并讨论了比特币脚本的限制以及重启OP_CAT的重要性。文章提出了基于哈希函数的零知识证明系统的可行性，相对轻量并适合比特币的特定要求，进而促进比特币生态系统的发展与可编程性。最后，作者还探讨了如何通过分拆交易和欺诈证明机制，优化ZK证明的验证过程。
L2IV