SBC 22: 2022. aasta Science of Blockchain'i märkmed

Välja märkmed on sari, kus anname teada olulistest tööstuse, teadusuuringute ja muudest sündmustest. Selles väljaandes kogusid mõned kohalviibinud a16z krüptomeeskonna liikmed huvitavaid kõnesid, dokumente, slaide ja palju muud. DeFi turvalisuse tippkohtumine 2022 (27.-28. august), Science of Blockchain konverents 2022 aka SBC 22 (29.-31. august) ja mitmesugused seotud töötoad (28. august-2. september), mis kõik toimusid eelmisel kuul Stanfordi ülikoolis.

1. Science of Blockchain Conference 2022

. Plokiahela teaduse konverents keskendub tehnilistele uuendustele plokiahela ökosüsteemis ning koondab kosmoses töötavad teadlased ja praktikud krüptograafia, turvalise andmetöötluse, hajutatud süsteemide, detsentraliseeritud protokollide arendamise, formaalsete meetodite, empiirilise analüüsi, krüptoökonoomika, majandusliku riskianalüüsi ja muu valdkonnas. Üritust juhib Stanfordi professor (ja a16z krüptotehnoloogia vanemteadur) Dan Boneh; a16z krüptouuringute juht Tim Roughgarden oli samuti programmikomitees ja pidas kutsutud kõne paberil, mida lugejatega jagasime meie viimases uudiskirjas.

Siin on kiire segu mõnest meie meeskonna välimärkmetest, linkidest ja teemadest SBC 22-st ning paarist sellega seotud töötoast – sealhulgas „konsensuse teaduse ja tehnika” töötuba (28. august) ja teine ​​maksimaalse ekstraheeritava väärtuse kohta. või MEV (1. sept.) – kindlas järjekorras:

• Peiyao Sheng erinevate plokiahela protokollide analüüsist, et selgitada välja, millistel on parem kohtuekspertiisi tugi, mis aitab tuvastada valideerija väärkäitumist tõenditega (paber)
• Pratyush Mishra jutt arkworksist, zkSNARKide rooste ökosüsteemist, mida kasutatakse laialdaselt paljudes krüptoprojektide rakendustes (GitHub)
• Srivatsan Sridhar allalaadimisreegli muutmise kohta pikima ahela konsensuses, et leevendada ribalaiuse ülekoormust võrgu rämpspostitusrünnakute ajal (paber)
• Ari Juelsi ja Mahimna Kelkari kõnelused tehingukorralduse võistleva võltsimise eest kaitsmisest ja õiglase tehingukorralduse jõustamise skeemist (töökoja kokkuvõte, paber)
• Ethereumi kaasasutaja Vitalik Buterin 51% rünnakutele reageerimisest ja ellujäämisest (kohalolija säuts slaididega)
• David Tse Bitcoini räsivõimsuse taaskasutamisest PoS-ahelate turvalisuse suurendamiseks (paber)
• John Adleri jutt vastutusest – antud juhul võimest tuvastada ja karistada ründajaid – PoS-süsteemides (töökoja kokkuvõte)
• Phil Daian MEV "tumeda metsa" arengust, mis hõlmab kõike alates esirinnas olevast probleemist teoreetiline ülevaade, selle esmase tuvastamiseni tema Flash Boys 2.0 paber, MEV-i uurimisorganisatsiooni Flashbots tekkeni, tänapäevaste kaalutlusteni, mis on seotud tehingutsensuuri vastupanuga ning tugeva tehingupakettide koostaja- ja pakkujaturu loomisega pärast ühinemist (töökoja kokkuvõte / slaidid)
• A teema: "asümmeetrilised ja subjektiivsed usalduse eeldused (kõiki sõlme ei usaldata võrdselt, kõiki sõlme ei usaldata võrdselt) ja vaatepõhised protokollid (sõlmed tõlgendavad oma vaadet olekust lokaalselt ja lõpuks määrab vaade-liitmine kanoonilise DAG-i ehk suunatud atsüklilised graafikud, kahvli valik jne)” [seotud paber]

vaata esitlusi: päeval 1, päeval 2, päeval 3

2. Rakendusliku ZK töötuba (SBC 22 osa)

Pärast Science of Blockchaini konverentsi lõppu, Rakenduslik ZK töötuba (2. september) tõi teadlased ja arendajad kokku veel üheks päevaks õppimiseks ja aruteluks nullteadmiste (ZK) ökosüsteemi viimaste arengute üle. Kõlarid hõlmasid kõike alates uutest vooluahela primitiividest ja virtuaalmasinate (VM) arhitektuuridest kuni turvalisuse tagamiseni kontrollimise ja auditeerimise kaudu.

ZK-süsteemide formaalsed meetodid olid seminari päevakorras olulisel kohal, keskendudes tuntud probleemi lahendamisele: kui ZK-süsteemis pärast juurutamist tekib talitlushäire, on algpõhjust raske leida ja kõrvaldada. ZK-süsteemide õigsuse kontrollimine kompileerimise ajal on ülioluline ning formaalne kontrollimine võib olla suureks abiks. Selle probleemiga tegelevad praegu mitmed ametlikud meetodid ja mõned arutasid oma tööd:

• Junrui Liu esitleb käimasolevat töö tsirkooni funktsionaalse õigsuse ametliku kontrollimise kohta circuit raamatukogu kasutades tõestusassistenti Coq ja Yu Feng sisse Picostaatilise analüüsi tööriist, mis kontrollib automaatselt antud R1CS-ahela teatud kriitilisi omadusi (nt vooluahela unikaalsust).
• Eric McCarthy arutas oma meeskonna "kontrollimine” koostaja jaoks Lõvion kompilaator mis esitab automaatselt formaalse õigsuse tõendi, mis tagab, et kompileeritud R1CS-ahel on samaväärne lähteprogrammiga Leo

Ja veel sündmuse tipphetki:

• Yi Sun ja Jonathan Wang esitlesid oma halo2 rakendamist peamiste elliptilise kõvera operatsioonide jaoks, sealhulgas mitme skalaarkorrutise ja elliptilise kõvera digitaalallkirja algoritmi (ECDSA) allkirja kontrollimine (järgena nende tööle elliptiliste kõverate paarid in circom); eriti lahe: konfigureeritav tõestaja-tõendaja aja kompromiss, mis saavutatakse PlonKish vooluringi maatriksi kuju muutmisega (laiem [kõrgem] tabel toob kaasa madalamad [kõrgemad] tõendamiskulud, kuid kõrgemad [madalamad] tõendaja kulud)
• Bobbin Threadbare viis meid siseringi tutvuma Polygon Mideni nullteadmiste STARK-põhise VM-iga; Erinevalt teistest ZK VM-idest sisestatakse programmid juhiste Merkeliseeritud abstraktsete süntaksipuudena (MAST), parandades nii tõhusust kui ka ohutust (slaidid)
• Nalin Bhardarj arutas rekursiivsete SNARKide rakendamist circomis, mis on võimas tehnika, mis leiab tee teistesse ZK rakendustesse. kaasa arvatud kogunemised; circomi paarid võimaldavad kontrollida Groth16 SNARK-e ahelas endas, mis omakorda võimaldab skaleeritavamat liitmist (ükshaaval vs kõik korraga) ja võimaldab tõestajal näidata fakti teadmist, teadmata ise täpset fakti ( tõestaja on nüüd nullteadmiste omaduse mõlemal poolel)!
• Aayush Gupta esitles uut skeemi deterministlike nullijate jaoks, mis võimaldavad ZK-rakendustel piirata kasutajaid ühe toiminguga, näiteks õhulanguse nõudmisega (slaidid)
• Uma Roy ja John Guibas tutvustasid oma tööd kergete klientide ahelasse viimisel, kontrollides konsensust zk-SNARKide kaudu; tulemus on Tesseract, prototüüp ZK sild ETH2 ja Gnoosi vahel, mis on parandanud turvalisust ja tsensuurikindlust

vaata kogu päevakava

3. DeFi Security Summit (eelnes SBC 22)

Vahetult enne plokiahela teaduse konverentsi algust kogunesid mitmed turvateadlased ja praktikud esimesele iga-aastasele. DeFi turvalisuse tippkohtumine et arutada mõtteid varasemate turvaintsidentide ja turvaliste arendusprotsesside üle, kaitsemeetmeid, nagu veahüvitised ja kindlustus.

Mõned kiired märkused teemade kohta koos linkidega vestlustele:

• Kurt Barry, Jared Flatow ja storming0x selgitasid oma turvalise nutika lepingu arendamise praktikat aadressil MakerDAO, SEGUja Yearn, vastavalt; ühine teema oli Šveitsi juustu mudel, mis koondab erinevaid täiendavaid turvameetmeid
• Christoph Michel arutas evolutsiooni hinnamanipulatsiooni rünnakud (huvitava CTF-iga väljakutse boonusena!) ja Yoav Weiss selgitas erinevaid silla ekspluatatsioonid
• Mitchell Amador jutlustas tugeva olulisusest stiimuleid et saada rohkem turvatalente selle ruumi turvalisena hoidmiseks
• Toimusid paneeldiskussioonid erinevatel teemadel nagu ajaga kaalutud keskmine hind (TWAP) oraakli turvalisus nii pärast ühendamist kui ka edasi modulaarsus ja täiendatavus
• Teine teema oli auditeerimistavadele õigete ootuste seadmine; Audiitorite levinumad sõnumid olid, et "auditite" asemel tuleks neid nimetada "ajakastiga turvahinnanguks" ning ka tähelepanek, et auditeerimistöövõttude "on rohkem joondumine mitte vastutus"
• Arendajad väljendasid muret tavaliste auditeerimise nõrkuste pärast, nagu pikad teostusajad ja ebapiisavad stiimulid koodibaaside kaitsmiseks; Sherlock pakkus välja huvitava lähenemine mis võiks neid probleeme lahendada, ühendades auditivõistluste ja pärandauditite tõhususe, et saada mõlemast maailmast parim

vaata kogu päevakava (koos linkidega mõnele kõnele)

vaata esitlusi: päeval 1, päeval 2

Toimetajad: Robert Hackett (@rhhackett) ja Stephanie Zinn (@stephbzinn)

***

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äärseteks peetud allikatest, ei ole a16z sellist teavet sõltumatult kontrollinud ega kinnita teabe praegust või 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.