정의
Aggregated proof는 서로 다른 명제나 트랜잭션에 대한 여러 개의 독립된 증명을 하나의 간결한 증명 객체로 합치는 암호학적 메커니즘이다. 이 단일 증명은 각 원래 증명을 개별적으로 검증하는 것보다 더 효율적으로 검증할 수 있으면서도, 동일한 수준의 보안성을 유지한다. Aggregated proof는 일반적으로 검증자가 하나의 검증 절차만 수행해도 모든 기저 명제가 유효하다는 사실을 확신할 수 있도록 설계된다.
블록체인 (blockchain) 환경에서 Aggregated proof 기법은 검증 데이터의 크기를 줄이고, 온체인 데이터 사용량을 줄이며, 검증에 필요한 연산 비용을 낮추는 데 사용된다. 이 기법은 서명, 영지식 증명(zero-knowledge proof), 그 밖에 집계에 적합한 구조를 지원하는 다양한 증명 시스템에 적용될 수 있다. 핵심 속성은 Aggregated proof가 여전히 건전성(정합성)을 유지한다는 점이다. 즉, 기저 명제 중 하나라도 거짓이면, 결합된 증명은 검증에 실패해야 한다.
맥락과 활용
Aggregated proof 메커니즘은 대량의 암호학적 명제를 검증해야 하는 분산 시스템에서 확장성과 효율성을 높이는 데 특히 중요하다. 많은 증명을 하나로 집계함으로써, validator나 node는 강한 보안을 유지하면서도 필요한 대역폭, 저장 공간, 연산 자원을 줄일 수 있다. 이는 처리량이 높은 환경이나 복잡한 다자간 프로토콜에서 큰 가치를 가진다.
서로 다른 증명 시스템은 서로 다른 방식으로 집계를 지원한다. 예를 들어 여러 참여자의 서명을 하나로 모으거나, 서로 다른 연산에 대한 여러 영지식 증명을 결합하는 방식이 있다. Aggregated proof 스킴을 설계할 때는 증명의 간결성, 검증 비용, 집계된 객체를 생성하는 과정의 복잡도 사이에서 균형을 맞춰야 한다. 이러한 메커니즘은 블록체인 (blockchain) 및 관련 암호학적 시스템에서 더 확장 가능한 합의(consensus), 데이터 가용성, 프라이버시 보호 구조를 구현하기 위한 핵심 빌딩 블록 역할을 한다.