Определение
Агрегираното доказателство е криптографски механизъм, при който няколко отделни доказателства, често за различни твърдения или транзакции, се обединяват в един кратък (сбит) доказателствен обект. Това единично доказателство може да бъде проверено по-ефективно, отколкото ако всяко първоначално доказателство се проверява поотделно, като същевременно се запазват същите гаранции за сигурност. Агрегираните доказателства обикновено се конструират така, че проверяващият да трябва да изпълни само една процедура по верификация, за да бъде убеден, че всички базови твърдения са валидни.
В контекста на блокчейн (blockchain) агрегирани доказателствени техники се използват за компресиране на данните за верификация, намаляване на следата върху веригата и понижаване на изчислителните разходи за валидиране. Те могат да се прилагат към подписи, zero-knowledge proofs (доказателства с нулево знание) или други доказателствени системи, които поддържат структури, подходящи за агрегация. Основното свойство е, че агрегираното доказателство остава коректно: ако някое от базовите твърдения е невярно, комбинираното доказателство няма да премине верификация.
Контекст и употреба
Механизмите за агрегирано доказателство са особено важни за мащабируемост и ефективност в разпределени системи, които трябва да проверяват голям брой криптографски твърдения. Чрез агрегирането на много доказателства в едно, validator-и или node-ове могат да запазят силна сигурност, като същевременно намаляват изискванията за трафик, съхранение и изчислителни ресурси. Това е ценно за среди с висок капацитет на обработка и сложни многопартийни протоколи.
Различните доказателствени системи поддържат агрегация по различни начини, например чрез агрегиране на множество подписи от отделни участници или комбиниране на няколко zero-knowledge proofs (доказателства с нулево знание) за отделни изчисления. Дизайнът на схема за агрегирано доказателство трябва да балансира между компактност, цена на верификацията и сложност при генерирането на агрегирания обект. Като механизъм той служи като основен градивен елемент за по-мащабируем консенсус (consensus), наличност на данните (data availability) и конструкции, запазващи поверителността, в блокчейн (blockchain) и свързаните с него криптографски системи.