저자: Zeke, YBB Capital 출처: medium 번역: 善欧巴, 金色财经

요약

• ZK 코프로세서는 기존 컴퓨터의 GPU와 유사한 모듈화 개념에서 파생된 오프체인 컴퓨팅 플러그인으로 볼 수 있으며, CPU에서 그래픽 연산 작업을 오프로드하고 특정 연산 작업을 처리합니다.

• 복잡한 연산과 대량의 데이터를 처리하고 가스 비용을 절감하며 스마트 컨트랙트 기능을 확장하는 데 사용할 수 있습니다.

• 롤업과 달리 ZK 코프로세서는 스테이트리스이며 여러 체인에서 사용할 수 있고 복잡한 컴퓨팅 시나리오에 적합합니다.

• ZK 코프로세서 개발은 높은 성능 비용과 표준화 부족으로 인해 어려운 작업입니다. 하드웨어 비용도 상당히 높습니다. 이 분야는 1년 전보다 훨씬 성숙해졌지만 아직 초기 단계에 머물러 있습니다.

• 모듈화 시대가 프랙탈 확장으로 전환되면서 블록체인은 유동성 부족, 사용자 파편화, 혁신 부족, 크로스체인 상호운용성 문제와 같은 문제에 직면하여 수직적으로 확장되는 L1 체인의 역설을 초래합니다. zk 코프로세서는 이러한 문제를 극복하는 방법을 제시하여 기존 및 새로운 애플리케이션을 지원하고 블록체인 공간에 새로운 이야기를 가져올 수 있습니다.

I. 모듈형 인프라의 또 다른 분야: ZK 코프로세서

1.1 ZK 코프로세서 개요

1.1 ZK 코프로세서 개요

1.2 ZK 코프로세서 개요

제로 지식 코프로세서는 모듈성 개념에서 파생된 오프체인 컴퓨팅 플러그인으로, 특정 컴퓨팅 작업을 위해 CPU에서 그래픽 컴퓨팅 작업을 오프로드하여 처리하는 기존 컴퓨터의 GPU와 유사하게 이해할 수 있습니다. 이 설계 프레임워크에서는 '무거운 데이터', '복잡한 계산 로직' 등 퍼블릭 체인이 잘 하지 못하는 작업을 영지식 코프로세서에 넘겨 계산을 맡기고, 체인은 반환된 계산 결과만 받아 영지식 증명을 통해 정확성을 보장할 수 있습니다. 결과는 체인에서만 수신되며 영지식 증명에 의해 정확성이 보장되어 복잡한 작업의 신뢰할 수 있는 오프체인 계산을 최종적으로 실현합니다.

현재 AI, 소셜파이, DEX, 게임파이 등과 같은 인기 애플리케이션은 고성능과 비용 관리가 절실히 요구되고 있습니다. 기존 솔루션에서는 매우 높은 성능을 요구하는 이러한 '무거운 애플리케이션'은 종종 자산 온체인 + 오프체인 애플리케이션 모드를 선택하거나 별도의 애플리케이션 체인을 설계합니다. 그러나 두 접근 방식 모두 내재적인 문제가 있습니다. 전자는 '블랙박스'가 있고, 후자는 높은 개발 비용, 원래 체인 생태계와의 분리, 유동성 파편화 및 기타 문제에 직면해 있습니다. 또한, 메인체인 가상머신은 이러한 애플리케이션의 개발과 운영에 상당한 제약을 가합니다(예: 애플리케이션 레이어 표준의 부족, 복잡한 개발 언어 등).

ZK 코프로세서는 이러한 문제를 해결하도록 설계되었습니다. 좀 더 구체적인 예를 들자면, 블록체인을 네트워크에 연결할 수 없는 단말기(예: 휴대폰이나 컴퓨터)로 상상할 수 있으며, 이 시나리오에서는 유니스왑이나 기타 탈중앙 금융 애플리케이션과 같은 비교적 간단한 애플리케이션을 체인 상에서 실행할 수 있습니다. 그러나 ChatGPT와 같은 애플리케이션을 실행하는 것과 같이 더 복잡한 애플리케이션이 있을 때는 퍼블릭 체인의 성능과 스토리지가 완전히 부족해져 가스 폭발로 이어질 수 있습니다. 웹2 시나리오에서 ChatGPT를 실행할 때 일반 터미널 자체는 GPT-4o 대규모 언어 모델을 처리 할 수 없으며 OpenAI의 서버에 연결하여 질문을 전달한 다음 서버가 계산하고 결과를 추론 한 후 바로 답을 얻을 수 있습니다. zk 코 프로세서는 블록 체인의 원격 서버와 같으며 프로젝트 유형에 따라 다른 코 프로세서 프로젝트에 미묘한 설계 차이가있을 수 있지만 코 프로세서의 설계는 블록 체인의 설계와 동일하지 않을 수 있습니다. 코프로세서 프로젝트마다 프로젝트 유형에 따라 약간의 설계 차이가 있을 수 있지만, 기본 로직은 오프체인 연산 + ZK 증명 또는 검증을 위한 저장 증명 등 거의 동일합니다.

라이즈 제로의 분재 배포를 예로 들어보면, 아키텍처는 직관적입니다. 이 프로젝트는 Rise Zero의 자체 zkVM에 원활하게 통합되며 개발자는 간단한 두 단계로 분재를 코프로세서로 사용할 수 있습니다.

• 애플리케이션 로직을 처리하기 위해 zkVM 애플리케이션을 작성합니다.

• 본사이에 zkVM 애플리케이션을 실행하고 결과를 처리하도록 요청하는 솔리디티 컨트랙트를 작성합니다.

1.2 롤업과의 차이점

위 정의를 보면 롤업과 ZK 코프로세서의 구현 로직과 목표가 상당히 중복되는 것으로 보입니다.

위 정의에서 볼 때 롤업과 ZK 코프로세서는 구현 로직과 목표가 많이 겹치지만 롤업은 메인체인의 멀티코어 확장에 가깝고 다음과 같은 구체적인 차이점이 있습니다.

1. ">롤업: 블록체인 트랜잭션 처리량을 향상하고 트랜잭션 수수료를 절감합니다.

ZK 코프로세서: 스마트 컨트랙트 컴퓨팅 성능을 확장하여 더 복잡한 로직과 더 큰 데이터 볼륨을 처리할 수 있습니다.

2. 작동 방식:

• 롤업: 온체인 트랜잭션을 집계하고 증명과 함께 사기 증명 또는 ZK 증명과 함께 메인 체인에 연결합니다.

• ZK 코프로세서: ZK 롤업과 유사하지만 다른 애플리케이션 시나리오를 위해 설계되었으며, 체인별 제약과 규칙으로 인해 코프로세서 작업에는 적합하지 않습니다.

3. 상태 관리:

• 롤업: 상태를 유지하며 주기적으로 마스터체인과 동기화합니다. 마스터 체인과 주기적으로 동기화합니다.

• ZK 코프로세서: 모든 연산이 상태 비저장 상태입니다.

4. 애플리케이션 시나리오:

• 롤업: 주로 최종 사용자에게 서비스를 제공합니다. 고빈도 거래에 적합합니다.

• ZK 코프로세서: 주로 기업을 대상으로 하며 고급 재무 모델 및 빅 데이터 분석과 같이 복잡한 계산이 필요한 시나리오에 적합합니다.

5. 메인 체인과의 관계:

• 롤업: 메인 체인의 확장으로 간주됩니다. 확장으로 간주되며, 일반적으로 특정 블록체인 네트워크에 중점을 둡니다.

• ZK 코프로세서: 특정 메인체인과 롤업에 국한되지 않고 여러 블록체인을 지원할 수 있습니다.

따라서 이 둘은 상호 배타적이 아니라 상호 보완적인 관계입니다. 는 상호 배타적이지 않고 상호 보완적이며, ZK 코프로세서는 애플리케이션 체인으로 존재하더라도 롤업을 제공할 수 있습니다.

1.3 사용 사례

이론적으로 ZK 코프로세서는 블록체인 스펙트럼의 광범위한 프로젝트에서 사용될 수 있으며, ZK 코프로세서를 통해 Dapp은 중앙화된 웹2.0 애플리케이션에 가까운 기능을 가질 수 있습니다. ZK 코프로세서를 통해 디앱은 중앙화된 웹2.0 애플리케이션의 기능에 더 가까워질 수 있습니다. 다음은 온라인 소스에서 수집한 몇 가지 샘플 사용 사례입니다.

데이터 기반 디앱 개발 :

개발자는 ZK 코프로세서를 통해 중앙화된 웹2.0 애플리케이션 없이도 체인 상의 모든 기록 데이터를 활용하여 복잡한 계산을 수행하는 데이터 기반 디앱을 개발할 수 있습니다. 추가 신뢰 가정 없이 복잡한 계산을 수행하기 위해 기록 데이터를 활용할 수 있습니다. 이를 통해 다음과 같은 전례 없는 디앱 개발 가능성이 열립니다.

• 고급 데이터 분석: 듄 애널리틱스와 유사한 온체인 데이터 분석.

• 복잡한 비즈니스 로직: 기존 중앙화된 애플리케이션에서 볼 수 있는 복잡한 알고리즘과 비즈니스 로직을 구현합니다.

• 크로스체인 앱: 멀티체인 데이터를 기반으로 크로스체인 디앱을 구축합니다.

DEX의 VIP 트레이더 프로그램:

일반적인 시나리오는 "VIP 트레이더 로열티 프로그램"으로 알려진 거래량 기반 할인 프로그램을 DEX에서 구현하는 것입니다. 이러한 유형의 프로그램은 CEX에서는 일반적이지만 DEX에서는 드뭅니다.

ZK 코프로세서를 통해 DEX는 다음을 수행할 수 있습니다:

• 사용자의 과거 거래량을 추적할 수 있습니다.

• 사용자의 VIP 등급을 계산합니다.

• VIP 레벨에 따라 거래 수수료를 동적으로 조정합니다. 이 기능은 DEX가 사용자 유지율과 유동성을 높이고 궁극적으로 수익을 늘리는 데 도움이 됩니다.

스마트 콘트랙트를 위한 데이터 향상:

ZK 코프로세서는 스마트 콘트랙트에 데이터 캡처, 계산, 검증 서비스를 제공하는 강력한 미들웨어로 사용하여 비용을 절감하고 효율성을 높일 수 있습니다. ZK 코프로세서는 스마트 컨트랙트를 위한 데이터 캡처 및 검증 서비스를 제공하는 강력한 미들웨어로 사용되어 비용을 절감하고 효율성을 높일 수 있습니다. 이를 통해 스마트 컨트랙트는 다음을 수행할 수 있습니다.

• 대량의 기록 데이터에 액세스하고 처리할 수 있습니다.

• 복잡한 다운더체인 계산을 수행합니다.

• 더 고급 비즈니스 로직을 구현합니다.

크로스체인 브리지 기술 :

헤로도토스, 라그랑주 등 ZK 코프로세서의 응용이라고도 볼 수 있는 ZK 기반 크로스체인 브리지 기술은 주로 다음과 같은 분야에 집중되어 있습니다. 크로스 체인 통신을 위한 신뢰할 수 있는 데이터베이스를 제공하기 위한 데이터 추출 및 검증에 중점을 두고 있습니다.

1.4 ZK 코프로세서는 완벽하지 않다

ZK 코프로세서는 많은 장점을 가지고 있지만 현 단계에서는 완벽하지 않으며 여전히 몇 가지 문제가 있으며, 이를 요약하면 다음과 같습니다:

1. 개발: 많은 개발자가 ZK의 개념을 이해하기 어렵고, 개발에는 암호화에 대한 관련 지식과 특정 개발 언어 및 도구에 대한 숙련도가 필요합니다.

2. 높은 하드웨어 비용: 오프체인 컴퓨팅에 사용되는 ZK 하드웨어는 프로젝트 측에서 전적으로 부담해야 합니다. ZK 하드웨어는 비싸고 빠르게 진화하며 언제든지 제거될 수 있으므로 상용 폐쇄 루프를 형성할 수 있는지 여부는 고려할 가치가 있는 문제입니다.

3. 혼잡한 필드: 기술적으로는 구현에 큰 차이가 없을 것이며, 최종 결과는 일부 눈에 띄는 프로젝트가 두드러지고 나머지는 거의 무시되는 현재의 Layer2 패턴과 유사할 수 있습니다.

4. ZK 회로: ZK 코프로세서에서 오프체인 연산을 수행하려면 기존 컴퓨터 프로그램을 ZK 회로로 변환해야 합니다. 각 애플리케이션에 맞는 맞춤형 회로를 작성하는 것은 번거롭고 가상 머신에서 zkVM을 사용하여 회로를 작성하면 다른 계산 모델로 인해 상당한 계산 오버헤드가 발생합니다.

II. 대규모 도입을 위한 핵심 요소

(이 섹션은 매우 주관적이며 작성자의 개인적인 의견을 나타냅니다.)

이 주기는 주로 모듈형 인프라가 주도합니다. 모듈화가 올바른 길이라면 이 주기가 대량 채택을 향한 마지막 단계가 될 수 있습니다. 그러나 현 단계에서 우리 모두는 왜 일부 오래된 앱만 재패키징되는지, 왜 앱보다 체인이 더 많은지, 왜 인스크립션과 같은 새로운 토큰 표준이 이 사이클의 가장 큰 혁신으로 환영받고 있는지 등 공통된 정서를 공유하고 있습니다.

새로운 내러티브가 부족한 근본적인 이유는 현재의 모듈형 인프라가 메가 애플리케이션을 지원하기에는 불충분하고, 특히 여러 전제조건(크로스체인 상호운용성, 사용자 장벽 등)의 부재로 인해 블록체인 역사상 최악의 파편화가 발생했기 때문입니다.모듈형 시대의 핵심인 롤업은 실제로 그 속도를 높였습니다. 프로세스를 가속화했지만, 유동성 파편화, 사용자 파편화, 체인 또는 가상 머신 자체의 애플리케이션 혁신 제한 등 많은 문제를 야기하기도 합니다. 또한 모듈성의 또 다른 '핵심 플레이어'인 셀레스티아는 반드시 이더 기반이 아닌 DA를 위한 경로를 만들어 파편화를 더욱 악화시켰습니다. 이데올로기적이든 DA 비용 때문이든, 그 결과 BTC는 어쩔 수 없이 DA가 되었고, 다른 퍼블릭 체인은 보다 비용 효율적인 DA 솔루션을 제공하는 것을 목표로 하고 있습니다. 현재 모든 퍼블릭 체인에는 수십 개는 아니더라도 적어도 하나 이상의 레이어2 프로젝트가 있는 상황입니다. 또한, 모든 인프라 및 생태계 프로젝트는 사용자가 프로젝트 내에서 토큰을 서약하도록 하는 블러가 개척한 토큰 서약 전략에서 깊은 교훈을 얻었습니다. 이 모델은 온체인 유동성을 더욱 압축하는 동시에 이자, 이더리움 또는 비트코인 가치 상승, 무료 토큰 등 세 가지 방식으로 이익을 얻을 수 있게 해줍니다.

과거 상승장에서는 자금이 이더에 집중되어 있더라도 몇 개에서 수십 개의 퍼블릭 체인으로만 흘러갔습니다. 지금은 수백 개의 퍼블릭 체인에 자금이 분산되어 있고 수천 개의 유사한 프로젝트에 베팅하기 때문에 온체인 활동이 줄어듭니다. 심지어 이더리움도 온체인 활동이 부족합니다. 그 결과 동양 플레이어들은 BTC 생태계에서 PVP를 하는 반면, 서양 플레이어들은 필요에 의해 솔라나에서 PVP를 하고 있습니다.

따라서 저는 현재 모든 체인에서 통합된 유동성을 유도하고 새로운 플레이 스타일과 대형 애플리케이션의 출현을 지원하는 방법에 초점을 맞추고 있습니다. 크로스체인 상호운용성 영역에서 기존의 선도적인 프로젝트들은 실적이 저조했고, 기존의 크로스체인 브리지와 비슷한 수준에 머물러 있었습니다. 이전 보고서에서 논의한 새로운 상호운용성 솔루션은 주로 여러 체인을 하나로 통합하는 것을 목표로 합니다. 여기서는 다루지 않는 AggLayer, 슈퍼체인, 엘라스틱 체인, JAM 등을 예로 들 수 있습니다. 요약하자면, 크로스체인 어그리게이션은 모듈형 인프라에 필요한 장애물이지만 극복하는 데 오랜 시간이 걸릴 것입니다.

ZK 코프로세서는 이 단계의 핵심적인 부분입니다. 이는 레이어2를 강화하고 레이어1을 보완할 수 있습니다. 크로스체인과 트릴레마의 딜레마를 일시적으로 극복하여 현재 시대의 일부 애플리케이션을 광범위한 유동성을 가진 일부 레이어1 또는 레이어2에서 구현할 수 있는 방법이 있을까요? 결국 블록체인 애플리케이션은 새로운 내러티브가 부족합니다. 또한, 다양한 게임플레이, 가스 제어, 대규모 애플리케이션, 크로스체인 기능, 통합 코프로세서 솔루션을 통한 사용자 장벽 감소는 중앙 집중화에 의존하는 것보다 더 바람직할 수 있습니다.

III. 프로젝트 개요

ZK 코프로세서 분야는 2023년경에 등장했으며 현재 비교적 성숙 단계에 있습니다. Messari의 분류에 따르면, 이 분야는 현재 세 가지 주요 분야(범용 컴퓨팅, 상호운용성 및 크로스체인, AI 및 머신 트레이닝)에 걸쳐 18개의 프로젝트가 진행 중입니다. 이러한 프로젝트의 대부분은 최고의 VC가 후원하고 있습니다. 아래에서 다양한 분야의 프로젝트 몇 가지를 소개합니다.

3.1 기자 

Giza는 Starknet에 배포된 zkML(제로 지식 머신 러닝) 프로토콜로 StarkWare에서 공식적으로 지원합니다. 이는 블록체인 스마트 컨트랙트에서 AI 모델을 검증 가능하게 사용할 수 있도록 하는 데 중점을 둡니다. 개발자는 기자 네트워크에 AI 모델을 배포한 다음 영지식 증명을 통해 모델 추론의 정확성을 검증하고 그 결과를 신뢰 없는 방식으로 스마트 콘트랙트에 제공할 수 있습니다. 이를 통해 개발자는 블록체인의 탈중앙화와 검증 가능성을 유지하면서 AI 기능을 통합하는 온체인 애플리케이션을 구축할 수 있습니다.

Giza는 3단계 프로세스로 워크플로우를 완성합니다:

• 모델 변환: Giza는 일반적으로 사용되는 영지식 증명 시스템에서 실행할 수 있는 형식으로 변환합니다. 이를 통해 개발자는 익숙한 도구를 사용하여 모델을 훈련한 다음 Giza 네트워크에 배포할 수 있습니다.

• 오프체인 추론: 스마트 컨트랙트가 AI 모델 추론을 요청하면, Giza는 실제 연산을 오프체인에서 수행합니다. 이를 통해 복잡한 AI 모델을 블록체인에서 직접 실행하는 데 드는 높은 비용을 피할 수 있습니다.

• 영지식 검증: Giza는 계산이 올바르게 수행되었다는 각 모델 추론에 대해 영지식 증명을 생성합니다. 이러한 증명은 체인 상에서 검증되므로 체인 상에서 전체 계산을 반복할 필요 없이 추론이 올바른지 확인할 수 있습니다.

기자 접근 방식을 사용하면 중앙화된 술어 머신이나 신뢰할 수 있는 실행 환경에 의존하지 않고도 AI 모델을 스마트 콘트랙트에 대한 신뢰할 수 있는 입력 소스로 사용할 수 있습니다. 이는 AI 기반 자산 관리, 사기 탐지, 동적 가격 책정 등 블록체인 애플리케이션에 새로운 가능성을 열어줍니다. 이는 논리적으로 폐쇄적인 루프를 가지고 있으며 AI 공간에서 코프로세서를 현명하게 활용하는 현재 Web3 x AI 공간의 몇 안 되는 프로젝트 중 하나입니다.

3.2 Risc Zero

Risc Zero는 여러 유명 VC의 지원을 받는 선도적인 코프로세서 프로젝트입니다. 블록체인 스마트 컨트랙트에서 모든 연산을 검증 가능하게 실행할 수 있도록 하는 데 중점을 두고 있습니다. 개발자는 Rust로 프로그램을 작성하여 RISC 제로 네트워크에 배포할 수 있습니다. 그러면 RISC 제로는 영지식 증명을 통해 프로그램 실행의 정확성을 검증하고 그 결과를 신뢰 없는 방식으로 스마트 컨트랙트에 제공합니다. 이를 통해 개발자는 블록체인의 탈중앙화와 검증 가능성을 유지하면서 복잡한 온체인 애플리케이션을 구축할 수 있습니다.

앞서 배포와 워크플로우에 대해 간략히 언급했습니다. 여기서는 두 가지 주요 구성 요소를 자세히 설명합니다.

• 분재: 분재는 RISC-V 명령어 집합 아키텍처에 원활하게 통합되는 RISC Zero의 코프로세서 구성 요소입니다. zkVM에 완벽하게 통합된 코프로세서 구성 요소입니다. 이를 통해 개발자는 며칠 만에 고성능 영지식 증명을 이더리움, L1 블록체인, 코스모스 앱 체인, L2 롤업 및 dApp에 빠르게 통합할 수 있습니다. 탈중앙화 우선 분산 아키텍처에서 직접 스마트 컨트랙트 호출, 검증 가능한 오프체인 계산, 크로스체인 상호운용성, 범용 롤업 기능을 모두 제공합니다. 재귀 증명, 맞춤형 회로 컴파일러, 상태 연속성, 지속적으로 개선되는 증명 알고리즘과 결합하여 누구나 다양한 애플리케이션을 위한 고성능 영지식 증명을 생성할 수 있습니다.

• zkVM: zkVM은 실제 임베디드 RISC-V 마이크로프로세서처럼 실행되는 검증 가능한 컴퓨터입니다. RISC-V 명령어 집합 아키텍처를 기반으로 하며 개발자가 Rust, C++, Solidity, Go 등과 같은 고급 프로그래밍 언어를 사용하여 영지식 증명을 생성하는 프로그램을 작성할 수 있습니다. 널리 사용되는 Rust 패키지의 70% 이상을 지원하며 범용 계산과 영지식 증명을 원활하게 결합하여 계산 과정의 프라이버시와 결과의 검증 가능성을 유지하면서 임의의 복잡성 계산에 대해 효율적인 영지식 증명을 생성합니다. zkVM은 STARK, SNARK 등과 같은 영지식 기술을 활용하며 재귀 증명, STARK-to- SNARK Prover, SNARK Prover와 같은 구성 요소를 통해 영지식 증명을 달성할 수 있습니다. 효율적인 증명 생성 및 검증을 위해 SNARK Prover 및 기타 구성 요소를 통해 오프체인 실행 및 온체인 검증을 지원합니다.

리스 제로는 여러 이더 레이어2 솔루션과 통합되어 본사이의 다양한 사용 사례를 보여주었습니다. 한 가지 흥미로운 예로, 본사이 페이는 RISC 제로의 zkVM과 본사이 서비스 증명을 사용하여 사용자가 구글 계정을 사용하여 이더와 토큰을 송금하거나 인출할 수 있도록 하는 데모입니다. 이 사례는 RISC 제로가 어떻게 온체인 애플리케이션과 구글과 같은 주요 신원 제공자가 사용하는 표준인 OAuth 2.0을 원활하게 통합하여 기존 웹2 애플리케이션을 통해 웹3 사용자를 위한 장벽을 낮추는 사용 사례를 보여줍니다. 다른 예로는 DAO 기반 애플리케이션이 있습니다.

3.3 =nil;

=nil; 미나, 폴리체인, 스타크웨어, 블록체인 캐피탈 등의 주요 기관이 후원하는 투자 프로젝트입니다. 의 투자 프로젝트입니다. 특히 미나, 스타크웨어와 같은 zk 기술 선구자들이 후원자 중 하나이며, 이는 이 프로젝트가 기술적으로 높은 평가를 받고 있음을 나타냅니다. =nil; 은 증명 시장(탈중앙화된 증명 생성 시장)에 초점을 맞춘 산술 시장 보고서에서도 언급된 바 있습니다. 또한 =nil; 에는 zkLLVM이라는 또 다른 하위 제품이 있습니다.

=nil; 재단에서 개발한 ZkLLVM은 C++, Rust 등 주류 프로그래밍 언어로 작성된 애플리케이션 코드를 이더를 위한 효율적인 증명 가능한 회로로 자동 변환하는 혁신적인 회로 컴파일러입니다. 이더넷용 회로를 전문 영지식 DSL(도메인 특정 언어) 없이도 만들 수 있습니다. 이는 개발 프로세스를 크게 간소화하고, 진입 장벽을 낮추며, zkVM을 피함으로써 성능을 향상시킵니다. 또한 하드웨어 가속을 지원하여 증명 생성 속도를 높여 롤업, 크로스체인 브리지, 예측자, 머신러닝, 게임 등 다양한 ZK 애플리케이션 시나리오에 적합합니다. 또한, 개발자에게 회로 생성부터 증명 생성까지 엔드투엔드 지원을 제공하는 =nil; Foundation의 증명 시장과 긴밀하게 통합되어 있습니다.

3.4 브레비스

브레비스는 블록체인의 스마트한 공동 프로젝트인 Celer 네트워크의 하위 프로젝트입니다. 제로 지식(ZK) 코프로세서로, 디앱이 완전히 신뢰할 필요 없이 여러 블록체인에서 임의의 데이터에 액세스하고, 계산하고, 활용할 수 있게 해줍니다. 다른 코프로세서와 마찬가지로 브레비스는 데이터 기반 탈중앙 금융, zkBridge, 온체인 사용자 확보, zkDID, 소셜 계정 추상화 등 다양한 사용 사례를 보유하고 있습니다.

브레비스 아키텍처는 세 가지 주요 구성 요소로 이루어져 있습니다.

< li>

zkFabric: 브레비스 아키텍처의 릴레이 구성 요소인 zkFabric은 연결된 모든 블록체인에서 블록 헤더 정보를 수집하고 동기화한 다음 ZK 라이트 클라이언트 회로를 통해 수집된 각 블록 헤더에 대한 합의 증명을 생성하는 것을 주요 임무로 합니다.

• zkQueryNet: zkQueryNet은 온체인 스마트 컨트랙트에서 직접 데이터 쿼리를 수락하고 ZK 쿼리 엔진 회로를 통해 쿼리 결과와 해당 ZK 쿼리 증명을 생성하는 ZK 쿼리 엔진의 오픈 마켓플레이스입니다. 이러한 엔진은 고도로 전문화된 것(예: 특정 기간 동안의 DEX 볼륨 계산)부터 고도로 일반화된 데이터 인덱싱 추상화 및 다양한 애플리케이션을 위한 높은 수준의 쿼리 언어에 이르기까지 다양합니다.

• zkAggregatorRollup: 두 구성 요소의 증명 검증, 검증된 데이터 저장, 연결된 모든 블록체인에 ZK 증명의 상태 루트 제출을 담당하는 zkFabric과 zkQueryNet의 집계 및 저장 계층 역할을 합니다. 따라서 디앱은 온체인 스마트 컨트랙트 비즈니스 로직 내에서 검증된 쿼리 결과에 직접 액세스할 수 있습니다.

이 모듈형 아키텍처를 통해 브레비스는 지원되는 모든 퍼블릭 체인 스마트 컨트랙트에 대해 신뢰할 필요 없이 효율적이고 유연한 액세스를 제공하며, UNI의 V4 버전은 이 솔루션을 채택하고 다양한 사용자 정의 로직을 통합하는 시스템인 Hook과 통합하여 ZK가 입증된 쿼리 결과를 쉽게 읽을 수 있도록 했습니다. UNI의 V4 버전도 이 솔루션을 채택하고 다양한 사용자 정의 로직을 통합하는 시스템인 Hook과 통합하여 과거 블록체인 데이터를 쉽게 읽고, 가스 비용을 절감하며, 탈중앙화를 보장할 수 있도록 했습니다. 다음은 DEX를 구동하는 zk 코프로세서의 예시입니다.

3.5 라그랑주

Lagrange는 상호 운용 가능한 영지식 개념 증명 코프로세서 프로토콜로, 1kx와 파운더스 펀드가 주도하며 주로 다음을 위해 설계되었습니다. 대규모 데이터에 대한 복잡한 계산이 필요한 애플리케이션을 지원하기 위해 신뢰가 필요 없는 크로스체인 상호운용성을 제공합니다. 기존의 노드 브리지와 달리 라그랑쥬의 크로스체인 상호운용성은 주로 혁신적인 영지식 증명 빅데이터와 국가 위원회 메커니즘을 통해 달성됩니다.

• ZK 빅데이터: 크로스 체인 데이터를 처리 및 검증하고 관련 영지식 증명을 생성하기 위한 라그랑쥬의 핵심 제품입니다. 이 구성 요소에는 복잡한 오프체인 계산을 수행하고 영지식 증명을 생성하기 위한 고도로 병렬화된 ZK 코프로세서, 무제한 저장 슬롯과 스마트 컨트랙트의 직접 SQL 쿼리를 지원하도록 특별히 설계된 검증 가능한 데이터베이스, 증명 시간을 줄이기 위해 변화하는 데이터 포인트만 업데이트하는 동적 업데이트 메커니즘, 개발자가 SQL을 사용하여 스마트 컨트랙트에서 직접 기록 데이터에 액세스할 수 있는 통합 기능 등이 있습니다. 쿼리를 사용해 복잡한 회로를 작성할 필요 없이 스마트 컨트랙트에서 직접 기록 데이터에 액세스할 수 있는 통합 기능입니다. 이들은 함께 대규모 블록체인 데이터 처리 및 검증 시스템을 구성합니다.

• 상태 위원회: 이 구성 요소는 여러 독립 노드로 구성된 탈중앙화된 검증 네트워크로, 각각 이더를 담보로 맡깁니다. 이러한 노드는 특정 최적화된 롤업의 상태를 전문적으로 검증하는 ZK 라이트 클라이언트 역할을 합니다. 스테이트 카운슬은 아이겐레이어의 AVS와 통합되어 리플레지 메커니즘으로 보안을 강화하며, 초선형 보안 성장을 위해 참여 노드 수를 무제한으로 지원합니다. 또한 사용자가 챌린지 창을 기다릴 필요 없이 크로스체인 작업을 수행할 수 있는 '빠른 모드'를 제공하여 사용자 경험을 크게 향상시킵니다. 이 두 기술의 결합으로 라그랑쥬는 대규모 데이터를 효율적으로 처리하고, 복잡한 계산을 수행하며, 서로 다른 블록체인 간에 결과를 안전하게 전송하고 검증하여 복잡한 크로스체인 애플리케이션 개발을 지원할 수 있습니다.

래그랜지는 이미 아이겐레이어, 맨틀, 베이스, 프락스, 폴리머, 레이어제로, 옴니, 알트레이어 등과 통합되어 있으며, 이더리움 생태계 ZK AVS.1에 최초로 연결될 예정입니다. 에코시스템에 최초로 연결될 예정입니다.

.