ゴールディロックス体 (Goldilocks field) zk-STARKsやFRIプロトコルなどのゼロ知識証明システムで計算に使用される特定の有限体です。特にPlonky2のようなシステムで効率的な演算を可能にするために設計されており、p = 2^64 - 2^32 + 1というモジュラスを持ちます。 関連用語 STARK NTT Plonky2 元の表記（英語） G64