低次数拡張 (LDE) STARKsやFRIプロトコルにおいて、ある多項式をより大きなドメインに拡張し、その拡張された多項式が元の多項式と同じ低次数性を持つことを検証するプロセスです。これにより、証明の健全性が保証されます。 関連用語 STARK FRI 元の表記（英語） LDE