CESC '22: Märkmed nullteadmiste töötoast

Toimetaja märkus: Välja märkmed on sari, kus anname teada olulistest tööstuse, teadusuuringute ja muudest sündmustest. Selles väljaandes jagab a16z krüptouuringute partner Valeria Nikolaenko oma kiireid tipphetki Nullteadmiste tõestamise töötuba seotud Krüptomajanduse turvakonverents (CESC), mis toimus 30. oktoobril California ülikoolis Berkeleys. The programm eesmärk oli tuua kokku teadlased ja praktikud, et tutvustada ja arutada uusimaid plokiahela ja veebi3 arenguid. Saate vaadata ettekannete salvestusi siin.

• Dawn Laul (UC Berkeley) teatas uus MOOC 2023. aasta kevadeks teadmiste puudumise tõendite kohta, mis on kavandatud algavad 17. jaanuaril 2023 ja tuletasid meelde juba 2022. aasta sügisel jooksvaid MOOC-e:

• Yupeng Zhang (Texas A&M University) esitas a õpetus ZKP süsteemide hiljutise arendamise kohta, erakordne ülevaade erinevatest lähenemisviisidest zk-kindlate süsteemide ehitamisel, kaardistades need nelja telje vahel: lühidalt, tõestamise ja kontrollimise tõhusus ning läbipaistev vs. usaldusväärne seadistus.

• Dan Boneh (Stanfordi ülikool) esitatud ülevaade IOP-de abstraktsioonist üldiselt ja eriti Plonki polünoomi-IOP-st.

Dan selgitas ka uut süsteemi nimega HüperPlonk, mis võib kõrvaldada kallid FFT-d tõestaja poolel ja käsitleda kõrgetasemelisi väravaid palju tõhusamalt, vähendades nii tõestamisaega kui ka tõestamise suurust. Huvitav parameeter, mida meeles pidada, on see, et FFT-d domineerivad proovija ajal, kui väravate arv on üle 2²⁰.

• Tiancheng Xie (UC Berkeley) esitatud zkBridge'il (lugege paberit siin), rõhutades mitmete hiljutiste häkkimiste valguses sildade parema disaini olulisust (Ronini silla ärakasutamine, Ussiaugu häkkimine, Nomadi silla äravool, ja nii edasi). zkBridge vähendab usaldust ja parandab jõudlust deVirgo nullteadmistekindla süsteemiga.
• Dawn Laul (UC Berkeley) kuulutas välja zkCollective’i – turvalise ahelaülese koostalitlusvõime aluse. Võistluses osalemise vormi saab täita siin.
• Leo fänn (Cysic) tõstis esile oma tulemusi mitme skalaarkorrutise (MSM) kiirendamiseks FPGA-s zk-prover'i jaoks, kus MSM moodustab sageli üle 50% tõestaja ajast. Need on hinnanguliselt kiiremad kui võrreldavad jõupingutused (ToruMSM ja Tsüklon MSM). Nende lõppeesmärk on luua ASIC.
• Marek Olszewski (Celo) andis suurepärase demo Celo kerge kliendi Plumo käitamise kohta, mida on arendatud kaks aastat ja mis käivitati sel aastal. Klient on välja töötatud massiivse vooluringina, millel on 2²⁷ väravad ja toiteallikaks optimist volitused tseremoonia, mis võib olla kasulik muude projektide jaoks. Kogukonna liikmed genereerivad SNARK-i tõendeid iga päev (pärast iga ajastu muutumist), 1-tuumalisel masinal kulub tõestuseks ~256 tund. Nende WASM-i teek võimaldab veebirakenduste tõendeid kontrollida.
• Howard Wu (aleo) tutvustas ideid Aleo disaini taga, mis ehitab eratehingute jaoks plokiahela, mis võimaldab samaaegset ja tõhusat olekuvärskendust.
• Jeremy Bruestle (Risk0) selgitas zkSTARK-idega rakendatud RISC-V käsukomplekti jaoks zkVM-i loomise põhimõtet. RISC-V-l on väga väike käskude komplekt (<40), mida erinevad kompilaatorid hästi toetavad, täielikult avatud. Ja mis kõige tähtsam, see on loodud tõhusaks riistvararakenduseks, mis eeldab tõhusat skeemikujundust zk-tõestuste jaoks.
• Uma Roy (Succinct Labs) andis ülevaate viisist, kuidas lühidalt kontrollida Ethereumi konsensust zkSNARK-idega, kusjuures tõestamisaeg on vaid 1 minut.

Valeria Nikolaenko on a16z krüptouuringute partner. Tema uurimistöö keskendub krüptograafiale ja plokiahela turvalisusele. Ta on töötanud ka selliste teemadega nagu kaugrünnakud PoS-i konsensusprotokollides, allkirjaskeemid, kvantijärgne turvalisus ja mitme osapoole arvutus. Tal on Stanfordi ülikoolis doktorikraad krüptograafia alal ja ta töötas põhilise uurimisrühma osana Diemi plokiahela kallal.

-

Siin väljendatud seisukohad on tsiteeritud AH Capital Management, LLC (“a16z”) üksikute töötajate seisukohad, mitte a16z ega tema sidusettevõtete seisukohad. Teatud siin sisalduv teave on saadud kolmandate osapoolte allikatest, sealhulgas a16z hallatavate fondide portfelliettevõtetelt. Kuigi a16z on võetud usaldusväärsetest allikatest, ei ole a16z sellist teavet sõltumatult kontrollinud ega kinnita teabe püsivat täpsust ega selle sobivust antud olukorras. Lisaks võib see sisu sisaldada kolmandate isikute reklaame; aXNUMXz ei ole selliseid reklaame üle vaadanud ega toeta neis sisalduvat reklaamisisu.

See sisu on esitatud ainult informatiivsel eesmärgil ja sellele ei tohiks tugineda kui juriidilisele, äri-, investeerimis- ega maksunõustamisele. Nendes küsimustes peaksite konsulteerima oma nõustajatega. Viited mis tahes väärtpaberitele või digitaalsetele varadele on illustratiivse tähendusega ega kujuta endast investeerimissoovitust ega investeerimisnõustamisteenuste pakkumist. Lisaks ei ole see sisu suunatud ega mõeldud kasutamiseks ühelegi investorile ega potentsiaalsetele investoritele ning sellele ei tohi mingil juhul tugineda, kui tehakse otsus investeerida a16z hallatavasse fondi. (A16z fondi investeerimise pakkumine tehakse ainult sellise fondi erainvesteeringute memorandumi, märkimislepingu ja muu asjakohase dokumentatsiooni alusel ning neid tuleks lugeda tervikuna.) Kõik mainitud, viidatud investeeringud või portfelliettevõtted või kirjeldatud ei esinda kõiki a16z hallatavatesse sõidukitesse tehtud investeeringuid ning ei saa olla kindlust, et investeeringud on tulusad või et teised tulevikus tehtavad investeeringud on sarnaste omaduste või tulemustega. Andreessen Horowitzi hallatavate fondide tehtud investeeringute loend (v.a investeeringud, mille kohta emitent ei ole andnud A16z-le luba avalikustada, samuti etteteatamata investeeringud avalikult kaubeldavatesse digitaalvaradesse) on saadaval aadressil https://a16z.com/investments /.

Siin esitatud diagrammid ja graafikud on üksnes informatiivsel eesmärgil ja neile ei tohiks investeerimisotsuse tegemisel tugineda. Varasemad tulemused ei näita tulevasi tulemusi. Sisu räägib ainult märgitud kuupäeva seisuga. Kõik nendes materjalides väljendatud prognoosid, hinnangud, prognoosid, eesmärgid, väljavaated ja/või arvamused võivad muutuda ilma ette teatamata ning võivad erineda või olla vastuolus teiste väljendatud arvamustega. Olulist lisateavet leiate aadressilt https://a16z.com/disclosures.