Newsletter Subscribe
Enter your email address below and subscribe to our newsletter
[forminator_form id="25163"]

anthropic.com+1.anthropic.com.techcrunch.com+1.Anthropic on julkaissut FlashProven, avoimen lähdekoodin tutkimusprototyypin, joka käyttää kryptografiaa osoittamaan, mikä tekoälymalli on tuottanut tietyn vastauksen paljastamatta mallin painoarvoja. Yhtiö julkaisi koodin GitHubissa tällä viikolla, mutta toteaa, ettei sillä ole suunnitelmia järjestelmän käyttöönottoon Anthropicilla tai muuallakaan.techcrunch.com
Työ vastaa perustavanlaatuiseen luottamusongelmaan. Tekoälypalvelun käyttäjä ei yleensä voi varmistaa, että juuri se malli, josta hän on maksanut, on todella vastannut, tai ettei reitityspalvelu ole salaa vaihtanut sitä halvempaan malliin. Julkistuksessaan Anthropic totesi, että todisteet voisivat "vaikeuttaa hyökkääjien mahdollisuuksia kaapata keskustelu tai mahdollistaa turvallisuusarvioijille sen varmistamisen, että testattava malli on sama, jota asiakkaille tarjotaan".marktechpost.com+1
FlashProve perustuu zkSNARK-nimiseen kryptografiseen todistusmenetelmään ja toimii kahdessa vaiheessa. Offline-vaiheessa mallin tarjoaja julkaisee sitoumuksen, joka on lyhyt sormenjälki, joka on sidottu tarkkaan painoarvojen joukkoon niiden pysyessä piilossa. Online-vaiheessa tarjoaja luo jokaiselle vastaukselle todisteen, joka osoittaa, että sitoumuksen mukainen malli tuotti kyseiset tokenit. Kuka tahansa, jolla on sitoumus, kehotteet ja vastaus, voi tarkistaa todisteen. Koska sormenjälki ei paljasta painoarvoja, suljettujen mallien kehittäjät voisivat käyttää järjestelmää kaupallisten mallien kanssa.anthropic.com+1
Anthropic testasi FlashProvetta Metan Llama 4 Maverick -mallilla, joka on 400 miljardin parametrin mixture-of-experts -malli. Yksi Nvidia H100 tuotti todisteita yli 100 tokenin sekuntinopeudella, ja jokainen todiste oli noin 19 megatavua 1 024 tokenin pyynnölle. Todennus suoritetaan tavallisella suorittimella ja se vie 17 sekuntia 24 säikeellä. Protokollan luotettavuus on todistettu muodollisesti Lean 4 -todistuskielellä.github.com+2
Prototyypillä on edelleen selkeitä rajoituksia. Todistaminen vie noin 70–95 kertaa enemmän GPU-aikaa kuin tavallinen vLLM-päättely. Konteksti on rajoitettu 1 024 tokeniin, yksittäinen pyyntö voi joutua odottamaan noin viisi minuuttia erän todentamista, ja takuut kattavat vain ahneen dekoodauksen, eivät otannalla tuotettua tulosta. Apache 2.0 -lisenssillä julkaistu GitHub-arkisto kuvailee itseään "tutkimusartefaktiksi: ei ylläpidetä, ei oteta vastaan kontribuutioita".tech.yahoo.com+3
Anthropicin Frontier Red Team rakensi järjestelmän yhdessä ulkopuolisten kryptografien, kuten Alessandro Chiesan, kanssa. Tutkijat kuvailevat julkaisua kutsuksi pikemminkin kuin valmiiksi tuotteeksi. "Jaamme tämän nimenomaan siinä tarkoituksessa, että muut katsovat mitä olemme tehneet, ottavat sen ja parantavat sitä", he kirjoittivat.x.com+1