הגדרה
Aggregated proof הוא מנגנון קריפטוגרפי (cryptography) שבו כמה הוכחות נפרדות, לעיתים לגבי טענות או עסקאות שונות, מאוחדות לאובייקט הוכחה תמציתי אחד. ניתן לאמת הוכחה יחידה זו ביעילות גבוהה יותר מאשר בדיקה של כל הוכחה מקורית בנפרד, תוך שמירה על אותן הבטחות אבטחה. בדרך כלל בונים aggregated proofs כך שמאמת צריך להריץ רק תהליך אימות אחד כדי להשתכנע שכל הטענות הבסיסיות תקפות.
בהקשרים של בלוקצ'יין (blockchain), טכניקות aggregated proof משמשות לדחיסת נתוני אימות, לצמצום הנפח על הרשת (on-chain) ולהפחתת העלות החישובית של תהליך הוולידציה. ניתן ליישם אותן על חתימות, הוכחות אפס-ידע (zero-knowledge proofs) או מערכות הוכחה אחרות שתומכות במבנים ידידותיים לאגרגציה. התכונה המרכזית היא שההוכחה המאוגדת נשארת תקפה ואמינה: אם אחת מהטענות הבסיסיות שגויה, ההוכחה המשולבת תיכשל באימות.
הקשר ושימושים
מנגנוני aggregated proof רלוונטיים במיוחד להרחבה (scalability) וליעילות במערכות מבוזרות שצריכות לאמת מספרים גדולים של טענות קריפטוגרפיות. על ידי איחוד של הוכחות רבות להוכחה אחת, מאמתים או nodes יכולים לשמור על רמת אבטחה גבוהה תוך הפחתת דרישות רוחב הפס, האחסון והחישוב. זה חשוב במיוחד לסביבות בעלות תפוקה גבוהה ולפרוטוקולים מורכבים מרובי-משתתפים.
מערכות הוכחה שונות תומכות באגרגציה בדרכים שונות, למשל איחוד של חתימות רבות ממשתתפים שונים או שילוב של מספר הוכחות אפס-ידע לגבי חישובים נפרדים. תכנון סכמת aggregated proof חייב לאזן בין תמציתיות, עלות האימות ומורכבות יצירת אובייקט ההוכחה המאוגד. כמנגנון, הוא משמש אבן בניין בסיסית לקונסנזוס (consensus) סקיילבילי יותר, זמינות נתונים ופתרונות שימור פרטיות במערכות בלוקצ'יין (blockchain) ומערכות קריפטוגרפיות קשורות.