San Fransiskas, Kalifornija (PinionNewswire) – Pirmoji vieša visiškai FPGA implementacija nulinio žinių įrodymams (zero-knowledge proofs) gali pagaliau padaryti ZK-rollups pakankamai pigius vartotojų masto programoms.
Aparatūros ir kriptografijos inžinierių komanda išleido pirmąją atvirojo kodo, visapusišką FPGA implementaciją nulinio žinių virtualiosios mašinos (zkVM) pagrindu. Šiandien paskelbtas kodas skirtas pagreitinti ZK įrodymų generavimą – tai kriptografinis saugių, privačių ir masteliuojamų blokų grandinės tinklų pagrindas.
Jei šią technologiją pritaikytų „rollup“ operatoriai ir „prover“ tinklai, ji galėtų žymiai sumažinti ZK-rollups išlaidas, padarydama juos konkurencingus su optimistiniais „rollup“, kurie šiuo metu yra pigesni, bet lėčiau galutinai patvirtinami ir remiasi kitokiais pasitikėjimo principais. Tai, savo ruožtu, leistų sukurti naują vartotojų programų klasę, kuri daugelį metų egzistavo tik teoriškai: privačius stabiliųjų monetų mokėjimus, nešiojamą tapatybę be dokumentų įkėlimo, patikrinamą dirbtinį intelektą vietiniuose įrenginiuose ir žaidimus blokų grandinėje su momentiniu galutiniu patvirtinimu.
Kliūtis, stabdžiusi Web3 plėtrą
ZK-rollups siūlo momentinį sandorių galutinį patvirtinimą ir tokias pačias saugumo garantijas kaip Ethereum pagrindinis tinklas. Tačiau reikalingų kriptografinių įrodymų generavimas buvo skaičiavimo atžvilgiu brangus – toks brangus, kad dauguma ZK-rollups išlieka brangesni nei optimistiniai „rollup“, kuriems taikomas septynių dienų išėmimo laikotarpis ir mažiau griežti pasitikėjimo principai.
Vartotojai balsavo piniginėmis. Jie renkasi pigesnį, lėtesnį variantą. Daugelis perspektyvių programų, tokių kaip privatūs mokėjimai, amžiaus įrodymas neatskleidžiant tapatybės ir mikromokėjimai, niekada nepasiekė didelio masto, nes dėl pagrindinių įrodymų išlaidų jos tapo neekonomiškos.
Ką daro atvirojo kodo programa
FPGA (Field-Programmable Gate Array) yra lustas, kurį galima perkonfigūruoti po gamybos, kad jis atliktų konkrečią užduotį itin efektyviai. ZK įrodymams tinkamai sukonfigūruotas FPGA gali veikti kelis kartus greičiau ir naudoti žymiai mažiau energijos nei bendrosios paskirties CPU ar GPU.
Iki šiol FPGA implementacijos ZK įrodymams buvo laikomos nuosavybe arba pririštos prie vieno „prover“ tinklo. Šis leidimas yra pirmoji visiškai atviro kodo FPGA „proving stack“ visapusiškam zkVM – tai FPGA „backend“ Venus, Cysic atvirojo kodo zkVM. Ji apima visą įrodymų generavimo procesą, ne tik izoliuotas dalis, ir yra licencijuota leidžiamai, kad bet kas galėtų ją naudoti, modifikuoti ar perkelti į kitą aparatūrą.
Kodas yra kartu su gamybiniu GPU „proving network“, kuris jau generuoja įrodymus Ethereum blokams. Turint tiek GPU, tiek atvirą FPGA „backend“, infrastruktūra nebebus priklausoma nuo vienos lustų klasės – tai patikimumo privalumas bet kokiai programai, kuri priklauso nuo patikrinamo skaičiavimo.
Kas tampa įmanoma
Su greitu, pigiu ir atviru ZK įrodymų generavimu, kelios ilgai žadėtos vartotojų programos pagaliau galėtų pereiti nuo baltųjų knygų prie piniginių:
- Privatūs, momentiniai stabiliųjų monetų mokėjimai – įmonė galėtų įrodyti, kad jos lėšos yra teisėtos, neatskleidžiant visos savo sandorių istorijos, o tai kainuotų centus, o ne dolerius.
- Nešiojama, privatumą sauganti tapatybė – vartotojas galėtų įrodyti savo amžių ar mokumą per mažiau nei sekundę, neįkeldamas pasų ar jautrių dokumentų į trečiųjų šalių serverius.
- Patikrinamas dirbtinis intelektas vartotojų įrenginiuose – dirbtinio intelekto padėjėjas vietinėje aparatinėje įrangoje galėtų įrodyti, kad jis patikimai vykdė duotą modelį su vartotojo duomenimis – neatsiųsdamas tų duomenų į debesį.
- Žaidimai blokų grandinėje su momentiniu galutiniu patvirtinimu – daugelio žaidėjų žaidimas galėtų galutinai patvirtinti šimtus ėjimų per sekundę ZK-rollupe, o įrodymų išlaidos būtų pakankamai mažos, kad tikrasis turto savininko statusas taptų praktiškas.
- Mikromokėjimai ir transliaciniai pinigai – mokėjimas mažiau nei cento už dalį už vaizdo įrašą ar API skambučius nebebūtų prarytas dėl mokesčių, nes sandorio įrodymai taptų beveik nemokami.
Prieinamumas
Atvirojo kodo FPGA kodas pasiekiamas šiandien GitHub platformoje pagal leidžiamas licencijas. Jis yra aktyviai kuriamas ir dar neaudituotas produkcijos naudojimui, tačiau komanda pakvietė tyrėjus, kūrėjus ir aparatūros inžinierius jį studijuoti, testuoti ir tobulinti.
„ZK pasieks savo potencialą tik tada, kai įrodymų generavimas bus greitas, pigus ir patikimas bet kam. Pirmosios FPGA zkVM atvirojo kodo paskelbimas yra mūsų būdas parodyti, kad ekosistema juda pirmyn kartu – ne už uždarų durų.“
— Leo Fan, Cysic generalinis direktorius
Apie leidimą
Šis kodas yra FPGA aparatūros „backend“ Venus, Cysic atvirojo kodo zkVM, pagrindas. Jį sukūrė Cysic, patikimo skaičiavimo tinklas, ir jis išleistas pagal Apache 2.0 / MIT licencijas. Jį sukūrė Cysic, patikimo skaičiavimo tinklas, ir jis išleistas pagal Apache 2.0 / MIT licencijas.
GitHub: github.com/cysic-labs/venus-fpga (laikinas adresas)
Apie Cysic
Cysic, remiamas pirmaujančių investuotojų, įskaitant Polychain Capital, OKX Ventures, HashKey Capital, kuria Web3 patikimo skaičiavimo variklį. Sujungdamas pasirinktinę ZK aparatūrą, decentralizuotą mazgų tinklą ir programuojamą ekonominį lygį, Cysic paverčia skaičiavimą patikimu, grandinėje esančiu ištekliumi. Tinklas palaiko masteliuojamą įrodymų generavimą, dirbtinio intelekto patikrinimą ir mokslinių skaičiavimų krūvius, sudarydamas pagrindą „ComputeFi“ ekonomikai.
Sekite X: @cysic_xyz
Skaitykite dokumentus: https://hackmd.io/@Cysic
https://docs.cysicfoundation.org/~/changes/18
