もし計算結果が「改ざん」されていたら、その実験は無防備だ。
ADIC は「壊される前提」で計算を守る。
Ledgerで破綻を検知し、正当性を数学的に証明する。
素の関数でADICの基本挙動を確認。
※ 関数はシナリオに応じて自動設定。セレクタはカーネル定義の可視化用。
世界線を選択し、計算を実行してください
※ 「真の値」はデモ用の参照値(Math.*)。本番では有限精度の有理演算と外部監査に置き換わる。
ℹ️ まだ KPI を評価できるだけのデータがありません。
ADIC未通過の計算は、バグや改ざんが「ただの誤差」として通過する。
その脆弱性を比較検証する。
検証レジャーとは
計算の「すべての途中経過」を数学的証明として記録したログです。
※ 表は横にスクロールできます
| No. | Step | Interval / Value | Verdict |
|---|---|---|---|
| No ledger data. Run calculation to generate proofs. | |||
© GhostDrift Mathematical Institute