Polyhedra Network 今日官方公布了一种在比特币网络上直接验证 ZK 证明的全新方法。Polyhedra Network 表示，鉴于比特币 ETF 的批准和即将到来的减半事件等最新进展，市场对比特币研究的兴趣空前高涨，但该团队却发现了现有验证方法所存在的关键缺陷 —— 特别是 BitVM 白皮书中强调的缺陷 —— 主要的问题在于证明者和挑战者之间可能存在勾结，这会威胁到证明的完整性，从而导致恶意创建无效证明。为了解决上述问题，Polyhedra Network 团队推出了一种替代方案，即使用 FRI（Fast Reed-Solomon Interactive）风格的 ZK 证明作为链上验证的最后一层。与 Groth16 或 Plonk 等其他 ZK 证明系统相比，FRI 证明具有更好的效率，对运算的需求更低。考虑到比特币区块链上的操作成本较高，这一效率提升至关重要。Polyhedra Network 补充表示，当前比特币网络的 Layer2 均面临着缺乏原生 ZK 证明验证的问题，Polyhedra Network 的上述方案有望解决该问题，进而在比特币网络上实现通用可编程性，充分释放比特币的潜力。
