Hack VC가 2000만 달러 투자를 주도하며, Aligned는 ZK 검증 레이어를 어떻게 구축할까요?

저자: 1912212.eth, Foresight News

ZK 인프라는 여전히 위험 자본의 사랑을 받고 있으며, 올해 4월에 260만 달러의 시드 라운드 자금을 완료한 Aligned Layer는 불과 두 달도 안 되어 2000만 달러의 A 라운드 자금을 확보했습니다. 그 속도는 상당히 드뭅니다. 시드 라운드는 Lemniscap이 주도하고 StarkWare, O(1)Labs 등의 기관이 참여했으며, A 라운드는 Hack VC가 주도하고 dao5 등이 참여했습니다.

Aligned는 도대체 어떤 특징으로 많은 벤처 캐피탈을 매료시켰을까요?

Aligned 소개

Aligned는 미래의 "증명 생성"이 업계의 최대 병목이 아닐 것이라고 생각하며, 오히려 체인上的 증명 검증이 될 것이라고 보고 있습니다. 현재 검증 비용이 높기 때문에 ZK 계열의 애플리케이션은 이더리움에서 효율적으로 운영될 수 없습니다.

Aligned는 EigenLayer 위에 구축된 검증 및 집계 레이어로, 이더리움 검증자의 보안을 활용하여 모든 SNARK 증명을 경제적으로 검증합니다. Aligned는 이더리움 외부에서 더 많은 애플리케이션을 가질 수 있으며, 다른 체인의 데이터 검증을 도와줍니다. Aligned Layer는 이더리움 인프라 스타트업 Yet Another Company에 의해 개발되었으며, 후자는 올해 1월에 100만 달러의 자금을 확보했습니다.

개요도에서 볼 수 있듯이, 0층은 비트코인, 이더리움 및 DA 층이며, Aligned는 1층 검증 층이고, 2층은 애플리케이션 체인, zkML, zkEVM 롤업 등 다른 층입니다.

Aligned는 어떻게 작동하나요

모듈화 설계의 물결 속에서 여러 프로세스를 여러 전용 층으로 분리하는 것은 일반적인 방법입니다. 단일 층이 검증, 결제, 합의 및 DA를 담당하는 것에서 분리된 모듈화 설계는 효율성을 높이고 비용을 줄입니다.

Aligned는 네 가지 핵심 요소로 구성되어 있으며, 그 중 Aligned는 다양한 증명 시스템에서 오는 증명을 수신하여 검증합니다. 이러한 증명은 서로 다른 증명 시스템을 사용하여 생성될 수 있습니다. 그들은 서로 다른 증명 크기, 검증 시간 및 다양한 검증 논리를 가지고 있습니다. 그러나 모든 증명은 공통된 특징이 있습니다: 검증 속도가 매우 빠릅니다.

Aligned에는 각 검증자의 유효성을 검사하고 결과를 이더리움에 게시하는 전용 검증기가 있습니다. 교정은 데이터 가용성 층에 저장되며, 이 층은 경제적으로 효율적인 저장 전략을 제공합니다. Aligned의 운영자는 이 층에서 증명 데이터를 가져옵니다.

이더리움은 Aligned로부터 검증 결과를 수신합니다. 그러나 이더리움 자체는 비용이 높기 때문에 증명을 검증할 수 없습니다. 대신 일반적인 Rust 증명기는 주어진 시간 동안 포함된 모든 증명에 대한 검증 증명을 생성합니다.

모든 증명을 집계하기 위해 첫 번째 단계에서는 모든 증명을 가상 머신에서 실행할 수 있는 증명으로 변환하여 증명의 통일성을 실현합니다. 그런 다음, 우리는 재귀 증명 증명을 통해 증명 크기를 줄일 수 있습니다. 이는 트리 구조로 나타낼 수 있습니다:

응용 사례

Aligned는 그 가능성이 있는 방향으로 여러 가지 범주를 포함한다고 밝혔습니다. 예를 들어: 롤업 및 애플리케이션 체인의 소프트 최종성, 빠른 브리징, SNARK 기반의 P2P 프로토콜, 예를 들어 결제 시스템 및 소셜 네트워크, 이더리움과 상호 운용 가능한 공공 체인, 머신 러닝, ZK 오라클, 신원 검증 프로토콜, 체인 상 게임 등입니다.

현재 Aligned는 Cairo STARK의 Platinum Prover, gnark의 Plonk, Mina의 Kimchi, SuccintLabs의 SP1 및 a16z의 Jolt를 지원합니다. 검증 비용은 증명의 유형 및 크기에 따라 달라집니다.

또한 Aligned는 3월에 Cosmos SDK 기반의 간단한 테스트넷을 출시했으며, EigenLayer 테스트넷으로 이전할 예정입니다.