CESC '22: Terenski zapiski z delavnice ZKP

Field Notes je serija, v kateri poročamo s terena na pomembnih industrijskih, raziskovalnih in drugih dogodkih. V tej številki Valeria Nikolaenko, raziskovalna partnerica s kripto laboratorijem a16z, poroča o Delavnica brez znanja Iz Varnostna konferenca o kriptoekonomiji (CESC), ki je potekal 30. oktobra na Univerzi Kalifornije v Berkeleyju. The Program namenjen združevanju raziskovalcev in praktikov, da bi predstavili in razpravljali o najnovejših dogodkih v blockchainu in web3. Posnetke predstavitev si lahko ogledate tukaj.

• Pesem zore (UC Berkeley). nov MOOC za pomlad 2023 o dokazih brez znanja, ki je predvideno za se začne 17. januarja 2023 in spomnil na MOOC, ki že potekajo jeseni 2022:

• Yupeng Zhang (Texas A&M University) je predstavil a vadnica o novejšem razvoju sistemov ZKP, izjemen pregled različnih pristopov k izgradnji zk proof sistemov, ki jih razporeja po 4 oseh: poof jedrnatost, učinkovitost preverjanja in preverjanja ter pregledna in zaupanja vredna nastavitev.

• Dan Boneh (Univerza Stanford) predstavljeni pregled abstrakcije IOP na splošno in še posebej Plonk polinom-IOP.

Dan je pojasnil tudi nov sistem, imenovan HyperPlonk, ki lahko odpravi drage FFT na strani dokazovalnika in veliko učinkoviteje obravnava vrata visoke stopnje, s čimer se skrajša čas in velikost dokazovalnika. Zanimiv parameter, ki si ga je treba zapomniti, je, da FFT prevladujejo v času dokazovalnika, ko je število vrat nad 2²⁰.

• Tiancheng Xie (UC Berkeley) predstavljeno na zkBridge (preberite članek tukaj), ki poudarja pomen boljše zasnove mostov v luči številnih nedavnih vdorov (Izkoriščanje Ronin Bridge, Vdor v črvino, Nomadski mostni odtok, in tako naprej). zkBridge zmanjša zaupanje in izboljša zmogljivost s sistemom deVirgo zero-knowledge proof.
• Pesem zore (UC Berkeley) je napovedal zkCollective – temelj za varno medverižno interoperabilnost. Obrazec za sodelovanje v akciji lahko izpolnite tukaj.

• Leo Fan (Cysic) je poudaril svoje rezultate za pospeševanje večskalarnega množenja (MSM) na FPGA za zk-preverje, kjer MSM pogosto predstavlja več kot 50 % časa preverja. Ocenjuje se, da so hitrejši od primerljivih poskusov (PipeMSM in CiklonMSM). Njihov končni cilj je zgraditi ASIC.
• Marek Olszewski (Vnemo) je predstavil odlično predstavitev delovanja Celovega lahkega odjemalca, Plumo, ki je bil 2 leti v razvoju in predstavljen letos. Odjemalec je razvit kot masivno vezje z 2²⁷ vrata in jih poganja optimističen moči-tau slovesnosti, ki je lahko koristna za druge projekte. Člani skupnosti dnevno ustvarjajo dokaze SNARK (po vsaki spremembi obdobja), dokaz traja približno 1 uro na 256-jedrnem stroju. Njihova knjižnica WASM omogoča preverjanje dokazil iz spletnih aplikacij.
• Howard Wu (aleo) je predstavil ideje za zasnovo Aleo, ki gradi verigo blokov za zasebne transakcije, ki omogoča sočasnost in učinkovite posodobitve stanja.
• Jeremy Bruestle (Risc0) je razložil utemeljitev zasnove za izdelavo zkVM za nabor ukazov RISC-V, implementiran z zkSTARK. RISC-V ima zelo majhen nabor navodil (<40), dobro podprt z različnimi prevajalniki, popolnoma odprt. In kar je najpomembneje, zasnovan je za učinkovite izvedbe strojne opreme, kar pomeni učinkovito zasnovo vezja za dokaze zk.
• Uma Roy (Succinct Labs) je podal pregled načina za jedrnato preverjanje soglasja Ethereuma z zkSNARK s časom dokazovanja le 1 minuta.

***

Valerija Nikolaenko je raziskovalni partner pri a16z crypto. Njeno raziskovanje se osredotoča na kriptografijo in varnost blockchaina. Ukvarjala se je tudi s temami, kot so napadi na velike razdalje v soglasnih protokolih PoS, podpisne sheme, postkvantna varnost in večstransko računanje. Ima doktorat iz kriptografije na univerzi Stanford pod vodstvom profesorja Dana Boneha in je delala na verigi blokov Diem kot del osrednje raziskovalne skupine.

***

Tukaj izražena stališča so stališča posameznega citiranega osebja družbe AH Capital Management, LLC (»a16z«) in niso stališča družbe a16z ali njenih podružnic. Nekatere informacije, vsebovane tukaj, so bile pridobljene iz virov tretjih oseb, vključno s portfeljskimi družbami skladov, ki jih upravlja a16z. Čeprav so vzeti iz virov, za katere menijo, da so zanesljivi, a16z ni neodvisno preveril takih informacij in ne daje nobenih zagotovil o trajni točnosti informacij ali njihovi ustreznosti za dano situacijo. Poleg tega lahko ta vsebina vključuje oglase tretjih oseb; a16z ni pregledal takšnih oglasov in ne podpira nobene oglaševalske vsebine v njih.

Ta vsebina je na voljo samo v informativne namene in se je ne smete zanašati kot pravni, poslovni, naložbeni ali davčni nasvet. Glede teh zadev se morate posvetovati s svojimi svetovalci. Sklici na katere koli vrednostne papirje ali digitalna sredstva so samo v ilustrativne namene in ne predstavljajo naložbenega priporočila ali ponudbe za zagotavljanje investicijskih svetovalnih storitev. Poleg tega ta vsebina ni namenjena nobenim vlagateljem ali bodočim vlagateljem niti ji ni namenjena in se nanjo v nobenem primeru ne smete zanašati, ko se odločate za vlaganje v kateri koli sklad, ki ga upravlja a16z. (Ponudba za vlaganje v sklad a16z bo podana le z memorandumom o zasebni plasiranju, pogodbo o vpisu in drugo ustrezno dokumentacijo katerega koli takega sklada in jo je treba prebrati v celoti.) Vse naložbe ali portfeljske družbe, omenjene, navedene ali opisane niso reprezentativne za vse naložbe v vozila, ki jih upravlja a16z, in ni nobenega zagotovila, da bodo naložbe donosne ali da bodo imele druge naložbe v prihodnosti podobne značilnosti ali rezultate. Seznam naložb skladov, ki jih upravlja Andreessen Horowitz (razen naložb, za katere izdajatelj ni dal dovoljenja a16z za javno razkritje, ter nenapovedanih naložb v digitalna sredstva, s katerimi se javno trguje), je na voljo na https://a16z.com/investments /.

Grafi in grafi, ki so navedeni znotraj, so izključno informativne narave in se nanje ne bi smeli zanašati pri sprejemanju kakršnih koli investicijskih odločitev. Pretekla uspešnost ni pokazatelj prihodnjih rezultatov. Vsebina govori samo od navedenega datuma. Vse projekcije, ocene, napovedi, cilji, obeti in/ali mnenja, izražena v tem gradivu, se lahko spremenijo brez predhodnega obvestila in se lahko razlikujejo ali so v nasprotju z mnenji, ki so jih izrazili drugi. Za dodatne pomembne informacije obiščite https://a16z.com/disclosures.