Opredelitev
Aggregated proof (združeni dokaz) je kriptografski mehanizem, pri katerem je več ločenih dokazov, pogosto o različnih trditvah ali transakcijah, združenih v en sam jedrnat dokazni objekt. Ta en sam dokaz je mogoče preveriti učinkoviteje, kot če bi vsak izvirni dokaz preverjali posebej, pri čemer se ohranijo enake varnostne garancije. Združeni dokazi so običajno zasnovani tako, da mora preverjevalec izvesti le en postopek preverjanja, da je prepričan, da vse osnovne trditve držijo.
V kontekstu verig blokov (blockchain) se tehnike aggregated proof uporabljajo za stiskanje podatkov za preverjanje, zmanjšanje odtisa na verigi in znižanje računske cene validacije. Uporabijo se lahko za podpise, dokaze z ničelnim razkritjem znanja (zero-knowledge proofs) ali druge dokazne sisteme, ki podpirajo strukture, prijazne za agregacijo. Ključna lastnost je, da združeni dokaz ostane zanesljiv: če bi bila katera od osnovnih trditev napačna, bi kombinirani dokaz padel na preverjanju.
Kontekst in uporaba
Mehanizmi aggregated proof so še posebej pomembni za razširljivost in učinkovitost v porazdeljenih sistemih, ki morajo preverjati veliko število kriptografskih trditev. Z združevanjem številnih dokazov v enega lahko validatorji ali vozlišča (nodes) ohranijo visoko raven varnosti, hkrati pa zmanjšajo potrebe po pasovni širini, shranjevanju in računski moči. To je posebej dragoceno v okoljih z visokim pretokom transakcij in v kompleksnih večstranskih protokolih.
Različni dokazni sistemi podpirajo agregacijo na različne načine, na primer z združevanjem številnih podpisov različnih udeležencev ali s kombiniranjem več dokazov z ničelnim razkritjem znanja (zero-knowledge proofs) o ločenih izračunih. Zasnova sheme aggregated proof mora uravnotežiti jedrnatost, strošek preverjanja in kompleksnost generiranja združenega objekta. Kot mehanizem deluje kot temeljni gradnik za bolj razširljive mehanizme soglasja (consensus), razpoložljivosti podatkov (data availability) in konstrukcije, prijazne do zasebnosti, v verigah blokov (blockchain) in sorodnih kriptografskih sistemih.