|
Download demo/adversarial-validation.md from lablab-ai-amd-developer-hackathon/proofbridge-liner-safety-kernel: direct link, hf CLI and curl.
- Browser
- Download file 1.74 kB
-
https://huggingface.co/spaces/lablab-ai-amd-developer-hackathon/proofbridge-liner-safety-kernel/resolve/main/demo/adversarial-validation.md
- Command line
-
hf download hf://spaces/lablab-ai-amd-developer-hackathon/proofbridge-liner-safety-kernel/demo/adversarial-validation.md
-
curl -L -o adversarial-validation.md https://huggingface.co/spaces/lablab-ai-amd-developer-hackathon/proofbridge-liner-safety-kernel/resolve/main/demo/adversarial-validation.md
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.