Definicija
Agregirani dokaz je kriptografski mehanizam u kojem se nekoliko odvojenih dokaza, često o različitim tvrdnjama ili transakcijama, spajaju u jedan sažeti objekt dokaza. Taj jedan dokaz može se provjeriti učinkovitije nego da se svaki izvorni dokaz provjerava zasebno, uz očuvanje istih sigurnosnih jamstava. Agregirani dokazi obično su konstruirani tako da verifikator treba pokrenuti samo jedan postupak verifikacije kako bi bio uvjeren da su sve temeljne tvrdnje valjane.
U kontekstu blockchaina (blockchain), tehnike agregiranog dokaza koriste se za komprimiranje verifikacijskih podataka, smanjenje on-chain otiska i snižavanje računalnog troška validacije. Mogu se primijeniti na potpise, zero-knowledge dokaze ili druge sustave dokaza koji podržavaju strukture pogodne za agregaciju. Ključno svojstvo je da agregirani dokaz ostaje ispravan: ako bi bilo koja od temeljnih tvrdnji bila netočna, kombinirani dokaz ne bi prošao verifikaciju.
Kontekst i primjena
Mehanizmi agregiranog dokaza osobito su važni za skaliranje i učinkovitost u distribuiranim sustavima koji moraju provjeravati velik broj kriptografskih tvrdnji. Agregiranjem mnogih dokaza u jedan, validatorima ili nodeovima omogućuje se održavanje snažne sigurnosti uz smanjenje zahtjeva za propusnošću, pohranom i računanjem. To je posebno vrijedno u okruženjima s visokim brojem transakcija i složenim višestranačkim protokolima.
Različiti sustavi dokaza podržavaju agregaciju na različite načine, poput agregiranja mnogih potpisa različitih sudionika ili kombiniranja više zero-knowledge dokaza o odvojenim izračunima. Dizajn sheme agregiranog dokaza mora uravnotežiti sažetost, trošak verifikacije i složenost generiranja agregiranog objekta. Kao mehanizam, on služi kao temeljni građevni blok za skalabilniji konsenzus (consensus), dostupnost podataka (data availability) i konstrukcije koje čuvaju privatnost u blockchainu (blockchain) i povezanim kriptografskim sustavima.