本文详细分析了比特币的两个提案，OP_CAT（BIP 347）和OP_CTV（BIP 119），这两个提案旨在提升比特币交易的可编程性。文章探讨了比特币脚本语言的限制，以及如何通过这两个新操作码来改善比特币的智能合约能力，并推动信任桥接和安全仓库等新用途的发展。
本文探讨了如何在比特币网络上验证零知识证明（ZK Proofs），并讨论了比特币脚本的限制以及重启OP_CAT的重要性。文章提出了基于哈希函数的零知识证明系统的可行性，相对轻量并适合比特币的特定要求，进而促进比特币生态系统的发展与可编程性。最后，作者还探讨了如何通过分拆交易和欺诈证明机制，优化ZK证明的验证过程。
这篇文章指出了如何让比特币支持ZK验证功能，比特币UTXO和脚本在功能性上的缺陷，及可能的路线
Galaxy
L2IV
仙壤