Welcome to 20[ ] company website

You will only find very basic info here. Contact us for questions and details!

About

20[ ] - also typeset and read 20squares - is a collective specializing in economic and financial modelling in the crypto space.

We employ a specific tool called Compositional Game Theory, which we defined and implemented ourselves. We specialize in:

• Modelling incentive mechanisms for staking protocols and computing their cost of equilibrium - e.g. how much do you have to bribe a validator(s) to deviate from intended behavior?
• Finding advanced economic exploits - e.g. when does a change in a given contract result in an exploit opportunity opening in some seemingly unrelated other contract?
• Finding the economic bounds in which a contract operates as intended - e.g. in which market conditions actors lose interest in defending a stablecoin's peg?
• All stuff concerning MEV.

We may be open to some collaborative/consulting work, provided that the problem you have is interesting enough.

Contact

• Use info@... for general inquiries.
• Use legal@... if you want to sue us (please don't).
• Use name@... to directly contact someone you know.

Some Projects

• Game Theory Backend for act [with EF, ongoing]
• Credible Commitments via Open Games [with Flashbots, ongoing]
• Auction Simulations under PBS [with Flashbots, ongoing]

Some friends

• Ethereum Foundation
• Flashbots
• Dapphub
• Cybercat Institute
• Topos Institute
• Applied Category Theory Community

Company details

20squares UG (haftungsbeschränkt)
HRB 746284
Mannheim DE