Repeated-game analysis of restaking for verifiable inference, showing single-shot slashing is optimistic and history matters.

A model of MEV searcher markets, with Shapley/HHI fairness metrics and a capped entry filter to curb the usual cartel math.

Near-tight bounds for Bitcoin mining incentive compatibility, with asymmetric tie-breaking and a richer action space, in case Nakamoto ga...