CESC '22: הערות שטח מסדנת אפס ידע

הערת העורך: הערות שטח היא סדרה שבה אנו מדווחים בשטח באירועים משמעותיים בתעשייה, במחקר ובאירועים אחרים. במהדורה זו, ולריה ניקולאנקו, שותפה למחקר קריפטו a16z חולקת את הדגשים המהירים שלה מה- סדנת אפס הוכחת ידע מזוהה עם ועידת האבטחה לכלכלה קריפטו (CESC), שהתקיים ב-30 באוקטובר באוניברסיטת קליפורניה בברקלי. ה התוכנית מטרתו הייתה להפגיש חוקרים ומתרגלים כדי להציג ולדון בהתפתחויות האחרונות בבלוקצ'יין וב-web3. ניתן לצפות בהקלטות של המצגות כאן.

• שיר השחר / (UC Berkeley) הודיעה MOOC חדש לאביב 2023 על הוכחות אפס ידע, שמתוכנן מתחילים ב-17 בינואר 2023, והזכירו את ה-MOOCs שכבר פועלים בסתיו 2022:

• יופנג ג'אנג (אוניברסיטת טקסס A&M) הציגה א הדרכה על הפיתוח האחרון של מערכות ZKP, סקירה יוצאת דופן של גישות שונות לבניית מערכות הוכחה ל-zk, מיפוי שלהן על פני 4 צירים: תמציתה של פוף, יעילות מוכיחה ומאמת, והגדרה שקופה לעומת מהימנה.

• דן בונה (אוניברסיטת סטנפורד) מוצג סקירה של הפשטה של ​​IOPs בכלל ושל Plonk polynomial-IOP בפרט.

דן גם הסביר מערכת חדשה בשם HyperPlonk, שיכול לבטל FFTs יקרים בצד של המוכיח ומטפל בשערים ברמה גבוהה הרבה יותר יעיל, ומצמצם הן את הזמן והן את גודל ההוכחה של המוכיח. הפרמטר המעניין לזכור הוא ש-FFT שולט בזמן של המוכיח כאשר מספר השערים הוא מעל 2²⁰.

• טיאנצ'נג שי (UC ברקלי) מוצג ב-zkBridge (קרא את העיתון כאן), מדגיש את החשיבות של עיצוב טוב יותר עבור גשרים לאור פריצות רבות לאחרונה (ניצול גשר רונין, פריצת חור תולעת, ניקוז גשר נוודים, וכן הלאה). zkBridge ממזער את האמון ומשפר את הביצועים עם מערכת deVirgo Zero-knowledge הוכחה.
• שיר השחר / (UC Berkeley) הכריזה על zkCollective - בסיס ליכולת פעולה הדדית מאובטחת צולבת שרשרת. ניתן למלא את הטופס להשתתפות במאמץ כאן.
• ליאו אוהד (ציסיק) הדגישו את התוצאות שלהם להאצת הכפל רב-סקלרי (MSM) ב-FPGA עבור zk-prover's, כאשר MSM מהווה לעתים קרובות יותר מ-50% מהזמן של המוכיח. הם מוערכים כמהירות יותר ממאמצים דומים (PipeMSM ו CycloneMSM). המטרה הסופית שלהם היא לבנות ASIC.
• מארק אולשבסקי (Celo) נתן הדגמה נהדרת על הפעלת הלקוח הקל של Celo, Plumo, אשר נמצא בפיתוח של שנתיים והושק השנה. הלקוח פותח כמעגל מסיבי עם 2²⁷ שערים, ומופעל על ידי אופטימי powers-of-tau טקס שיכול להיות שימושי עבור פרויקטים אחרים. חברי הקהילה מייצרים הוכחות SNARK מדי יום (לאחר כל שינוי עידן), הוכחה אורכת כשעה במכונה בעלת 1 ליבות. ספריית ה-WASM שלהם מאפשרת אימות של ההוכחות מאפליקציות אינטרנט.
• האוורד וו (עלי) הציג את הרעיונות מאחורי העיצוב של Aleo, שבונה בלוקצ'יין לעסקאות פרטיות המאפשר במקביל ועדכוני מדינה יעילים.
• ג'רמי ברוסטל (Risc0) הסביר את הרציונל העיצובי מאחורי בניית zkVM עבור ערכת הוראות RISC-V המיושמת עם zkSTARKs. ל-RISC-V יש סט קטן מאוד של הוראות (<40), נתמך היטב על ידי מהדרים שונים, פתוח לחלוטין. והכי חשוב, הוא מיועד להטמעת חומרה יעילה, מה שמרמז על עיצוב מעגל יעיל עבור הוכחות zk.
• אומה רוי (Succinct Labs) נתן סקירה כללית של דרך לאמת בתמציתיות את הקונצנזוס של Ethereum עם zkSNARKs עם זמן ההוכחה הוא דקה אחת בלבד.

ולריה ניקולאנקו הוא שותף מחקר ב-a16z crypto. המחקר שלה מתמקד בקריפטוגרפיה ואבטחת בלוקצ'יין. היא גם עבדה על נושאים כמו התקפות ארוכות טווח בפרוטוקולי PoS קונצנזוס, סכימות חתימה, אבטחה פוסט-קוונטית ומחשוב מרובה צדדים. היא בעלת תואר דוקטור בקריפטוגרפיה מאוניברסיטת סטנפורד, ועבדה על הבלוקצ'יין Diem כחלק מצוות המחקר הליבה.

-

הדעות המובעות כאן הן אלה של אנשי AH Capital Management, LLC ("a16z") המצוטטות ואינן הדעות של a16z או החברות הקשורות לה. מידע מסוים הכלול כאן התקבל ממקורות צד שלישי, כולל מחברות פורטפוליו של קרנות המנוהלות על ידי a16z. למרות שנלקחה ממקורות האמינים כאמינים, a16z לא אימתה מידע כזה באופן עצמאי ואינה מציגה מצגים לגבי הדיוק המתמשך של המידע או התאמתו למצב נתון. בנוסף, תוכן זה עשוי לכלול פרסומות של צד שלישי; a16z לא סקרה פרסומות כאלה ואינה תומכת בתוכן פרסומי כלשהו הכלול בהן.

תוכן זה מסופק למטרות מידע בלבד, ואין להסתמך עליו כייעוץ משפטי, עסקי, השקעות או מס. עליך להתייעץ עם היועצים שלך באשר לעניינים אלה. הפניות לניירות ערך או לנכסים דיגיטליים כלשהם נועדו למטרות המחשה בלבד, ואינן מהוות המלצת השקעה או הצעה לספק שירותי ייעוץ השקעות. יתר על כן, תוכן זה אינו מכוון ואינו מיועד לשימוש על ידי משקיעים או משקיעים פוטנציאליים כלשהם, ואין להסתמך עליו בשום פנים ואופן בעת ​​קבלת החלטה להשקיע בקרן כלשהי המנוהלת על ידי a16z. (הצעה להשקעה בקרן a16z תתבצע רק על ידי מזכר ההנפקה הפרטית, הסכם המנוי ותיעוד רלוונטי אחר של כל קרן כזו ויש לקרוא אותה במלואה). המתוארים אינם מייצגים את כל ההשקעות בכלי רכב המנוהלים על ידי a16z, ואין כל ודאות שההשקעות יהיו רווחיות או שלהשקעות אחרות שיבוצעו בעתיד יהיו מאפיינים או תוצאות דומות. רשימה של השקעות שבוצעו על ידי קרנות המנוהלות על ידי אנדריסן הורוביץ (למעט השקעות שעבורן המנפיק לא נתן אישור ל-a16z לחשוף בפומבי וכן השקעות בלתי מוקדמות בנכסים דיגיטליים הנסחרים בבורסה) זמינה בכתובת https://a16z.com/investments /.

תרשימים וגרפים המסופקים בתוכן הם למטרות מידע בלבד ואין להסתמך עליהם בעת קבלת החלטת השקעה כלשהי. ביצועי העבר אינם מעידים על תוצאות עתידיות. התוכן מדבר רק לתאריך המצוין. כל תחזיות, אומדנים, תחזיות, יעדים, סיכויים ו/או דעות המובעות בחומרים אלו כפופים לשינויים ללא הודעה מוקדמת ועשויים להיות שונים או מנוגדים לדעות שהובעו על ידי אחרים. אנא ראה https://a16z.com/disclosures למידע חשוב נוסף.