최근 몇 달 동안 보조 프로세서 개념이 인기를 끌면서 이 새로운 ZK 사용 사례가 점점 더 많은 관심을 끌기 시작했습니다.

그러나 우리는 대부분의 사람들이 여전히 보조 프로세서의 개념, 특히 보조 프로세서의 정확한 위치, 즉 보조 프로세서가 무엇인지, 무엇이 아닌지에 대해 비교적 익숙하지 않다는 사실을 발견했습니다. 시중에 나와 있는 여러 코프로세서 트랙의 기술 솔루션을 체계적으로 정리한 사람은 아직 아무도 없습니다. 이 기사를 통해 시장과 사용자에게 코프로세서 트랙에 대한 보다 명확한 이해를 제공할 수 있기를 바랍니다.

1. 코프로세서란 무엇이고 무엇이 아닌가?

기술 지식이 없는 사람이나 개발자에게 코프로세서를 단 한 문장으로 설명하라는 요청을 받는다면 어떻게 설명하시겠습니까?

모동모 박사가 말한 내용은 표준적인 대답에 매우 가깝다고 생각합니다. 직설적으로 말하면 보조 프로세서는 "스마트 계약에 모래 분석(Dune Analytics)을 수행할 수 있는 기능을 제공하는 것"입니다.

이 문장을 어떻게 분해하나요?

Dune을 사용하는 시나리오를 상상해 보십시오. 처리 수수료를 얻기 위해 Uniswap V3에서 LP를 수행하려고 하므로 Dune을 열고 Uniswap에서 다양한 거래 쌍의 최근 거래량(지난 7일 동안 처리 수수료의 APR)을 찾습니다. 및 주류 거래쌍 상한 및 하한 변동 범위 등

아니면 StepN이 유명해졌을 때 신발에 대한 투기를 시작했고, 언제 팔아야 할지 확신이 서지 않아서 Dune에서 매일 보는 StepN 데이터, 일별 거래량, 신규 사용자 수, 신발 가격 하한선을 살펴보셨을 수도 있습니다. 신발... 그리고 성장이 있을 때 계획을 세웠는데, 추세가 둔화되거나 하락한다면 빨리 달려라.

물론 여러분이 이러한 데이터를 주목하고 있을 뿐만 아니라 Uniswap과 StepN의 개발팀도 이러한 데이터에 주목하고 있습니다.

이 데이터는 매우 의미가 있습니다. 이는 추세 변화를 판단하는 데 도움이 될 뿐만 아니라 주요 인터넷 회사에서 일반적으로 사용하는 "빅 데이터" 접근 방식과 마찬가지로 더 많은 트릭을 만드는 데에도 사용할 수 있습니다.

예를 들어, 사용자가 자주 사고 파는 신발의 스타일과 가격을 바탕으로 비슷한 신발을 추천해 준다.

예를 들어, 사용자가 Chuangshi 신발을 보유하는 기간에 따라 충성도가 높은 사용자에게 더 많은 에어드롭이나 혜택을 제공하기 위해 "사용자 충성도 보상 프로그램"이 시작됩니다.

예를 들어 Cex와 유사한 VIP 플랜은 Uniswap에서 LP 또는 Trader가 제공하는 TVL 또는 거래량을 기반으로 출시되어 Trader 거래 수수료 감소 또는 LP 수수료 지분 증가 혜택을 제공할 수 있습니다.

…

이때 문제가 발생하는데, 인터넷 거대기업의 빅데이터+AI는 기본적으로 블랙박스여서 원하는 것은 무엇이든 할 수 있고, 사용자는 볼 수 없고 관심도 없다.

그러나 Web3 측면에서는 투명성과 불신이 우리의 자연스러운 정치적 올바름이며 우리는 블랙박스를 거부합니다!

따라서 위 시나리오를 실현하려는 경우 중앙 집중식 수단을 통해 이를 달성할 수 있는지, "수동으로" Dune을 사용하여 백그라운드에서 인덱스 데이터를 계산한 다음 배포 및 구현하거나 다음과 같은 딜레마에 직면하게 됩니다. a 체인에서 이러한 데이터를 자동으로 캡처하고 계산을 완료하며 포인트를 자동으로 배포하도록 스마트 계약을 설정합니다.

전자는 "정치적으로 잘못된" 신뢰 문제를 남길 수 있습니다.

체인에서 후자에 의해 생성되는 가스 비용은 천문학적인 수치가 될 것이며 귀하의 (프로젝트 측) 지갑은 이를 감당할 수 없습니다.

이제 보조 프로세서가 등장할 차례인데 지금은 두 가지 방법을 결합하고 동시에 '백그라운드 매뉴얼' 단계를 이용해 기술적 수단을 통해 '무죄 자체 증명'을 하는 것, 즉 ZK를 활용하는 것이다. 체인 외부에서 "인덱스 +"하는 기술입니다. "계산" 부분은 "무죄를 자체적으로 증명"한 다음 이를 스마트 계약에 공급합니다. 이렇게 하면 신뢰 문제가 해결되고 막대한 가스 비용이 사라집니다. 완벽합니다. !

이제 보조 프로세서가 등장할 차례인데 지금은 두 가지 방법을 결합하고 동시에 '백그라운드 매뉴얼' 단계를 이용해 기술적 수단을 통해 '무죄 자체 증명'을 하는 것, 즉 ZK를 활용하는 것이다. 체인 외부에서 "인덱스 +"하는 기술입니다. "계산" 부분은 "무죄를 자체적으로 증명"한 다음 이를 스마트 계약에 공급합니다. 이렇게 하면 신뢰 문제가 해결되고 막대한 가스 비용이 사라집니다. 완벽합니다. !

왜 "코프로세서"라고 불리는가? 사실 이는 Web2.0 개발 역사의 "GPU"에서 파생된 것입니다. 당시 GPU가 별도의 컴퓨팅 하드웨어로 도입되어 CPU와 독립적으로 존재했던 이유는 GPU의 설계 아키텍처가 대규모 병렬 반복 계산, 그래픽스 등 CPU가 근본적으로 처리하기 어려운 일부 계산을 처리할 수 있었기 때문입니다. 계산 등등.. 오늘날 멋진 CG 영화, 게임, AI 모델 등이 있는 것은 바로 이 "코프로세서" 아키텍처 때문입니다. 따라서 이 코프로세서 아키텍처는 실제로 컴퓨팅 아키텍처의 도약입니다. 이제 다양한 보조 프로세서 팀도 이 아키텍처를 Web3.0에 도입하려고 합니다. 여기의 블록체인은 Web3.0의 CPU와 유사합니다. L1이든 L2이든 본질적으로 이러한 "무거운 데이터" 및 "복잡한"에는 적합하지 않습니다. 계산 논리" 작업을 수행하므로 이러한 계산을 처리하는 데 도움이 되는 블록체인 보조 프로세서가 도입되어 블록체인 응용 프로그램의 가능성이 크게 확장됩니다.

따라서 보조 프로세서가 수행하는 작업은 두 가지로 요약될 수 있습니다.

얼마 전 Starkware에서는 State Proof라고도 불리는 Storage Proof라는 인기 있는 개념이 있었는데, 기본적으로 Herodotus, Langrage 등으로 대표되는 1단계를 수행합니다. ZK 기술을 기반으로 하는 많은 크로스체인 브리지의 기술적 초점도 1단계에 있습니다. .1에.

보조 프로세서는 1단계가 완료된 후 2단계를 추가하는 것에 불과하며, 신뢰 없이 데이터를 추출한 후 신뢰 없는 계산을 수행할 수 있습니다.

따라서 이를 정확하게 설명하기 위해 비교적 기술적인 용어를 사용하려면 보조 프로세서는 Storage Proof/State Proof의 상위 집합이자 Verfiable Computation의 하위 집합이어야 합니다.

한 가지 주목할 점은 보조 프로세서가 롤업이 아니라는 것입니다.

기술적으로 말하면 Rollup의 ZK 증명은 위의 2단계와 유사하며 1단계 "데이터 가져오기" 프로세스는 Sequencer를 통해 직접 구현됩니다. 분산형 시퀀서라도 일종의 경쟁이나 합의 메커니즘만 사용합니다. Storage Proof 대신 가져옵니다. ZK의 형태. 더 중요한 것은 계산 계층 외에도 ZK Rollup은 L1 블록체인과 유사한 저장 계층도 구현해야 한다는 것입니다. 이 저장소는 영구적인 반면 ZK Coprocessor는 "상태 비저장"입니다. 계산이 완료된 후에는 모든 상태가 없습니다. 유지됩니다.

애플리케이션 시나리오의 관점에서 볼 때 보조 프로세서는 모든 Layer1/Layer2에 대한 서비스 플러그인으로 간주될 수 있는 반면 Rollup은 결제 계층 확장을 돕기 위해 실행 계층을 다시 생성합니다.

2. 왜 ZK를 사용해야 하나요?OP를 사용해도 되나요?

위의 내용을 읽은 후 ZK를 보조 프로세서로 사용하여 수행해야 하는지 의문이 생길 수 있습니다. 이것은 "ZK가 추가된 그래프"처럼 들리며 그래프의 결과에 대해 "큰 의심"이 없는 것 같습니다.

그래프를 사용하면 기본적으로 실제 돈이 필요하지 않기 때문입니다. 이러한 인덱스는 오프체인 서비스를 제공합니다. 프론트엔드 사용자 인터페이스에 표시되는 것은 거래량, 거래 내역 등입니다. 데이터는 여러 데이터를 통해 제공될 수 있습니다. Graph, Alchemy, Zettablock 등과 같은 인덱스 공급자를 사용하지만 이 데이터를 스마트 계약에 다시 넣을 수는 없습니다. 일단 데이터를 다시 넣으면 인덱싱 서비스에 대한 신뢰가 추가되기 때문입니다. 데이터가 실제 화폐, 특히 대용량 TVL과 연결되면 이러한 추가 신뢰가 중요해집니다. 다음에 친구가 100위안을 빌려달라고 하면 눈 하나 깜짝하지 않고 그냥 빌려줄 수 있다고 상상해 보세요. 10,000위안을 빌려달라고 하세요, 아니면 100만위안을 빌려달라고 하시나요?

그런데 위의 모든 시나리오를 공동 처리하기 위해 정말 ZK를 사용해야 할까요? 결국 Rollup에는 OP와 ZK라는 두 가지 기술 경로가 있습니다. 최근 인기 있는 ZKML에도 해당 분기 경로에 대한 OPML 개념이 있습니다. 보조 프로세서에도 OP-Coprocessor와 같은 OP 분기가 있습니까?

사실 그렇습니다. 하지만 현재로서는 구체적인 세부 사항을 기밀로 유지하고 있으며, 더 자세한 정보는 곧 공개할 예정입니다.

3. 어떤 코프로세서가 더 나은지 - 시장에 나와 있는 몇 가지 일반적인 코프로세서 기술 솔루션 비교

Brevis의 아키텍처는 zkFabric, zkQueryNet 및 zkAggregatorRollup의 세 가지 구성 요소로 구성됩니다.

다음은 Brevis 아키텍처 다이어그램입니다.

zkFabric: 연결된 모든 블록체인에서 블록 헤더를 수집하고 이러한 블록 헤더의 유효성을 증명하는 ZK 합의 증명을 생성합니다. Brevis는 zkFabric을 통해 여러 체인에 대해 상호 운용 가능한 보조 프로세서를 구현합니다. 이를 통해 하나의 블록체인은 다른 블록체인의 모든 기록 데이터에 액세스할 수 있습니다.

zkQueryNet: dApp의 데이터 쿼리를 받아들이고 처리하는 개방형 ZK 쿼리 엔진 시장입니다. 데이터 쿼리는 zkFabric의 검증된 블록 헤더를 사용하여 이러한 쿼리를 처리하고 ZK 쿼리 증명을 생성합니다. 이러한 엔진은 다양한 애플리케이션 요구 사항을 충족하기 위해 고도로 전문화된 기능과 일반 쿼리 언어를 모두 갖추고 있습니다.

zkAggregatorRollup: zkFabric 및 zkQueryNet의 집계 및 저장 계층 역할을 하는 ZK 컨볼루셔널 블록체인입니다. 두 구성 요소 모두의 증명을 확인하고, 확인된 데이터를 저장하며, 연결된 모든 블록체인에 zk 확인 상태 루트를 커밋합니다.

ZK Fabric은 블록 헤더에 대한 증명을 생성하는 핵심 부분으로 이 부분의 보안을 보장하는 것이 매우 중요합니다. 다음은 zkFabric의 아키텍처 다이어그램입니다.

zkFabric의 ZKP(영지식 증명) 기반 라이트 클라이언트는 외부 검증 기관에 의존하지 않고도 완전히 신뢰할 수 있습니다. 보안은 전적으로 기본 블록체인과 수학적으로 신뢰할 수 있는 증명에서 비롯되므로 외부 검증 기관에 의존할 필요가 없습니다.

zkFabric Prover 네트워크는 각 블록체인의 라이트 클라이언트 프로토콜에 대한 회로를 구현하고 네트워크는 블록 헤더에 대한 유효성 증명을 생성합니다. 증명자는 GPU, FPGA, ASIC과 같은 가속기를 활용하여 증명 시간과 비용을 최소화할 수 있습니다.

zkFabric은 블록체인과 기본 암호화 프로토콜의 보안 가정 및 기본 암호화 프로토콜의 보안 가정에 의존합니다. 그러나 zkFabric의 효율성을 보장하려면 올바른 포크를 동기화하기 위해 최소한 하나의 정직한 릴레이가 필요합니다. 따라서 zkFabric은 단일 릴레이 대신 분산형 릴레이 네트워크를 사용하여 zkFabric의 효율성을 최적화합니다. 이 중계 네트워크는 Celer 네트워크의 상태 모니터링 네트워크와 같은 기존 구조를 활용할 수 있습니다.

증명자 할당: 증명자 네트워크는 각 증명 생성 작업에 대해 증명자를 선택하고 이러한 증명자에게 수수료를 지불해야 하는 분산형 ZKP 증명자 네트워크입니다.

현재 배포:

현재 이더리움 PoS, 코스모스 텐더민트, BNB 체인 등 다양한 블록체인에 구현된 라이트 클라이언트 프로토콜은 개념 증명의 역할을 합니다.

현재 배포:

현재 이더리움 PoS, 코스모스 텐더민트, BNB 체인 등 다양한 블록체인에 구현된 라이트 클라이언트 프로토콜은 개념 증명의 역할을 합니다.

Brevis는 현재 맞춤형 유니스왑 풀을 크게 추가하는 유니스왑 후크와 협력하고 있지만, CEX에 비해 UnisWap은 대규모 사용자 거래 데이터(예: 거래량에 따른 충성도 프로그램)에 의존하는 프로젝트를 생성하기 위한 효과적인 데이터 처리 기능이 여전히 부족합니다. .

Brevis의 도움으로 Hook은 문제를 해결했습니다. 이제 후크는 사용자 또는 LP의 전체 내역 체인 데이터를 읽고 완전히 신뢰할 수 없는 방식으로 사용자 정의 가능한 계산을 실행할 수 있습니다.

2. 헤로도토스

Herodotus는 Ethereum 계층 전체에 걸쳐 체인의 현재 및 과거 데이터에 동기적으로 액세스할 수 있는 다음 기능을 갖춘 스마트 계약을 제공하는 강력한 데이터 액세스 미들웨어입니다.

L2의 L1 상태

L1 및 기타 L2의 L2 상태

L2 및 L1에 대한 L3/앱 체인 상태

헤로도토스는 포함 증명(데이터의 존재 확인)과 계산 증명(다단계 작업 흐름의 실행 확인)을 결합하여 대규모 데이터 세트(예: 전체 이더리움 블록체인)가 또는 롤업) 또는 여러 요소의 유효성.

블록체인의 핵심은 데이터베이스로, 머클 트리, 머클 패트리샤 트리 등의 데이터 구조를 이용해 데이터를 암호화하고 보호한다. 이러한 데이터 구조의 독특한 점은 데이터가 안전하게 커밋되면 데이터가 구조 내에 포함되어 있음을 확인하는 증거가 생성될 수 있다는 것입니다.

Merkle 트리와 Merkle Patricia 트리를 사용하면 Ethereum 블록체인의 보안이 강화됩니다. 트리의 각 수준에서 데이터를 암호화 방식으로 해싱하면 탐지 없이 데이터를 변경하는 것이 거의 불가능합니다. 데이터 포인트를 변경하려면 트리의 해당 해시를 블록체인 헤더에 공개적으로 표시되는 루트 해시로 변경해야 합니다. 블록체인의 이러한 기본 기능은 높은 수준의 데이터 무결성과 불변성을 제공합니다.

둘째, 이러한 트리는 포함 증명을 통해 효율적인 데이터 검증을 허용합니다. 예를 들어, 트랜잭션 포함이나 계약 상태를 확인할 때 전체 이더리움 블록체인을 검색할 필요 없이 관련 머클 트리 내의 경로만 확인하면 됩니다.

헤로도토스가 정의한 저장 증명은 다음의 융합입니다.

작업 흐름:

1. 블록 해시 획득

블록체인의 모든 데이터는 특정 블록에 속합니다. 블록 해시는 블록의 고유 식별자 역할을 하며 블록 헤더를 통해 모든 내용을 요약합니다. 저장 증명 워크플로에서는 먼저 관심 있는 데이터가 포함된 블록의 블록 해시를 결정하고 검증해야 합니다. 이것이 전체 프로세스의 첫 번째 단계입니다.

2. 블록 헤더 획득

관련 블록 해시를 획득한 후 다음 단계는 블록 헤더에 액세스하는 것입니다. 이를 위해서는 이전 단계에서 얻은 블록 해시와 관련된 블록 헤더를 해싱해야 합니다. 제공된 블록 헤더의 해시는 결과 블록 해시와 비교됩니다.

해시를 얻는 방법에는 두 가지가 있습니다.

(1) BLOCKHASH opcode를 사용하여 검색

(2) 내역에서 검증된 블록의 해시를 Block Hash Accumulator에서 조회합니다.

해시를 얻는 방법에는 두 가지가 있습니다.

(1) BLOCKHASH opcode를 사용하여 검색

(2) 내역에서 검증된 블록의 해시를 Block Hash Accumulator에서 조회합니다.

이 단계에서는 처리 중인 블록 헤더가 진짜인지 확인합니다. 이 단계가 완료되면 스마트 계약은 블록 헤더의 모든 값에 액세스할 수 있습니다.

3. 필요한 루트 결정(선택 사항)

블록 헤더를 손에 넣으면 내용을 구체적으로 살펴볼 수 있습니다.

stateRoot: 블록체인이 발생한 당시 전체 블록체인 상태에 대한 암호화 다이제스트입니다.

ReceiptsRoot: 블록의 모든 거래 결과(영수증)에 대한 암호화된 다이제스트입니다.

TransactionsRoot: 블록에서 발생한 모든 트랜잭션의 암호화 다이제스트입니다.

디코딩이 가능하여 특정 계좌, 영수증, 거래가 블록에 포함되어 있는지 확인할 수 있습니다.

4. 선택한 루트에 대해 데이터 유효성을 검사합니다(선택 사항).

우리가 선택한 루트와 Ethereum이 Merkle-Patricia Trie 구조를 사용한다는 점을 고려하면 Merkle 포함 증명을 사용하여 데이터가 트리에 존재하는지 확인할 수 있습니다. 검증 단계는 데이터와 블록 내 데이터의 깊이에 따라 달라집니다.

현재 지원되는 네트워크:

이더리움에서 스타크넷까지

Ethereum Goerli*에서 Starknet Goerli*까지

Ethereum Goerli*에서 zkSync Era Goerli*까지

3. 공리

Axiom은 개발자가 Ethereum의 전체 기록에서 블록 헤더, 계정 또는 스토리지 값을 쿼리할 수 있는 방법을 제공합니다. AXIOM은 암호화를 기반으로 한 새로운 연결 방법을 도입합니다. Axiom이 반환한 모든 결과는 영지식 증명을 통해 온체인으로 검증됩니다. 즉, 스마트 계약이 추가적인 신뢰 가정 없이 이를 사용할 수 있다는 의미입니다.

Axiom은 최근 Javascript로 작성된 브라우저 기반 halo2 REPL인 Halo2-repl을 출시했습니다. 이를 통해 개발자는 Rust와 같은 새로운 언어를 배우거나 증명 라이브러리를 설치하거나 종속성을 처리할 필요 없이 표준 Javascript만 사용하여 ZK 회로를 작성할 수 있습니다.

Axiom은 두 가지 주요 기술 구성 요소로 구성됩니다.

Axiom은 두 가지 주요 기술 구성 요소로 구성됩니다.

AxiomV1 — Genesis로 시작하는 이더리움 블록체인 캐시.

AxiomV1Query — AxiomV1에 대해 쿼리를 실행하는 스마트 계약입니다.

(1) AxiomV1의 캐시 블록 해시 값:

AxiomV1 스마트 계약은 제네시스 블록 이후 이더리움 블록 해시를 두 가지 형태로 캐시합니다.

먼저, 1024개의 연속 블록 해시의 Keccak Merkle 루트가 캐시됩니다. 이러한 Merkle 루트는 ZK 증명을 통해 업데이트되어 블록 헤더 해시가 EVM에 직접 액세스할 수 있는 최신 256개 블록 중 하나 또는 AxiomV1 캐시에 이미 존재하는 블록 해시로 끝나는 커밋 체인을 형성하는지 확인합니다.

둘째. Axiom은 제네시스 블록부터 시작하여 이러한 Merkle 루트의 Merkle Mountain Range를 저장합니다. Merkle 산맥은 캐시의 첫 번째 부분인 Keccak Merkle 루트를 업데이트하여 온체인으로 구축됩니다.

(2) AxiomV1Query에서 쿼리를 실행합니다.

AxiomV1Query 스마트 계약은 일괄 쿼리에 사용되어 과거 이더리움 블록 헤더, 계정 및 계정에 저장된 임의 데이터에 대한 무신뢰 액세스를 가능하게 합니다. 쿼리는 온체인에서 이루어질 수 있으며 AxiomV1 캐시된 블록 해시에 대한 ZK 증명을 통해 온체인에서 완료됩니다.

이러한 ZK 증명은 Merkle-Patricia Trie의 포함(또는 비포함) 증명을 확인하여 관련 온체인 데이터가 블록 헤더에 직접 있는지, 아니면 블록의 계정이나 스토리지 트리에 있는지 확인합니다.

4. 넥서스

Nexus는 영지식 증명을 사용하여 검증 가능한 클라우드 컴퓨팅을 위한 공통 플랫폼을 구축하려고 시도합니다. 현재는 머신 아키텍처에 구애받지 않으며 risc 5/ WebAssembly/ EVM을 지원합니다. Nexus는 초신성 증명 시스템을 사용하며, 팀에서 증명 생성에 필요한 메모리는 6GB로 테스트했으며, 향후에는 이를 기반으로 일반 사용자 측 기기와 컴퓨터에서 증명을 생성할 수 있도록 최적화할 예정이다.

정확하게 말하면 아키텍처는 두 부분으로 나뉩니다.

Nexus zero: 영지식 증명과 범용 zkVM을 기반으로 하는 검증 가능한 분산형 클라우드 컴퓨팅 네트워크입니다.

Nexus: 다자간 계산, 상태 머신 복제 및 범용 WASM 가상 머신을 기반으로 하는 검증 가능한 분산형 클라우드 컴퓨팅 네트워크입니다.

Nexus 및 Nexus Zero 애플리케이션은 현재 Rust를 지원하는 기존 프로그래밍 언어로 작성될 수 있으며 앞으로 더 많은 언어가 지원될 예정입니다.

Nexus 애플리케이션은 본질적으로 이더리움에 직접 연결된 범용 "서버리스 블록체인"인 분산형 클라우드 컴퓨팅 네트워크에서 실행됩니다. 따라서 Nexus 애플리케이션은 Ethereum의 보안을 상속하지 않지만 그 대신 네트워크 크기가 줄어들어 더 높은 컴퓨팅 성능(컴퓨팅, 스토리지, 이벤트 중심 I/O 등)에 액세스할 수 있습니다. Nexus 애플리케이션은 내부 합의를 달성하고 Ethereum 내에서 검증 가능한 네트워크 전체 임계값 서명을 통해 검증 가능한 계산 "증명"(진짜 증명이 아님)을 제공하는 프라이빗 클라우드에서 실행됩니다.

Nexus Zero 애플리케이션은 BN-254 타원 곡선의 온체인에서 확인할 수 있는 영지식 증명이 포함된 범용 프로그램이므로 Ethereum의 보안을 상속합니다.

Nexus는 복제된 환경에서 모든 결정론적 WASM 바이너리를 실행할 수 있으므로 zk-롤업 시퀀서, 낙관적 롤업 시퀀서 및 기타 증명 서버를 포함하여 생성된 애플리케이션에 대한 유효성/분산/내결함성 증명 소스로 사용될 것으로 예상됩니다. Nexus Zero의 zkVM 자체와 같은 것입니다.