@tr
Happy to report that the main open theory question from my original work on EIP-1559 has been resolved (with two brilliant collaborators, Hao Chung and Elaine Shi)---no transaction fee mechanism can be DSIC, MMIC, and OCA-proof! https://arxiv.org/pdf/2402.09321.pdf
(more context below) 1/7