Tabel tautan
Abstrak dan Pendahuluan
1 Game Concave Pro-Rata
1.1 Symmetric Pure Equilibrium Pure
1.2 Keunikan keseimbangan
1.3 Imbalan Ekuilibrium
2 Pertukaran Terdesentralisasi Batched
2.1 Arbitrage
3 Kesimpulan dan Referensi
Angka
B Numerik tambahan
C Concavity yang ketat
D Rosen Condition
2 Pertukaran Terdesentralisasi Batched
Di bagian ini, kami akan menunjukkan beberapa aplikasi dasar dari sifat -sifat di atas ke pertukaran desentralisasi batch, yang kami jelaskan di bawah ini.
Pertukaran terdesentralisasi. Pertukaran terdesentralisasi (atau DEX, singkatnya) adalah jenis pertukaran yang ada di blockchain. Pertukaran semacam itu memungkinkan agen apa pun untuk memperdagangkan mata uang tanpa perlu perantara terpusat. Dalam banyak kasus, pertukaran ini diselenggarakan sebagai pembuat pasar fungsi konstan (lihat, misalnya, [1] Untuk pengantar umum untuk jenis pertukaran ini), jenis pembuat pasar otomatis yang menggunakan fungsi khusus untuk harga aset.
Batched Dexs. Pertukaran desentralisasi batch adalah DEX di mana perdagangan dikumpulkan sebelum dieksekusi. Secara khusus, perdagangan dikumpulkan dalam beberapa cara (tergantung pada jenis batching yang dilakukan) dan kemudian diperdagangkan 'semua bersama -sama' melalui DEX, sebelum dipisahkan dan diteruskan kembali kepada pengguna. Meskipun gagasan pertukaran batch telah diusulkan berkali -kali dalam konteks yang berbeda (lihat, misalnya, [4] Dan [13]), saat ini, hampir semua pertukaran desentralisasi utama tidak dikeluarkan. Pekerjaan terbaru telah menyarankan bahwa batching berguna untuk privasi [5] dan Penumbra [9] telah mengusulkan desain untuk pertukaran terdesentralisasi sepenuhnya-pribadi yang memanfaatkan batching sebagai metode untuk menghindari kebocoran informasi tertentu [2]. Kami menggambarkan versi yang sangat disederhanakan dari proposal di bawah ini, yang akan cukup untuk diskusi kami.
2.1 Arbitrage
Cara umum menganalisis pasar adalah melalui lensa arbitrase: kemampuan untuk mengeksploitasi perbedaan harga untuk menghasilkan laba bebas risiko pada dasarnya. Dari sebelumnya, kami akan menulis G untuk fungsi pertukaran maju dari pembuat pasar fungsi konstan, yang digunakan oleh desain batching yang disajikan di atas.
Adanya. Dengan asumsi G dapat dibedakan pada 0, kita dapat menafsirkan G 0 (0) sebagai jumlah marjinal aset B yang akan diterima seseorang untuk jumlah marjinal A. (fungsi g sering tidak dapat dibedakan pada 0, tetapi satu sisi dapat dibedakan pada 0+, yang mencukupi) secara langsung, GAGA PRECKED SEBUAH PRECKED DARI PERJALANAN SEBAGAI PERJALANAN SEBAGAI EKSTERNAL, KATAKAN C> 0, maka siapa pun yang dapat langsung berdagang secara langsung dengan GREATE GOUDS DARI PERJALANAN LEBIH BANYAK DENGAN EKSTRA, KATAKAN C> 0, maka siapa pun yang bisa berdagang secara langsung dengan G lebih besar dari G. Aset A untuk G
Game arbitrase (agregat). Dalam pertukaran batch di atas, arbitrageurs tidak dapat secara langsung berdagang dengan pembuat pasar fungsi konstan, tetapi sebaliknya harus melalui proses batching. Dengan asumsi ada N arbitrageurs yang bersaing untuk memaksimalkan laba mereka, pertanyaan berikutnya adalah: Apa properti dari game ini? Mendefinisikan
f