DEX, AMM, dan cadangan pool

Master sumber EN · P11-L01 · 30 menit perkiraan · needs_review

Studi formatif luring. Tanpa koneksi dompet, dana nyata, kunci privat, tanda tangan, perdagangan langsung, atau masukan portofolio pribadi. Visual merupakan spesifikasi; ini bukan konten runtime maupun sertifikasi.

Rasio tampilan pool bukan harga rata-rata yang tersedia untuk swap dengan ukuran sembarang.

Sebut mekanisme dan versi

Pembuat pasar otomatis (AMM) menukar terhadap aset terkumpul alih-alih mencocokkan pesanan yang dipasang pengguna lain [AMM]. Versi dan desain pool berbeda memerlukan akuntansi berbeda. Pelajaran menggunakan model produk konstan rentang penuh tanpa friksi yang terinspirasi v2; biaya, token berpajak transfer, likuiditas terkonsentrasi, dan transaksi eksternal dikecualikan.

Tulis satuan cadangan

Misalkan x cadangan asetX dan y cadangan asetY. Dalam x×y=k tanpa biaya, penambahan Δx menghasilkan y baru=k/(x+Δx), sehingga output Δy=y−k/(x+Δx). Rasio marginal Y-per-X adalah y/x [V2]. Ini menjelaskan perubahan lokal kecil; output rata-rata swap terbatas per input berbeda karena cadangan berubah sepanjang jalur.

Periksa transisi keadaan

Dengan x100 X,y1000 Y, k100000 X·Y. Input10 X menyisakanx110, y909.0909, output 90.9091 Y. Rata-rata 9.0909 Y/X di bawah rasio awal 10; rasio pasca-swap 8.26446 Y/X merupakan angka berbeda lagi. Labeli ketiganya alih-alih menyebut masing-masing ‘harga’.

Mekanisme bukan keamanan

Angka cadangan atau TVL besar tidak mengautentikasi kemampuan penarikan, nilai token asli, izin kontrak, atau likuiditas mendatang. Penarikan LP, aturan transfer token, urutan eksekusi, dan biaya jaringan dapat mengubah hasil nyata. Dokumentasi menjelaskan model; nilai cadangan fiktif tidak diamati eksternal. Tidak diperlukan swap langsung atau interaksi dompet.

• Cadangan: jumlah dalam model yang dipegang untuk setiap aset.
• Invariant: aturan yang menghubungkan cadangan selama swap yang dimodelkan.
• Rasio marginal: rasio cadangan lokal dengan satuan.
• Eksekusi rata-rata: output model total dibagi input.

ILLUSTRATIVE poolSIM-X/Y dengan x100 X,y1000 Y, biaya 0 dan invariant100000 X·Y; input 10 X. Semua nilai fiktif dengan presisi model tak terbatas; tanpa alamat rantai atau kontrak.

Diagram cadangan AMM/struktur LP: sebelum 100 X/1000 Y, sesudah 110 X/909.0909 Y, output 90.9091 Y; pisahkan rasio awal, rata-rata, dan akhir. Tanpa lencana keamanan TVL.

Transisi cadangan fiktif tanpa biaya dan perbedaan tiga deskripsi harga.

Cadangan aktual, keamanan, kedalaman yang dapat dieksekusi, valuasi token nyata, atau parameter protokol terkini.

• OBSERVED: FIX-P11-L01 menetapkan cadangan awal 100/1000.
• INFERRED: output 90.9091 Y mengikuti invariant tanpa biaya.
• UNKNOWN: izin token dan penarikan pool nyata apa pun.
• INSUFFICIENT EVIDENCE: mengetahui mekanisme membuktikan aset aman.

• Mengalikan input dengan rasio awal sebagai output tepat.
• Menerapkan asumsi v2 pada setiap AMM.
• Menyebut nilai cadangan sebagai likuiditas keluar tersedia.

Hitung k, cadangan baru, output, rasio awal, eksekusi rata-rata, dan rasio akhir. Sebut tiga pengecualian yang memerlukan masukan baru untuk klaim nyata.

Serahkan perhitungan atau anotasi, tabel klaim/sumber, dan batasan. Alokasi disarankan: studi 12 menit, latihan 8, koreksi/kuis 10; estimasi perlu kalibrasi.

• Sebut model/versi.
• Sertakan satuan cadangan dan harga.
• Pisahkan marginal/rata-rata/akhir.
• Nyatakan pengecualian keamanan dan eksekusi.

Aritmetika cadangan AMM menjelaskan mekanisme pertukaran bersyarat; eksekusi terbatas, rasio marginal, dan keamanan merupakan pertanyaan terpisah.

• Bedakan rasio cadangan marginal dari eksekusi swap berukuran terbatas.
• Identifikasi versi AMM dan asumsi yang direpresentasikan model.

P11-L02 setelah peninjauan koreksi.

NONE dalam katalog otoritatif. Fixture/paket luring yang disediakan cukup; tidak diperlukan fitur berbayar atau kemampuan Production belum terverifikasi. Metadata lab/sertifikasi menunjukkan asosiasi lanjutan, bukan gerbang akses atau penghargaan langsung.

• [AMM] Uniswap — Cara kerja — Pool menukar aset dengan harga yang merespons cadangan relatif; lingkup versi penting. Diperiksa 2026-10-01; penunjuk turn9view6.
• [V2] Whitepaper inti Uniswap v2 (Maret 2020) — Rasio cadangan, mekanisme produk konstan, dan invariant biaya input; khusus versi, bukan snapshot deployment langsung. Diperiksa 2026-10-01; penunjuk turn14view0.