Определение
Aggregated proof — это криптографический механизм, при котором несколько отдельных доказательств, часто относящихся к разным утверждениям или транзакциям, объединяются в один краткий объект доказательства. Это единое доказательство можно проверить более эффективно, чем каждое исходное доказательство по отдельности, при этом сохраняются те же гарантии безопасности. Как правило, агрегированные доказательства строятся так, чтобы проверяющему было достаточно выполнить одну процедуру верификации, чтобы убедиться, что все исходные утверждения верны.
В контексте блокчейна техники aggregated proof используются для сжатия данных верификации, уменьшения объёма данных на блокчейне и снижения вычислительных затрат на проверку. Их можно применять к подписям, zero-knowledge-доказательствам и другим системам доказательств, которые поддерживают структуры, удобные для агрегации. Ключевое свойство состоит в том, что агрегированное доказательство остаётся корректным: если какое-либо из исходных утверждений ложно, объединённое доказательство не пройдёт проверку.
Контекст и применение
Механизмы aggregated proof особенно важны для масштабирования и повышения эффективности в распределённых системах, которым нужно проверять большое количество криптографических утверждений. Объединяя множество доказательств в одно, валидаторы или ноды (node) могут сохранять высокий уровень безопасности, одновременно снижая требования к пропускной способности сети, хранилищу и вычислительным ресурсам. Это особенно ценно для высоконагруженных сред и сложных многопользовательских протоколов.
Разные системы доказательств поддерживают агрегацию по-разному — например, через агрегацию множества подписей от разных участников или объединение нескольких zero-knowledge-доказательств о разных вычислениях. При проектировании схемы aggregated proof нужно балансировать между краткостью доказательства, стоимостью верификации и сложностью генерации агрегированного объекта. Как механизм, он служит базовым строительным блоком для более масштабируемого консенсуса (consensus), доступности данных и приватных конструкций в блокчейнах и родственных криптографических системах.