Definicija
Agregisani dokaz je kriptografski mehanizam u kome se više odvojenih dokaza, često o različitim tvrdnjama ili transakcijama, spajaju u jedan sažet dokazni objekat. Ovaj jedinstveni dokaz može se verifikovati efikasnije nego da se proverava svaki izvorni dokaz pojedinačno, uz očuvanje istih bezbednosnih garancija. Agregisani dokazi se tipično konstruišu tako da je verifikatoru potrebno da pokrene samo jednu proceduru verifikacije kako bi bio uveren da su sve osnovne tvrdnje važeće.
U kontekstu blockchain-a (blockchain), tehnike agregisanog dokaza koriste se za kompresiju verifikacionih podataka, smanjenje zauzeća prostora na lancu i umanjenje računarskog troška validacije. Mogu se primeniti na potpise, zero-knowledge dokaze ili druge sisteme dokaza koji podržavaju strukture pogodne za agregaciju. Ključno svojstvo je da agregisani dokaz ostaje ispravan: ako je bilo koja od osnovnih tvrdnji bila netačna, kombinovani dokaz bi pao na verifikaciji.
Kontekst i upotreba
Mehanizmi agregisanog dokaza posebno su važni za skaliranje i efikasnost u distribuiranim sistemima koji moraju da verifikuju veliki broj kriptografskih tvrdnji. Agregacijom mnogih dokaza u jedan, validatori ili čvorovi mogu da zadrže snažnu bezbednost, a da istovremeno smanje zahteve za protokom podataka, skladištem i računanjem. Ovo je posebno vredno u okruženjima sa visokim protokom i u složenim višepartijskim protokolima.
Različiti sistemi dokaza podržavaju agregaciju na različite načine, kao što je agregiranje mnogih potpisa različitih učesnika ili kombinovanje više zero-knowledge dokaza o odvojenim proračunima. Dizajn šeme agregisanog dokaza mora da uskladi sažetost, trošak verifikacije i složenost generisanja agregisanog dokaznog objekta. Kao mehanizam, on služi kao osnovni građevinski blok za skalabilnije konsenzus (consensus), dostupnost podataka (data availability) i konstrukcije koje čuvaju privatnost u blockchain (blockchain) i srodnim kriptografskim sistemima.