Men Babylonning mahalliy BTC garov integratsiyasi bo‘yicha boshqaruv (governance) hujjatini ko‘rib chiqayotgan edim, likvidatsiya yo‘li qanday qilib ishlashini aslida nima ta’minlashini tushunishga harakat qildim. Texnik asoslantirish ichiga BaBe deb nomlangan ish (paper)ga havola yashirilgan ekan. Uni ochganimdan keyin, marketingda aytilgan qisqa ta’rifdan voqea boshqa tus oldi.
Bitcoin SNARK’ni tabiiy ravishda verifikatsiya qila olmaydi. Bu yillar davomida trustsiz BTC DeFi uchun asosiy to‘siq bo‘lib kelgan.
Oldinroq BitVM2 protokoli nazariyada buni hal qilgan. Ammo uning o‘z tadqiqot eslatmalarida aytilishicha, on-chain’da firibgarlik da’vosini e’tiroz qilish 14 000 dollardan ko‘proq to‘lov talab qilishi mumkin. Bu faqat firib hech qachon amalda e’tiroz qilinmasa ishlaydi.
Keyingi BitVM3 dizayni esa verifikatsiyani off-chain’da ishlaydigan garbled circuit (shifrlangan aralash sxema)ga ko‘chirib, on-chain xarajatni keskin qisqartirdi. Ish berdi, lekin har bir circuit 42 gibibayt edi. Sozlash (setup) va saqlash (storage) yangi bo‘g‘inga aylandi.
BaBe — Babylonning aynan shu ikkinchi muammoning javobi. 2026-yil fevraldagi eprint’ga ko‘ra, u BitVM3’ning on-chain tejamkorligini saqlagan holda storage va setup xarajatini kamaytiradi. U UC Berkeley bilan birgalikda ishlab chiqilgan va 2026-yil oxirida peer-reviewed security konferensiyasida taqdim etilishi kutilmoqda.
Menga eng ko‘p ta’sir qilgan narsa shumi. Hozir yirik lending protokoli boshqaruvi (governance) ovoz bermoqchi bo‘lgan likvidatsiya oqimi, bu kriptografiya hujjatda qanday ko‘rsatilgani kabi ishlab chiqarish (production)da ham o‘sha darajada ishlaydi, deb taxmin qiladi.
Birinchi qarshi fikr: Bitcoin tadqiqotlari ko‘pincha rasmiy publikatsiyadan oldinroq “chiqib ketadi”. Konferensiya sanasi kelishini kutish mexanizm ishonchli ekanini kutish bilan bir xil narsa emas, va mustaqil security reviewlar akademik maqola rasmiy taqdim etilmasidan oldin ham dizaynni tekshirishi mumkin.
Ikkinchi qarshi fikr: asosiy ishonch taxmini nol emas, lekin u kichik. Garbled circuit setup’ning o‘zi cut-and-choose metodiga tayangan, va bu dizayn avlodini tekshirgan tadqiqotchilar nosozlik ehtimolini taxminan 2^(-40) darajasida baholagan. Amalda esa bu butun soha bo‘ylab “e’tiborsiz darajada” deb qabul qilinadi, ochiq risk sifatida ko‘rilmaydi.Men buni laboratoriya testlarining barchasidan o‘tgan, lekin endi odamlar yashaydigan binoga o‘rnatilayotgan yong‘inni o‘chirish tizimi sifatida tasavvur qilib qolaman; uning sertifikatlash bo‘yicha tinglovi (certificate hearing) rejalashtirilgan.$BABY #baby @BabylonLabs_io
Bitcoin SNARK’ni tabiiy ravishda verifikatsiya qila olmaydi. Bu yillar davomida trustsiz BTC DeFi uchun asosiy to‘siq bo‘lib kelgan.
Oldinroq BitVM2 protokoli nazariyada buni hal qilgan. Ammo uning o‘z tadqiqot eslatmalarida aytilishicha, on-chain’da firibgarlik da’vosini e’tiroz qilish 14 000 dollardan ko‘proq to‘lov talab qilishi mumkin. Bu faqat firib hech qachon amalda e’tiroz qilinmasa ishlaydi.
Keyingi BitVM3 dizayni esa verifikatsiyani off-chain’da ishlaydigan garbled circuit (shifrlangan aralash sxema)ga ko‘chirib, on-chain xarajatni keskin qisqartirdi. Ish berdi, lekin har bir circuit 42 gibibayt edi. Sozlash (setup) va saqlash (storage) yangi bo‘g‘inga aylandi.
BaBe — Babylonning aynan shu ikkinchi muammoning javobi. 2026-yil fevraldagi eprint’ga ko‘ra, u BitVM3’ning on-chain tejamkorligini saqlagan holda storage va setup xarajatini kamaytiradi. U UC Berkeley bilan birgalikda ishlab chiqilgan va 2026-yil oxirida peer-reviewed security konferensiyasida taqdim etilishi kutilmoqda.
Menga eng ko‘p ta’sir qilgan narsa shumi. Hozir yirik lending protokoli boshqaruvi (governance) ovoz bermoqchi bo‘lgan likvidatsiya oqimi, bu kriptografiya hujjatda qanday ko‘rsatilgani kabi ishlab chiqarish (production)da ham o‘sha darajada ishlaydi, deb taxmin qiladi.
Birinchi qarshi fikr: Bitcoin tadqiqotlari ko‘pincha rasmiy publikatsiyadan oldinroq “chiqib ketadi”. Konferensiya sanasi kelishini kutish mexanizm ishonchli ekanini kutish bilan bir xil narsa emas, va mustaqil security reviewlar akademik maqola rasmiy taqdim etilmasidan oldin ham dizaynni tekshirishi mumkin.
Ikkinchi qarshi fikr: asosiy ishonch taxmini nol emas, lekin u kichik. Garbled circuit setup’ning o‘zi cut-and-choose metodiga tayangan, va bu dizayn avlodini tekshirgan tadqiqotchilar nosozlik ehtimolini taxminan 2^(-40) darajasida baholagan. Amalda esa bu butun soha bo‘ylab “e’tiborsiz darajada” deb qabul qilinadi, ochiq risk sifatida ko‘rilmaydi.Men buni laboratoriya testlarining barchasidan o‘tgan, lekin endi odamlar yashaydigan binoga o‘rnatilayotgan yong‘inni o‘chirish tizimi sifatida tasavvur qilib qolaman; uning sertifikatlash bo‘yicha tinglovi (certificate hearing) rejalashtirilgan.$BABY #baby @BabylonLabs_io
