דמוקרטיזציה של מחשוב אפס ידע: הכוח של רשת הבונסאי של RISC Zero - Blockchain Capital

הועלה מחדש על ידי אפלטון

עוקב: 0

By בארט סטפנס, ריאן ספרול, ו יואן האן לי

תארו לעצמכם עולם שבו פרטיות נתונים, אבטחה ואמון אינם עוד דאגות, שבו שרשראות אספקת התוכנה שקופות וניתנות לאימות, ושבו דור חדש של יישומים יכול לרתום את הכוח של מחשוב אפס ידע כדי לפתור כמה מהאתגרים הדחופים ביותר של העידן הדיגיטלי. זוהי ההבטחה למחשוב אפס ידע (ZK) והסיבה שאנו משקיעים בה RISC אפס, חברה פורצת דרך שמטרתה לעשות דמוקרטיזציה של גישה ל-ZK דרך רשת בונסאי שלה.

מחשוב אפס ידע (ZK) הוא פרימיטיבי מהפכני המאפשר ליישומים ולפרוטוקולים למנף את שלושת המאפיינים המרכזיים של תמציתיים, נכונות ואפס ידע. המשמעות היא שעל ידי אימות הוכחת ZK (נכונות), המאמת יודע - עם ערובה כמעט מתמטית - שהחישוב בוצע כהלכה.

יתרה מכך, ההוכחה המאומתת תהיה קטנה בהרבה (תמציתיות) מהחישוב המקורי, וניתן למנף את תכונת האפס ידע של ההוכחה גם כדי להבטיח שהמאמת לא לומד דבר על החישוב עצמו. לתערובת ייחודית זו של מאפיינים יש השלכות מרחיקות לכת ומספקת דרך חדשה לאימות מידע. יחד, הנכסים מאזנים את הצרכים לפרטיות, אבטחה ואמון, ומציעים את הפוטנציאל לעולם דיגיטלי מאובטח ופרטי יותר. אבל נותרו כמה מכשולים לפני ש-ZK תוכל למצות את מלוא הפוטנציאל שלה.

ראשית, הפעלת חישוב ב-ZK אורכת זמן רב מדי והיא יקרה מדי. זמני ההוכחה והעלויות צריכים לרדת באופן דרסטי לפני שחישובים מורכבים ב-ZK יהיו מעשיים. החדשות הטובות הן שאלו יורדים בצורה דרסטית: מסלול ההוכחה של זמני ועלויות של ZK עקב אחר מגמה מוכרת בתולדות הטכנולוגיה - בין אם זה היה חוק מור שבו עלות המחשוב ירדה בחצי כל שנתיים, חוק פלאטלי שבו העלות לרצף את הגנום האנושי נפל בקצב משמעותי עוד יותר, או חוק קרידר שבו צפיפות הדיסקים המגנטיים מוכפלת בערך כל 13 חודשים. ההתקדמות הארכיטקטונית האחרונה במערכות הוכחה (Plonky2, Hyperplonk, STARKs) יחד עם התקדמות בקריפטוגרפיה הבסיסית (Poseidon) הורידו את כמות התקורה שיש ליצירת הוכחת ZK לכל חישוב. בעוד שההתקדמות בתחומים אלה ימשיכו להתרחש בקצב דומה (במיוחד עם הזרם האחרון של כישרונות ל-ZK), הוכחת התקורות ייהנו גם מההתקדמות בהאצת החומרה (MSM, NTT), דבר שעד כה לא נחקר עד כה. .

המכשול הגדול הנוסף לאימוץ המוני של ZK הוא המתמטיקה והקריפטוגרפיה המסובכת ביותר הגלומה במערכות ZK. רמת העומק והמומחיות הדרושים להנעת חדשנות של ZK הוגבלה בהחלט לקבוצה קטנה של מפתחים טכניים מיומנים במיוחד.

באופן אידיאלי, למפתחים יש את החופש לכתוב תוכניות בשפה המועדפת עליהם ועדיין יש להם את היכולת להוכיח חישובים באפס ידע, ללא צורך בכתב יד ועיצוב מעגלים בשפות תכנות ברמה נמוכה, ספציפיות ל-ZK. זה המקום שבו פלטפורמת בונסאי של RISC Zero הופכת למשנה משחקים עבור מפתחים ברחבי העולם, וזו הסיבה שאנחנו משקיעים ב-RISC Zero.

על ידי יצירת מכונה וירטואלית בעלת ידע אפס (zkVM) המדמה את ארכיטקטורת ערכת ההוראות RISC-V (ISA), RISC Zero בנתה מערכת המסוגלת להוכיח ביצוע של קוד ברמה נמוכה. מכיוון ש-ISA הוא הגשר בין קוד קריא אנושי להוראות הניתנות לפירוש מכונה, הישג זה מרמז שרשת בונסאי יכולה להוכיח כל תוכנית ברמה גבוהה שניתן להרכיב לארכיטקטורה זו. מכיוון שרוב שפות התכנות המודרניות תואמות ל-RISC-V, הבונסאי של RISC Zero מאפשר ביצוע של כמעט כל תוכנת מחשב שרירותית באפס ידע.

בעתיד שבו חישוב ידע אפס (ZK) הופך לנפוץ, יאפשרו יישומים רבים שבעבר היו בלתי אפשריים. אלה לא רק כוללים יישומים מבוססי Ethereum הממנפים את רשת בונסאי של RISC Zero כמעבד משותף - ביצוע עבודה עתירת משאבים מחוץ לשרשרת לפני אימות תוצאות על השרשרת - אלא מתרחב גם ליישומים מחוץ לקריפטו. לדוגמה, בונסאי יכול לאפשר להאקרים בעלי כובע לבן להוכיח את קיומם של פרצות אבטחה ובאגים מבלי לחשוף ישירות את הניצול. זה גם יכול למנוע התקפות עתידיות של שרשרת האספקה על תוכנה על ידי מתן אפשרות למשתמשים להוריד ולאמת הוכחות ZK כדי לוודא שהם מריצים קוד שנבדק מראש בבונסאי. באופן מרגש ביותר, האימוץ הנרחב של בונסאי יכול להוביל למקרי שימוש חדשניים לחלוטין שטרם דמיינו.

נוסף לפריצות הדרך הטכנולוגיות המרשימות של RISC Zero הוא הצוות החזק והייחודי להפליא שעומד מאחוריו. שלושת המייסדים-בריאן רטפורד, ג'רמי ברוסטל, ו פרנק לאוב- מכירים זה את זה למעלה מ-20 שנה. ההיסטוריה המשותפת שלהם כוללת בניית חברות מרובות יחד, האחרונה שבהן הייתה בתחום אופטימיזציית הבינה המלאכותית והקומפילציה ובסופו של דבר נרכשה על ידי אינטל.

כל אחד מחברי השלישייה מביא ניסיון עשיר ל-RISC Zero - בריאן חידד את כישוריו ב-Google Cloud Platform, שם עבד על מערכות תמחור ומדידות; ג'רמי, חובב מתמטיקה לכל החיים, עבד על האצת GPU עבור רצף גנים ויש לו רקע בקריפטוגרפיה, HPC ואבטחה; ופרנק, שיש לו רקע חזק במהדרים ותכנן מספר רב של בסיסי קוד. עם ההיסטוריה המשותפת ומערך המיומנויות המגוון שלהם, ה RISC אפס הצוות ערוך באופן ייחודי לספק מחשוב אפס ידע להמונים, ובאופן פוטנציאלי, לעצב מחדש את הנוף הדיגיטלי בתהליך.

כאשר אנו מסתכלים לעתיד שבו חישוב אפס ידע הוא נפוץ, האפשרויות לחדשנות הן בלתי מוגבלות. רשת בונסאי של RISC Zero, עם יכולתה לתמוך במגוון רחב של שפות תכנות, תהפוך את חישובי ZK לדמוקרטיזציה ותעצים מפתחים ליצור יישומים מאובטחים, פרטיים וחסרי אמון בתחומים שונים. מחיזוק אמצעי אבטחת סייבר ועד להגברת האמון בשרשרת אספקת תוכנה והגדלה דרסטית של כוח החישוב הזמין ליישומים ברשת, ההשפעה הפוטנציאלית של מחשוב אפס ידע היא עצומה. השילוב של זמני ההוכחה והעלויות של ZK בירידה מהירה, צוות מחויב ב-RISC Zero והופעת בונסאי כפלטפורמת מחשוב רב-תכליתית, מבשר על עידן חדש בתחום המחשוב - אחד שבו פרטיות, אבטחה ואמון מובנים במארג עצמו. של העולם הדיגיטלי שלנו.

Disclosures: Blockchain Capital הוא משקיע בכמה מהפרוטוקולים שהוזכרו לעיל.

הדעות המובעות בכל פוסט בבלוג עשויות להיות הדעות האישיות של כל מחבר ואינן משקפות בהכרח את הדעות של Blockchain Capital ושל החברות הקשורות אליה. לא בלוקצ'יין קפיטל ולא המחבר מבטיחים את הדיוק, הלימות או השלמות של המידע המסופק בכל פוסט בבלוג. שום מצג או אחריות, מפורשת או משתמעת, לא ניתנים או ניתנים על ידי או בשמה של Blockchain Capital, המחבר או כל אדם אחר לגבי הדיוק והשלמות או ההגינות של המידע הכלול בכל פוסט בבלוג, ולא יתקבלו כל אחריות או חבות. לכל מידע כזה. שום דבר הכלול בכל פוסט בבלוג אינו מהווה השקעה, רגולציה, משפטית, ציות או ייעוץ מס או אחר, ואין להסתמך עליו בקבלת החלטת השקעה. אין לראות בפוסטים בבלוג כהמלצות נוכחיות או קודמות או שידול להצעה לקנות או למכור ניירות ערך כלשהם או לאמץ אסטרטגיית השקעה כלשהי. הפוסטים בבלוג עשויים להכיל תחזיות או הצהרות אחרות צופות פני עתיד, המבוססות על אמונות, הנחות וציפיות שעשויות להשתנות כתוצאה מאירועים או גורמים אפשריים רבים. אם יתרחש שינוי, התוצאות בפועל עשויות להשתנות באופן מהותי מאלו המובעים בהצהרות הצופות פני עתיד. כל ההצהרות צופות פני עתיד מדברות רק למועד הצהרות כאלה, ולא Blockchain Capital ולא כל מחבר נוטלים על עצמם כל חובה לעדכן הצהרות כאלה למעט כנדרש על פי חוק. ככל שמתייחסים למסמכים, מצגות או חומרים אחרים שהופקו, פורסמו או הופצו בדרך אחרת על ידי Blockchain Capital בכל פוסט בבלוג, יש לקרוא חומרים כאלה בתשומת לב קפדנית לכל כתב ויתור המסופק בהם.