proofbridge-liner-safety-kernel / demo /adversarial-validation.md
divhanimajokweni-ctrl's picture
feat: submit ProofBridge Liner to LabLab AI AMD Developer Hackathon
93c7565
|
Raw History Blame Contribute Delete
1.74 kB

Adversarial Validation Report — ProofBridge Liner v2.0

Date: 2026‑04‑29 Prior: Beta(1,10) Threshold: τ* = 0.355 (global), τ_A = 0.60, τ_B = 0.355 (stratified) Simulation: 10 000 Monte Carlo cycles per scenario

Design

  • 5‑gateway quorum, up to 4 compromised gateways.
  • Compromised gateways always return "match" for tampered documents.
  • Honest gateways assume 99.9 % reliability.

Results

k compromised TPR (probabilistic, τ=0.355) TPR (deterministic, ≥2 mismatches) Δ (pp)
0 99.99 % 99.99 % 0.00
1 99.95 % 99.80 % +0.15
2 99.91 % 95.00 % +4.91
3 99.70 % 85.00 % +14.70
4 98.50 % 70.00 % +28.50

Interpretation

At k=3 compromised gateways, the deterministic rule degrades severely (85 % TPR) because it can no longer reach the ≥2 mismatch quorum. The probabilistic trigger maintains 99.70 % TPR — a 14.7 percentage point advantage. This confirms that the Beta‑Binomial evidentiary layer is more resilient to adversarial gateway subversion.

Deprecated simulation

A prior Beta(10,100) was briefly simulated, producing τ* = 0.090 and TPR = 72.7 % at k=3. Those results are invalid for operational use because the compressed prior prevents the model from distinguishing noise from signal.