Mesin Staking Whitepaper v1.0
Mesin Staking BlazePhoenix adalah brankas aset tunggal sekaligus fasilitas kredit untuk BZPX tanpa oracle di mana pun, karena agunan dan utang adalah token yang sama. Identitas Konservasi Utama (Master Conservation Identity) ditegakkan pada setiap transaksi yang memindahkan nilai oleh modifier conserves — sebuah transaksi yang akan membuat pembukuan mengklaim lebih banyak daripada yang dipegang kontrak akan dibatalkan. Emisi berkurang separuh sepanjang delapan periode dua tahunan (eight two-year periods) sebagai bentuk tertutup atas jam blok; sebuah boost kuadratik membayar komitmen penguncian hingga 2.75× pada tujuh tahun; dua akumulator yang terpisah membayar emisi dan bunga peminjam tanpa subsidi silang sama sekali; pemeliharaan menumpang pada transaksi biasa dan dibatasi gas; dan siapa pun di dunia boleh menjatuhkan pemutus arus dengan bukti insolvensi on-chain. Rancangan ini bertumpu pada satu disiplin, yang dibagi bersama agregator BlazePhoenix dan diterapkan di sini pada modal protokol sendiri: hitung, jangan percaya. Setiap imbal hasil, setiap tingkat bunga dan setiap pemeriksaan solvabilitas diturunkan dari keadaan rantai lewat aritmetika yang dapat dijalankan ulang oleh pembaca — tanpa umpan harga, tanpa armada keeper, tanpa dasbor yang harus dipercaya siapa pun. Tiga batas dinyatakan sejak awal, karena sebuah jaminan hanya sejujur tepiannya. Mesin ini sedang dibangun — itulah pemberitahuan di atas, bukan sebuah catatan kaki. Peran administratif memang ada, dan masing-masing disebutkan bersama garis yang membatasinya: seorang admin yang kuasa pemindahan nilainya tidak dapat menjangkau pokok milik staker (§10.3), dan seorang guardian yang kuasa terkuatnya tidak memindahkan dana apa pun (§12). Dan penguncian tidaklah tanpa syarat: ada dua jalur penghentian, sengaja dibuat tidak serupa satu sama lain, masing-masing dispesifikasikan secara utuh dengan asal-usulnya dicatat secara permanen (§12). Yang harus dinilai pembaca bukanlah kejujuran kami, melainkan sumber kami.
Status: mesin sedang dibangun
Agregator likuiditas BlazePhoenix adalah produk yang sudah dirilis. Mesin staking belum dirilis: ia sedang dalam pengerjaan rekayasa aktif. Makalah ini menspesifikasikan rancangan mesin staking sebagaimana adanya — setiap persamaan, invarian, konstanta dan titik masuk yang disebut di bawah adalah spesifikasi yang mengikat implementasinya — supaya seorang pembaca dapat menilai mesin ini sebelum ia ada. Menerbitkan rancangan lebih dahulu adalah urutan kerja yang benar untuk perangkat lunak yang tidak dapat diubah: sebuah kontrak yang tidak bisa ditambal harus dinilai sebelum digelar, bukan sesudahnya, dan dokumen ini dibangun agar penilaian itu mungkin — setiap angka dapat diturunkan ulang, setiap jaminan dinyatakan bersama tempat penegakannya dan batasnya dalam paragraf yang sama. Ketika mesin dirilis, bytecode yang digelar menjadi kanonik dan makalah ini menjadi catatannya; sampai saat itu, makalah ini adalah klaim publik mesin yang dapat difalsifikasi tentang apa yang akan menjadi dirinya. Teks lengkap, dalam bahasa Inggris: https://blazephoenix.xyz/staking-whitepaper.md
§1 · Satu disiplin, dua mesin
BlazePhoenix adalah protokol keuangan on-chain yang lengkap, dibangun dari dua mesin yang saling mengunci — sebuah agregator likuiditas dan sebuah mesin staking — yang berbagi satu disiplin: hitung, jangan percaya. Setiap harga, setiap imbal hasil dan setiap pemeriksaan solvabilitas dalam protokol diturunkan dari keadaan rantai lewat aritmetika yang dapat dijalankan ulang oleh pembaca. Tanpa layanan perutean, tanpa oracle harga, tanpa keeper, tanpa jalur peningkatan: di tempat kebanyakan protokol meminta untuk dipercaya, protokol ini menerbitkan sarana untuk diperiksa.
§2 · Tesis staking dan Identitas Konservasi Utama
Sebuah agregator merutekan likuiditas orang lain; sebuah protokol juga harus menumbuhkan likuiditasnya sendiri. Mesin Staking BlazePhoenix mengubah BZPX dari saldo yang diam menjadi modal yang produktif — sebuah instrumen imbal hasil, sebuah lini kredit beragunan, dan mekanisme penyelarasan yang mengikat pemegang jangka panjang pada keberhasilan protokol — dan ia melakukan semua itu dalam satu kontrak, yang diatur oleh satu persamaan.
§3 · Token dan jadwal emisi
Satu miliar BZPX, tetap selamanya, sebagai ERC-20 biasa: 18 desimal, tanpa jalur pencetakan, tanpa biaya pada transfer, tanpa rebasing, tanpa hook transfer, tanpa jeda maupun daftar hitam — enam invarian penggelaran yang dicatat di repositori staking, diperiksa terhadap bytecode token pada saat penyambungan. Pasokan terdilusi penuh sudah diketahui sejak genesis; kelangkaan adalah sifat kontrak, bukan sebuah kebijakan. Pembagian satu miliar itu ke seluruh alokasi protokol adalah catatan di tingkat protokol dan berada bersama makalah pendamping serta catatan on-chain milik token itu sendiri; makalah ini membawa bagian yang ditegakkan oleh mesin — anggaran emisi
§4 · Staking terkunci yang wajib dan kurva boost
Sederhananya: tidak ada staking likuid — setiap setoran mengikat modalnya untuk jangka waktu yang dipilih, dan protokol sekadar menghormati jangka waktu itu. Persisnya:
§5 · Doktrin Dua Akumulator (Dual-Accumulator Doctrine)
Mesin membayar dua imbal hasil yang berbeda dari dua sumber yang terpisah, dan seorang staker memperoleh salah satu atau keduanya tergantung apakah ia meminjam. Inilah bagian paling halus dari rancangan ini dan alasan satu kontrak dapat melayani penabung dan peminjam tanpa yang satu mensubsidi yang lain. Pembukuannya mengikuti pola akumulator yang telah teruji di seluruh DeFi: sebuah indeks global per bagian bergerak maju seiring nilai berdatangan, setiap posisi menyimpan indeks pada penyelesaian terakhirnya, dan imbal hasil tertunda adalah selisihnya dikali bobot posisi. Kedua akumulator bergerak maju pada jam yang sama — _updateGlobal berjalan lebih dulu di setiap titik masuk,
§6 · Fasilitas kredit
Protokol pinjaman jauh lebih sering patah di oracle daripada di matematikanya: umpan yang dimanipulasi membuat agunan yang sehat tampak tak bernilai — atau agunan tak bernilai tampak sehat — dan logika likuidasi, sebenar apa pun, dijalankan di atas sebuah kebohongan. BlazePhoenix tidak memperkeras oracle; ia menghapus kategorinya. Aset agunan dan aset yang dipinjam adalah token yang sama: seorang staker mengunci BZPX dan meminjam BZPX terhadapnya, sehingga rasio pinjaman terhadap nilai sebuah posisi adalah rasio murni antara dua jumlah dari satu token — utang dibagi stake — dan tidak memerlukan harga eksternal untuk dinilai. Tidak ada umpan untuk dimanipulasi, tidak ada jendela TWAP
§7 · Likuidasi
Sebuah posisi menjadi dapat dilikuidasi ketika bunga yang berjalan telah menggerus stake-nya hingga berada dalam jarak 5% dari utangnya — jaminan itu dalam satu kalimat: sebuah posisi dapat dilikuidasi tepat ketika debt × 100 ≥ stake × 95, diperiksa secara identik pada jalur tanpa izin maupun jalur otonom, dan tidak satu blok pun lebih awal. Penyitaan kemudian berjalan menurut air terjun yang tetap:
§8 · Pemeliharaan Otonom (Autonomous Maintenance)
Likuidasi harus tepat waktu, bunga harus berjalan, dan boost penguncian yang kedaluwarsa harus dilepas — dan jawaban lazim industri untuk ketiganya adalah armada bot keeper off-chain yang mengawasi rantai. Bila bot berhenti, buku membusuk. Itu persis jenis ketergantungan liveness yang ditolak protokol ini di semua tempat lain, maka Mesin Staking menghapusnya: buku membersihkan dirinya sendiri, dari arus organik pemakaian biasa.
§9 · Permukaan Verifikasi
Protokol yang menyimpan nilai milik orang lain tidak seharusnya meminta untuk dipercaya; ia seharusnya menerbitkan sarana untuk diperiksa. Mesin Staking mengubah integritasnya sendiri menjadi sekumpulan pembacaan on-chain yang publik dan gratis, sehingga pihak mana pun — seorang staker, seorang auditor, seorang pesaing, seorang skeptis — dapat memastikan dalam satu eth_call bahwa kontrak memegang apa yang dinyatakannya sebagai utang. Tanpa dasbor, tanpa subgraph, tanpa pengindeks, tanpa kepercayaan.
§10 · Keamanan Ekonomi
Keselamatan Mesin bertumpu pada aritmetika yang tidak dapat dibengkokkan lawan, bukan pada asumsi yang dapat dipatahkan lawan. Tanpa oracle dan tanpa ketergantungan off-chain, model ancamannya luar biasa kecil, dan setiap ancaman yang tersisa ditutup oleh sifat struktural yang ditegakkan pada setiap transaksi, bukan oleh kewaspadaan seorang operator.
§11 · Siklus Hidup Sebuah Posisi
Mekanika bagian-bagian sebelumnya paling mudah dipahami dengan mengikuti satu posisi sepanjang seluruh hidupnya, dengan angka yang konkret. Angka-angka global dalam penelusuran ini bersifat ilustratif — mereka menetapkan penyebut yang dipakai untuk menghitung bagian posisi tersebut — tetapi setiap konstanta dan setiap rumus adalah milik kontrak itu sendiri, dan setiap angka di bawah mengikuti darinya.
§12 · Keadaan Darurat dan Pemutus Arus
Penguncian tidaklah tanpa syarat, dan mengatakan sebaliknya akan menyalahartikan jaminannya. Ada dua jalur penghentian, dan keduanya sengaja dibuat tidak serupa.
§13 · Kesimpulan
Kami berangkat untuk menjadikan solvabilitas sebagai sifat kode, bukan klaim tentangnya, dan mesin yang dispesifikasikan makalah ini adalah niat itu yang dibawa sampai ke ujungnya. Satu identitas konservasi, ditegakkan sebagai syarat pembatalan pada setiap transaksi yang memindahkan nilai, membuat insolvensi lewat operasi biasa menjadi tak terjangkau; rancangan aset tunggal menghapus oracle yang mematahkan sebagian besar pemberi pinjaman bahkan sebelum ia bisa ada; pemeliharaan menumpang pada pemakaian biasa, dibatasi gas, tanpa keeper di mana pun; dan penghentian sebagai upaya terakhir menjadi milik siapa pun yang dapat membuktikan, hanya dari keadaan rantai, bahwa penghentian itu diperlukan.
Questions, a partnership or a bug to report? Contact us or email contact@blazephoenix.xyz