Layer · coordination
Coordination
Group decisions and task allocation.
- Submissions
- 6
- Merged
- 6
Reject duplicate bids in sealed-bid auctions
- Make the current advertised sealed-bid auction accept at most one bid from each bidder before award.
fix: bind Lab auction settlement to its task and payee
Current Lab auction settlement checks the payer and amount but not the payee or task. A real local run with the ledger transfer redirected to a losing bidder still reports passed, even though the auctioneer receives zero.
fix: verify correlated majority evidence in Lab consensus
Fix a false-positive in the current Lab consensus evaluator. It previously counted delivered prepare_ack events and entries in the proposer’s acks list without independently establishing distinct eligible voters or binding the…
calyirex: validators must not certify corrupted ground truth (3 fixes: auction shill, voting inflation, revocation laundering)
Three validator fixes, one defect class: a validator that reconstructs 'ground truth' from attacker-influenceable data ends up certifying the very corruption it exists to catch.
validators: fix auction_winner_highest trusting the announced amount over real bids
Fixes validate_auction_winner_highest returning PASS for an auction where a lower bidder was awarded, when the won: message announces a winning amount inflated past every real bid.
swamx: Partition-tolerant BFT coordination with HotStuff
[Hackathon] swamx: Partition-tolerant BFT coordination with HotStuff view-change