作者：Janos Nick，Blockstream编译：白丁 & Faust，极客Web3摘要：这篇文章简明扼但又一针见血的指出了如何让比特币支持ZK验证功能，涉及的具体话题包含比特币UTXO和脚本在功能性上的缺陷、Taproot和OP_CAT以及BitVM和Chain State Proof等概念的大致内容。文中抛出了比较鲜明的观点：比特币协议引入ZK是必然趋势，对此有两种路线：一种是让比特币脚本直接支持SNARK验证，需要借助OP_CAT操作码，而OP_CAT最终通过的概率很大；第...