Визначення
Aggregated proof — це криптографічний механізм, у якому кілька окремих доказів, часто щодо різних тверджень або транзакцій, об’єднуються в один стислий об’єкт доказу. Цей єдиний доказ можна перевірити ефективніше, ніж кожен початковий доказ окремо, при цьому зберігаються ті самі гарантії безпеки. Aggregated proofs зазвичай побудовані так, що перевіряльнику потрібно виконати лише одну процедуру верифікації, щоб переконатися, що всі базові твердження є коректними.
У контексті blockchain-технологій техніки aggregated proof використовуються для стиснення даних верифікації, зменшення обсягу даних на ланцюгу та зниження обчислювальної вартості валідації. Їх можна застосовувати до підписів, zero-knowledge proofs або інших систем доказів, які підтримують структури, придатні до агрегації. Ключова властивість полягає в тому, що агрегований доказ залишається коректним: якщо будь-яке з базових тверджень є хибним, об’єднаний доказ не пройде верифікацію.
Контекст і використання
Механізми aggregated proof особливо важливі для масштабування та підвищення ефективності в розподілених системах, які мають перевіряти велику кількість криптографічних тверджень. Агрегуючи багато доказів в один, validators або nodes можуть зберігати високий рівень безпеки, одночасно зменшуючи вимоги до пропускної здатності, сховища та обчислювальних ресурсів. Це цінно для середовищ з високою пропускною здатністю та складних багатосторонніх протоколів.
Різні системи доказів підтримують агрегацію по-різному, наприклад, агрегуючи багато підписів від різних учасників або поєднуючи кілька zero-knowledge proofs щодо окремих обчислень. Проєктування схеми aggregated proof має збалансувати стислість, вартість верифікації та складність генерування агрегованого об’єкта. Як механізм, він слугує базовим будівельним блоком для більш масштабованого consensus, data availability та конфіденційних конструкцій у blockchain та пов’язаних криптографічних системах.