P11-L02 · P11 · P11-M01
Hitung swap ilustratif dengan biaya dan cadangan
Prasyarat: P11-L01
Tujuan pembelajaran
- Hitung swap ilustratif dengan biaya dan cadangan
- Hitung output produk konstan tersesuaikan biaya.
- Pisahkan dampak kurva, efek biaya, dan slippage berikutnya.
Master sumber EN · P11-L02 · 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.
Mengapa ini penting
Estimasi output ambigu kecuali menyatakan apakah biaya, pergerakan sepanjang kurva, dan perubahan keadaan berikutnya disertakan.
Penjelasan
Tempatkan biaya dengan benar
Model v2 menyesuaikan input dengan biaya swap saat menguji invariant [V2]. Dalam model kita, biaya f=0.003 dan input efektif Δx_eff=Δx(1−f). Output= y×Δx_eff/(x+Δx_eff). Cadangan x aktual menerima input penuh; biaya dipertahankan berarti produk cadangan tanpa penyesuaian meningkat. Tidak benar menghapus biaya dari cadangan lalu mengklaim k tetap identik.
Nyatakan konvensi dampak
Dalam pelajaran ini, dampak kurva=1−(output rata-rata tanpa biaya/input)/(rasio marginal awal). Kekurangan eksekusi termasuk biaya menggunakan output/input tersesuaikan biaya. Kedua persentase berbeda; masing-masing harus dinamai. Slippage di sini berarti perubahan tambahan antara kuotasi model dan eksekusi akibat perubahan keadaan, bukan dampak kurva yang sudah dimodelkan.
Hitung ulang sensitivitas ukuran
Input lebih besar yang disediakan bergerak lebih jauh sepanjang kurva dan memperburuk output rata-rata per input. TVL adalah nilai agregat berdasarkan valuasi, bukan output tersedia pada ukuran terpilih. Pool, rute, atau hook lain tidak disertakan; ini bukan kuotasi agregator.
Nyatakan pengecualian
Perhitungan mempertahankan presisi dan hanya membulatkan tampilan; pembulatan bilangan bulat onchain nyata, gas, perilaku biaya saat transfer, MEV, dan swap di antaranya tidak disimulasikan. Aritmetika benar memberi estimasi bersyarat, bukan minimum terjamin atau transaksi aman. Asosiasi LAB03 dalam katalog bersifat lanjutan dan bukan gerbang; pelajaran luring ini tidak memerlukan penerapan lab.
Istilah
- Input efektif: input setelah penyesuaian biaya swap yang ditetapkan.
- Dampak kurva: deviasi rata-rata tanpa biaya berukuran terbatas dari rasio awal menurut konvensi dinyatakan.
- Kekurangan termasuk biaya: perbandingan yang menyertakan biaya.
- Slippage: perubahan tambahan kuotasi/eksekusi menurut konvensi pelajaran ini.
Contoh historis
ILLUSTRATIVE x100 X,y1000 Y,input 10 X,biaya 0.3%. Efektif 9.97 X. Bandingkan 10 X tanpa biaya dan10 X tersesuaikan biaya. Kasus input lebih besar20 X terpisah; tanpa gas atau pembulatan bilangan bulat kontrak.
Spesifikasi visual
Spesifikasi grafik kedalaman likuiditas menggunakan rumus tepat; tandai input10/20, input efektif, output rata-rata, dan retensi biaya. Jalur berbeda untuk dampak kurva, kekurangan termasuk biaya, dan slippage tidak dimodelkan.
Yang dibuktikan bukti
Output bersyarat dan perbandingan kekurangan eksekusi bernama dalam fixture.
Yang tidak dibuktikan bukti
Kuotasi onchain terjamin, gas/MEV aktual, output minimum aman, atau likuiditas keluar lengkap.
Klasifikasi bukti
- OBSERVED: FIX-P11-L02 menetapkan biaya 0.003 dan cadangan 100/1000.
- INFERRED: output 1000×9.97/109.97 menurut model sederhana.
- UNKNOWN: keadaan pada eksekusi aktual apa pun.
- INSUFFICIENT EVIDENCE: output model menjamin pengisian nyata.
Kesalahan umum
- Menggunakan input efektif sebagai cadangan akhir aktual.
- Menyebut efek biaya dan slippage hal sama.
- Melaporkan dampak tanpa konvensi penyebut.
Latihan praktik
Hitung output tersesuaikan biaya, cadangan aktual akhir, dan produk. Hitung dampak kurva tanpa biaya dan kekurangan termasuk biaya untuk 10 X. Hitung output untuk 20 X dan bandingkan eksekusi rata-rata.
Serahkan perhitungan atau anotasi, tabel klaim/sumber, dan batasan. Alokasi disarankan: studi 12 menit, latihan 8, koreksi/kuis 10; estimasi perlu kalibrasi.
Tampilkan koreksi terperinci
Δx_eff9.97; output=9970/109.97=90.661089 Y; aktual x'=110,y'=909.338911. Produk≈100027.28017 XY, di atas 100000 karena biaya tetap. Output tanpa biaya 90.909091 memberikan dampak kurva1−9.090909/10=9.090909%. Kekurangan termasuk biaya1−9.066109/10=9.338911%. Untuk20 X, efektif 19.94; output 19940/119.94=166.2497916 Y, rata-rata 8.3124896 Y/X, lebih rendah dari9.0661089. Slippage perubahan keadaan yang tidak dimodelkan tetap UNKNOWN.
Rubrik formatif (5 poin): masukan dapat direproduksi, metode benar, hasil benar, lingkup bukti khusus klaim, batasan eksplisit. Pengamatan rekaan, keluaran nasihat, atau klaim keamanan tanpa dukungan memerlukan koreksi berapa pun nilainya.
Daftar periksa
- Nyatakan biaya dan konvensi dampak.
- Pertahankan input penuh dalam cadangan aktual.
- Bulatkan hanya tampilan.
- Pisahkan kurva model dan eksekusi berikutnya.
Ringkasan
Matematika cadangan tersesuaikan biaya dapat direproduksi jika saldo dan konvensi perbandingan eksplisit; eksekusi tetap bergantung pada keadaan dan biaya yang hilang.
Ringkasan
- Hitung output produk konstan tersesuaikan biaya.
- Pisahkan dampak kurva, efek biaya, dan slippage berikutnya.
Pelajaran berikutnya
P11-L03 setelah peninjauan koreksi.
Alat
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.
Sumber dan batas klaim
- [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.
Spesifikasi visual
P11-L02-V01
Hitung swap ilustratif dengan biaya dan cadangan
ILLUSTRATIVE — masukan fiktif; tanpa sinyal atau jaminan keamanan.
Spesifikasi grafik kedalaman likuiditas menggunakan rumus tepat; tandai input10/20, input efektif, output rata-rata, dan retensi biaya. Jalur berbeda untuk dampak kurva, kekurangan termasuk biaya, dan slippage tidak dimodelkan.
Spesifikasi grafik kedalaman likuiditas menggunakan rumus tepat; tandai input10/20, input efektif, output rata-rata, dan retensi biaya. Jalur berbeda untuk dampak kurva, kekurangan termasuk biaya, dan slippage tidak dimodelkan.
Pada 390px tumpuk grafik/tabel, asumsi, koreksi, dan panel sumber; sediakan padanan teks lengkap. Rendering masih tertunda.
Prosa penjelasan RTL; nilai numerik, ID, dan sumbu kronologis tetap LTR; pertahankan arah ketergantungan.
FIX-P11-L02
Sumber dan batas klaim
V2 · PRIMARY_DOCUMENTATION
Whitepaper inti Uniswap v2 (Maret 2020)
- Klaim yang didukung
- Rasio cadangan, mekanisme produk konstan, dan invariant biaya input; khusus versi, bukan snapshot deployment langsung.
- Batas verifikasi
- Dokumentasi hanya mendukung mekanisme; nilai fixture adalah masukan asli yang ditetapkan. Publikasi historis tetap diatribusikan.
- Tanggal pemeriksaan
- 2026-10-01
https://app.uniswap.org/whitepaper.pdf
Asal data
id: FIX-P11-L02
dataStatus: ILLUSTRATIVE
observedAt: null
timeBasis: T/SIM markers are fictional order, not timestamps.
source: Author-created fixture embedded in this lesson.
scope: No market observation, usable address, secret, signature or personal financial data.