Incentive Compatibility in PBS, program synthesis and type theory of preferences

bit late but here is the slide for a talk about MEV presented at CCS DeFi:

tldr: what would a VCG (incentive compatible) mechanism in PBS look like, correspondence with abstract interpretation and program synthesis, preferences are types and aggregation is type inference

1 Like