accounting invariant

会計不変条件

システムの整合性を維持するために、すべての状態遷移後に必ず満たされなければならない数学的な条件です。IFR標準では、T + F == R および address(this).balance >= R の2つの条件がこれに該当し、準備金トークンの支払能力を保証します。

関連用語

• Invariant-First Reserve Receipt Token
• solvency as a transaction-validity condition
• state tuple

元の表記（英語）

(なし)