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

Modular Compute Layer & RaaS Platform Lumoz הגיעה אבני דרך מרכזיות ברשת הבדיקות התמריצים השלישית שהסתיימה לאחרונה. בצד השוק, ה-testnet משך למעלה ממיליון משתמשים וקיבל תשומת לב ותמיכה מיותר מ-30 פרויקטים מובילים של מערכת אקולוגית. האירוע קבע שיאים חדשים במונחים של עניין בשוק, דיון וצמיחת קהילה. בפן הטכני, צוות Lumoz ביצע אופטימיזציות משמעותיות לאלגוריתם ZK-PoW, והשיג פריצת דרך שמשפרת את יעילות ייצור ZKP בכ-50%.

כשכבת מחשוב מודולרית מובילה של ZK & AI, Lumoz משתמשת בכריית PoW כדי לספק ביעילות כוח חישוב עבור Rollups, ZK-ML ואימות ZKP. הצוות הטכני הליבה עבד ללא לאות על החידושים הללו. ההתקדמות הטכנית האחרונה לא רק עוזרת ל-Lumoz להתבלט במרחב המחשוב התחרותי של Web3 ZK, אלא גם מכינה את הבמה לרשת ה-Lumoz ZK-PoW המרכזית הקרובה.

להלן הפרטים הספציפיים של האופטימיזציות של אלגוריתם Lumoz ZK-PoW:

שיפורים בתהליך האימות הקיים

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

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

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

הוכחה רקורסיבית ומצטברת

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

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

הקצאה יעילה יותר של כוח חישוב

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

שימוש חוזר בתוצאות חישוב

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

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

חישוב מקדים

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

תַקצִיר

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