Lagrange 프로토콜: ZK를 통해 신뢰 없는 크로스 체인 상호 운용성 구현
Lagrange 프로토콜은 주요 블록체인을 통합하여 크로스 체인 상태 검증을 촉진합니다.저자: Maven 11
편집: 심조 TechFlow
크로스 체인 상호 운용성과 보안성은 현재 블록체인 기술의 도전 과제가 되었으며, ZK 스타트업 Lagrange Labs는 그 해결책을 제시했습니다. Maven11은 투자 기관으로서 Lagrange의 중요성을 설명하는 글을 작성하였으며, 본문에서는 Lagrange 프로토콜의 핵심 개념, 검증 과정 및 제로 지식 증명 기술을 활용하여 신뢰 없는 크로스 체인 작업을 수행하는 방법에 대해 자세히 설명합니다.
크로스 체인 상태 증명은 멀티 체인 세계에서 애플리케이션에 매우 중요합니다. 이는 애플리케이션이 신뢰할 수 없는 사용자가 제출한 검증 가능한 체인 상태 선언을 사용할 수 있게 합니다. 사용 사례에는 멀티 체인 DEX 가격 책정, 수익 집계기, 대출 가격 책정 등이 포함됩니다.
간단히 말해, 상태(저장) 증명은 임의의 체인에서 특정 체인 상태가 존재함을 증명하는 제로 지식 증명입니다. 제로 지식 증명(ZKP)의 마법을 통해 우리는 신뢰할 수 없는 오라클 네트워크 없이도 효율적이고 신뢰 없는 방식으로 이를 구현할 수 있습니다.
전통적인 메시지 전송 프로토콜은 노드에 의존하여 정보를 전달하지만, Lagrange는 다른 접근 방식을 채택했습니다. 이는 누구나 IBC가 경량 클라이언트를 통해 크로스 체인 검증을 수행하는 것과 유사하게, 암호화된 검증 정보를 제출할 수 있게 합니다.
Lagrange에서는 모든 크로스 체인 전송 계층이나 신뢰할 수 없는 사용자가 체인에서 검증된 비상호작용 증명을 제출할 수 있습니다. 이러한 증명은 검증자 집합이나 서명에 의존하지 않으며, 체인에서 직접 데이터를 가져오고 체인 간에 효율적으로 집계할 수 있도록 보장합니다.
Lagrange 상태 증명의 검증은 여러 단계를 포함합니다:
상태 루트 검증: Lagrange 상태 위원회에서 생성한 간결한 제로 지식 증명을 검증하여 주어진 상태 루트(블록 헤더)의 진위를 보여줍니다.
배치 저장 증명: 특정 체인의 상태 루트에 특정 상태가 존재하는지 검증합니다.
제로 지식 분산 계산: 체인에서 상태에 대해 수행된 임의의 분산 계산을 검증합니다.
Lagrange 상태 증명은 모듈화되어 있기 때문에, 프로토콜은 애플리케이션에 따라 상태, 저장 또는 계산의 일부 증명을 선택하여 증명 시스템을 맞춤화할 수 있습니다. 기존의 크로스 체인 애플리케이션은 크로스 체인 도구의 보안성이나 표현력을 쉽게 향상시킬 수 있습니다.
Lagrange 제로 지식 빅데이터 프레임워크는 Verkle 트리와 유사한 동적 데이터 구조를 활용하여 애플리케이션이 효율적인 저장 포함 증명과 임의의 분산 계산(예: MapReduce 또는 분산 SQL)을 결합할 수 있도록 합니다.
LagrangeJS SDK를 통해 개발자는 쉽게 어떤 체인의 상태 증명을 요청하고, 저장 상태 하위 집합에서 실행할 임의의 계산을 지정할 수 있습니다. 이는 개발자가 사용자 친화적인 인터페이스에서 안전한 크로스 체인 상태 및 저장 증명을 활용할 수 있게 합니다.
Lagrange SDK는 여러 체인에 걸쳐 상태 증명을 동시에 생성하는 과정을 간소화합니다. 이러한 증명은 Lagrange 프로토콜과 통합된 DApp이 여러 상태 검증을 단일 체인 거래에 통합할 수 있게 합니다.
Lagrange 프로토콜은 주요 블록체인을 통합하여 크로스 체인 상태 검증을 촉진합니다. 처음에는 모든 EVM L1, L2 및 롤업과 호환됩니다. 미래에는 Solana, Sui, Aptos 및 Cosmos SDK 기반 체인과 같은 비 EVM 체인을 지원할 계획입니다.
또한, Lagrange는 경제적 채권 선언을 활용하여 기존 크로스 체인 브리징 및 메시지 전송 프로토콜의 보안을 개선하고, Optimistic Rollup을 위한 강력한 경제적 단일 슬롯 보장을 생성하는 데 전념하고 있습니다. 이는 이더리움에서 고립된 롤업 간의 상호 운용성을 크게 향상시킬 수 있습니다.
그 작동 원리는 본질적으로 Optimistic Rollup을 위한 ZK 경량 클라이언트 증명을 생성하는 것이며, 현재 이더리움에서의 "경량 클라이언트" 구현과는 다릅니다. 즉, 이더리움 동기화 위원회입니다.
현재 이더리움 동기화 위원회는 512명의 무작위로 선택된 검증자로 구성되어 있으며, 이들은 매일 더 높은 보상을 받아 경량 클라이언트 기능을 제공합니다.
Lagrange 크로스 체인 상태 위원회의 보안성은 경제적 채권을 가진 지속적으로 증가하는 동적 크기의 노드에서 비롯됩니다. 이러한 노드는 EigenLayer로 재질질하거나 Rocket Pool과 같은 유동적 스테이킹 파생품으로 스테이킹됩니다.
노드는 그들이 증명한 체인에서 최종 결과에 도달한 새로운 블록에 대해 서명을 수행해야 합니다. 이더리움 경량 클라이언트 동기화 위원회의 512 노드 한도와는 달리, 크로스 체인 상태 위원회는 무제한의 노드를 지원합니다. 따라서 각 증명 뒤의 담보는 필요에 따라 동적으로 확장되어 각 주어진 체인이나 롤업에 대한 안전한 증명을 생성할 수 있습니다.
상태 증명은 공유 정렬기와 같은 프로토콜에서 중요한 사용 사례를 가지며, 롤업 간 통신 개선에 기여하고, SUAVE와 같은 구현에서 오라클 문제를 해결하는 데 도움을 줍니다.
