SBC 22: Fältanteckningar från Science of Blockchain 2022

Fältanteckningar är en serie där vi rapporterar på plats vid betydande industri-, forskning- och andra evenemang. I den här utgåvan samlade några av de närvarande a16z kryptoteammedlemmarna en samling intressanta föredrag, tidningar, bilder och mer från DeFi Security Summit 2022 (27-28 augusti), den Science of Blockchain-konferens 2022 aka SBC 22 (29-31 augusti), och olika anslutna workshops (28 augusti-2 september), som alla ägde rum vid Stanford University förra månaden.

1. Science of Blockchain-konferens 2022

Smakämnen Science of Blockchain-konferens fokuserar på tekniska innovationer i blockkedjeekosystemet, och samlar forskare och praktiker som arbetar i rymden inom kryptografi, säker datoranvändning, distribuerade system, decentraliserad protokollutveckling, formella metoder, empirisk analys, kryptoekonomi, ekonomisk riskanalys med mera. Evenemanget leds av Stanford professor (och senior forskningsrådgivare för a16z krypto) Dan Boneh; a16z kryptoforskningschef Tim Roughgarden var också med i programkommittén och höll ett inbjudet föredrag på tidningen vi delade med läsarna i vårt senaste nyhetsbrev.

Här är en snabb blandning av några av vårt teams fältanteckningar, länkar och teman från SBC 22 samt ett par anslutna workshops – inklusive workshopen "vetenskap och teknik för konsensus" (28 augusti) och en annan om maximalt extraherbart värde, eller MEV (1 september) – utan särskild ordning:

• Peiyao Sheng på en analys av olika blockchain-protokoll, för att ta reda på vilka som har bättre rättsmedicinskt stöd som hjälper till att upptäcka en validators felaktiga beteende med bevis (papper)
• Pratyush Mishras föredrag om arkworks, ett Rust-ekosystem för zkSNARKs som används flitigt i många kryptoprojektimplementeringar (GitHub)
• Srivatsan Sridhar om att ändra nedladdningsregeln i den längsta kedjan konsensus för att mildra bandbreddsstockning under spamming attacker på nätverket (papper)
• Ari Juels och Mahimna Kelkars samtal om att skydda mot kontradiktorisk manipulation av transaktionsbeställning och ett system för att upprätthålla rättvis transaktionsbeställning (workshop abstrakt, papper)
• Ethereums medgrundare Vitalik Buterin på att svara på – och överleva – 51% attacker (deltagare twittrar med bilder)
• David Tse om att återanvända Bitcoin hashkraft för att förbättra säkerheten för PoS-kedjor (papper)
• John Adlers tal om ansvarighet – i det här fallet förmågan att identifiera och straffa angripare – i PoS-system (workshop abstrakt)
• Phil Daian om utvecklingen av MEV:s "mörka skogen", som täcker allt från de främsta problemen teoretisk översikt, till dess ursprungliga identifiering i hans Flash Boys 2.0 papper, till framväxten av MEV-forskningsorganisationen Flashbots, till dagens överväganden som rör transaktionscensurmotstånd och att skapa en robust byggare och förslagsställande marknad för transaktionspaket efter sammanslagningen (workshop abstrakt / bilder)
• A tema: "asymmetriska och subjektiva tillitsantaganden (inte alla noder är lika betrodda, inte alla noder litar lika) och vybaserade protokoll (noder tolkar sin syn på tillståndet lokalt, och så småningom bestämmer en vysammanslagning kanoniska DAG aka riktade acykliska grafer, gaffelval, etc.)” [ett relaterat papper]

se presentationerna: Dag 1, Dag 2, Dag 3

2. Applied ZK Workshop (del av SBC 22)

Efter Science of Blockchain-konferensen avslutades Tillämpad ZK Workshop (2 september) samlade forskare och utvecklare för ytterligare en dag av lärande och diskussion om den senaste utvecklingen i ekosystemet med noll kunskap (ZK). Högtalarna täckte allt från nya kretsprimitiver och virtuell maskinarkitektur (VM) till att säkerställa säkerhet genom verifiering och revision.

Formella metoder för ZK-system var en viktig punkt på workshopens agenda, fokuserad på att lösa ett välkänt problem: när ett ZK-system inte fungerar efter installationen är det svårt att hitta och åtgärda grundorsaken. Det är avgörande att verifiera riktigheten av ZK-system vid kompilering, och formell verifiering kan vara till stor hjälp. Ett antal formella metoder som forskare för närvarande arbetar med detta problem, och några diskuterade sitt arbete:

• Junrui Liu presenterade löpande arbete om att formellt verifiera cirkomets funktionella korrekthet krets bibliotek med hjälp av en korrekturassistent Coq och Yu Feng introducerade picus, ett statiskt analysverktyg som automatiskt verifierar vissa kritiska egenskaper (t.ex. kretsens unikhet) för en given R1CS-krets
• Eric McCarthy diskuterade sitt lags "verifiera” kompilator för Leo, en kompilator som automatiskt producerar ett formellt bevis på korrekthet, vilket garanterar att den kompilerade R1CS-kretsen är likvärdig med källprogrammet Leo

Och fler höjdpunkter från evenemanget:

• Yi Sun och Jonathan Wang presenterade sin halo2-implementering av nyckeloperationer för elliptiska kurvor inklusive multi-skalär multiplikation och elliptisk kurva digital signaturalgoritm (ECDSA) signaturverifiering (som en uppföljning av deras arbete med elliptiska kurvpar i circom); speciellt coolt: den konfigurerbara prover-verifier-tidsavvägningen som uppnås genom att modifiera formen på PlonKish-kretsmatrisen (en bredare [högre] tabell leder till lägre [högre] provningskostnader men högre [lägre] verifieringskostnader)
• Bobbin Threadbare tog oss på en insiderturné i Polygon Midens nollkunskapsbaserade STARK-baserade VM; till skillnad från andra virtuella ZK:s, matas program in som Merkelized abstrakta syntaxträd (MAST) i instruktionerna, vilket förbättrar både effektivitet och säkerhet (bilder)
• Nalin Bhardarj diskuterade implementering av rekursiva SNARKs i circom, en kraftfull teknik som letar sig in i andra ZK-applikationer, Inklusive rollups; parningar i circom möjliggör verifiering av Groth16 SNARKs inom själva kretsen, vilket i sin tur möjliggör mer skalbar aggregering (en efter en mot alla på en gång) och låter en bevisare visa kunskap om ett faktum utan att själva veta det exakta faktumet (den prover är på båda sidor om noll-kunskapen nu)!
• Aayush Gupta presenterade ett nytt schema för deterministiska nullifierare som tillåter ZK-applikationer att begränsa användare till en enda åtgärd, som att göra anspråk på en airdrop (bilder)
• Uma Roy och John Guibas presenterade sitt arbete med att sätta lätta klienter i kedjan genom att verifiera konsensus genom zk-SNARKs; resultatet är tesseract, en prototyp ZK-brygga mellan ETH2 och Gnosis som har förbättrat säkerhet och censurmotstånd

se hela agendan

3. DeFi Security Summit (föregående SBC 22)

Strax innan Science of Blockchain-konferensen startade samlades ett antal säkerhetsforskare och praktiker vid den första årliga DeFi Security Summit för att diskutera reflektioner kring tidigare säkerhetsincidenter och säkra utvecklingsprocesser, till skyddsåtgärder såsom bug-bounties och försäkringar.

Några snabba anteckningar om teman, med länkar till föredrag:

• Kurt Barry, Jared Flatow och storming0x förklarade sina säkra smarta kontraktsutvecklingsmetoder på MakerDAO, Luktämneoch Längta, respektive; ett gemensamt tema var Schweizerost modell, som lägger ihop olika kompletterande säkerhetsåtgärder
• Christoph Michel diskuterade utvecklingen av prismanipulationsattacker (med en intressant CTF utmanar som en bonus!) och Yoav Weiss förklarade olika bro exploateringar
• Mitchell Amador predikade vikten av stark incitament för att få fler säkerhetstalanger för att hålla detta utrymme säkert
• Det var paneldiskussioner om olika ämnen som tidsvägt medelpris (TWAP) orakelsäkerhet efter sammanfogningen såväl som på modularitet och uppgraderingsbarhet
• Ett annat tema var att sätta korrekta förväntningar på revisionspraxis; vanliga meddelanden från revisorer var att istället för "revisioner" borde de egentligen kallas "time-boxed säkerhetsbedömning" liksom observationen att revisionsuppdrag "är mer uppriktning snarare än ansvar"
• Utvecklare uttryckte oro över vanliga revisionssvagheter som långa ledtider och otillräckliga incitament för att säkra kodbaser; Sherlock föreslog ett intressant tillvägagångssätt som skulle kunna ta itu med dessa problem genom att kombinera effektiviteten hos revisionstävlingar och äldre revisioner för att få det "bästa av båda" världar

se hela agendan (med länkar till några föredrag)

se presentationerna: Dag 1, Dag 2

Redaktörer: Robert Hackett (@rhhackett) och Stephanie Zinn (@stephbzinn)

***

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 den aktuella eller varaktiga riktigheten av informationen 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.