20sq
20 [ ] One pager Current state of affairs At the moment, 20squares revolves around the use of a software implementation of Compositional Game Theory. This software allows for fast modelling and subsequent analytics. In this way, we are able to provide a platform for strategic analysis and testing, that can be used to discover, prove and correct economical properties of financial software and protocols. Our implementation is open source, but its usage requires some training. As a consequence, our main line of business at the moment is in consulting. We work with interested projects that are looking for formal reassurances that what they are doing makes economical sense. This includes: • DeFi platforms, interested in the financial stability of their protocols; • Marketplaces, interested in economically optimized solutions for revenue extraction; • Fundamental infrastructure designers, interested in maximizing the sustainability and welfare of its users; • MEV searchers, interested in ana...