Zk-EVM Layer 2 של Scroll עולה לאוויר ברשת הבדיקות Goerli של Ethereum

Scroll הוציאה גרסת testnet של רשת Ethereum Layer 2 שלה ברשת הבדיקות Goerli, והעבירה את ה-zk-EVM משלב בדיקות קדם-אלפא לשלב בדיקות אלפא.

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

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

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

Scroll עובדת על הרשת שלה כבר שנתיים וכיום מונה 60 חברי צוות, לצד רשת רחבה יותר של תורמים חיצוניים.

מה הם zk-EVMs?

Zk-EVMs הן רשתות שכבה 2 הבנויות על Ethereum המשתמשות בהוכחות של אפס ידע כדי להשיג מדרגיות. החלק של EVM מתייחס ל-Ethereum Virtual Machine (EVM), ה-bit שמריץ יישומים במקום פשוט לעבד אותם. בהיותן תואמות EVM, רשתות אלו מסוגלות לתמוך ביישומי Ethereum ובמקביל פועלות בקנה מידה.

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

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

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

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

למה Scroll נוקטת בדרך הקשה יותר

ישנן שתי דרכים עיקריות שניתן לבנות zk-EVMs (טכנית יותר ביניים, אבל בואו לא נעמיק יותר מדי).

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

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

Scroll נוקטת בדרך המאתגרת יותר לבניית zk-EVM, אבל, היא מקווה, כזו שתהיה תואמת יותר ל-Ethereum וצריכה להוביל אימוץ גדול יותר. 

"כאשר ה-EVM תוכנן, הוא לא תוכנן להוכחות אפס ידע בכלל. הדרך שבה אתה כותב תוכנית אפס ידע שונה לחלוטין מהדרך שבה אתה כותב תוכנה מסורתית", אמר פסאודותיאוס.

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

יש לזה יתרונות: זה אמור להקל בהרבה על מפתחי Ethereum לבנות על Scroll ולהעביר אליו את הפרויקטים שלהם. ובגלל זה סקרול חושב שהשתל הקשה יהיה שווה את זה.

Polygon עובד גם על סוג זה של zk-EVM, בעוד ש-StarkWare נוקטת בגישה ההפוכה ו-zkSync נמצא איפשהו בין השניים.

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

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

מקור: https://www.theblock.co/post/215343/scrolls-zk-evm-layer-2-goes-live-on-ethereums-goerli-testnet?utm_source=rss&utm_medium=rss