Qanday ishlaydi
Marketing emas, kod nimani kafolatlaydi
Quyidagi har bir da'vo uni majburlaydigan kontrakt va funksiyani nomlaydi. «Ishonchli arxitektura» emas, balki siz yoki avtomatik baholovchi o'zi tekshira oladigan aniq invariantlar. Chegaralar va zaif joylar ochiq aytilgan.
1 · Arxitektura va ishonch chegarasi
Nima qayerda yashaydi — va chegaradan nima o'tmaydi
Sxema: uchta zona va kalit hech qachon kesib o'tmaydigan qizil chiziq
Mijoz qurilmasi
Shaxsiy kalitseed'dan olingan, faqat shu yerda turadi
Tranzaksiyalarni imzolashqurilmada sodir bo'ladi
Zanjirda (zkSync)
Majburiyat tokenichiqarish/kuydirish, shift
Ta'minotshiftni e'lon qiladi, attestatsiya
Birja · steykingayirboshlash, jamg'arma
Zanjirdan tashqarida (server)
Indeksatortarix lentasi uchun zanjir hodisalarini o'qiydi
APIkalitni saqlamaydi; hamyondan — manzil
Server mijoz o'rniga imzolay olmaydi va mablag'ni saqlamaydi — u zanjirni o'qiydi va interfeysga xizmat qiladi. Mablag'ni sarflash vakolati faqat qurilmadagi kalitda.
2 · Kod majburlaydigan invariantlar
Tekshirib bo'ladigan da'volar — kontrakt va funksiya bilan
Barcha kontraktlarning manba kodi e'lon qilingan va verifikatsiyadan o'tgan — repozitoriy bilan bayt-ma-bayt mos keladi. Mablag' turgan manzilni oching va Solidity'ni o'zingiz o'qing: «kod shunday deb ishoning» emas, «tekshiring». Quyidagi har bir invariantni ilova emas, tarmoq ushlab turadi — uni interfeys orqali ham, biz orqali ham chetlab o'tib bo'lmaydi.
Chiqarish tasdiqlangan shiftdan oshib keta olmaydi
totalSupply() + amount tasdiqlangan rezervdan katta bo'lsa, chiqarish rad etiladi. Tekshiruv token kontraktida; interfeys uni chetlab o'tmaydi.
kontrakt OLTINfunksiya mintshift — kontrakt 0x9413F602…
Shift doirasida token chiqargan xarid 0x344b763d…13add1
Eskirgan tasdiq chiqarishni o'zi to'xtatadi
Agar attestatsiya bir soatdan eski bo'lsa (maxAgeReserve = 3600), chiqarish revert bo'ladi. Tasdiqlashni to'xtatsangiz — chiqarish muzlaydi. Xavfsiz tomonga rad etish.
kontrakt OLTINfunksiya mint · maxAgeReserve
Tasdiqlar tarixi, cheksiz 0x9413F602…7d1B
Omonat 7 kunga qulflangan — buni hech kim qisqartira olmaydi
Har bir omonat lockedUntil = now + 7 kun bilan lot yaratadi. Yechib olish faqat ochilgan lotlardan oladi. Na administrator, na boshqa birov muddatdan oldin yecha olmaydi.
kontrakt Steykingfunksiya unstake · LOCK_PERIOD
Zanjirda qulflangan omonat 0xc39f92b2…4a7022
Administrator begona omonatga tega olmaydi
Yechib olish faqat msg.sender lotlari bilan ishlaydi — cheklov ilova qoidalariga emas, funksiyaning o'ziga payvandlangan. Administratorda omonatchi mablag'iga yo'l yo'q.
kontrakt Steykingfunksiya unstake (msg.sender)
Mijoz kaliti qurilmadan chiqmaydi
Hamyon kalitni qurilmada seed'dan hosil qiladi va lokal imzolaydi. Server kalitni saqlamaydi va imzolay olmaydi; hamyondan unda faqat ochiq manzil bor (Telegram-id kabi hisob ma'lumotlari saqlanadi, lekin mablag'ga kirish bermaydi).
klient lib/walletbackend — faqat wallet_address
Pulning yo'li
Xarid, ayirboshlash va sotuvda nima sodir bo'ladi
Sxema: sakkiz qadam, har biri o'z harakati bilan belgilangan
1
Mijoz so'm kiritadihamkorning fiat relslari orqali
2
Birjaga yechishga ruxsat beradiqurilmada imzolanadi
3
Majburiyat sotib oladibirja tokenni chiqaradi — lekin faqat tasdiqlangan shift doirasida
4
Nokastodial hamyonda saqlaydikalit mijozda
5
Boshqasiga o'tkazadiyoki daromad uchun steykinga qo'yadi
6
Qaytarib sotadibirja tokenni kuydiradi
7
Birja g'aznasidan so'm oladihisob-kitob zanjirda
8
Hamkor relslari orqali yechib oladifiat emitent tomonida
Rollar va vakolatlar
Kim nima qila oladi — va hech kim nima qila olmaydi
Qila oladi
Nashr etuvchi — ta'minot shiftini belgilaydi (prodda bu hamkor)
Birja — shift doirasida tokenni chiqaradi/kuydiradi. MINTER rolini aynan bitta manzil — birja kontrakti ushlab turadi, odam kaliti emas (RoleGranted/RoleRevoked hodisalarini qayta ijro etish orqali tekshiriladi)
Mijoz — faqat o'z operatsiyalarini imzolaydi
Hech kim qila olmaydi
Shiftdan ortiq token chiqarish
Begona omonatni muddatidan oldin yechish
Mijoz o'rniga imzolash yoki uning kalitini olish
3 · Stek va uning asoslari
Har bir tanlov logotip emas, sabab bilan
Nega zkSync Era
Tranzaksiya narxi
O'tkazma va ayirboshlash tiyinlarga tushadi. Qimmat tarmoqda chakana mahsulotning mikro-tranzaksiyalari o'zini oqlamaydi.
Nega nokastodial hamyon
Emitent begona mablag'ni ushlab turmaydi
Kalit mijozda — hamkorga operatsion va regulyativ yuk kamroq, begona pulning «issiq» ombori yo'q.
Nega apgreyd mexanizmisiz
Qoidalarni orqaga qaytib o'zgartirib bo'lmaydi
Kontraktlar o'zgarmas — na biz, na boshqa birov allaqachon chiqarilgan narsa ostidagi mantiqni qayta yozmaydi. Almashuv narxi: tuzatish yangi kontrakt va migratsiyani talab qiladi.
4 · Ishlab chiqish tartibi
Ochiq repozitoriyda tekshirib bo'ladi
405
test · 204 kontrakt · 165 backend · 36 frontend
Har bir PR'da CI
merge'dan oldingi gate'lar, bostirishlarsiz
Action'lar SHA bo'yicha qadalganfaqat squash + branch avtomatik o'chadipush protection
Ko'rib chiqish jarayoni mahsulotning bir qismi: jiddiy blokerlar — mablag' oqib ketishi, autentifikatsiyani chetlab o'tish, rezervdagi poyga, ikki marta emissiya — adversarial ko'rib chiqishda tutilgan. Bularning barchasi repozitoriyda to'g'ridan-to'g'ri o'qiladi.
GitHub'da repozitoriyni ochish →
5 · Cheklovlar — ochiq aytamiz
Biz o'zimiz nomlaydigan narsalar
Aniq o'z-o'zini baholash zaiflik emas, yetuklik belgisi. Zaif joyi yo'q loyiha reklama kabi o'qiladi.
Sinov tarmog'i.zkSync Era Sepolia; tokenlarning haqiqiy qiymati yo'q — bu ishlashning isboti, jangovar chiqarish emas.
Tashqi audit bo'lmagan.Ichki adversarial ko'rib chiqish jarayoni ishlayapti; mustaqil audit — jangovar ishga tushirishdan oldin.
Kontraktlar o'zgarmas.Ataylab — qoidalarni orqaga qaytib qayta yozib bo'lmaydi. Narxi: tuzatish yangi kontrakt va tirik pozitsiyalarni ko'chirishni talab qiladi.
Boshqaruv bitta kalitda.Ma'muriy rollar hozircha yagona EOA'da. Pauza ostida foydalanuvchi hech narsa qila olmaydi (omonat/yechish/mukofot) — ammo mukofot fondini administrator shunda ham yechib olishi mumkin (withdrawRewardPool pauza ostida emas). Bu asosiy summaga va shiftga tegishli emas: begona omonatni tortib olish yoki shiftdan ortiq chiqarish mumkin emas. Multisigga o'tkazish rejalashtirilgan, bu monetizatsiyadan ustun turadi.
Indeksator zanjir reorganizatsiyasiga chidamli emas.Tarix lentasi hodisalarni o'qish orqali quriladi; reorganizatsiyada qisqa vaqt orqada qolishi mumkin — bu balanslarga va zanjir invariantlariga ta'sir qilmaydi.