トレース行 STARKなどのゼロ知識証明システムにおいて、証明対象となる計算の実行トレースを構成する個々の状態またはステップ。各行は計算のある時点でのシステムの状態を表します。 関連用語 STARK execution trace この用語を使っている記事 (なし) 元の表記（英語） (なし)