Definitie
Geaggregeerd bewijs is een cryptografisch mechanisme waarbij meerdere afzonderlijke bewijzen, vaak over verschillende stellingen of transacties, worden samengevoegd tot één beknopt bewijssobject. Dit ene bewijs kan efficiënter worden geverifieerd dan het afzonderlijk controleren van elk origineel bewijs, terwijl dezelfde beveiligingsgaranties behouden blijven. Geaggregeerde bewijzen worden doorgaans zo geconstrueerd dat een verificateur slechts één verificatieprocedure hoeft uit te voeren om ervan overtuigd te zijn dat alle onderliggende stellingen geldig zijn.
In blockchain-contexten worden technieken voor geaggregeerd bewijs gebruikt om verificatiegegevens te comprimeren, de on-chain footprint te verkleinen en de rekenkosten van validatie te verlagen. Ze kunnen worden toegepast op handtekeningen, zero-knowledge-bewijzen of andere bewijssystemen die aggregatievriendelijke structuren ondersteunen. De kern-eigenschap is dat het geaggregeerde bewijs betrouwbaar blijft: als een van de onderliggende stellingen onwaar zou zijn, zou het gecombineerde bewijs de verificatie niet doorstaan.
Context en gebruik
Mechanismen voor geaggregeerd bewijs zijn vooral relevant voor schaalbaarheid en efficiëntie in gedistribueerde systemen die grote aantallen cryptografische stellingen moeten verifiëren. Door veel bewijzen te aggregeren tot één, kunnen validators of nodes sterke beveiliging handhaven terwijl bandbreedte-, opslag- en rekenvereisten worden verminderd. Dit is waardevol voor omgevingen met hoge throughput en complexe multi-party-protocollen.
Verschillende bewijssystemen ondersteunen aggregatie op verschillende manieren, zoals het aggregeren van veel handtekeningen van verschillende deelnemers of het combineren van meerdere zero-knowledge-bewijzen over afzonderlijke berekeningen. Het ontwerp van een schema voor geaggregeerd bewijs moet een balans vinden tussen beknoptheid, verificatiekosten en de complexiteit van het genereren van het geaggregeerde object. Als mechanisme dient het als een fundamenteel bouwblok voor beter schaalbare consensus, data availability en privacybeschermende constructies in blockchain en aanverwante cryptografische systemen.