FlashProve Faoliyat yuritmoqda

FlashProve — Anthropic tomonidan ochiq manba sifatida taqdim etilgan, tekshiriladigan inferens tizimi bo‘lib, nol bilimli isbotlar yordamida model xizmat ko‘rsatuvchilariga vaznlarni yashirgan holda muayyan javob haqiqatan ham belgilangan model tomonidan yaratilganini isbotlash imkonini beradi. FlashProve 400B parametrli Llama 4 Maverick modelida amalda sinovdan o‘tkazilgan: bitta H100 qurilmasida taxminan 110 tokens/s, har 1024 tokenlik isbot hajmi taxminan 19MB, CPU orqali tekshirish esa taxminan 17 soniya davom etadi; isbot yaratish uchun kerak bo‘ladigan GPU vaqti oddiy inferensga qaraganda taxminan 70—95 baravar ko‘p. Bu hali tadqiqot prototipi bo‘lib, faqat manbani tasdiqlaydi, mazmunning to‘g‘riligini kafolatlamaydi.

Shaxsni tasdiqlash: model vaznlarini oshkor qilmagan holda muayyan javob belgilangan model tomonidan yaratilganini isbotlash.
Modelni almashtirishdan himoya: xizmat ko‘rsatuvchi yoki uchinchi tomon marshrutlash platformasi qimmat modelni arzonroq modelga almashtirishining oldini olish.
Chiqishni o‘zgartirishdan himoya: inferens serveriga hujum qilinganda yoki token oqimi vositachi tomonidan o‘zgartirilganda foydalanuvchiga anomaliyani aniqlash imkonini berish.
Muvofiqlik va audit: nazorat organlari, mustaqil baholovchilar va ichki xavfsizlik guruhlariga mashina orqali tekshiriladigan inferens dalillarini taqdim etish.
Manbani isbotlash: kod auditi, biznes tahlili yoki xavfsizlik baholashi muayyan model tomonidan bajarilganini tasdiqlash.

WeChat’da kuzatib boring va “开源” deb javob yuborib, AI ochiq manba loyihalari guruhiga qo‘shiling
Majburiyat va tekshirish tizimi: FlashProve jarayonni oflayn va onlayn ikki bosqichga ajratadi: xizmat ko‘rsatuvchi avval belgilangan model vaznlari uchun kriptografik majburiyat yaratadi, model barmoq izini e’lon qiladi, ammo vaznlarni oshkor qilmaydi; har bir so‘rovga zkSNARK isboti biriktiriladi, foydalanuvchi esa faqat majburiyat, kiritma va javob asosida chiqish aynan shu modeldan kelganini tekshirishi mumkin.
Nol bilimli ixcham isbot: tizim tekshiruvchiga taxminan 19MB hajmdagi isbotni bir necha soniyalik CPU vaqti ichida tekshirish imkonini beradigan nol bilimli ixcham dalildan foydalanadi; 400B modelni qayta ishga tushirish talab etilmaydi. Isbot vaznlar, oraliq aktivatsiya qiymatlari yoki ekspert tanlovlarini oshkor qilmaydi, faqat hisoblash majburiyat olingan model bo‘yicha bajarilganini tasdiqlaydi.
MoE aktivatsiyasini hisobga oluvchi optimallashtirish: Llama 4 Maverick kabi MoE modellarida isbotlash narxi barcha 400B parametrga emas, faqat amalda faollashgan taxminan 17B parametrga bog‘liq. Shu sababli isbotlash tezligi bitta H100 qurilmasida taxminan 110 tokens/s ga yetadi.
Keyingi bosqichda ommaviy isbotlash: isbot inferens tugagach yagona jarayonda yaratiladi, yaratilgan matn prefill sifatida parallel o‘qiladi va vaznlar majburiyati har bir paket uchun faqat bir marta ochiladi, bu takroriy hisoblashni kamaytiradi; buning evaziga har bir token uchun real vaqt rejimida ichki isbotlash amalga oshirilmaydi.
Bitta GPU’da oqimli bajarish: model vaznlari qatlamlar bo‘yicha xost xotirasida saqlanadi va bitta 80GB H100 qurilmasiga oqim orqali uzatiladi, isbot esa qatlamma-qatlam yaratiladi. Shu tariqa juda katta MoE modelini to‘liq video xotirasiga joylashtirmasdan ishga tushirish mumkin.

Repository’ni klonlash: kodni https://github.com/anthropics/FlashProve manzilidan yuklab oling va repository ildiz katalogida oddiy foydalanuvchi nomidan ishlang.
Tekshiruvchini qurish: C++ tekshiruvchisini kompilyatsiya qilish uchun verifier/build.sh skriptini ishga tushiring. Muvaffaqiyat belgisi — chiqishda THE VERIFIER IS BUILT yozuvi paydo bo‘lishi va chiqish kodi 0 bo‘lishidir.
Namunaviy isbotni tekshirish: ichki namunani tekshirish uchun bin/cp_verify buyrug‘ini examples/accepted-proof katalogidagi parametrlar bilan ishga tushiring; oxirgi qatorda YES chiqsa, tekshiruvchi to‘g‘ri ishlayotgan bo‘ladi.
CPU o‘zini tekshirish: isbotlash kutubxonasi testini bajarish uchun blocks/first_look.sh skriptini ishga tushiring va halol isbot qabul qilinishi, soxta isbot esa rad etilishini tasdiqlang.
GPU bilan to‘liq jarayon: bitta bo‘sh H100 80GB va CUDA 13.2 o‘rnatilgan mashinada examples/quickstart-gpu.sh skriptini ishga tushiring. U kichik model so‘rovini yuborish, isbotlash va tekshirish jarayonlarini avtomatik bajaradi.
Haqiqiy modelni tekshirish: xizmat ko‘rsatuvchidan majburiyat ID’si, so‘rov, chiqish va isbotni olgach, bin/cp_verify CONFIG PUBLIC_KEY REQUEST TOKEN PROOF -id COMMITMENT_ID buyrug‘i orqali tekshiring. Majburiyat ID’si ishonchli manbadan olingan bo‘lishi shart.
Natijani talqin qilish: chiqish kodi 0 va oxirgi qatorda YES bo‘lishi qabul qilinganini, 1 rad etilganini, 5 esa xulosa chiqarilmaganini va bir marta qayta urinib ko‘rish mumkinligini bildiradi; boshqa kodlar chaqiruv yoki fayl xatolarini anglatadi.

Vaznlarni oshkor qilmasdan tekshiriluvchanlik: model vaznlari maxfiy saqlangan holda kriptografik isbot javob belgilangan modeldan olinganini tasdiqlaydi.
Almashtirish va o‘zgartirishdan himoya: xizmat ko‘rsatuvchi arzonroq modelga o‘tsa, marshrutlash qatlami yashirincha almashtirilsa yoki hujumchi chiqishni o‘zgartirsa, bularning barchasi tekshiruv vaqtida aniqlanadi.
Tekshirish narxi juda past: tekshiruvchiga oddiy CPU va taxminan 19MB hajmdagi isbot kifoya; jarayon o‘nlab soniyalar ichida yakunlanadi, GPU yoki modelni qayta ishga tushirish talab etilmaydi.
Masshtab bo‘yicha yutuq: 400B parametrli Llama 4 Maverick modelida taxminan 110 tokens/s isbotlash tezligiga erishildi, bu avvalgi zkML tizimlaridan bir necha daraja yuqori.
MoE uchun maqsadli optimallashtirish: isbotlash narxi har bir token uchun amalda faollashadigan taxminan 17B parametr hisobiga bog‘liq.
Xavfsizlik xususiyatlarini formallashtirish: yaxlitlik, ishonchlilik va nol bilimlilikning uchta asosiy xususiyati Lean 4’da mashina orqali tekshiriladigan tarzda isbotlangan.

Loyiha rasmiy sayti: https://www.anthropic.com/research/provable-inference
GitHub repository: https://github.com/anthropics/FlashProve
Texnik maqola: https://assets.claude.com/8e1d181a83015078581c92d896757041713f0160.pdf

Uchinchi tomon API vositachilari va model marshrutlashini tekshirish: foydalanuvchi yuqori unumdor model uchun haq to‘lagach, isbot orqali vositachi xizmat qimmat modelni yashirincha arzonroq modelga almashtirmaganini tasdiqlashi mumkin.
Mustaqil model baholash: baholash tashkilotlari tekshirilayotgan xizmatda aynan baholanayotgan model joylashtirilganini tasdiqlashi va “A modeli baholandi, B modeli ishga tushirildi” holatining oldini olishi mumkin.
Inferens serverini o‘zgartirishdan himoya: korxonalar serverdan javobga isbot biriktirishni talab qilishi mumkin; hujumchi yoki vakolati oshirilgan model belgilangan vaznlar chiqishini soxtalashtira olmaydi.
Normativ muvofiqlik: nazorat organlari xizmat ko‘rsatuvchilardan muntazam ravishda inferens isbotlarini taqdim etishni talab qilib, uskuna haqiqatda tasdiqlangan model inferensi uchun ishlatilayotganini, treningga yo‘naltirilmaganini yoki tasdiqlash jarayonini chetlab o‘tmayotganini tekshirishi mumkin.
Yuqori qiymatli uchinchi tomon bayonotlarini tasdiqlash: dasturchi kod ilg‘or xavfsizlik modeli tomonidan haqiqatan ham skanerlanganini yoki korxona biznes yechimi belgilangan model tomonidan ko‘rib chiqilganini isbotlashi mumkin; bunda boshqa tomon model vaznlariga kirish huquqiga ega bo‘lishi shart emas.