ZK 시장 선도자 증명 배틀: 간결함 대 무한함

저자: yyyy 출처: X, @y_cryptoanalyst

@SuccinctLabs에 비해 @boundless_xyz는 아직 주목받지 못하고 있습니다. 하지만 Succinct와 마찬가지로 zk 범용 인프라 서킷의 리더가 될 잠재력을 가지고 있기 때문에 지금까지 중국 사이트에서 가장 자세한 소개 글을 작성했습니다.

현재 zk 시장 세분화 증명 트랙에서 가장 활발한 거래는 의심할 여지없이 @SuccinctLabs이며, 최고 경영진을 대상으로 한 초대 전용 스타 캠페인이 진행 중입니다. Succinct는 빠르게 성장하고 있습니다. 하지만 동시에 @RiscZero가 지원하는 zk 증명 네트워크인 @boundless_xyz가 떠오르고 있으며, 이 네트워크가 타겟팅하는 틈새 시장에서 Succinct의 가장 큰 경쟁자라고 생각합니다.

이 트윗은 아직 선두 주자를 찾지 못한 @SuccinctLabs와 @boundless_xyz 간의 유사점, 차이점, 경쟁 우위에 대해 간략하게 설명하기 위한 것입니다.

zkVM

SuccinctLabs든 @boundless_xyz든 구현 방식은 zkVM을 따라잡을 수 없습니다. 두 솔루션의 차이점은 다음과 같습니다. Succinct는 SP1 VM을 사용하는 반면, Boundless는 RISC에서 개발한 R0VM VM을 사용하나요?

zkVM이란 무엇인가요?

zkVM은 영지식 증명 가상 머신으로, 개발자가 Rust 기반(또는 다른 LLVM 프로그래밍 언어) 프로그램의 실행을 증명할 수 있게 해줍니다.

쉽게 설명하자면, 개발자가 직접 회로를 구성하고 최적화하는 계산 집약적인 증명 생성 과정을 수행할 필요 없이 zkVM을 사용하면 백그라운드에서 자동으로 증명을 생성하여 증명 개발 시간을 획기적으로 단축할 수 있습니다.

간결함: SP1 대 경계 없음: R0VM

zkVM VM은 영지식 증명의 복잡성을 추상화하는 객관적인 환경을 생성하여 기존 계산만큼 간단하게 증명을 생성할 수 있게 해줍니다. 계산.

Succinct의 SP1과 Boundless의 R0VM은 모두 RISC-V 명령어 집합을 기반으로 하며, 둘 다 Rust로 작성된 자동화된 ZK 증명 생성을 지원합니다. 둘 다 범용 컴퓨팅 시나리오에 적합합니다.

차별화:

1) 기반 기술의 독창성;

@SuccinctLabs SP1의 기본 증명 시스템은 폴리곤 팀이 개발한 모듈형 ZK 증명 툴킷인 Plonky3를 기반으로 하며, 이르면 2022년 초부터 Plonky2의 반복적인 반복으로 업그레이드되어 훨씬 높은 수준의 기술적 완성도를 갖추게 됩니다. 폴리곤이라는 거인의 어깨 위에 서게 된 셈입니다.

@boundless_xyz의 R0VM은 모회사인 RISC의 자체 개발 기술을 기반으로 하며, 여러 번의 기술 반복(1.1. 0-1.1.2)을 거쳤으며 현재 최신 R0VM 2.0 버전으로 업데이트 중입니다.

2) 오픈소스 정도;

@SuccinctLabs SP1은 최초의 100% 오픈소스 zkVM이라고 주장합니다. 관련 정보를 검색해 본 결과 다음과 같은 사실을 확인했습니다. RISC의 R0VM은 이전에 부분 오픈 소스였으며, 2024년 8월에 100% 완전 오픈 소스로 발표되었습니다.

3) 성능;

성능은 zkVM의 핵심 메트릭 중 하나로, 일반적으로 zk 증명의 생성 시간, 검증 시간을 의미합니다. 이 데이터는 민감한 데이터이고 Succinct와 Boundless는 직접적인 경쟁사이기 때문에 공개된 데이터가 공정하지 않을 수 있으며(예: 특정 환경에 대한 테스트 데이터 등), 중립적인 제3자의 권위 있고 신뢰할 수 있는 데이터를 찾지 못했기 때문에 객관성 확보를 위해 구체적인 데이터는 공개하지 않겠습니다.

현재 업계의 주류 견해는 빠른 증명 생성에서 알 수 있듯이 해시 집약적인 작업(예: 텐더민트 라이트 클라이언트 검증)에서는 @SuccinctLabs SP1의 성능이 더 우수하며, 범용 컴퓨팅 시나리오에서는 @boundless_xyz의 R0VM이 더 적합하다는 것이죠. boundless_xyz의 R0VM은 범용 컴퓨팅 시나리오에 더 적합하며 메모리 관리에서 분명한 이점을 가지고 있습니다.

SP1의 사전 컴파일 지원은 증명을 생성하는 데 필요한 RISC-V 명령어 사이클 수를 줄여 증명 생성 시간을 단축하고 증명 생성 비용을 절감합니다. 하지만 R0VM 버전 2.0에서는 두 가지 주요 사전 컴파일인 BN254와 BLS12-381이 추가되어 성능이 크게 향상됩니다.

ZK 증명 시장이란 무엇인가요?

zk 증명 생성은 @SuccinctLabs와 @boundless_xyz의 대규모 상용화를 위한 기반이며, 궁극적인 목표는 보다 효율적이고 탈중앙화된 zk 증명 시장으로 검증 가능한 계산을 신뢰가 필요 없는 보편적인 상품으로 전환하는 것입니다.

시장은 구매자와 판매자를 매칭하는 역할을 하며, zk 증명 마켓플레이스는 zk 증명의 공급 측면과 수요 측면을 매칭하는 시장으로 이해할 수 있습니다. zk 증명의 공급 측면은 일반적으로 GPU 또는 기타 하드웨어 장치를 실행하는 운영자 등 증명의 생성자이며, 수요 측면은 주로 검증 요구가 있는 B측 사용자입니다. 검증이 필요한 사용자입니다.

SuccinctLabs 증명 마켓플레이스에서 수요와 공급을 매칭하는 메커니즘은 복잡하지 않습니다. Succinct 네트워크는 요청자(zk 증명을 요구하는 사람)와 증명자(zk 증명을 제공하는 사람)라는 두 가지 핵심 참가자 클래스로 구성되어 있기 때문입니다.

Succinct는 자금 정산을 위한 중개자 역할을 합니다: 증명자는 증명 경쟁에 참여할 자격을 얻기 위해 체인에 담보를 예치하고, Succinct 프로토콜은 먼저 요청자의 증명 서비스 요청 수수료를 에스크로하고, 증명자들은 증명 경매를 통해 경쟁하고 최종 경매 승자가 요청자에게 zk 증명을 전달하고 해당 수수료 수익을 받습니다. 최종 경매 승자는 요청자에게 zk 증명을 전달하고 그에 상응하는 수수료 수익을 받습니다. 이로써 전체 집계 프로세스의 루프가 종료됩니다.

기술 아키텍처에 대한 자세한 구현은 공식 @SuccinctLabs 문서에서 확인할 수 있습니다:

https://docs.succinct.xyz/docs/ 네트워크/아키텍처/컴포넌트

@boundless_xyz는 얼마 전에 백서를 발표했는데, 이는 zk의 개념 증명 마켓플레이스 역할을 하며 구현 메커니즘은 @boundless_xyz와 유사하므로 여기서는 자세히 설명하지 않겠습니다. 기술 구현에 대한 자세한 내용은 이 글 끝에 있는 바운드리스 백서 링크에서 확인할 수 있습니다.

줄을 서 있는 B-엔드 사용자

고도로 자본화되고 일반적인 인프라 유형으로서 프로토콜의 고도로 자본화되고 일반적인 인프라 유형으로서, @SuccinctLabs와 @SuccinctLabs는 각각의 핵심 B측 사용자 기반을 가지고 있으며, 친 Succinct 및 친 RISC(Boundless) 파벌을 형성하고 있습니다.

프로 Succinct 진영:

IBC 유레카와 기본적으로 통합되어 zk 증명 생성 서비스를 제공하는 Cosmos와 같이 IBC 크로스 체인을 가능하게 하는 글로벌 이기종 체인 네트워크에서 상호 운용성을 제공합니다. 여기에는 초기 지원을 제공한 Polygon, DA 티어 @celestia, @AvailProject 등이 포함되지만 이에 국한되지 않습니다.

Pro-RISC (Boundless) 파벌:

Pro-RISC (Boundless) 파벌:

이더리움 리플렛지 @eigenlayer, zk 크로스체인 상호운용성 @union_build, 비트코인 zk 롤업 @citrea_xyz 등과 같은 것들입니다.

요약

바운드리스_xyz와 SuccinctLabs의 핵심 포지셔닝은 매우 유사하며 사업 범위가 매우 겹칩니다. 제 생각에는 두 회사의 경쟁은 기술 혁신 측면이 아니라 B급과 C급 사용자 모두의 핵심 사용자 측면에서 이루어지고 있다고 생각합니다.

경쟁에서 B급은 고르게 분포되어 있고, C급은 Succinct가 확실한 우위에 있기 때문에 바운드리스는 단점을 보완하기 위해 비슷한 포인트/초대 캠페인을 진행하여 C급 유저를 확보할 것으로 보입니다.

마무리

zk의 범용 증명이라는 빙산 밑에 잠재 시장이 얼마나 큰지 상상할 수 없다면 @SuccinctLabs와 @boundless_xyz의 잠재적 천장이 얼마나 높은지 상상할 수 없을 것입니다. 잠재적 천장이 얼마나 높은지 상상할 수 없습니다.

그러나 모든 것이 증명될 것이므로 지금 당장 zk 증명 시장을 인식하지 못하는 것이 어떤 가치를 지니는지 모르겠다면 계속 지켜봐 주시기 바랍니다.

저는 우리가 언젠가는 이 zk 혁명에 휘말리게 될 것이라고 생각하며, 지금은 이제 막 시작 단계에 불과합니다.