Polygon Agglayer, 연결된 모든 체인이 거짓일 수 있다는 가정

불신 위에 세워진 다리

암호화폐 업계에서 발생한 가장 큰 규모의 해킹 사건들 중 일부는 공통적인 취약점을 가지고 있었습니다. 바로 공격자들이 실제 예치금이 없는 출금 요청을 조작하는 방식이었습니다. 2022년 2월, 웜홀(Wormhole)은 공격자가 브리지 관리자들이 존재하지 않는 예치금을 검증했다고 속여 12만 개의 wETH 토큰을 발행한 후 해킹하여 3억 2천만 달러를 탈취당했습니다. 한 달 후, 로닌 네트워크(Ronin Network)는 공격자가 브리지의 검증자 9명 중 5명을 장악하여 악의적인 출금을 승인하는 방식으로 약 5억 9천만 달러를 빼돌리는 사건이 발생했습니다. 이러한 사례들은 일관된 패턴을 보여줍니다. 시스템이 신뢰해서는 안 되는 부분에 신뢰를 부여할 때 브리지 보안이 무너지는 것입니다.

이 프로토콜은 모든 연결된 체인이 오류를 범할 수 있으며, 브리지 원장은 가치 이동 전에 균형을 맞춰야 한다는 단 하나의 핵심 가정에 기반합니다. Agglayer는 비관적 증명(pessimistic proof)이라는 보안 모델을 통해 이를 구현합니다. 이 모델은 암호화를 사용하여 모든 체인 간 이동의 계산을 확인한 후 결제를 진행하므로, 오류가 있는 체인이 보유하지 않은 자금을 사용할 수 없습니다.

비관적 증명의 작동 방식

각 체인은 주기적으로 자신의 상태에 대한 ZK 증명을 애그리게이어(Agglayer)에 전송하여, 어떤 체인도 예치금보다 더 많은 자금을 인출할 수 없음을 확인합니다. 공식 용어로는 이를 비관적 증명(pessimistic proof)이라고 하며, 애그리게이터가 이를 검증하고 보안 시스템에 기록합니다. 검증 과정에서는 기본 거래 데이터가 공개되지 않으므로, 개인정보를 보호하면서 균형을 유지할 수 있습니다.현재 메인넷에서 사용 가능한 비관적 증명은 블록체인 보안이 손상되더라도 다른 블록체인에서 자금을 빼돌릴 수 없도록 하는 암호학적 보장을 제공합니다. 이 증명은 블록체인의 내부 회계 처리가 정확하다는 것을 보장하지는 않지만, 네트워크 내 다른 블록체인에서 자금을 빼돌리는 것을 막을 수 있습니다. 즉, 손상된 블록체인은 투자한 자금을 잃을 수 있지만, 피해는 제한적으로만 발생합니다.

Agglayer의 비관적 증명 생성은 네이티브 검증 및 zkVM 증명 생성을 거쳐 동일한 상태 전환 로직을 실행한 다음 Succinct의 SP1 검증기를 사용하여 암호학적으로 증명합니다. 제약 조건에는 잔액 보존, 무효화기 고유성, 루트 일관성 및 서명 유효성이 포함됩니다.

폴리곤 자체 문서에 명시된 중요한 한계점을 주목할 필요가 있습니다. 비관적 증명은 공유 브리지와 더 넓은 네트워크를 악의적인 공격자의 체인으로부터 보호하지만, 연결된 개별 체인의 내부 보안을 강화하지는 않습니다. 각 체인의 보안은 여전히 ​​각 체인의 책임입니다.