Definīcija
Apkopots pierādījums ir kriptogrāfisks mehānisms, kurā vairāki atsevišķi pierādījumi, bieži par dažādiem apgalvojumiem vai darījumiem, tiek apvienoti vienā kodolīgā pierādījuma objektā. Šo vienu pierādījumu var pārbaudīt efektīvāk nekā katru sākotnējo pierādījumu atsevišķi, vienlaikus saglabājot tādas pašas drošības garantijas. Apkopoti pierādījumi parasti tiek veidoti tā, lai verifikators veiktu tikai vienu pārbaudes procedūru un būtu pārliecināts, ka visi pamatā esošie apgalvojumi ir derīgi.
Blockchain (blockchain) kontekstā apkopotu pierādījumu paņēmieni tiek izmantoti, lai saspiestu verifikācijas datus, samazinātu datus ķēdē un mazinātu validācijas skaitļošanas izmaksas. Tos var piemērot parakstiem, nulles zināšanu pierādījumiem (zero-knowledge proofs) vai citām pierādījumu sistēmām, kas atbalsta agregēšanai piemērotas struktūras. Galvenā īpašība ir tā, ka apkopots pierādījums saglabā korektumu: ja kāds no pamatā esošajiem apgalvojumiem būtu aplams, apvienotais pierādījums neizturētu verifikāciju.
Konteksts un pielietojums
Apkopotu pierādījumu mehānismi ir īpaši nozīmīgi mērogojamībai un efektivitātei izkliedētās sistēmās, kurām jāverificē liels skaits kriptogrāfisku apgalvojumu. Apvienojot daudzus pierādījumus vienā, validatori vai mezgli (nodes) var saglabāt augstu drošības līmeni, vienlaikus samazinot joslas platuma, glabāšanas un skaitļošanas prasības. Tas ir vērtīgi vidēs ar lielu caurlaidspēju un sarežģītos daudzpušu protokolos.
Dažādas pierādījumu sistēmas atbalsta agregēšanu atšķirīgos veidos, piemēram, apkopojot daudzus parakstus no dažādiem dalībniekiem vai apvienojot vairākus nulles zināšanu pierādījumus (zero-knowledge proofs) par atsevišķiem aprēķiniem. Apkopota pierādījuma shēmas izstrādē jāpanāk līdzsvars starp kodolīgumu, verifikācijas izmaksām un apkopotā objekta ģenerēšanas sarežģītību. Kā mehānisms tas kalpo par pamata būvelementu mērogojamākam konsensam (consensus), datu pieejamībai un privātumu saglabājošām konstrukcijām blockchain (blockchain) un radniecīgās kriptogrāfiskās sistēmās.