把计算拆成链下片段、链上锁承诺，指出一处算错即可推翻主张。本文拆解冲突一次性签名作为欺诈证明的原理、BitVM2 的无许可挑战与设置阶段的部分诚实假设，以及活性与数据可用性边界。