FlashProve Uyasebenza

I-FlashProve iwuhlelo lwe-Anthropic oluvulekile lokuqinisekisa ukucabanga, olusebenzisa ubufakazi bolwazi oluyimfihlo ukuze abahlinzeki bezinsizakalo zamamodeli bafakazele ukuthi impendulo ethile ikhiqizwe imodeli ethile ngaphandle kokudalula izisindo zayo. I-FlashProve ihlolwe ku-Llama 4 Maverick enama-parameter angu-400B, yafinyelela cishe ku-110 tokens/s nge-H100 eyodwa; ubufakazi be-token angu-1024 bungaba ngu-19MB, kanti ukuqinisekiswa nge-CPU kuthatha cishe imizuzwana engu-17. Isikhathi se-GPU sokukhiqiza ubufakazi sicishe sibe izikhathi ezingu-70—95 kunokucabanga okuvamile, ngakho iseyisibonelo socwaningo; ifakazela umsuka kuphela, hhayi ukunemba kokuqukethwe.

Ukuqinisekisa ubuwena: Ngaphandle kokudalula izisindo zemodeli, kufakazelwa ukuthi impendulo ethile ikhiqizwe imodeli ethile.
Ukuvimbela ukushintshwa kwemodeli: Kuvimbela abahlinzeki bezinsizakalo noma amapulatifomu okudlulisa izicelo ukuthi bashintshe imodeli ebizayo bayifake eshibhile.
Ukuvimbela ukuguqulwa kokuphumayo: Uma iseva yokucabanga ihlaselwa noma ukusakazwa kwama-token kuguqulwa umuntu ophakathi, abasebenzisi bangabona okungajwayelekile.
Ukuthobela nemingcele: Kunikeza izinhlangano ezilawulayo, abahloli abazimele namaqembu okuphepha angaphakathi ubufakazi bokucabanga obungahlolwa imishini.
Ubufakazi bomsuka: Bungasetshenziswa ukufakazela ukuthi ukuhlolwa kwekhodi, ukuhlaziywa kwebhizinisi noma ukuhlolwa kokuphepha kwenziwe imodeli ethile.

Landela i-WeChat bese uphendula ngokuthi “开源” ukuze ujoyine iqembu lezingxoxo lamaphrojekthi e-AI avulekile
Uhlaka lokuzibophezela nokuqinisekisa: I-FlashProve ihlukanisa inqubo ibe izingxenye ezimbili, ezingaxhunyiwe nezi-inthanethi kanye neze-inthanethi. Umhlinzeki wesevisi uqala ngokukhiqiza ukuzibophezela kwe-cryptographic ezisindweni zemodeli ethile, ashicilele umunwe wemodeli kodwa angadaluli izisindo; isicelo ngasinye siphelezelwa ubufakazi be-zkSNARK, futhi umsebenzisi angaqinisekisa ngokusebenzisa ukuzibophezela, okokufaka nempendulo kuphela ukuthi okuphumayo kuvela ngempela kuleyo modeli.
Ubufakazi obufushane bolwazi oluyimfihlo: Uhlelo lusebenzisa ubufakazi obufushane bolwazi oluyimfihlo, obuvumela umqinisekisi ukuthi ahlole ubufakazi obucishe bube ngu-19MB ngesikhathi se-CPU esiyimizuzwana embalwa, ngaphandle kokuphinda asebenzise imodeli engu-400B; ubufakazi abudaluli izisindo, amanani okusebenza aphakathi noma ukukhethwa kochwepheshe, buqinisekisa kuphela ukuthi ukubala kwenziwe ngemodeli okwavunyelwana ngayo.
Ukuthuthukisa okuqaphela ukwenziwa kusebenze kwe-MoE: Kumamodeli e-MoE afana ne-Llama 4 Maverick, izindleko zobufakazi zikhula kuphela ngokuhambisana nama-parameter acishe abe ngu-17B asebenzayo, hhayi wonke ama-parameter angu-400B; ngaleyo ndlela isivinini sobufakazi sifinyelela cishe ku-110 tokens/s nge-H100 eyodwa.
Ubufakazi benqwaba obenziwa kamuva: Ubufakazi bukhiqizwa ndawonye ngemva kokuqedwa kokucabanga, umbhalo osuvele ukhiqiziwe ufundwa ngokufana njenge-prefill, futhi ukuzibophezela kwezisindo kuvulwa kanye kuphela ngeqoqo, kuncishiswe ukubala okuphindaphindiwe; kodwa lokhu kusho ukuthi ubufakazi besikhathi sangempela be-token ngayinye abukwazi ukwenziwa.
Ukusebenza okusakazwayo nge-GPU eyodwa: Izisindo zemodeli zigcinwa ngezigaba ngokwezendlalelo kwimemori ye-host bese zisakazwa ziye ku-H100 eyodwa engu-80GB, ubufakazi bukhiqizwa ungqimba ngalunye, ukuze i-MoE enkulu ikwazi ukusebenza ngaphandle kokufaka yonke imodeli kwimemori ye-GPU.

Clone indawo yokugcina: Dawuniloda ikhodi ku-https://github.com/anthropics/FlashProve, usebenze njengomsebenzisi ojwayelekile empandeni yendawo yokugcina.
Yakha umqinisekisi: Qalisa verifier/build.sh ukuze uhlanganise umqinisekisi we-C++; uphawu lwempumelelo ukuthi kukhishwa THE VERIFIER IS BUILT futhi ikhodi yokuphuma ibe ngu-0.
Qinisekisa ubufakazi besibonelo: Sebenzisa i-bin/cp_verify kanye nemingcele ekwi-examples/accepted-proof ukuze uhlole isibonelo esifakiwe; i-YES emugqeni wokugcina ibonisa ukuthi umqinisekisi usebenza kahle.
Ukuzihlola nge-CPU: Qalisa blocks/first_look.sh ukuze uhlole umtapo wobufakazi, uqinisekise ukuthi ubufakazi obuqotho buyamukelwa nobungamanga buyanqatshwa.
Inqubo ephelele ye-GPU: Emshinini one-H100 80GB eyodwa engenamsebenzi ne-CUDA 13.2, qalisa examples/quickstart-gpu.sh ukuze kuqedwe ngokuzenzakalela ukuthumela, ukufakazela nokuqinisekisa isicelo semodeli encane.
Ukuqinisekisa imodeli yangempela: Ngemva kokuthola i-ID yokuzibophezela, isicelo, okuphumayo nobufakazi kumhlinzeki wesevisi, qinisekisa usebenzisa i-bin/cp_verify CONFIG PUBLIC_KEY REQUEST TOKEN PROOF -id COMMITMENT_ID; qaphela ukuthi i-ID yokuzibophezela kufanele ivele emthonjeni othembekile.
Ukuhumusha imiphumela: Ikhodi yokuphuma engu-0 kanye ne-YES emugqeni wokugcina kusho ukwamukelwa, u-1 usho ukwenqatshwa, u-5 usho ukuthi asikho isinqumo futhi kungazanywa futhi kanye, kanti amanye amakhodi abonisa iphutha lokubiza noma lefayela.

Ukuqinisekiseka ngaphandle kokudalula izisindo: Ngaphansi kokugcinwa kwemfihlo kwezisindo zemodeli, ubufakazi be-cryptographic bufakazela ukuthi impendulo ivela ngempela kumodeli ethile.
Ukuvimbela ukushintshwa nokuguqulwa: Uma umhlinzeki eshintsha imodeli ayifake eshibhile, ungqimba lokudlulisa izicelo lwenza ushintsho olufihlekile, noma umhlaseli aguqule okuphumayo, konke lokhu kuzovela ngesikhathi sokuqinisekisa.
Izindleko eziphansi kakhulu zokuqinisekisa: Umqinisekisi udinga i-CPU evamile kuphela kanye nobufakazi obucishe bube ngu-19MB, futhi angaqeda ngemizuzwana embalwa kuya emashumini ambalwa, ngaphandle kwe-GPU noma ukuphinda asebenzise imodeli.
Ukuphumelela ngezinga elikhulu: Ngokokuqala ngqa ku-Llama 4 Maverick enama-parameter angu-400B, kufinyelelwe esivinini sobufakazi esicishe sibe ngu-110 tokens/s, okudlula amasistimu e-zkML angaphambilini ngamazinga amaningana obukhulu.
Ukuthuthukisa okuqondiswe ku-MoE: Izindleko zobufakazi zilandela kuphela ukubalwa kwama-parameter acishe abe ngu-17B asebenza ngempela ku-token ngayinye.
Izici zokuphepha ezenziwe zaba semthethweni: Ubuqotho, ukwethembeka kanye nolwazi oluyimfihlo kufakazelwe ngendlela engahlolwa imishini ku-Lean 4.

Iwebhusayithi yephrojekthi: https://www.anthropic.com/research/provable-inference
Indawo yokugcina ye-GitHub: https://github.com/anthropics/FlashProve
Iphepha lobuchwepheshe: https://assets.claude.com/8e1d181a83015078581c92d896757041713f0160.pdf

Ukuqinisekisa ama-API ezinkampani zangaphandle nokudluliswa kwamamodeli: Ngemva kokukhokhela imodeli esebenza kahle kakhulu ethile, umsebenzisi angasebenzisa ubufakazi ukuqinisekisa ukuthi umhlinzeki wokudlulisa akayishintshanga ngasese wayifaka imodeli eshibhile.
Ukuhlolwa kwamamodeli okuzimele: Izinhlangano zokuhlola zingaqinisekisa ukuthi isevisi ehlolwayo isebenzisa ngempela imodeli ehlosiwe, zigweme isimo esithi “okuhloliwe ngu-A, kodwa okukhishiwe ngu-B”.
Ukuvikelwa kokuguqulwa kwamaseva okucabanga: Izinkampani zingafuna ukuthi amaseva anamathisele ubufakazi ezimpendulweni; abahlaseli noma amamodeli anamalungelo adlulele abakwazi ukwenza okuphumayo kwezisindo ezithile kube ngamanga.
Ukuthobela imithetho: Izinhlangano ezilawulayo zingafuna ukuthi abahlinzeki bezinsizakalo bathumele ubufakazi bokucabanga ngezikhathi ezithile, ukuze kuqinisekiswe ukuthi ihardware isetshenziselwa ngempela ukucabanga ngemodeli egunyaziwe, hhayi ukuqeqesha noma ukugwema inqubo yokugunyazwa.
Ukusekela izitatimende ezibalulekile ezenziwa izinkampani zangaphandle: Abathuthukisi bangafakazela ukuthi ikhodi ihlolwe imodeli yokuphepha esezingeni eliphezulu, noma izinkampani zifakazele ukuthi uhlelo lwebhizinisi lubuyekezwe imodeli ethile, kanti elinye iqembu lingaqinisekisa lokhu ngaphandle kokuthola izisindo zemodeli.