高速リード・ソロモン対話型近接性オラクル証明 (FRI) STARKsの主要な構成要素であり、多項式が特定の低次数を持つことを効率的に証明するためのプロトコルです。多項式の低次数性を繰り返し検証することで、証明のサイズを大幅に削減し、スケーラビリティを向上させます。 関連用語 STARK LDE 元の表記（英語） FRI