-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
143 lines (132 loc) · 9.12 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
<!doctype html>
<html lang="en">
<head>
<link rel="icon" href="data:,">
<link rel="stylesheet" href="style.css">
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width,initial-scale=1">
<base target="_blank" rel="noopener noreferrer">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:title" content="20[ ]">
<meta name="twitter:image" content="https://20squares.xyz/img/logoCard.webp">
<meta name="twitter:description" content="Your favourite group of based agent modellers.">
<meta property="og:title" content="20[ ]">
<meta property="og:type" content="website">
<meta property="og:image" content="https://20squares.xyz/img/logoCard.webp">
<meta property="og:url" content="https://20squares.xyz/">
<title>20[ ]</title>
</head>
<body>
<h1>Welcome to 20[ ]</h1>
<p>We are a group of <code>Based Agent Modellers</code>. You will only find very basic info here. Contact us for questions and details!</p>
<p>We sometimes report our research ramblings in <a href="https://blog.20squares.xyz">our blog</a>.</p>
<h2>About</h2>
<p>20[ ] - also typeset and read 20squares - is a collective specializing in operations research in the crypto space.
</p>
<p>We employ a specific tool called <code>Compositional Game Theory</code>, which we
<a href="https://arxiv.org/abs/1603.04641">defined</a>
and
<a href="https://github.com/20squares">implemented</a>
ourselves. We specialize in:</p>
<ul>
<li>
<code>Mechanism Design</code>: Designing protocols so that rational agents are incentivized to act in some desired way.
<ul>
<code>Example</code>: Design an auction mechanism so that bidding truthfully is the best bidding strategy.
</ul>
</li>
<li>
<code>Mechanism Auditing</code>: Verifying that rational agents are incentivized to use a mechanism as its designers intended.
<ul>
<code>Example</code>: Are there cases where a validator in a staking protocol is incentivized to equivocate?<br>
</ul>
</li>
<li>
<code>Financial Modelling & Simulation</code>: Finding the economic bounds within which a mechanism, protocol or contract operates as intended.
<ul>
<code>Example</code>: In which market conditions actors lose interest in defending some currency's peg?
</ul>
</li>
<li>
<code>Optimization Problems</code>: Finding the optimal sets of parameters within which a goal can be achieved.
<ul>
<code>Example</code>: Fine-tuning an energy market so that users are incentivized to install solar panels.
</ul>
</li>
<li>
<code>All stuff concerning MEV</code>: We are actively working on gas auctions, PBS and Intent solving from multiple angles.
<ul>
<code>Example</code>: Design auctions and markets for blockspace futures.
</ul>
</li>
</ul>
<p>We may be open to some collaborative/consulting work, provided that the problem you have is interesting enough.</p>
<h2>Open positions</h2>
We do not have any open job position at the moment.
<h2>Contact</h2>
Our mail addressess all end in <code>[email protected]</code>.
<ul>
<li>Use <code>info@...</code> for general inquiries.</li>
<li>Use <code>legal@...</code> if you want to sue us (please don't).</li>
<li>Use <code>name@...</code> to directly contact someone you know.</li>
</ul>
Moreover, you can meet (or could have met) us in person at:
<ul>
<li><a href="https://oxford24.github.io/">ACT2024 - Oxford, Jun 2024</a></li>
<li><a href="https://ethcc.io/">ETHcc[7] - Brussels, Jul 2024</a></li>
<li><a href="https://napul.eth.limo/">Napul.eth - Naples, Sep 2024</a></li>
<li><a href="https://devcon.org/">DEVCON VII - Bangkok, Nov 2024</a></li>
</ul>
<ul>
<li><a href="https://www.ethdenver.com/">EthDenver - Denver, Feb 2024</a></li>
<li><a href="https://www.ed.ac.uk/informatics/blockchain/events/previous-events/qsig">QSig Workshop - Edinburgh, Jan 2024</a></li>
<li><a href="https://devconnect.org/istanbul">Devconnect - Istanbul, Nov 2023</a></li>
<li><a href="https://act2023.github.io/">ACT 2023 - Maryland, Aug 2023</a></li>
<li><a href="https://www.ethcc.io/">ETHcc[6] - Paris, July 2023</a></li><ul>
<li><a href="./EthCC6.html">Our appearances at EthCC[6]</a></li>
<li><a href="./EthCCQPLRoundtable.html">Our side event</a></li>
</ul>
<li><a href="https://naples.spaghett-eth.com/">SpaghettETH II - Naples, May 2023</a></li>
<li><a href="https://archive.devcon.org/archive/playlists/devcon-6/">DEVCON VI - Bogotá, Oct 2022</a></li>
<li><a href="https://msp.cis.strath.ac.uk/act2022/index.html">ACT 2022 - Glasgow, July 2022</a></li>
<li><a href="https://devconnect.org/edition/amsterdam">Devconnect - Amsterdam, Apr 2022</a></li>
</ul>
<h2>Some Projects</h2>
<ul>
<li><a href="">Ethereum issuance</a> [with <a href="https://ethereum.foundation/">EF</a>, ongoing]</li>
<li><a href="https://cyber.fund/content/mvi-grants">Ethereum issuance</a> [with <a href="https://cyber.fund/">cyber.fund</a>, ongoing]</li>
<li><a href="https://github.com/The-QSig-Commission/">Quantum 1-Shot signatures</a> [with <a href="https://ethereum.foundation/">EF</a> and <a href="https://www.hashberg.io/">Hashberg</a>, ongoing]</li>
<li><a href="https://xga.com">Designing XGA</a> [with <a href="https://www.manifoldfinance.com/">Manifold Finance</a>, ongoing]</li>
<li><a href="https://github.com/MEV-Protocol">Designing MEV.io</a> [with <a href="https://www.manifoldfinance.com/">Manifold</a> and <a href="https://cream.finance/">CREAM</a>, finished]</li>
<li><a href="https://blog.ethereum.org/2022/12/07/esp-allocation-q3-22">Game Theory Backend for act</a> [with <a href="https://ethereum.foundation/">EF</a>, finished]</li>
<li><a href="https://github.com/20squares/manifold-finance/tree/main/manifold-hedger">Analyzing the Ledger-Hedger Future Gas Price Reservation Mechanism</a> [with <a href="https://www.manifoldfinance.com/">Manifold Finance</a>, finished]</li>
<li><a href="https://github.com/flashbots/mev-research/blob/main/FRPs/completed/FRP-26.md">Credible Commitments via Open Games</a> [with <a href="https://www.flashbots.net/">Flashbots</a>, finished]</li>
<li><a href="https://github.com/flashbots/mev-research/blob/main/FRPs/completed/FRP-27.md">Auction Simulations under PBS</a> [with <a href="https://www.flashbots.net/">Flashbots</a>, finished]</li>
<li><a href="https://github.com/20squares/C002-BlockSwap/tree/main/blockswap-PoN">Mechanism analysis of PoN Reporters</a> [with <a href="https://blockswaplabs.com/">Blockswap</a>, finished]</li>
</ul>
<h2>Some friends</h2>
<ul>
<li><a href="https://www.appliedcategorytheory.org/">Applied Category Theory Community</a></li>
<li><a href="https://blockswaplabs.com/">Blockswap</a></li>
<li><a href="https://cream.finance/">CREAM finance</a></li>
<li><a href="https://cybercat.institute/">Cybercat Institute</a></li>
<li><a href="https://cyber.fund/">cyber.fund</a></li>
<li><a href="https://dapp.org.uk">dapp.org</a></li>
<li><a href="https://ethereum.foundation/">Ethereum Foundation</a></li>
<li><a href="https://www.flashbots.net/">Flashbots</a></li>
<li><a href="https://www.manifoldfinance.com/">Manifold Finance</a></li>
<li><a href="https://www.mev.io/">MEV.io</a></li>
<li><a href="https://topos.institute/">Topos Institute</a></li>
</ul>
<h2>Company details</h2>
<p style="margin-left: 25px;">
20squares UG (haftungsbeschränkt)<br>
HRB 746284<br>
DE362667647<br>
Mannheim DE<br>
<a href="./impressum.html">Impressum (in German)</a></li>
</p>
<img alt="20[ ] company logo" src="./img/logowhite.svg">
</body>
</html>