CESC '22: Fältanteckningar från Zero Knowledge Workshop

Redaktörens anteckning: Fältanteckningar är en serie där vi rapporterar på plats vid betydande industri-, forskning- och andra evenemang. I den här utgåvan delar Valeria Nikolaenko, a16z kryptoforskningspartner sina snabba höjdpunkter från Zero Knowledge Proof Workshop anslutet till Crypto Economics Security Conference (CESC), som ägde rum den 30 oktober vid University of California i Berkeley. De program syftade till att sammanföra forskare och praktiker för att visa upp och diskutera den senaste utvecklingen inom blockchain och web3. Du kan se inspelningar av presentationerna här..

• Dawn Song (UC Berkeley) meddelade en ny MOOC för våren 2023 på nollkunskapsbevis, vilket är planerat att startar den 17 januari 2023 och påminner om de MOOC som redan körs under hösten 2022:

• Yupeng Zhang (Texas A&M University) presenterade en handledning om den senaste utvecklingen av ZKP-system, en exceptionell översikt över olika tillvägagångssätt för att bygga zk-säkra system, kartläggning av dem över fyra axlar: poof kortfattad, bevisnings- och verifieringseffektivitet och transparent kontra pålitlig installation.

• Dan Boneh (Stanford University) presenteras en översikt av abstraktion av IOPs i allmänhet och Plonk polynomial-IOP i synnerhet.

Dan förklarade också ett nytt system som heter HyperPlonk, som kan eliminera dyra FFTs på provarens sida och hanterar grindar av hög grad mycket mer effektivt, vilket minskar både provarens tid och provets storlek. Den intressanta parametern att komma ihåg är att FFT:er dominerar provarens tid när antalet grindar är över 2²⁰.

• Tiancheng Xie (UC Berkeley) presenteras på zkBridge (läs tidningen här.), och betonar vikten av bättre design för broar i ljuset av många nya hacks (Ronin Bridge exploatering, Maskhålshack, Nomad broavlopp, och så vidare). zkBridge minimerar förtroendet och förbättrar prestandan med deVirgo nollkunskapssäkert system.
• Dawn Song (UC Berkeley) tillkännagav zkCollective — en grund för säker interoperabilitet över kedjan. Blankett för att delta i insatsen kan fyllas i här..
• Leo Fan (Cysic) framhävde sina resultat för att accelerera multi-skalär multiplikation (MSM) på FPGA för zk-prover's, där MSM ofta står för mer än 50% av prover's tid. De uppskattas vara snabbare än jämförbara ansträngningar (PipeMSM och CycloneMSM). Deras slutmål är att bygga en ASIC.
• Marek Olszewski (Zeal) gav en fantastisk demo om att köra Celos lätta klient, Plumo, som har varit 2 år under utveckling och lanserats i år. Klienten är utvecklad som en massiv krets med 2²⁷ grindar, och drivs av en optimistisk powers-of-tau ceremoni som kan vara användbar för andra projekt. Communitymedlemmar genererar SNARK-bevis dagligen (efter varje epokbyte), ett korrektur tar ~1 timme på en maskin med 256 kärnor. Deras WASM-bibliotek tillåter verifiering av bevisen från webbappar.
• Howard Wu (Aleo) presenterade idéerna bakom designen av Aleo, som bygger en blockkedja för privata transaktioner som tillåter samtidighet och effektiva tillståndsuppdateringar.
• Jeremy Bruestle (Risk0) förklarade designrationalen bakom att bygga en zkVM för RISC-V-instruktionsuppsättning implementerad med zkSTARKs. RISC-V har en mycket liten uppsättning instruktioner (<40), väl understödd av olika kompilatorer, helt öppen. Och, viktigast av allt, den är designad för effektiva hårdvaruimplementationer, vilket innebär effektiv kretsdesign för zk-bevis.
• Uma Roy (Kortfattade Labs) gav en översikt över ett sätt att kortfattat verifiera Ethereums konsensus med zkSNARKs med bevistiden är bara 1 minut.

Valeria Nikolaenko är en forskningspartner på a16z crypto. Hennes forskning fokuserar på kryptografi och blockchain-säkerhet. Hon har också arbetat med ämnen som långdistansattacker i PoS-konsensusprotokoll, signaturscheman, postkvantsäkerhet och flerpartsberäkning. Hon har en doktorsexamen i kryptografi från Stanford University och arbetade på Diem blockchain som en del av kärnforskarteamet.

-

De åsikter som uttrycks här är de från den individuella AH Capital Management, LLC (“a16z”) personal som citeras och är inte åsikterna från a16z eller dess dotterbolag. Viss information som finns här har erhållits från tredjepartskällor, inklusive från portföljbolag av fonder som förvaltas av a16z. Även om den är hämtad från källor som anses vara tillförlitliga, har a16z inte självständigt verifierat sådan information och gör inga utfästelser om informationens varaktiga riktighet eller dess lämplighet för en given situation. Dessutom kan detta innehåll innehålla tredjepartsannonser; a16z har inte granskat sådana annonser och stöder inte något reklaminnehåll i dem.

Detta innehåll tillhandahålls endast i informationssyfte och bör inte litas på som juridisk rådgivning, affärs-, investerings- eller skatterådgivning. Du bör rådfråga dina egna rådgivare i dessa frågor. Hänvisningar till värdepapper eller digitala tillgångar är endast i illustrativt syfte och utgör inte en investeringsrekommendation eller erbjudande om att tillhandahålla investeringsrådgivningstjänster. Dessutom är detta innehåll inte riktat till eller avsett att användas av några investerare eller potentiella investerare, och får inte under några omständigheter lita på när man fattar ett beslut om att investera i någon fond som förvaltas av a16z. (Ett erbjudande om att investera i en a16z-fond kommer endast att göras av det privata emissionsmemorandumet, teckningsavtalet och annan relevant dokumentation för en sådan fond och bör läsas i sin helhet.) Alla investeringar eller portföljbolag som nämns, hänvisas till, eller beskrivna är inte representativa för alla investeringar i fordon som förvaltas av a16z, och det finns ingen garanti för att investeringarna kommer att vara lönsamma eller att andra investeringar som görs i framtiden kommer att ha liknande egenskaper eller resultat. En lista över investeringar gjorda av fonder som förvaltas av Andreessen Horowitz (exklusive investeringar för vilka emittenten inte har gett tillstånd för a16z att offentliggöra såväl som oanmälda investeringar i börsnoterade digitala tillgångar) finns tillgänglig på https://a16z.com/investments /.

Diagram och grafer som tillhandahålls i är endast i informationssyfte och bör inte litas på när man fattar investeringsbeslut. Tidigare resultat är inte en indikation på framtida resultat. Innehållet talar endast från det angivna datumet. Alla prognoser, uppskattningar, prognoser, mål, framtidsutsikter och/eller åsikter som uttrycks i detta material kan ändras utan föregående meddelande och kan skilja sig åt eller strida mot åsikter som uttrycks av andra. Se https://a16z.com/disclosures för ytterligare viktig information.