Polyhedra Networkは、ビットコインネットワーク上で直接ZK証明を検証する新しい方法を発表しました。

ChainCatcher のメッセージ、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 の上記の提案がこの問題を解決し、ビットコインネットワーク上での汎用プログラマビリティを実現し、ビットコインの潜在能力を十分に引き出すことが期待されると述べています。