CESC '22: Feldnotizen vom Zero Knowledge Workshop

Anmerkung der Redaktion: Feldnotizen ist eine Serie, in der wir vor Ort bei bedeutenden Industrie-, Forschungs- und anderen Veranstaltungen berichten. In dieser Ausgabe teilt Valeria Nikolaenko, eine Krypto-Forschungspartnerin von 16z, ihre kurzen Höhepunkte aus der Zero-Knowledge-Proof-Workshop verbunden mit der Kryptoökonomische Sicherheitskonferenz (CESC), die am 30. Oktober an der University of California in Berkeley stattfand. Das Programm Ziel war es, Forscher und Praktiker zusammenzubringen, um die neuesten Entwicklungen in Blockchain und Web zu präsentieren und zu diskutieren3. Sie können Aufzeichnungen der Präsentationen ansehen hier.

• Dawn Lied (UC Berkeley) bekannt gegeben ein neuer MOOC für das Frühjahr 2023 zu Zero-Knowledge-Beweisen, das geplant ist starten am 17. Januar 2023 und erinnern an die MOOCs, die bereits im Herbst 2022 laufen:

• Yupeng Zhang (Texas A&M University) präsentierte a Tutorial zur aktuellen Entwicklung von ZKP-Systemen, ein außergewöhnlicher Überblick über verschiedene Ansätze zum Erstellen von zk-Proof-Systemen, die sie auf 4 Achsen abbilden: Poof-Prägnanz, Beweiser- und Verifizierer-Effizienz und transparentes vs. vertrauenswürdiges Setup.

• Dan Boneh (Universität in Stanford) vorgeführt ein Überblick der Abstraktion von IOPs im Allgemeinen und Plonk-Polynom-IOP im Besonderen.

Dan erklärte auch ein neues System namens HyperPlonk, die teure FFTs auf der Seite des Beweisers eliminieren kann und Tore mit hohem Grad viel effizienter handhabt, wodurch sowohl die Zeit des Beweisers als auch die Größe des Beweises reduziert werden. Der interessante Parameter, an den man sich erinnern sollte, ist, dass FFTs die Zeit des Prüfers dominieren, wenn die Anzahl der Gatter über 2 liegt²⁰.

• Tiancheng Xie (UC Berkeley) präsentiert auf der zkBridge (read the paper hier), die die Bedeutung eines besseren Designs für Brücken angesichts zahlreicher neuerer Hacks (Ronin Bridge-Exploit, Wurmloch-Hack, Nomadischer Brückenablauf, usw). zkBridge minimiert das Vertrauen und verbessert die Leistung mit dem Zero-Knowledge-Proof-System von deVirgo.
• Dawn Lied (UC Berkeley) kündigte zkCollective an – eine Grundlage für sichere kettenübergreifende Interoperabilität. Das Teilnahmeformular kann ausgefüllt werden hier.
• Leo-Fan (Cysisch) hoben ihre Ergebnisse zur Beschleunigung der multiskalaren Multiplikation (MSM) auf FPGA für zk-Beweiser hervor, wobei MSM oft mehr als 50 % der Zeit des Beweisers ausmacht. Sie sind schätzungsweise schneller als vergleichbare Bemühungen (PipeMSM und ZyklonMSM). Ihr ultimatives Ziel ist es, einen ASIC zu bauen.
• Marek Olszewski (Eifer) gab eine großartige Demo zum Ausführen von Celos Light-Client Plumo, der 2 Jahre in der Entwicklung war und dieses Jahr eingeführt wurde. Der Client wird als massive Schaltung mit 2 entwickelt²⁷ Tore und angetrieben von einem Optimisten Mächte von Tau Zeremonie, die für andere Projekte nützlich sein kann. Community-Mitglieder generieren täglich SNARK-Proofs (nach jedem Epochenwechsel), ein Proof dauert auf einer 1-Core-Maschine ~256 Stunde. Ihre WASM-Bibliothek ermöglicht die Überprüfung der Beweise von Web-Apps.
• Howard Wu (Aleo) präsentierte die Ideen hinter dem Design von Aleo, das eine Blockchain für private Transaktionen aufbaut, die Parallelität und effiziente Zustandsaktualisierungen ermöglicht.
• Jeremy Brüstle (Risiko0) erläuterte das Designprinzip hinter dem Erstellen einer zkVM für den RISC-V-Befehlssatz, der mit zkSTARKs implementiert wird. RISC-V hat einen sehr kleinen Satz von Anweisungen (<40), die von verschiedenen Compilern gut unterstützt werden und vollständig offen sind. Und was am wichtigsten ist, es ist für effiziente Hardwareimplementierungen ausgelegt, was ein effizientes Schaltungsdesign für zk-Proofs impliziert.
• Uma Roy (Prägnante Labore) gab einen Überblick über eine Möglichkeit, den Konsens von Ethereum mit zkSNARKs mit einer Nachweiszeit von nur 1 Minute kurz und bündig zu überprüfen.

Valeria Nikolaenko ist Forschungspartner bei a16z crypto. Ihre Forschung konzentriert sich auf Kryptographie und Blockchain-Sicherheit. Sie hat auch an Themen wie Langstreckenangriffen in PoS-Konsensprotokollen, Signaturschemata, Post-Quantum-Sicherheit und Mehrparteienberechnung gearbeitet. Sie promovierte in Kryptografie an der Stanford University und arbeitete als Teil des Kernforschungsteams an der Diem-Blockchain.

-

Die hier geäußerten Ansichten sind die der einzelnen zitierten Mitarbeiter von AH Capital Management, LLC („a16z“) und nicht die Ansichten von a16z oder seinen verbundenen Unternehmen. Bestimmte hierin enthaltene Informationen stammen aus Drittquellen, einschließlich von Portfoliounternehmen von Fonds, die von a16z verwaltet werden. Obwohl sie aus als zuverlässig erachteten Quellen stammen, hat a16z solche Informationen nicht unabhängig überprüft und gibt keine Zusicherungen über die dauerhafte Genauigkeit der Informationen oder ihre Angemessenheit für eine bestimmte Situation. Darüber hinaus kann dieser Inhalt Werbung von Drittanbietern enthalten; a16z hat solche Anzeigen nicht überprüft und unterstützt keine darin enthaltenen Werbeinhalte.

Dieser Inhalt wird nur zu Informationszwecken bereitgestellt und sollte nicht als Rechts-, Geschäfts-, Anlage- oder Steuerberatung angesehen werden. Sie sollten diesbezüglich Ihre eigenen Berater konsultieren. Verweise auf Wertpapiere oder digitale Vermögenswerte dienen nur der Veranschaulichung und stellen keine Anlageempfehlung oder ein Angebot zur Erbringung von Anlageberatungsdiensten dar. Darüber hinaus richtet sich dieser Inhalt nicht an Anleger oder potenzielle Anleger und ist nicht für die Verwendung durch diese bestimmt, und es darf unter keinen Umständen darauf vertraut werden, wenn eine Entscheidung getroffen wird, in einen von a16z verwalteten Fonds zu investieren. (Ein Angebot zur Investition in einen a16z-Fonds wird nur durch das Privatplatzierungsmemorandum, den Zeichnungsvertrag und andere relevante Unterlagen eines solchen Fonds abgegeben und sollte vollständig gelesen werden.) Alle erwähnten, erwähnten oder erwähnten Investitionen oder Portfoliounternehmen oder Portfoliounternehmen Die beschriebenen Investitionen sind nicht repräsentativ für alle Investitionen in von a16z verwaltete Vehikel, und es kann nicht garantiert werden, dass die Investitionen rentabel sind oder dass andere Investitionen in der Zukunft ähnliche Merkmale oder Ergebnisse aufweisen werden. Eine Liste der Investitionen von Fonds, die von Andreessen Horowitz verwaltet werden (mit Ausnahme von Investitionen, für die der Emittent a16z keine Genehmigung zur öffentlichen Offenlegung erteilt hat, sowie unangekündigte Investitionen in öffentlich gehandelte digitale Vermögenswerte) ist unter https://a16z.com/investments verfügbar /.

Die darin bereitgestellten Diagramme und Grafiken dienen ausschließlich zu Informationszwecken und sollten bei Anlageentscheidungen nicht als verlässlich angesehen werden. Die Wertentwicklung in der Vergangenheit ist kein Hinweis auf zukünftige Ergebnisse. Der Inhalt spricht nur zum angegebenen Datum. Alle Prognosen, Schätzungen, Prognosen, Ziele, Aussichten und/oder Meinungen, die in diesen Materialien geäußert werden, können ohne Vorankündigung geändert werden und können von den Meinungen anderer abweichen oder ihnen widersprechen. Weitere wichtige Informationen finden Sie unter https://a16z.com/disclosures.