Foresight News 消息，Polyhedra 团队发布技术白皮书，该白皮书提出了一种在比特币区块链上验证 ZK 证明的创新方法，有望增强比特币的可扩展性。其中团队发现最近发布的 BitVM 白皮书中的局限性，特别是证明者和验证者之间可能存在的勾结，会导致证明失效。

为了解决这些问题，Polyhedra 开发了一种替代方案，使用 FRI（快速里德 - 所罗门证明）的 ZK 证明作为最终的链上证明层。与 Groth16 或 Plonk 等其他 ZK 证明系统相比，FRI 证明更加高效，需要更少的算术运算，考虑到比特币区块链上乘法运算的高昂计算成本，它更适用于比特币上的运算。此外，Polyhedra ZK 证明系统的可扩展性优势可以通过降低验证交易的计算负担来帮助缓解比特币网络中的性能瓶颈。