작성자: yyy 출처: X, @y_cryptoanalyst
@SuccinctLabs에 비해 @boundless_xyz는 시장에서 마땅히 받아야 할 관심과 중요성을 받지 못했지만, Succinct와 마찬가지로 zk 일반 인프라 분야에서 선두주자가 될 잠재력을 갖추고 있습니다. 이것이 제가 중국어 전체에 걸쳐 가장 자세한 소개 글을 쓴 원래 의도이기도 합니다.
현재, zk 증명 시장 부문에서 가장 인기 있는 프로토콜은 의심할 여지 없이 @SuccinctLabs입니다. C-엔드 플레이어를 위한 초대 기반 스타 이벤트 덕분에 Succinct는 빠르게 인기를 얻었습니다. 하지만 동시에 @RiscZero가 지원하는 zk 증명 네트워크 @boundless_xyz가 부상하고 있는데, 이는 제가 생각하기에 Succinct가 타깃으로 삼고 있는 틈새 시장에서 가장 큰 경쟁자입니다.
이 트윗은 @SuccinctLabs와 @boundless_xyz의 유사점, 차이점, 경쟁 우위에 대해 간략하게 설명합니다. 아직은 어느 회사가 이 분야의 선두주자가 될지는 알 수 없습니다.
zkVM은 불가피하다
@SuccinctLabs나 @boundless_xyz의 기술적 구현은 zkVM을 우회할 수 없습니다. 차이점은 Succinct는 SP1 가상 머신을 사용하는 반면, Boundless는 RISC에서 개발한 R0VM 가상 머신을 사용한다는 것입니다.
그렇다면 zkVM은 무엇일까요?
zkVM은 개발자가 Rust(또는 다른 LLVM 프로그래밍 언어) 기반 프로그램의 실행을 증명할 수 있는 제로 지식 증명 가상 머신입니다.
간단히 말해서, zkVM 기반 개발자는 계산 집약적인 zk 증명 생성 과정(수동으로 회로를 구축하고 최적화)을 수행할 필요가 없습니다. 증명 생성은 백그라운드에서 자동으로 완료되므로 zk 증명의 개발 시간이 크게 단축됩니다.
간결함: SP1 대 Boundless: R0VM
zkVM 가상 머신은 객관적인 환경을 만들어서 제로 지식 증명의 복잡성을 추상화하고, 이를 통해 증명 생성을 기존 컴퓨팅만큼 간단하게 만듭니다.
Succinct의 SP1과 Boundless의 R0VM은 모두 RISC-V 명령어 세트를 기반으로 하며, 둘 다 Rust로 작성하고 ZK 증명을 자동으로 생성하는 기능을 지원합니다. 그리고 이들은 모두 일반적인 컴퓨팅 시나리오에 적합합니다.
분화:
1) 기반 기술의 독창성
@SuccinctLabs SP1의 기본 증명 시스템은 Polygon 팀이 개발한 모듈 식 ZK 증명 툴킷인 Plonky3를 활용합니다. 이는 2022년 초에 출시된 Plonky2의 반복적 업그레이드 버전으로, 기술적 완성도가 더 높습니다. 간결함은 폴리곤 거인의 어깨 위에 서는 것과 같습니다.
@boundless_xyz의 R0VM은 모회사인 RISC가 자체 개발한 기술을 기반으로 합니다. 2024년 6월에 R0VM 1.0 버전이 출시된 이후 여러 차례의 기술적 반복 작업(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이 해시 집약적 작업(예: Tendermint 경량 클라이언트 검증)에서 더 나은 성능을 보인다는 것입니다. 이는 증명 생성 시간이 더 빠르다는 데 반영됩니다. @boundless_xyz의 R0VM은 일반적인 컴퓨팅 시나리오에 더 적합하며 메모리 관리 측면에서 확실한 장점이 있습니다.
SP1은 사전 컴파일을 지원하므로 증명을 생성하는 데 필요한 RISC-V 명령어 주기 수가 줄어들어 증명 생성 시간이 단축되고 증명 생성 비용이 절감됩니다. 하지만 R0VM 2.0이 출시되면서 BN254와 BLS12-381이라는 두 가지 새로운 주요 사전 컴파일이 추가되어 성능이 크게 향상되었습니다.
zk-proof 시장이란 무엇인가요?
zk 증명 생성은 @SuccinctLabs와 @boundless_xyz가 대규모 상용화를 향해 나아가기 위한 기반입니다. 그들의 궁극적인 목표는 검증 가능한 계산을 보편적이고 신뢰할 수 없는 상품으로 만들어 더욱 효율적이고 탈중앙화 ZK 증명 시장이 되는 것입니다.
시장은 구매자와 판매자를 연결해주는 역할을 합니다. zk 증명 시장은 zk 증명 공급자와 수요자를 연결해주는 시장으로 이해될 수 있습니다. zk 증명의 공급자는 증명을 생성한 사람으로, 일반적으로 GPU나 다른 하드웨어 장치의 운영자입니다. zk 증명의 수요자는 주로 검증이 필요한 B-side 사용자입니다.
@SuccinctLabs의 증명시장 수요와 공급 매칭 메커니즘은 복잡하지 않습니다. Succinct 네트워크는 요청자(zk 증명 요구자)와 증명자(zk 증명 제공자)라는 두 가지 유형의 핵심 참여자로 구성됩니다.
Succinct는 자금 결제를 위한 중개자 역할을 합니다. 증명자는 증명 경쟁에 참여할 자격을 얻기 위해 온체인 에 담보를 예치하고, Succinct 프로토콜은 먼저 요청자의 증명 서비스 요청에 대한 수수료를 에스크로 처리합니다. 증명자는 증명 경매를 통해 경쟁하고, 최종 경매에서 승리한 사람은 요청자에게 zk 증명을 전달하고 해당 수수료 수입을 얻습니다. 전체 매치메이킹 프로세스는 이제 종료되었습니다.
더 자세한 기술적 아키텍처 구현 메커니즘은 @SuccinctLabs 공식 문서를 참조하세요.
https://docs.succinct.xyz/docs/network/architecture/components
@boundless_xyz가 얼마 전 백서 발표했습니다. zk 증명 시장으로 작용하는 구현 메커니즘은 @boundless_xyz의 구현 메커니즘과 유사합니다. 여기서는 자세한 내용을 다루지 않겠습니다. 기술 구현에 대한 자세한 내용은 기사 마지막에 첨부된 Boundless 백서 링크를 참조하세요.
B면 이용자 줄 서다
자본이 선호하는 일반 인프라 프로토콜인 @SuccinctLabs와 @SuccinctLabs는 자체 핵심 B-side 사용자 그룹을 가지고 있으며, 친 Succinct 파벌과 친 RISC(Boundless) 파벌을 형성합니다.
친-서친크트 세력:
예를 들어, Cosmos는 기본적으로 IBC Eureka를 통합하여 zk 증명 생성 서비스를 제공하고, 이를 통해 글로벌 이기종 체인 네트워크에서 IBC 크로스체인 상호 운용성을 확장할 수 있습니다. Polygon, DA 레이어 @celestia, @AvailProject 등을 포함하되 이에 국한되지 않음: 조기 기술 지원을 제공합니다.
Pro-RISC (Boundless) 세력:
예를 들어 ETH 리스테이킹 (Restaking) 프로토콜 @eigenlayer, zk 크로스체인 상호운용성 프로토콜 @union_build, Bitcoin zk-Rollup @citrea_xyz 등이 있습니다.
요약하다
@boundless_xyz와 @SuccinctLabs의 핵심 포지셔닝은 매우 유사하며, 업무 범위에서도 중복이 매우 많습니다. 제 생각에 두 회사 간의 경쟁은 기술 혁신 경쟁이라기보다는 B엔드 사용자, C엔드 사용자 등 핵심 사용자를 위한 경쟁입니다.
B-end의 경쟁은 팽팽하게 맞섰고, Succinct는 C-end에서 확실한 우위를 점했습니다. Boundless는 단점을 보완하기 위해 C-end 사용자를 사로잡기 위해 비슷한 포인트 활동/초대 기반 활동을 시작할 가능성이 높습니다.
마지막 말
zk-universal 증명의 빙산 아래에 숨겨진 잠재적 시장이 얼마나 큰지 상상할 수 없다면, @SuccinctLabs와 @boundless_xyz의 잠재적 한계가 얼마나 높은지 상상할 수 없을 것입니다.
하지만 이 모든 것은 추적이 가능할 것입니다. 지금 zk 증명 시장의 가치를 이해하지 못하고 인식하지 못한다면 계속 주의를 기울이세요.
저는 결국 우리도 이 zk 혁명에 참여하게 될 것이라고 생각합니다. 그리고 이 혁명은 이제 막 시작된 것입니다.
