Definicja
Aggregated proof to mechanizm kryptograficzny (cryptography), w którym kilka oddzielnych dowodów – często dotyczących różnych stwierdzeń lub transakcji – jest scalanych w jeden zwięzły obiekt dowodowy. Ten pojedynczy dowód można zweryfikować znacznie wydajniej niż każdy z oryginalnych dowodów osobno, przy zachowaniu tych samych gwarancji bezpieczeństwa. Aggregated proofs są zazwyczaj konstruowane tak, aby weryfikator musiał uruchomić tylko jedną procedurę weryfikacji, aby mieć pewność, że wszystkie leżące u podstaw stwierdzenia są prawdziwe.
W kontekście technologii blockchain (blockchain) techniki aggregated proof służą do kompresji danych weryfikacyjnych, zmniejszenia śladu on-chain oraz obniżenia kosztu obliczeniowego walidacji. Można je stosować do podpisów, dowodów zerowej wiedzy (zero-knowledge proofs) lub innych systemów dowodowych, które wspierają struktury przyjazne agregacji. Kluczową właściwością jest to, że zagregowany dowód pozostaje poprawny (sound): gdyby którekolwiek z leżących u podstaw stwierdzeń było fałszywe, połączony dowód nie przeszedłby weryfikacji.
Kontekst i zastosowanie
Mechanizmy aggregated proof są szczególnie istotne dla skalowania i efektywności w systemach rozproszonych, które muszą weryfikować duże liczby kryptograficznych stwierdzeń. Dzięki agregowaniu wielu dowodów w jeden, validatorzy lub nody (node) mogą utrzymać wysoki poziom bezpieczeństwa, jednocześnie zmniejszając wymagania dotyczące przepustowości, pamięci i mocy obliczeniowej. Jest to szczególnie cenne w środowiskach o wysokiej przepustowości oraz w złożonych protokołach wielostronnych.
Różne systemy dowodowe wspierają agregację na różne sposoby, na przykład poprzez agregowanie wielu podpisów od różnych uczestników lub łączenie wielu dowodów zerowej wiedzy (zero-knowledge proofs) dotyczących odrębnych obliczeń. Projekt schematu aggregated proof musi równoważyć zwięzłość, koszt weryfikacji oraz złożoność generowania zagregowanego obiektu. Jako mechanizm stanowi on podstawowy element budulcowy dla bardziej skalowalnych rozwiązań konsensusu (consensus), dostępności danych (data availability) oraz konstrukcji zapewniających prywatność w systemach blockchain (blockchain) i pokrewnych systemach kryptograficznych (cryptography).