Definícia
Agregovaný dôkaz je kryptografický mechanizmus, pri ktorom sa niekoľko samostatných dôkazov, často o rôznych tvrdeniach alebo transakciách, zlúči do jedného stručného dôkazového objektu. Tento jediný dôkaz je možné overiť efektívnejšie, než keby sa každý pôvodný dôkaz kontroloval zvlášť, pričom sa zachovajú rovnaké bezpečnostné záruky. Agregované dôkazy sú zvyčajne skonštruované tak, aby overovateľ musel spustiť iba jeden overovací postup, aby bol presvedčený, že všetky podkladové tvrdenia sú platné.
V kontexte blockchainu (blockchain) sa techniky agregovaného dôkazu používajú na kompresiu overovacích dát, zníženie nárokov na miesto on-chain a zníženie výpočtových nákladov na validáciu. Môžu sa aplikovať na podpisy, zero-knowledge proofs (dôkazy s nulovou znalosťou) alebo iné dôkazové systémy, ktoré podporujú štruktúry vhodné na agregáciu. Kľúčovou vlastnosťou je, že agregovaný dôkaz zostáva spoľahlivý: ak by niektoré z podkladových tvrdení bolo nepravdivé, kombinovaný dôkaz by neprešiel overením.
Kontext a použitie
Mechanizmy agregovaného dôkazu sú obzvlášť dôležité pre škálovanie a efektivitu v distribuovaných systémoch, ktoré musia overovať veľké množstvo kryptografických tvrdení. Agregovaním mnohých dôkazov do jedného môžu validátori alebo nody udržať silnú bezpečnosť a zároveň znížiť požiadavky na prenos dát, úložisko a výpočtové zdroje. To je cenné pre prostredia s vysokou priepustnosťou a pre zložité viacstranné protokoly.
Rôzne dôkazové systémy podporujú agregáciu rôznymi spôsobmi, napríklad agregovaním mnohých podpisov od rôznych účastníkov alebo spájaním viacerých zero-knowledge proofs (dôkazov s nulovou znalosťou) o samostatných výpočtoch. Návrh schémy agregovaného dôkazu musí vyvažovať stručnosť, náklady na overenie a zložitosť generovania agregovaného objektu. Ako mechanizmus slúži ako základný stavebný prvok pre lepšie škálovateľný konsenzus (consensus), dostupnosť dát (data availability) a konštrukcie zachovávajúce súkromie v blockchainových (blockchain) a príbuzných kryptografických systémoch.