השנה, הוכחות אפס ידע (zk-proofs) מטביעות את חותמן כמכשירי ההצפנה החזקים ביותר המניעים חדשנות במערכות אקולוגיות מבוזרות.
הוכחות Zk הגו לראשונה על ידי חוקרי מדעי המחשב שרי גולדוואסר, סילביו מיקלי וצ'רלס רקוף במאמרם משנת 1985, מורכבות הידע של מערכות הוכחה אינטראקטיביות. מפתחים, אדריכלי מערכות וחוקרים בקהילת Ethereum - מערכת האקולוגית המובילה של בלוקצ'יין חוזים חכמים - בילו את החלק הטוב ביותר של שלוש השנים האחרונות במאמץ היצירתי שלהם כדי לפתח פתרונות - ולעתים קרובות יותר, דרכים עוקפות זמניות. המטרה שלהם היא לתקן את שני הליקויים הבולטים של הבלוקצ'יין: היכולת לפעול ביעילות בקנה מידה, ולשמור על פרטיות המשתמש באופן חד משמעי.
בשתי הזכויות, המוחות הטובים והמבריקים ביותר של Ethereum התכנסו לפרוטוקולי אפס ידע והטמעות הרב-תכליתיות שלהם כדי לבנות את האיטרציה הבאה של תשתית בלוקצ'יין מלאה של טורינג.
החיפוש אחר תפוקה
הוכחת zk מתארת מנגנון שבו צד אחד יכול להוכיח לאחר שהצהרה נתונה נכונה מבלי לחשוף מידע נוסף, במיוחד תוכן ההצהרה עצמה. למרות שישים יותר באופן מיידי בתרחישים ממוקדי פרטיות - המפורסמת ביותר בהשקת Zcash ב-2016, מטבע פרטיות שמעסיק ZK כדי להגן על עסקאות - הוכחות zk עלו לגדולה בחיפוש המטורף של Ethereum אחר פתרון מדרגיות שיכול לפתוח את מערך ההרחבה שלו. יישומי DeFi ו-NFT מהפכניים לשוק ההמוני.
לפי הספר הלבן של סאטושי, הבלוקצ'יין פותח למטרה אחת: לעקוף סמכות באמצעות היווצרות של מערכת עמידה לצנזורה, מבוזרת ללא נקודת כשל אחת. למרות הישג אדיר בארכיטקטורת המערכת, ביזור אינו מגיע ללא עלויות. במערכות מבוזרות, תהליכים של החלפה, אחסון ואימות מידע מתרחשים בין מכשירים, תוכנות ובני אדם תלויים זה בזה. כלומר, מדובר במערכות גבוהות במיוחד מורכבות הידע.
בניגוד לתהליכים היעילים שמקורם במערכות מרכזיות, מורכבות הידע פוגעת בהכרח מיעילות הרשת, מאטה את זמני העסקאות ומגדילה את עלויות העסקאות עבור המשתמשים.
מאז פיאסקו Cryptokitties של 2017, Ethereum הוצב בזרקור הקריפטו התמידי כפוסטר-ילד של דילמת המדרגיות המובנית של בלוקצ'יין. כמובילת התעשייה ביישומים ומשתמשים מבוזרים, מורכבות הידע של Ethereum מגבילה את תפוקת העסקאות שלה לעשר עסקאות פעוטות בשנייה - 12 ביום טוב.
נחושים בדעתם להתמודד עם הבעיה, צוותי מפתחים ברחבי המערכת האקולוגית פיתחו פתרונות ראשוניים שונים: ערוצי מדינה, שלא היו תואמים ל-EVM ודרשו זהויות משתמש ומנעולי הון מראש; Plasma, רשת של Child-Chains פחות נוחה שחסרה גם תאימות ל-EVM; Sidechains, אשר פעלו באופן עצמאי מאבטחת הרשת המרכזית Ethereum; ו-Sharding, שינוי קונצנזוס שתכונותיו ותאריכי המסירה שלו השתנו והתפתחו באופן שמזכיר הבטחות מופרזות של קמפיין פוליטי.
Zks נשארו במסגרת בצורה של Zk-Rollups, מנגנון שמשתמש בטכנולוגיית zkSNARK כדי לאחד עסקאות מחוץ לשרשרת דרך Merkle Trees ולפרסם אותן לרשת Ethereum הראשית בעסקה אחת - מודל יעיל ביותר שביצע חישוב מחוץ לשרשרת והשתמשו ב-Mainchain אך ורק לאחסון נתונים. למרות שהפתרון הטכני הטוב ביותר בברז, Zk-Rollups עדיין לא היו תואמות EVM, ויכלו לשמש רק כערוצי תשלום. יישומי DeFi יצטרכו להישאר בשרשרת עד ש-roll-ups יוכלו לתמוך בביצוע חוזה חכם.
אוסף האופטימיות
במירוץ לתמוך ב-DeFi, צוות המפתחים של Ethereum Optimism היה הראשון שהצליח עם שחרורו של Optimistic Rollups, שרשרת אוסף תואמת EVM המוכנה לפריסות dApp בלחיצה אחת, והכל ללא הוכחת zk אחת. היה רק תקלה אחת: האוסף של Optimism היה תלוי בהוכחות הונאה כדי לפרסם עסקאות מקובצות על השרשרת, ובכך דרש מהמשתמשים לסבול עיכובים בזמן מחלוקת (DTDs) עבור משיכות מרכזיות, לרוב למעלה משבוע. אבל עם יכולת קומפוזיציה מקוונת, אופטימיות נותרה האלטרנטיבה הטובה ביותר הזמינה.
זה היה, עד לחודשים האחרונים, כאשר Matter Labs הוציאה את zkSync v2: Zk-Rollup פונקציונלי לחלוטין, תואם EVM, שמשתמש בהוכחות תוקף חישוביות עם DTDs קצרות. עם תאימות EVM שנפתרה עבור v2, zkSync והמשיכות הראשיות של תת עשר דקות שלה עומדות כעת עדיפות על אופטימיזם, ש-OVM שלה עדיין תלוי ב-DTD ממושך כדי לאשר עסקאות משיכה.
כאשר תשומת הלב ומשאבי המפתחים ממשיכים לנדוד לעבר תחום אפס הידע, המציאות מתבררת: לפי כותרת בחירתם של האדריכלים שלהם, תוכננו הוכחות zk למערכות המאופיינות על ידי מורכבות ידע גבוהה, והם מתאימים ביותר לפתור רבות מהדילמות החישוביות העומדות בפני מערכות אקולוגיות של בלוקצ'יין והדרכים שלהן לאימוץ.
מעגל מלא: שמירה על פרטיות היכן שהיא שייכת
עם התפיסה של DeFi, Ethereum הבטיחה את מקומה כמרכז הבחירה לחדשנות בלוקצ'יין. יישומים מתוחכמים כמו אלה המהווים את מגזר ה-DeFi של הקריפטו מחייבים חיסכון במדינה, ולכן מודל העסקאות של Ethereum של שלמות Turing וחשבון. בינתיים, יישומים ממוקדי פרטיות פועלים על בלוקצ'יין עם מודלים של עסקאות UTXO, כאשר מדינות גלובליות כולל יתרות חשבונות מטופלות על ידי רמות הפשטה גבוהות יותר כמו יישומי ארנק וחוקרי בלוק.
עד לנקודה זו, במשימה להביא פרטיות ל-DeFi, מפתחים הסתפקו בהבאת DeFi לפרטיות, או בניית UTXO blockchains עצמאית או מודלים מרכזיים ואטומים ביותר של Layer 2 הרחק מהרשת המרכזית הציבורית המרתיעה של Ethereum.
זה היה רק בינואר 2019 כאשר תקן האסימון הסודי הראשון של Ethereum על השרשרת נוצר בפרוטוקול האצטקי EIP-1724. Aztec הציע להשתמש ב-zkSNARKs כדי ליצור אסימונים פרטיים ב-Ethereum, אם כי א תידרש הגדרה מהימנה לחלוקת מפתחות פרטיים. בנוסף, כל תהליך הערפול המעניק פרטיות ל-zk-tokens של Aztec מתרחש בשכבה 2 מעין. דגם בעל חזון מבריק, מבנה Layer 2 של Aztec הביא לראשונה את הפרטיות לאתריום. אבל בניגוד למדרגיות, המנדט הקרדינלי של הפרטיות הוא שהיא חייבת לחיות על שכבה 1 - ללא אם, אנדים או גשרים.
הגדרה מהימנה
שנה לאחר ההשקה של Aztec, צוות Offshift הגיש פתרון Layer 1 PriFi חלוצי ב-Ethereum המיועד להשקה ברבעון הראשון של 1. המודל של הצוות משתמש ב-ZKs Bulletproof, שבניגוד ל-SNARKs, אינם דורשים שום אלמנט של התקנה מהימנה, וחיים במלואם. על שכבה 2022. כדי לטפל במודל העסקאות המבוסס על חשבון Ethereum, הפרוטוקול של Offshift מנפיק zkAssets בצורה של התחייבויות קריפטוגרפיות המוחלפות בין כתובות Ethereum במודל UTXO, ובכך מאפשר ליישומי PriFi ליהנות מהשלמות Turing של Ethereum מבלי לעזוב את שכבה 1.
למרות אתגרים ייחודיים לחלוטין, מדרגיות יעילה ופרטיות בלתי חדירה נפתרות בצורה הטובה ביותר על ידי כלים חישוביים המיועדים למערכות מבוזרות - כלומר, מערכות המאופיינות במורכבות ידע גבוהה במיוחד.
עשרות שנים שהקדימו את זמנם, גולדווסר, מקאלי ורקוף הבהירו בבירור במאמרם משנת 1985: "מורכבות הידע עוזרת להוכיח או להפריך את נכונותם של פרוטוקולים קריפטוגרפיים שכן אלה מבוססים על סודיות של מידע פרטי מסוים וצריכים לשמור על סודיות זו. ”
לאחר מכן הם ציינו בפיוטי, "הפרטיות של מידע מסוים היא מה שנותן לנו יתרון על פני היריבים שלנו."
אלכס שיפ קצין האסטרטגיה הראשי של מעבר משמרת, פלטפורמת נגזרות PriFi (פרטי DeFi).
מקור: https://thedefiant.io/zero-knowledge-ethereum-layer-1/
- 2016
- 2019
- חֶשְׁבּוֹן
- נוסף
- אימוץ
- יתרון
- תעשיות
- מאפשר
- יישומים
- ארכיטקטורה
- הטוב ביותר
- blockchain
- לִבנוֹת
- בִּניָן
- מבצע
- קיבולת
- הון
- ערוצים
- צ'ארלס
- רֹאשׁ
- מטבע
- קהילה
- מדעי מחשב
- קונסנסוס
- תוכן
- להמשיך
- חוזה
- עלויות
- יְצִירָתִי
- דפ
- נתונים
- אחסון נתונים
- תאריכים
- יְוֹם
- ביזור
- מבוזר
- יישומים מבוזרים
- DeFi
- עיכובים
- מסירה
- נגזרים
- לפתח
- מפתח
- מפתחים
- התקנים
- מַחֲלוֹקֶת
- המערכת האקולוגית
- מערכות אקולוגיות
- יְעִילוּת
- ethereum
- מול
- כשלון
- ראשון
- firsttime
- מתאים
- טופס
- הונאה
- גלוֹבָּלִי
- טוב
- גָבוֹהַ
- איך
- HTTPS
- בני אדם
- כולל
- תעשייה
- מידע
- תשתית
- חדשנות
- אינטראקטיבי
- בעיות
- IT
- שמירה
- מפתחות
- ידע
- מעבדות
- לשגר
- מוביל
- מנעולים
- עשייה
- סימן
- שוק
- משימה
- מודל
- חודשים
- רשת
- NFT
- קָצִין
- באינטרנט
- לפתוח
- מאמר
- תשלום
- פלטפורמה
- פְּרָטִיוּת
- פְּרָטִי
- מפתחות פרטיים
- פרוטוקול
- ציבורי
- לפרסם
- Q1
- לחקור
- גזע
- מציאות
- משאבים
- סטושי
- חסכת
- בקרת מערכות ותקשורת
- סולם
- מדע
- חיפוש
- אבטחה
- sharding
- קצר
- מאט
- חכם
- חוזה חכם
- תוכנה
- פתרונות
- מדינה
- הצהרה
- הברית
- אחסון
- אִסטרָטֶגִיָה
- הוגש
- תמיכה
- מערכת
- מערכות
- ברז
- טכני
- טכנולוגיה
- זמני
- זמן
- אסימון
- מטבעות
- עסקה
- עסקות
- us
- פרטיות המשתמש
- משתמשים
- ארנק
- שבוע
- סקירה טכנית
- שנה
- שנים
- Zcash
- אפס
- הוכחות לידע אפס