According to Foresight News, the Polyhedra team has released a technical whitepaper outlining an innovative method for verifying ZK proofs on the Bitcoin blockchain, which could potentially enhance Bitcoin's scalability. The team identified limitations in the recently published BitVM whitepaper, particularly the possible collusion between provers and verifiers, which could lead to proof invalidation.
To address these issues, Polyhedra developed an alternative solution using FRI (Fast Reed-Solomon Proofs) ZK proofs as the final on-chain proof layer. Compared to other ZK proof systems like Groth16 or Plonk, FRI proofs are more efficient, requiring fewer arithmetic operations. Given the high computational cost of multiplication operations on the Bitcoin blockchain, FRI proofs are more suitable for use on Bitcoin. Additionally, the scalability advantages of the Polyhedra ZK proof system can help alleviate performance bottlenecks in the Bitcoin network by reducing the computational burden of verifying transactions.
