Show HN: One provider starts lying at request 50. The quorum catches it

  • Posted 9 hours ago by sbw70
  • 1 points
https://github.com/sbw70/verification-constraints/blob/main/modules/integrated-constraint-demos/two-region-quorum-byzantize-drift/README.md
Two regions. Six hubs. Six providers. One of them starts lying after request 50.

The quorum catches it. Authority never moves.

NUVL fronts compute bindings and forward only. Hubs relay and fan out — no authority, no policy. Providers are the only execution authorities. When Provider_B starts flipping reported outcomes, the 2-of-3 quorum audit detects the drift without promoting hubs into decision-makers.

The drift is deterministic and replayable. You can see exactly when it starts and what the quorum sees.

https://replit.com/@holiwood4420/Two-Region-Quorum-Audit-wit...

1 comments

    Loading..