Polyhedra team technical whitepaper: Compared with other ZK proof systems, FRI proof is more efficient

On March 22nd, Polyhedra team released a technical whitepaper proposing an innovative method to verify ZK proofs on the Bitcoin blockchain, aiming to enhance Bitcoin's scalability. The team identified limitations in the recently released BitVM whitepaper, particularly collusion between prover and verifier which could lead to 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 requiring fewer arithmetic operations. Considering the high computational cost of multiplication operations on the Bitcoin blockchain, it is more suitable for computations on Bitcoin. Furthermore, the scalability advantage of Polyhedra's ZK proof system can help alleviate performance bottlenecks in the Bitcoin network by reducing the computational burden of verifying transactions.