Chain State Proof

摘要 文章探讨比特币引入ZK验证功能的必要性及实现路径，指出当前比特币脚本功能局限性（如缺乏循环、乘除运算等）制约了SNARK验证。提出两种技术路线：一是通过启用OP_CAT等基础操作码增强脚本功能...