55억 위안의 자금을 조달한 Succinct는 패러다임이 주도한 두 차례의 투자를 받은 ZK의 대표 프로젝트입니다.
이 최고의 ZK 프로젝트의 핵심 제품은 SP1이며, 현재 가장 빠른 zkVM이기도 합니다.
• 다른 zkVM보다 최대 28배 빠른 검증 속도와 훨씬 저렴한 비용으로 최고의 성능을 제공합니다.
• Rust로 ZKP를 작성하고, 기존 코드 기반을 재사용하며, 개발 효율성을 100배 증가시킵니다.
• 프로덕션 수준의 사용 사례를 지원하고, 최상위 수준의 감사를 거쳤으며, Polygon 및 Celestia와 같은 주요 프로젝트에 채택되었습니다.
1. SP1이란 무엇인가요?
SP1은 개발자가 Rust(또는 LLVM 컴파일을 지원하는 모든 언어)로 일반 코드를 작성하고 프로그램의 올바른 실행을 검증하기 위한 효율적인 제로 지식 증명을 생성할 수 있는 범용 제로 지식 가상 머신(zkVM)입니다.
간단히 말해, SP1을 사용하면 개발자는 복잡한 암호화 이론을 탐구하지 않고도 익숙한 프로그래밍 언어를 사용하여 암호화 보안을 갖춘 검증 가능한 컴퓨팅 애플리케이션을 빠르게 구축할 수 있습니다.
SP1의 핵심 혁신은 최고 수준의 성능과 유연성을 유지하면서도 제로 지식 증명의 개발 임계값을 크게 낮춘다는 것입니다. ZKP를 일반 소프트웨어를 작성하는 것만큼 간단하게 만들고, 블록체인 인프라(예: Rollup, 크로스체인 브리지, 오라클 등)를 유지 관리 가능한 코드를 통해 검증할 수 있도록 합니다.
영지식 증명(ZKP)은 입력 데이터를 유출하지 않고도 계산의 정확성을 증명할 수 있습니다. 이 기능은 블록체인에서 무한한 적용 시나리오를 가지고 있습니다.
- 용량 확장: 롤업을 통해 ZKP는 많은 수의 거래를 하나의 증명으로 압축하여 메인 체인의 부담을 크게 줄일 수 있습니다.
- 상호 운용성: ZKP는 다양한 체인의 상태를 검증하고 크로스 체인 통신을 용이하게 할 수 있습니다.
- 개인정보 보호: ZKP는 거래나 상태의 개인정보 보호를 보장하고 사용자 데이터를 보호합니다.
- 브리지와 오라클: ZKP를 사용하면 체인 외부의 데이터나 계산을 체인 내부에서 신뢰할 수 없이 검증할 수 있습니다. 하지만 기존 ZKP 개발의 복잡성은 "악몽"이라고 표현할 수 있습니다. 전문적인 암호화 팀과 수년간의 개발 주기, 그리고 높은 유지 관리 비용이 필요합니다.
SP1의 등장으로 이런 상황은 완전히 바뀌었습니다.
2. SP1의 특징
1. 가장 빠르고 강력한 zkVM
실제 블록체인 작업 부하(예: 가벼운 클라이언트 검증, 롤업 등)에서 다른 zkVM보다 4~28배 빠르며, 수동으로 최적화된 전용 회로와도 비슷합니다. 최신 버전인 SP1 Turbo(v4.0.0)는 GPU 클러스터에서 실행할 경우 불과 40초 만에 이더리움 메인넷 블록을 검증할 수 있으며, 비용도 몇 센트에 불과합니다.
2. Rust에서 ZKP 작성 지원
SP1을 사용하면 개발자가 Rust로 ZKP 로직을 작성하고 기존 Rust 생태계 라이브러리(예: revm, reth, alloy 등)를 직접 재사용할 수 있습니다.
개발자는 기존 블록체인 노드 코드를 간단히 수정하여 ZKP를 생성할 수 있으며, 복잡한 회로를 처음부터 작성할 필요가 없습니다.
3. 사전 컴파일: 성능의 비밀 무기
SP1은 일반적인 암호화 작업(예: keccak, sha256, 서명 검증 등)에 대해 고도로 최적화된 "사전 컴파일" 메커니즘을 도입했습니다. 이러한 사전 컴파일을 통해 컴퓨팅 오버헤드가 크게 줄어들어 복잡한 블록체인 작업을 처리할 때 SP1이 더욱 강력해집니다. 예를 들어, SP1은 ZK Tendermint 경량 클라이언트를 실행하는데, 이는 검증 시간을 2.2시간에서 4.6분으로 직접적으로 단축시킵니다.
4.100% 오픈소스, 코드 보안
SP1은 100% 오픈 소스입니다(MIT/Apache 2.0 라이선스). 모듈형 아키텍처 덕분에 개발자는 "사전 컴파일"을 사용자 정의하여 특정 사용 사례에 맞춰 성능을 최적화할 수 있습니다. 기존의 폐쇄형 소스 zkVM과 달리 SP1은 커뮤니티 기여를 수용하고 Polygon, Celestia, Sovereign Labs와 같은 팀의 개발자들이 협력하여 개선에 나섰습니다.
SP1은 여러 최고 ZK 보안 회사에서 여러 차례 감사를 받았으며 공개 감사 대회에서 "고위험 취약점 0개"라는 우수한 성과를 달성했습니다.
5. 고품질 파트너
Polygon, Celestia, Avail, Taiko 등은 Succinct의 SP1을 채택하여 ZKP를 구축하여 10억 달러가 넘는 온체인 자산(TVL)을 보호하고 있습니다. 롤업부터 크로스체인 브릿지, 오라클부터 개인정보 보호 프로토콜까지 SP1은 블록체인 인프라의 표준이 되어가고 있습니다.
3. SP1의 적용 시나리오
SP1은 블록체인에서 많은 사용 사례를 구현합니다.
- 롤업: SP1을 사용하여 ZK 롤업을 구축하고, 상태 전환에 대한 제로 지식 증명을 생성하고, 이더리움이나 비트코인과 같은 메인 체인에 연결하고, 높은 처리량과 낮은 비용을 달성합니다. 예를 들어, OP Succinct는 SP1을 사용하여 OP Stack에 대한 프로덕션 등급 검증 엔진을 제공합니다.
- 크로스 체인 브리지: SP1은 레이어 1(텐더민트나 이더리움 라이트 클라이언트 등)의 합의를 검증하고 안전하고 효율적인 크로스 체인 브리지를 구축할 수 있습니다. 예를 들어, SP1 Blobstream은 Ethereum에서 Celestia의 데이터 루트를 검증하고, SP1 Vector는 Avail의 Merkle 루트를 Ethereum으로 전달합니다.
- 상호 운용성: SP1을 사용하면 Rollup이 빠른 확정성과 상호 운용성을 달성하여 Polygon의 AggLayer와 같은 프로젝트에 도움이 됩니다.
- Oracle: SP1은 대규모 오프체인 컴퓨팅(예: 과거 상태 쿼리, 온체인 머신 러닝)을 지원하고 체인에서 검증 가능한 증명을 생성하여 가스 비용을 크게 절감합니다.
- 개인정보 보호: SP1은 개인 거래 및 상태를 지원하여 사용자 데이터를 안전하게 보호합니다.
- 집계: SP1은 유사한 ZKP를 집계하여 체인상 검증 비용을 더욱 줄일 수 있습니다. Nebra와 같은 프로젝트가 이 방향을 모색하고 있습니다.
