zkRollupで使用されるゼロ知識証明アルゴリズムの計算代理の程度は慎重に設計される必要があり、全体の効率を最適化するためには適切でなければなりません。そして、FOAKSアルゴリズムは自身の反復的な再帰を通じて調整可能な計算代理を実現しており、zkRollupのために特別に設計されたゼロ知識証明アルゴリズムです。

この記事では、FOXがBrakedownにおけるチャレンジを生成するために、古典的なFiat-Shamirヒューリスティックを使用して非対話型プロトコルを実現するプロセスについて紹介します。

Brakedownは大きなProof Sizeを持っていますが、間違いなく現在最も速い多項式コミットメントプロトコルです。

「アルゴリズムが不十分で、ハードウェアで補う」という困った状況に陥らないように、本質的なアルゴリズムから問題を解決するべきである。