Gavellive

A live auction house that proves correctness under fire: thousands of concurrent bids, zero lost writes, exactly one winner