Key Takeaways

Formally defined MEV

MEV can be defined in a combinatorial manner in terms of payoff functions.


Spectral analysis bounds the fairness, and bounds can be improved and used to provide users with certificates of fairness when using things like SUAVE.

Combinational structure

The combinatorial structure of MEV is closely related to Fourier analysis over the symmetric group.


View the full presentation

Read the full paper

Want Gauntlet in

your inbox?

Sign up to get notified about our latest research.

Thank you. You'll hear from us soon.

Contact our team

Tell us about your protocol’s needs

1/4 Name

First, tell us your name

2/4 Contact Info

Tell us know to reach you.

Contact method

Address must be correctly formatted

3/4 Protocol Info

Tell us about your protocol.

Protocol type

4/4 Details

Just one more thing...


Thank you! You'll hear from us soon.