On March 22nd, the Polyhedra team released a technical whitepaper proposing an innovative method for verifying ZK proofs on the Bitcoin blockchain, which could potentially enhance its scalability. The team discovered limitations in the recently released BitVM whitepaper, particularly the possibility of collusion between the prover and verifier, which could result in proof failure.

To address these issues, Polyhedra developed an alternative solution using FRI (Fast Reed-Solomon Interactive) ZK proofs as the final on-chain proof layer. Compared to other ZK proof systems like Groth16 or Plonk, FRI proofs are more efficient and require fewer arithmetic operations, making them more suitable for Bitcoin's costly multiplication operations.

Additionally, the scalability advantages of Polyhedra's ZK proof system can help alleviate performance bottlenecks in the Bitcoin network by reducing the computational burden of verifying transactions.