CESC '22: Field Notes from Zero Knowledge Workshop

Toimittajan huomautus: Muistiinpanot on sarja, jossa raportoimme paikan päällä merkittävistä teollisuuden, tutkimuksen ja muista tapahtumista. Tässä painoksessa Valeria Nikolaenko, a16z:n kryptotutkimuskumppani, jakaa nopeat kohokohdat Zero Knowledge Proof Workshop sidoksissa Crypto Economics Security Conference (CESC), joka pidettiin 30. lokakuuta Kalifornian yliopistossa Berkeleyssä. The ohjelma Tavoitteena oli tuoda yhteen tutkijat ja toimijat esittelemään ja keskustelemaan viimeisimmästä lohkoketjun ja web3:n kehityksestä. Voit katsoa esitysten tallenteita tätä.

• Dawn Song (UC Berkeley) ilmoitti uusi MOOC keväällä 2023 nollatietotodistuksilla, jonka on määrä tapahtua alkaa 17 ja muistutti jo syksyllä 2023 käynnissä olevista MOOCeista:

• Yupeng Zhang (Texas A&M University) esitti a opetusohjelma ZKP-järjestelmien viimeaikaisesta kehityksestä, poikkeuksellinen yleiskatsaus erilaisista lähestymistavoista zk-todennettavien järjestelmien rakentamiseen, kartoittamalla ne neljällä akselilla: poof ytimekäs, todistajan ja todentajan tehokkuus sekä läpinäkyvä vs. luotettu asennus.

• Dan Boneh (Stanfordin yliopisto) esitetty yleiskatsaus IOP:iden abstraktio yleensä ja erityisesti Plonk-polynomi-IOP.

Dan selitti myös uuden järjestelmän nimeltä HyperPlonk, joka voi eliminoida kalliit FFT:t todistajan puolelta ja käsittelee korkealuokkaisia ​​portteja paljon tehokkaammin, mikä vähentää sekä todistajan aikaa että todisteen kokoa. Mielenkiintoinen parametri muistaa, että FFT:t hallitsevat todistajan aikaa, kun porttien lukumäärä on yli 2²⁰.

• Tiancheng Xie (UC Berkeley) esitetään zkBridgessä (lue paperi tätä), korostaen siltojen paremman suunnittelun merkitystä lukuisten viimeaikaisten hakkerointien valossa (Ronin-sillan hyväksikäyttö, Madonreiän hakkerointi, Nomad sillan viemäri, ja niin edelleen). zkBridge minimoi luottamuksen ja parantaa suorituskykyä deVirgo nollatietojärjestelmällä.
• Dawn Song (UC Berkeley) ilmoitti zkCollectivesta, joka on perusta turvalliselle ketjujen väliselle yhteentoimivuudelle. Osallistumislomakkeen voi täyttää tätä.
• Leo fani (Cysic) korostivat tuloksiaan FPGA:n moniskalaarikertoimen (MSM) kiihdyttämisestä zk-todistajalle, jossa MSM:n osuus on usein yli 50 % todistajan ajasta. Niiden arvioidaan olevan nopeampia kuin vastaavat ponnistelut (PipeMSM ja SykloniMSM). Heidän perimmäisenä tavoitteenaan on rakentaa ASIC.
• Marek Olszewski (Celo) antoi loistavan demon Celon kevyen asiakkaan Plumo-sovelluksen pyörittämisestä, jota on kehitetty 2 vuotta ja joka julkaistiin tänä vuonna. Asiakas on kehitetty massiiviseksi piiriksi, jossa on 2²⁷ portit, ja virtansa optimistinen voimat seremonia, josta voi olla hyötyä muissa projekteissa. Yhteisön jäsenet luovat SNARK-todistuksia päivittäin (jokaisen aikakauden vaihdon jälkeen), todistus kestää ~1 tunnin 256-ytimisellä koneella. Heidän WASM-kirjastonsa mahdollistaa todisteiden tarkistamisen verkkosovelluksista.
• Howard Wu (aleo) esitteli Aleon suunnittelun ideat. Aleo rakentaa lohkoketjun yksityisiin transaktioihin, mikä mahdollistaa samanaikaisuuden ja tehokkaat tilapäivitykset.
• Jeremy Bruestle (Riski0) selitti zkVM:n rakentamisen zkSTARKilla toteutetulle RISC-V-käskyjoukolle. RISC-V:ssä on hyvin pieni joukko ohjeita (<40), eri kääntäjien hyvin tukema, täysin auki. Ja mikä tärkeintä, se on suunniteltu tehokkaita laitteistototeutuksia varten, mikä edellyttää tehokasta piirisuunnittelua zk-todistuksille.
• Uma Roy (Succinct Labs) antoi yleiskatsauksen tavasta varmistaa ytimekkäästi Ethereumin yksimielisyys zkSNARKien kanssa, ja todistusaika on vain 1 minuutti.

Valeria Nikolaenko on a16z krypton tutkimuskumppani. Hänen tutkimuksensa keskittyy kryptografiaan ja blockchain-turvallisuuteen. Hän on myös työskennellyt sellaisten aiheiden parissa, kuten pitkän kantaman hyökkäyksiä PoS-konsensusprotokollia, allekirjoitusjärjestelmiä, post-quantum-turvallisuutta ja monen osapuolen laskentaa. Hän on valmistunut kryptografian tohtoriksi Stanfordin yliopistosta ja työskennellyt Diem-lohkoketjun parissa osana ydintutkimusryhmää.

-

Tässä esitetyt näkemykset ovat yksittäisen AH Capital Management, LLC:n ("a16z") lainaaman henkilöstön näkemyksiä, eivätkä ne ole a16z:n tai sen tytäryhtiöiden näkemyksiä. Tietyt tähän sisältyvät tiedot on saatu kolmansien osapuolien lähteistä, mukaan lukien a16z:n hallinnoimien rahastojen kohdeyrityksiltä. Vaikka a16z on otettu luotettaviksi uskotuista lähteistä, se ei ole itsenäisesti tarkistanut tällaisia ​​tietoja eikä esitä tietojen pysyvää tarkkuutta tai sen soveltuvuutta tiettyyn tilanteeseen. Lisäksi tämä sisältö voi sisältää kolmannen osapuolen mainoksia; a16z ei ole tarkistanut tällaisia ​​mainoksia eikä tue mitään niiden sisältämää mainossisältöä.

Tämä sisältö on tarkoitettu vain tiedoksi, eikä siihen tule luottaa lainopillisena, liike-, sijoitus- tai veroneuvona. Näissä asioissa kannattaa kysyä neuvojanne. Viittaukset arvopapereihin tai digitaaliseen omaisuuteen ovat vain havainnollistavia, eivätkä ne ole sijoitussuositus tai tarjous tarjota sijoitusneuvontapalveluita. Lisäksi tämä sisältö ei ole suunnattu eikä tarkoitettu sijoittajien tai mahdollisten sijoittajien käytettäväksi, eikä siihen voida missään olosuhteissa luottaa tehdessään sijoituspäätöstä mihinkään a16z:n hallinnoimaan rahastoon. (A16z-rahastoon sijoitustarjous tehdään vain minkä tahansa tällaisen rahaston suunnatun osakeannin muistion, merkintäsopimuksen ja muiden asiaankuuluvien asiakirjojen perusteella, ja ne tulee lukea kokonaisuudessaan.) Kaikki mainitut sijoitukset tai kohdeyritykset, joihin viitataan, tai kuvatut eivät edusta kaikkia investointeja a16z:n hallinnoimiin ajoneuvoihin, eikä voi olla varmuutta siitä, että investoinnit ovat kannattavia tai että muilla tulevaisuudessa tehtävillä investoinneilla on samanlaisia ​​ominaisuuksia tai tuloksia. Luettelo Andreessen Horowitzin hallinnoimien rahastojen tekemistä sijoituksista (lukuun ottamatta sijoituksia, joiden osalta liikkeeseenlaskija ei ole antanut a16z:lle lupaa julkistaa, sekä ennalta ilmoittamattomat sijoitukset julkisesti noteerattuihin digitaalisiin omaisuuseriin) on saatavilla osoitteessa https://a16z.com/investments /.

Kaaviot ja kaaviot ovat vain tiedoksi, eikä niihin tule luottaa sijoituspäätöstä tehtäessä. Aiempi kehitys ei kerro tulevista tuloksista. Sisältö puhuu vain ilmoitetun päivämäärän mukaan. Kaikki näissä materiaaleissa esitetyt ennusteet, arviot, ennusteet, tavoitteet, näkymät ja/tai mielipiteet voivat muuttua ilman erillistä ilmoitusta ja voivat poiketa tai olla ristiriidassa muiden ilmaisemien mielipiteiden kanssa. Tärkeitä lisätietoja on osoitteessa https://a16z.com/disclosures.