CESC '22: Notatki terenowe z warsztatów o zerowej wiedzy

Komentarz edytora: Notatki terenowe to seria, w której relacjonujemy w terenie podczas ważnych wydarzeń branżowych, badawczych i innych. W tym wydaniu Valeria Nikolaenko, partner ds. badań kryptograficznych a16z, dzieli się krótkimi informacjami z Warsztaty sprawdzające wiedzę zerową związany z Konferencja Bezpieczeństwa Crypto Economics (CESC), która odbyła się 30 października na Uniwersytecie Kalifornijskim w Berkeley. The program ma na celu zgromadzenie naukowców i praktyków w celu zaprezentowania i omówienia najnowszych osiągnięć w blockchain i sieci3. Możesz obejrzeć nagrania z prezentacji tutaj.

• Pieśń świtu (UC Berkeley) ogłoszono nowy MOOC na wiosnę 2023 r. na dowodach z wiedzą zerową, które zaplanowano na: rozpoczynają się 17 stycznia 2023 r. i przypominają o MOOC, które już odbywają się jesienią 2022 r.:

• Yupeng Zhang (Teksas A&M University) zaprezentował tutorial na temat najnowszego rozwoju systemów ZKP, wyjątkowy przegląd różnych podejść do budowania systemów odpornych na zk, mapujący je w 4 osiach: zwięzłość, wydajność udowadniania i weryfikatora oraz przejrzysta i godna zaufania konfiguracja.

• Dan Boneh (Uniwersytet Stanford) przedstawione Przegląd abstrakcji IOPs w ogóle i wielomianu Plonka-IOP w szczególności.

Dan wyjaśnił również nowy system zwany HyperPlonk, który może wyeliminować kosztowne FFT po stronie garowni i znacznie efektywniej radzi sobie z bramkami o wysokim stopniu, redukując zarówno czas produkcyjny, jak i rozmiar proofa. Ciekawym parametrem do zapamiętania jest to, że FFT dominują w czasie sprawdzania, gdy liczba bramek jest powyżej 2²⁰.

• Tiancheng Xie (UC Berkeley) prezentowane na zkBridge (przeczytaj artykuł tutaj), podkreślając znaczenie lepszego projektowania mostów w świetle licznych niedawnych hacków (Wykorzystanie mostu Ronina, Włamanie do tunelu czasoprzestrzennego, Odpływ mostu Nomad, i tak dalej). zkBridge minimalizuje zaufanie i poprawia wydajność dzięki systemowi weryfikacji zerowej wiedzy deVirgo.
• Pieśń świtu (UC Berkeley) ogłosił zkCollective — podstawę bezpiecznej interoperacyjności między łańcuchami. Formularz do udziału w wysiłku można wypełnić tutaj.
• Lew Fan (Cysic) podkreślili swoje wyniki dotyczące przyspieszenia multi-skalarnego mnożenia (MSM) na FPGA dla zk-prover's, gdzie MSM często zajmuje ponad 50% czasu provera. Szacuje się, że są szybsze niż porównywalne wysiłki (RuryMSM i CyklonMSM). Ich ostatecznym celem jest zbudowanie ASIC.
• Marka Olszewskiego (Celo) dał świetne demo na temat działania lekkiego klienta Celo, Plumo, który był rozwijany przez 2 lata i został uruchomiony w tym roku. Klient jest opracowany jako masywny obwód z 2²⁷ bramy i napędzany optymizmem moce-tau uroczystość, która może być przydatna przy innych projektach. Członkowie społeczności codziennie generują SNARK-proofy (po każdej zmianie epoki), sprawdzanie trwa około 1 godziny na maszynie z 256 rdzeniami. Ich biblioteka WASM umożliwia weryfikację dowodów z aplikacji internetowych.
• Howarda Wu (aleo) przedstawił idee stojące za projektem Aleo, które buduje blockchain dla prywatnych transakcji, który pozwala na współbieżność i wydajną aktualizację stanu.
• Jeremy'ego Bruestla (Ryzyko0) wyjaśnił uzasadnienie projektowe stojące za zbudowaniem zkVM dla zestawu instrukcji RISC-V zaimplementowanego z zkSTARKs. RISC-V ma bardzo mały zestaw instrukcji (<40), dobrze obsługiwany przez różne kompilatory, w pełni otwarty. A co najważniejsze, jest przeznaczony do wydajnych implementacji sprzętowych, co oznacza wydajne projektowanie obwodów dla dowodów zk.
• Uma Roy (Zwięzłe laboratoria) podał przegląd sposobu na zwięzłe zweryfikowanie konsensusu Ethereum z zkSNARKs z czasem udowodnienia, że ​​to tylko 1 minuta.

Waleria Nikołaenko jest partnerem badawczym w krypto a16z. Jej badania koncentrują się na kryptografii i bezpieczeństwie blockchain. Zajmowała się również takimi tematami, jak ataki dalekiego zasięgu w protokołach konsensusu PoS, schematy sygnatur, bezpieczeństwo post-kwantowe i obliczenia wielostronne. Posiada doktorat z kryptografii na Uniwersytecie Stanforda i pracowała nad blockchainem Diem w ramach głównego zespołu badawczego.

-

Wyrażone tutaj poglądy są poglądami poszczególnych cytowanych pracowników AH Capital Management, LLC („a16z”) i nie są poglądami a16z ani jej podmiotów stowarzyszonych. Niektóre informacje w nim zawarte zostały pozyskane ze źródeł zewnętrznych, w tym od spółek portfelowych funduszy zarządzanych przez a16z. Chociaż pochodzi ze źródeł uważanych za wiarygodne, a16z nie zweryfikowała niezależnie takich informacji i nie składa żadnych oświadczeń dotyczących trwałej dokładności informacji lub ich adekwatności w danej sytuacji. Ponadto treści te mogą zawierać reklamy osób trzecich; a16z nie przeglądał takich reklam i nie popiera żadnych zawartych w nich treści reklamowych.

Te treści są udostępniane wyłącznie w celach informacyjnych i nie należy ich traktować jako porady prawnej, biznesowej, inwestycyjnej lub podatkowej. Powinieneś skonsultować się w tych sprawach z własnymi doradcami. Odniesienia do jakichkolwiek papierów wartościowych lub aktywów cyfrowych służą wyłącznie celom ilustracyjnym i nie stanowią rekomendacji inwestycyjnej ani oferty świadczenia usług doradztwa inwestycyjnego. Ponadto treść ta nie jest skierowana ani przeznaczona do użytku przez jakichkolwiek inwestorów lub potencjalnych inwestorów iw żadnym wypadku nie można na nich polegać przy podejmowaniu decyzji o zainwestowaniu w jakikolwiek fundusz zarządzany przez a16z. (Oferta inwestycji w fundusz a16z zostanie złożona wyłącznie na podstawie memorandum dotyczącego oferty prywatnej, umowy subskrypcyjnej i innej odpowiedniej dokumentacji takiego funduszu i należy ją przeczytać w całości.) Wszelkie inwestycje lub spółki portfelowe wymienione, wymienione lub opisane nie są reprezentatywne dla wszystkich inwestycji w pojazdy zarządzane przez a16z i nie można zapewnić, że inwestycje będą opłacalne lub że inne inwestycje dokonane w przyszłości będą miały podobne cechy lub wyniki. Lista inwestycji dokonanych przez fundusze zarządzane przez Andreessena Horowitza (z wyłączeniem inwestycji, w przypadku których emitent nie wyraził zgody na publiczne ujawnienie przez a16z oraz niezapowiedzianych inwestycji w aktywa cyfrowe będące w obrocie publicznym) jest dostępna pod adresem https://a16z.com/investments /.

Wykresy i wykresy zamieszczone w niniejszym dokumencie służą wyłącznie celom informacyjnym i nie należy na nich polegać przy podejmowaniu jakichkolwiek decyzji inwestycyjnych. Wyniki osiągnięte w przeszłości nie wskazują na przyszłe wyniki. Treść mówi dopiero od wskazanej daty. Wszelkie prognozy, szacunki, prognozy, cele, perspektywy i/lub opinie wyrażone w tych materiałach mogą ulec zmianie bez powiadomienia i mogą się różnić lub być sprzeczne z opiniami wyrażanymi przez innych. Dodatkowe ważne informacje można znaleźć na stronie https://a16z.com/disclosures.