Istilah DeFi, didefinisikan

Layanan keuangan — perdagangan, pinjaman, staking — dijalankan oleh smart contract publik alih-alih bank atau broker, terbuka bagi siapa saja yang memiliki dompet. baca selengkapnya ›

Blockchain terprogram tempat sebagian besar DeFi berjalan; BlazePhoenix menerapkan bytecode yang sama di Ethereum dan L2-nya (Base, Optimism, Arbitrum, Robinhood Chain). baca selengkapnya ›

Jaringan EVM (chain id 4663) tempat BlazePhoenix diterapkan dan terhubung ke tujuh venue; dengan ETH native, WETH terbungkus, dan stablecoin USDG, serta penjelajah Blockscout. baca selengkapnya ›

Stablecoin dolar AS yang dipakai sebagai aset kutipan dalam di Robinhood Chain (0x5fc5…d168); BlazePhoenix menjembatani rute multi-hop melaluinya dan WETH. baca selengkapnya ›

Desain AMM kanonik (V2/V3) yang pool-nya menampung sebagian besar likuiditas DEX; BlazePhoenix merutekan lintas desain ini dan delapan bentuk venue. baca selengkapnya ›

Selisih antara harga yang Anda lihat dan harga yang Anda dapat, disebabkan pasar bergerak antara kutipan dan eksekusi. Anda membatasinya dengan ambang keluaran minimum (minOut). baca selengkapnya ›

Bagian dari biaya yang Anda timbulkan sendiri: berdagang melawan pool yang terbatas menggerakkan harga saat Anda mengambil token. Pool yang tipis menghukum ukuran besar paling keras. baca selengkapnya ›

Dua tumpukan token yang dipegang sebuah smart contract agar siapa pun bisa berdagang melawannya. Rasio kedua tumpukan menentukan harga; kedalaman on-chain yang nyata menentukan biaya Anda. baca selengkapnya ›

Sebuah rumus yang menetapkan harga perdagangan dari saldo pool alih-alih buku pesanan. Hasil-tetap (x·y=k) selalu punya kutipan; dampak harga adalah tempat ia menagih Anda. baca selengkapnya ›

Pasar tempat perdagangan dieksekusi langsung on-chain melawan smart contract, tanpa kustodian mana pun yang pernah memegang dana Anda. baca selengkapnya ›

Alat yang merutekan sebuah swap lintas banyak pool demi eksekusi terbaik. BlazePhoenix menghitung kutipan on-chain, sehingga tidak ada server off-chain yang perlu dipercaya. baca selengkapnya ›

Kode yang diterapkan di blockchain yang berjalan persis seperti ditulis, tanpa admin yang mampu mengubah atau menghentikannya setelah kewenangannya dilepaskan. baca selengkapnya ›

Kedalaman pool yang diiklankan tetapi tidak benar-benar dipegang kontrak pool secara on-chain — yaitu slippage yang sebenarnya akan Anda bayar dan token yang tak bisa dibayarkan sebuah honeypot. baca selengkapnya ›

Sebuah token yang direkayasa agar pembelian berhasil dan penjualan gagal, lewat logika kontrak tersembunyi. Grafik terus naik sementara nyaris tak seorang pun bisa keluar. baca selengkapnya ›

Penipuan keluar tempat orang dalam menguras likuiditas sebuah token atau membuang pasokan tersembunyi, menjatuhkan harga ke nol. baca selengkapnya ›

Keuntungan yang diambil bot dengan menyusun ulang, menyisipkan, atau menyensor transaksi dalam sebuah blok — kekuatan di balik serangan sandwich. baca selengkapnya ›

Melihat transaksi yang tertunda lalu melompat ke depannya untuk mengambil untung dari pergerakan harga yang akan ditimbulkannya. baca selengkapnya ›

Jembatan yang menyuapkan data eksternal (seperti harga) ke sebuah smart contract — sekaligus permukaan serangan klasik ketika umpan itu dapat dimanipulasi. baca selengkapnya ›

Kerugian yang ditanggung penyedia likuiditas ketika kedua token yang dikumpulkan bergerak berbeda dalam harga, dibandingkan sekadar menahannya. baca selengkapnya ›

Seseorang yang menyetor kedua token ke dalam sebuah pool untuk memperoleh bagian dari biaya perdagangannya, sebagai imbalannya menanggung risiko impermanent loss. baca selengkapnya ›

Total aset yang disetorkan dalam sebuah protokol — metrik popularitas, bukan jaminan keamanan; kedalaman likuiditas yang nyatalah tempat Anda benar-benar bisa keluar. baca selengkapnya ›

Kapitalisasi pasar adalah harga × pasokan (sebuah angka utama); likuiditas adalah tempat Anda benar-benar bisa keluar. Ketika kapitalisasi menjulang di atas kedalaman nyata, sebagian besar nilai itu tak terjangkau. baca selengkapnya ›

Peragaan on-chain yang dapat diverifikasi bahwa sebuah protokol memegang cukup aset untuk menutupi apa yang menjadi kewajibannya — dapat diperiksa tanpa memercayai timnya. baca selengkapnya ›

Jumlah keluaran paling sedikit yang akan Anda terima pada sebuah swap; jika perdagangan tak bisa memberikannya, ia harus dibatalkan (revert) alih-alih terisi lebih buruk. baca selengkapnya ›

ETH yang sama, dibungkus sebagai token ERC-20 standar agar kontrak menanganinya secara seragam. Selalu dapat ditebus 1:1; ia bukan aset yang berbeda. baca selengkapnya ›

Izin tetap bagi sebuah kontrak untuk memindahkan token Anda. Ia bertahan lebih lama daripada perdagangannya, sehingga persetujuan tak terbatas adalah risiko hidup yang perlu Anda tinjau dan cabut. baca selengkapnya ›

Sebuah token yang direkayasa untuk menahan nilai tetap, biasanya $1, ditopang oleh fiat, kripto, atau sebuah algoritma. Peg hanya sekuat desain di baliknya. baca selengkapnya ›

Biaya jaringan yang dibayarkan untuk mengeksekusi sebuah transaksi on-chain, dihargai dalam koin native rantai tersebut dan bervariasi menurut kepadatan. baca selengkapnya ›

Perangkat lunak yang memegang kunci privat yang mengendalikan dana on-chain Anda — bukan dananya itu sendiri. Frasa benih ITULAH dananya; jangan pernah membagikannya. baca selengkapnya ›

Sebuah properti yang tetap benar di bawah setiap transformasi yang diizinkan pada sebuah sistem. Di BlazePhoenix, keamanan ITULAH sebuah invarian: transaksi yang akan melanggarnya tidak bisa ada. baca selengkapnya ›

Sebuah hukum yang menyatakan bahwa suatu besaran terukur tak pernah berubah saat sistem berevolusi. Buku staking menaati satu di antaranya — nilai yang masuk sama dengan nilai yang dicatat — ditegakkan per transaksi. baca selengkapnya ›

Membuktikan perangkat lunak benar dengan matematika alih-alih mengujinya lewat contoh. Kontrak yang digerakkan invarian mendorong properti itu ke dalam runtime: EVM sendiri menolak keadaan yang melanggar. baca selengkapnya ›

Sebuah desain tempat setiap permintaan membawa semua yang dibutuhkan — tanpa sesi tersimpan yang bisa rusak. BlazePhoenix Core adalah pustaka murni: tanpa penyimpanan, tanpa pemilik, tanpa jalur pemutakhiran. baca selengkapnya ›

Anda menandatangani sebuah HASIL yang diinginkan dan para solver off-chain bersaing untuk memenuhinya. Ampuh, tetapi lelangnya adalah lapisan tepercaya — taruhan yang berlawanan dengan menghitung rute on-chain. baca selengkapnya ›

Merepresentasikan pecahan dengan bilangan bulat berskala (di sini WAD = 1e18) karena EVM tak punya bilangan pecahan. Ketepatan menuntut perkalian presisi penuh agar hasil kali berskala tak pernah meluap. baca selengkapnya ›

Pencari akar iteratif yang menggandakan jumlah digit benarnya di setiap langkah (konvergensi kuadratik). BlazePhoenix memakai bentuk modularnya untuk membalik sebuah pembagi ganjil dalam enam langkah, dari 4 bit ke 256. baca selengkapnya ›

Memperoleh imbalan token karena memasok modal ke sebuah protokol. BlazePhoenix membayar dua aliran berbeda — emisi dan bunga peminjam — dari dua akumulator di atas satu basis stake, tanpa subsidi silang. baca selengkapnya ›

Penulis samaran whitepaper Bitcoin (2008), yang kalimat pembukanya — pembayaran tanpa lembaga keuangan — mendefinisikan visi minimalisasi kepercayaan yang menjadi tolok ukur Nakamoto Test. baca selengkapnya ›

Salah satu pendiri Ethereum; whitepaper-nya tahun 2014 menggeneralisasikan penghapusan kepercayaan Bitcoin dari pembayaran menjadi komputasi sembarang — garis keturunan yang menjadi landasan setiap protokol smart contract yang serius. baca selengkapnya ›

LAJU ambang keluaran minimum yang Router turunkan ulang ON-CHAIN saat eksekusi dari jumlah terukur: pemanggil boleh memperketatnya, tak pernah melonggarkannya. Laju itu dijepit agar tak pernah jatuh di bawah 80%, dan diterapkan pada kutipan on-chain hop terakhir sebelum biaya protokol. baca selengkapnya ›

Memformalkan Minimum output (minOut).

Jaminan yang sama diterapkan pada tiap leg dari rute terpecah alih-alih pada totalnya: setiap leg harus memberikan setidaknya 8,000 basis poin dari keluaran rencananya, sehingga sebuah rute tak bisa menyembunyikan leg buruk di balik leg baik. baca selengkapnya ›

Memformalkan Minimum output (minOut).

Medan kebugaran pool: sebuah penghitung swap terute yang meluruh pada waktu jam dinding — separuh kira-kira setiap 6.8 jam kebisuan dan mencapai nol setelah sekitar 9 hari — dibobot menurut keranjang kedalaman-log, dengan bonus jembatan dan konsentrasi. Kedudukan hanya diperoleh dengan dilewati rute, dan ia memutuskan venue mana yang dipertimbangkan, bukan sekali-kali berapa yang dibayar masing-masing. baca selengkapnya ›

Memformalkan Liquidity pool.

Satu persamaan tunggal yang ditaati buku staking, ditegakkan per transaksi oleh penjaga conserves: transaksi apa pun yang akan melanggarnya akan dibatalkan, dan siapa pun dapat membaca hasilnya secara gratis pada blok mana pun. baca selengkapnya ›

Memformalkan Conservation law.

Filter kepercayaan yang berjangkar pada pool dengan saldo tokenOut NYATA terbesar — kebenaran memberi suara dengan modal, bukan dengan sekadar keberadaan. Ia menaikkan biaya sebuah serangan alih-alih memberikan ketahanan statistik: penyerang yang sungguh-sungguh merupakan pool terdalam mengendalikan jangkar itu. baca selengkapnya ›

Memformalkan Blockchain oracle.

Lebar filter itu: sebuah kandidat yang lajunya berada di luar ±4% dari jangkar dibuang sebelum perutean. Sebuah kandidat tunggal tak pernah difilter, karena pita di sekitar satu pengamatan tak membawa informasi. Lebar itu adalah keputusan produk, bukan besaran turunan. baca selengkapnya ›

Memformalkan Blockchain oracle.

Urutan venue yang seharusnya bergabung ke sebuah rute di bawah pemecahan optimal: menurun berdasarkan harga spot terkoreksi-biaya γy/x, imbal marjinal tiap venue pada input nol, dapat dihitung dari cadangan saja tanpa oracle dan tanpa simulasi. baca selengkapnya ›

Memformalkan Automated market maker (AMM).

Setiap keputusan perutean — penerimaan, pengurutan, pemecahan, dan ambang-ambang — dihitung dari keadaan pool on-chain dan konstanta kontrak saja. Protokol tak mengonsumsi sumber harga eksternal mana pun, sehingga ia tak mewarisi mode kegagalan oracle mana pun dan tak bisa mengimpor manipulasi salah satunya. baca selengkapnya ›

Memformalkan Blockchain oracle.

Sebuah jaminan yang batasannya ditegakkan on-chain oleh kode yang mengeksekusi perdagangan, alih-alih dihasilkan off-chain lalu sekadar divalidasi. Sebuah pernyataan tentang DI MANA sebuah jaminan berada: dapat diaudit alih-alih dijanjikan — tak otomatis lebih kuat, tetapi dapat diperiksa. baca selengkapnya ›

Memformalkan Decentralized exchange (DEX).

Pengutipan-ulang kelas eksekusi lewat ekstraksi-revert: jalankan swap nyata pool di dalam sebuah panggilan, revert, dekode selisihnya — revert itulah jawabannya, bukan sebuah galat. baca selengkapnya ›

Memformalkan Automated market maker (AMM).

Satu fungsi kutipan yang merentang delapan spesies AMM — matematika bentuk-tertutup di mana rumus adalah kebenaran, bertanya-pada-pool di mana replikasi bisa berbohong. baca selengkapnya ›

Memformalkan Automated market maker (AMM).

Seluruh keadaan kerja sebuah pool dijejalkan ke dalam satu kata penyimpanan 256-bit, sehingga menilai sebuah kandidat berbiaya satu SLOAD tunggal alih-alih beberapa. baca selengkapnya ›

Memformalkan Smart contract.

Penurunan alamat CREATE2 lintas delapan bentuk venue — alamat sebuah pool yang sah dapat dihitung sebelum ia ada, sehingga penyamaran menjadi ketidakcocokan alamat. baca selengkapnya ›

Memformalkan Smart contract.

Registri venue yang mempelajari likuiditas dengan mengeksekusinya: setiap swap yang terselesaikan memperbarui atau menyisipkan sebuah pool; peluruhan vitalitas dan penggusuran berperingkat-Ψ menyaringnya tanpa keeper. baca selengkapnya ›

Memformalkan Decentralized exchange (DEX).

Lima pertanyaan yang dapat difalsifikasi — penyelesaian, verifikasi, ketahanan, izin, transparansi — yang mengukur protokol mana pun terhadap visi pendiri whitepaper Bitcoin dan Ethereum. baca selengkapnya ›

Memformalkan Decentralized finance (DeFi).

Mengatur sebuah sistem lewat sebuah invarian matematis yang diperiksa di batas, gagal-tertutup saat pelanggaran — pola di balik protokol, sekaligus templat untuk menyelaraskan agen AI. baca selengkapnya ›

Memformalkan Invariant (mathematics).

Perkalian-lalu-pembagian 512-bit (mulDiv) yang dilalui setiap proporsi BlazePhoenix: hasil kali antara tak pernah meluap, sehingga tak ada imbalan, rasio, atau irisan bunga yang bergeser bahkan satu wei. baca selengkapnya ›

Memformalkan Fixed-point arithmetic.

Dua akumulator gaya MasterChef di atas satu basis stake — emisi pada stake efektif yang diperkuat, bunga hanya untuk penabung murni — sehingga tak ada peran staking yang mensubsidi yang lain, semua di bawah satu invarian solvabilitas. baca selengkapnya ›

Memformalkan Yield farming.