Anaxi Labs ו-CyLab של אוניברסיטת קרנגי מלון חושפים מערכת הוכחה פורצת דרך

PITTSBURGH, ארצות הברית, 6 בדצמבר, 2024/Chainwire/--Anaxi Labs, בשיתוף פעולה עם CyLab של אוניברסיטת קרנגי מלון, מכון הסייבר והפרטיות של האוניברסיטה, מכריזה על מסגרת מהדר להצפנה שפותרת מבוי סתום - בניית יישומים ניתנים להרחבה עם אפס. ידע דורש פשרות יסודיות.

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

פריצת דרך בקריפטוגרפיה ללא פשרות

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

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

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

המאמר האחרון של CMU מציג דרך מהפכנית להידור ישיר של תוכנות ברמה גבוהה ולהמירה לצורות פשוטות יותר (ייצוגים ברמה נמוכה) הדרושים כדי שמערכות ההוכחה הבסיסיות יפעלו.

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

העבודה משיגה זאת על ידי ניתוח התוכנית ברמה הגבוהה, פירוק התוכנית ליחידות קטנות בלתי ניתנות לחלוקה, ואז יצירת ייצוג ברמה נמוכה מכל יחידה שניתן להזין בקלות במגוון מערכות הוכחה.

"הרעיון הזה של פירוק החישוב לנתחים מאוד ספציפיים שתופסים את מקומו של מעבד באופן אוטומטי הוא גישה חדשה, וזו הפעם הראשונה שמישהו ניסה סוג כזה של גישה שבה אנחנו נמנעים מהייצוג המלא של התוכנית עבור מהדר", אמר Riad Wahby, עוזר פרופסור באוניברסיטת קרנגי מלון המחלקה להנדסת חשמל ומחשבים .

"אנחנו מאוד נרגשים מזה."

פתיחת יישומים מבוזרים חדשים

המחקר והמסגרת ש- Anaxi Labs בונה מהמחקר אמורים לחולל מהפכה בתעשיות ב-Web3 ומחוצה לה.

בפיננסים מסורתיים ומוסדרים, שיפור הביצועים תוך שמירה על יכולת הביקורת מאפשרת הסדר בזמן אמת של העברות תוך בנקאיות כמו תשלומים מיידיים בדולר ארה"ב.

בתחום הבריאות, על רקע האתגרים העומדים בפני 23andMe, כלי הצפנה מאובטחים ושומרי פרטיות המאפשרים מוצר שפותח על ידי Anaxi Labs, יכולים כעת לטפל בחששות קריטיים ולנצל בבטחה מידע גנטי פרטי על ידי הבטחת בעלות נכונה על ה-DNA של האדם, תוך מתן אפשרות למחקר בעל ערך.

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

בטווח המיידי, מוצרים המבוססים על המחקר מספקים את הפתרון היעיל ביותר עבור חברות Web3 המתמודדות עם פשרה של מדרגיות, אבטחה וביזור, ומציעים פרדיגמה עיצובית חדשה ל-Rollups ויכולת פעולה הדדית.

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

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

"זה מאפשר לכל המפתחים לבחור ולשלב באופן אוטומטי את מיטב ההתקדמות העדכנית ביותר במערכות הוכחה כגון חיפושים, מעבדים משותפים והאצת חומרה; מקסום את רווחי הביצועים של כל מצע חישובי."

Anaxi Labs ו- CyLab, שותפות משנה משחק

CyLab של קרנגי מלון היה במרכז המחקר החדשני ששימש כבסיס לפיתוח בלוקצ'יין - כולל אפס ידע.

חוקרי סגל בולטים מ- CyLab כוללים את הפרופסור המוערך בריאן פרנו, תורם קריטי להיסטוריה של ZK שהמעבדה שלו הפיקה את המסמך המצוטט סדרת נייר נובה , ועוזר פרופסור Riad Wahby, שממצאיו הביאו לטכנולוגיות קריפטוגרפיות חדשות שהגשימו חזיונות של קרן Ethereum (ולאחרונה, פורצת הדרך Jolt zkVM יישום על ידי חטיבת הקריפטו של אנדריסן הורוביץ, a16z crypto).

הממצאים המפורטים במסגרת מהדר זו הם תוצאה של פרויקט המחקר השני שמקורו בשותפות הסימביוטית בין Anaxi Labs ו- CyLab באמצעות יוזמת CMU Secure Blockchain.

שותפות זו מאפשרת לאקדמאים ב-CMU לשתף פעולה וללמוד מהתובנות שנאספו מהפריסה המסחרית של מחקר הבלוקצ'יין שלהם, בראשות Anaxi Labs, עבור יישומי Web3 ו-Web 2.0 כאחד.

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

"השותפות של Anaxi Labs עם CyLab מקדמת את יכולתם של חוקרי CMU לעבוד על פרויקטים עם יישומים ישירים בעולם האמיתי, ומבטיחה שלעבודה שלהם יש רלוונטיות מעשית ופוטנציאל להשפעה", אמר מייקל ליסנטי, מנהל שותפויות בכיר של CyLab.

למידע נוסף על Anaxi Labs: https://www.anaxilabs.com/

למידע נוסף על Anaxi Labs והעבודות האחרונות של CyLab: https://www.cylab.cmu.edu/

למידע נוסף על השותפות של CyLab עם Anaxi Labs: https://www.cylab.cmu.edu/news/2024/07/17-anaxi-labs-strategic-partner.html

על Anaxi Labs

אנקסי לאבס היא סוג חדש של מעבדת מחקר ופיתוח המגשרת בין עולמות התיאוריה האקדמית המתקדמת ואימוץ המוני.

הם מוקדשים להפקת מחקר מקורי ומתקדם, בניית תשתית מבוזרת בטוחה וניתנת להרחבה ברמה ארגונית, וזירוז הדור הבא של יישומים מבוזרים המופעלים על ידי קריפטוגרפיה.

Anaxi Labs עובדת עם המוחות המובילים בעולם במחקר קריפטוגרפיה ומהנדסים ברמה עולמית שיש להם ניסיון בבנייה ותפעול של מוצרים בעלי שם בית עם מאות מיליוני משתמשים.

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

אֲתַר אִינטֶרנֶט: https://www.anaxilabs.com/

על CyLab

של אוניברסיטת קרנגי מלון CyLab הוא המכון לחקר האבטחה והפרטיות של האוניברסיטה.

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

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

אֲתַר אִינטֶרנֶט: https://www.cylab.cmu.edu/

מַגָע

יחסי ציבור

דייזי ליונג

[email protected]