残高更新証明 バリデータが自身の参加状況をZK証明として提出し、それに基づいて残高を更新するメカニズム。ビーコンチェーンの状態遷移関数から報酬・ペナルティ処理を削除するために提案されている。 関連用語 STARK validator state 元の表記（英語） (なし)