הפגיעות ב־SP1 תוקנה בעקבות הסיכון להוכחות לא תקפות
Succinct חשפה פגיעות חמורה באמינות של מערכת הוכחות ה-zero-knowledge שלה, SP1. הבאג השפיע על מאמתים מקומיים של Rust בגרסאות 6.0.0 עד 6.8.0, ועלול היה לאפשר ל-Prover Network ברשת mainnet לקבל הוכחות להרצות לא תקינות. הפגיעות ב-SP1 נבעה מכך שהמאמתים בדקו תוויות נתונים בלי לוודא שמספר הרכיבים המאוחסנים תואם לממדים שנטענו. בדיקות Groth16 ו-Plonk בעלות מבנה קבוע, וכן מאמתים של Solidity ברשת, לא הושפעו. ב-24 בספטמבר פרסמה Succinct את גרסה 6.8.1, שהוסיפה בדיקת אורך בעת דה-סריאליזציה, ופרסה אותה ל-mainnet. Vitalis Salis דיווח על הבעיה דרך Immunefi. משתמשים שמפעילים מאמתי Rust מקומיים ומקבלים הוכחות מפרוברים שאינם מהימנים צריכים לשדרג לגרסה 6.8.1.
Neutral
הפגיעוּת הציבה סיכון אבטחה משמעותי: אילו נוצלה, מאמתים מקוריים של SP1 בשפת Rust שהושפעו ממנה היו עלולים לקבל הוכחות ביצוע לא תקפות, ובכך לפגוע באפליקציות הנשענות עליהם. עם זאת, לפי הדוח, Succinct פרסמה והטמיעה תיקון, בעוד שבדיקות Groth16 ו-Plonk בעלות צורה קבועה ומאמתים של Solidity על השרשרת לא הושפעו. הדבר מגביל את הסימנים לאיום שוק מתמשך ורחב. ההשפעה הישירה הסבירה ביותר היא עבודה תפעולית ממוקדת עבור משתמשים המריצים את מאמתני Rust שהושפעו, ולא לחץ מיידי על מחירי הקריפטו. בטווח הקצר, סוחרים עשויים לעקוב מקרוב יותר אחר פרויקטים הקשורים ל-SP1, פעילות האימות וכל דיווח על ניצול או הפסדים. בטווח הארוך, התקרית עשויה להגביר את הביקורת על מימושים של מערכות הוכחה ולהגדיל את הביקוש לביקורות אבטחה, לשדרוגי גרסאות ולבדיקות הגנה רב־שכבתיות. פגיעויות דומות בתשתיות יכולות לגרום לתנודות חדות כשכספים אובדים או שירותים ברשת כולה משתבשים; בהיעדר ראיות לניצול או לשיבוש מתמשך במקרה זה, הערכת שוק ניטרלית מתאימה יותר.