CESC '22: Note de teren de la Atelierul Zero Knowledge

Nota editorului: Note de teren este o serie în care raportăm pe teren la evenimente importante din industrie, cercetare și alte evenimente. În această ediție, Valeria Nikolaenko, partener de cercetare cripto a16z, vă împărtășește cele mai importante momente din Atelierul de verificare a cunoștințelor zero afiliat la Conferința Crypto Economics Security (CESC), care a avut loc pe 30 octombrie la Universitatea din California din Berkeley. The program menită să reunească cercetători și practicieni pentru a prezenta și discuta cele mai recente evoluții în blockchain și web3. Puteți viziona înregistrări ale prezentărilor aici.

• Cântecul zorilor (UC Berkeley) a anunțat un nou MOOC pentru primăvara 2023 privind dovezile zero-cunoștințe, care este programat să începe pe 17 ianuarie 2023 și a reamintit de MOOC-urile care rulează deja în toamna lui 2022:

• Yupeng Zhang (Texas A&M University) a prezentat a tutorial despre dezvoltarea recentă a sistemelor ZKP, o privire de ansamblu excepțională a diferitelor abordări ale construirii sistemelor zk proof, maparea acestora pe 4 axe: succint, eficiență a doveditorului și a verificatorului și configurație transparentă vs. de încredere.

• Dan Boneh (Universitatea Stanford) prezentat o imagine de ansamblu de abstractizare a IOP-urilor în general și a polinomului-IOP Plonk în special.

Dan a explicat și un nou sistem numit HyperPlonk, care poate elimina FFT-urile scumpe din partea probatorului și gestionează porțile de grad înalt mult mai eficient, reducând atât timpul probator, cât și dimensiunea probei. Parametrul interesant de reținut este că FFT-urile domină timpul doveditorului când numărul de porți este peste 2²⁰.

• Tiancheng Xie (UC Berkeley) prezentate pe zkBridge (citiți lucrarea aici), subliniind importanța unui design mai bun pentru poduri în lumina numeroaselor hack-uri recente (Ronin Bridge exploit, Hack de găuri de vierme, Drenul podului Nomad, si asa mai departe). zkBridge minimizează încrederea și îmbunătățește performanța cu sistemul deVirgo zero-knowledge proof.
• Cântecul zorilor (UC Berkeley) a anunțat zkCollective — o fundație pentru interoperabilitatea sigură între lanțuri. Formularul de participare la efort poate fi completat aici.
• Leu Fan (cisic) și-au evidențiat rezultatele pentru accelerarea multiplicării multi-scalare (MSM) pe FPGA pentru zk-prover, unde MSM reprezintă adesea mai mult de 50% din timpul probator. Se estimează că sunt mai rapide decât eforturile comparabile (PipeMSM și CiclonMSM). Scopul lor final este să construiască un ASIC.
• Marek Olszewski (CELO) a oferit o demonstrație excelentă despre rularea clientului de lumină al lui Celo, Plumo, care a fost de 2 ani în dezvoltare și a fost lansat anul acesta. Clientul este dezvoltat ca un circuit masiv cu 2²⁷ porți, și alimentat de un optimist puterile-tau ceremonie care poate fi utilă pentru alte proiecte. Membrii comunității generează probe SNARK zilnic (după fiecare schimbare de epocă), o dovadă durează aproximativ o oră pe o mașină cu 1 de nuclee. Biblioteca lor WASM permite verificarea dovezilor din aplicațiile web.
• Howard Wu (aleo) a prezentat ideile din spatele designului Aleo, care construiește un blockchain pentru tranzacțiile private care permite concurența și actualizări eficiente de stat.
• Jeremy Bruestle (Risc0) a explicat rațiunea de proiectare din spatele construirii unui set de instrucțiuni zkVM pentru RISC-V implementat cu zkSTARK. RISC-V are un set foarte mic de instrucțiuni (<40), bine susținut de diferiți compilatori, complet deschis. Și, cel mai important, este proiectat pentru implementări hardware eficiente, ceea ce implică proiectarea eficientă a circuitelor pentru dovezile zk.
• Uma Roy (Succinct Labs) a oferit o privire de ansamblu asupra modului de a verifica succint consensul Ethereum cu zkSNARK-urile cu timpul de demonstrare este de doar 1 minut.

Valeria Nikolaenko este partener de cercetare la a16z crypto. Cercetarea ei se concentrează pe criptografie și securitatea blockchain. Ea a lucrat, de asemenea, pe subiecte precum atacuri pe rază lungă în protocoalele de consens PoS, scheme de semnătură, securitate post-cuantică și calcule cu mai multe părți. Ea deține un doctorat în Criptografie de la Universitatea Stanford și a lucrat la blockchain-ul Diem ca parte a echipei de cercetare de bază.

-

Părerile exprimate aici sunt cele ale personalului individual AH Capital Management, LLC („a16z”) citat și nu sunt punctele de vedere ale a16z sau ale afiliaților săi. Anumite informații conținute aici au fost obținute din surse terțe, inclusiv de la companii de portofoliu de fonduri administrate de a16z. Deși este luat din surse considerate a fi de încredere, a16z nu a verificat în mod independent astfel de informații și nu face nicio declarație cu privire la acuratețea durabilă a informațiilor sau adecvarea lor pentru o anumită situație. În plus, acest conținut poate include reclame de la terți; a16z nu a revizuit astfel de reclame și nu aprobă niciun conținut publicitar conținut în acestea.

Acest conținut este furnizat doar în scop informativ și nu ar trebui să fie bazat pe consiliere juridică, de afaceri, de investiții sau fiscală. Ar trebui să vă consultați propriii consilieri cu privire la aceste aspecte. Referințele la orice titluri de valoare sau active digitale au doar scop ilustrativ și nu constituie o recomandare de investiții sau o ofertă de a oferi servicii de consiliere în materie de investiții. În plus, acest conținut nu este îndreptat și nici nu este destinat utilizării de către niciun investitor sau potențial investitor și nu poate fi bazat în nicio circumstanță atunci când se ia o decizie de a investi într-un fond administrat de a16z. (Ofertă de a investi într-un fond a16z va fi făcută numai prin memoriul de plasament privat, acordul de subscriere și alte documente relevante ale oricărui astfel de fond și trebuie citită în întregime.) Orice investiții sau companii de portofoliu menționate, la care se face referire sau descrise nu sunt reprezentative pentru toate investițiile în vehicule administrate de a16z și nu poate exista nicio asigurare că investițiile vor fi profitabile sau că alte investiții realizate în viitor vor avea caracteristici sau rezultate similare. O listă a investițiilor realizate de fondurile gestionate de Andreessen Horowitz (excluzând investițiile pentru care emitentul nu a oferit permisiunea ca a16z să dezvăluie public, precum și investițiile neanunțate în active digitale tranzacționate public) este disponibilă la https://a16z.com/investments /.

Diagramele și graficele furnizate în cadrul sunt doar în scop informativ și nu trebuie să se bazeze pe acestea atunci când se ia vreo decizie de investiție. Performanța trecută nu indică rezultatele viitoare. Conținutul vorbește doar de la data indicată. Orice previziuni, estimări, prognoze, obiective, perspective și/sau opinii exprimate în aceste materiale pot fi modificate fără notificare și pot diferi sau pot fi contrare opiniilor exprimate de alții. Vă rugăm să consultați https://a16z.com/disclosures pentru informații suplimentare importante.