Succinct

기업심층

Succinct · 서싱트 · PROVE · Infrastructure · BNB Chain Ecosystem · Ethereum Ecosystem · Zero Knowledge (ZK) · Binance Alpha Spotlight

Succinct(서싱트)는 영지식 증명(ZKP)을 기반으로 프로그램 실행의 정당성을 검증하는 범용 인프라를 개발하는 블록체인 프로젝트이며, 네이티브 토큰의 심볼은 PROVE다. 크로스체인 상호운용성 도구에서 출발해 범용 zkVM인 SP1과 탈중앙 프로버 네트워크로 사업을 확장했다.

1.개요

Succinct(서싱트)는 영지식 증명(ZKP)을 기반으로 프로그램 실행의 정당성을 검증하는 인프라를 개발하는 블록체인 프로젝트다. 개발사는 북미에 기반을 둔 서싱트 랩스(Succinct Labs)이며, 웹3 인프라 및 개발 도구 분야에 속한다. 네이티브 토큰의 심볼은 PROVE이고, 코인게코 기준 시가총액은 543위권으로 집계된다.

블록체인과 스마트 컨트랙트가 다른 체인의 데이터를 신뢰 가정을 최소화한 상태로 검증할 수 있도록 하는 범용 ZK 검증 계층을 지향한다. 기존의 크로스체인 브리지나 중앙화된 검증 방식은 높은 지연, 보안 취약점, 단일 실패 지점 같은 문제를 안고 있다. Succinct는 암호학적 증명을 이용해 중개자 없이 체인 간 전송 데이터를 검증하도록 설계함으로써 공격 표면을 줄이고 탈중앙성을 유지하는 것을 목표로 한다.

코인게코는 Succinct를 인프라(Infrastructure), 이더리움 생태계, BNB 체인 생태계, 영지식(Zero Knowledge, ZK), 바이낸스 알파 스포트라이트(Binance Alpha Spotlight) 등으로 분류한다.

2.역사와 방향 전환

서싱트 랩스는 우마 로이(Uma Roy)와 존 귀바스(John Guibas)가 공동 창업했으며 미국을 기반으로 활동한다.

초기의 서싱트는 영지식 증명을 이용한 크로스체인 상호운용성 프로토콜 개발에 집중했다. 대표적으로 한 체인의 상태를 다른 체인에서 신뢰 최소화 방식으로 검증하는 ZK 라이트 클라이언트 기반 프로토콜(텔레파시, Telepathy)을 선보였다. 이는 이더리움의 블록 헤더와 상태를 암호학적 증명만으로 다른 체인이 확인하도록 해, 중앙화된 릴레이어에 대한 의존을 줄이려는 시도였다.

이후 프로젝트는 특정 용도의 상호운용성 도구를 넘어, 임의의 프로그램 실행 자체를 증명할 수 있는 범용 zkVM인 SP1로 사업의 축을 확장했다. 상호운용성은 이제 SP1이 만들어 내는 여러 응용 사례 중 하나로 자리 잡았고, 여기에 증명 생성을 분산화하는 프로버 네트워크와 네이티브 토큰 PROVE가 더해지면서 현재의 구조가 완성됐다.

3.작동 원리

영지식 증명의 핵심은 어떤 계산이 규칙대로 올바르게 수행됐다는 사실을, 그 계산을 처음부터 다시 실행하지 않고도 검증할 수 있게 만드는 데 있다. 증명을 만드는 쪽(prover)은 무거운 연산을 수행한 뒤 그 결과에 대한 짧은(succinct) 증명을 생성하고, 검증하는 쪽(verifier)은 원래 연산보다 훨씬 적은 비용으로 이 증명의 참·거짓만 확인한다.

Succinct의 접근은 이 구조를 블록체인 검증에 적용한 것이다.

오프체인 실행, 온체인 검증: 비용이 큰 계산은 체인 밖에서 수행하고, 그 결과의 정당성만 체인 위에서 값싸게 검증한다.
신뢰 가정 최소화: 특정 운영 주체를 믿는 대신, 수학적으로 검증 가능한 증명 자체를 신뢰의 근거로 삼는다.
범용성: 브리지·오라클처럼 정해진 용도에 국한하지 않고, 임의의 프로그램 실행을 증명 대상으로 삼을 수 있다.

이 방식은 레이어 2 롤업의 상태 전이 증명, 크로스체인 메시지 검증, 온체인에서 재현하기 어려운 복잡한 연산의 결과 확인 등에 두루 쓰인다.

4.기술 구조: SP1 zkVM

SP1은 Succinct가 개발한 범용 영지식 가상머신(zkVM)이다. 특정 회로를 손으로 설계하지 않고도, 일반적인 프로그램의 실행 전체를 증명할 수 있게 하는 것을 목표로 한다.

RISC-V 기반: SP1은 오픈 명령어 집합인 RISC-V를 실행 대상으로 삼는다. 개발자는 러스트(Rust) 등 익숙한 언어로 프로그램을 작성해 RISC-V로 컴파일하고, SP1이 그 실행 결과에 대한 증명을 생성한다. 별도의 회로 언어를 배우지 않아도 된다는 점이 특징이다.
증명 압축: 내부적으로 STARK 계열 증명을 만든 뒤, 이를 온체인에서 값싸게 검증할 수 있는 형태의 SNARK로 감싸(wrap) 최종 검증 비용을 낮춘다.
프리컴파일(precompile): 해싱, 타원곡선 연산처럼 자주 쓰이는 무거운 연산을 최적화된 모듈로 제공해 증명 생성 속도를 끌어올린다.
하드웨어 가속: 증명 생성은 연산 부담이 크기 때문에 GPU 등을 활용한 병렬 가속이 중요한 성능 요소가 된다.

SP1을 비롯한 핵심 인프라 구성요소는 모두 오픈 소스로 공개되며, SP1의 문서와 백서 등 기술 자료가 함께 제공된다. 코드는 깃허브의 서싱트 랩스 저장소(github.com/succinctlabs)에서 확인할 수 있다.

5.Succinct Prover Network

증명 생성은 계산량이 많아 성능 좋은 하드웨어를 요구한다. Succinct는 이 작업을 단일 사업자에게 맡기지 않고 여러 참여자가 나눠 맡도록, Succinct Prover Network라는 탈중앙 프로버 네트워크를 구성했다.

대략적인 흐름은 다음과 같다.

증명 요청: 롤업, 브리지, 애플리케이션 등 증명이 필요한 주체가 네트워크에 작업을 제출한다.
프로버 경쟁: 네트워크에 참여한 여러 프로버가 이 요청을 받아 증명을 생성하고, 그 대가로 보상을 받는다.
검증과 정산: 생성된 증명은 검증을 거쳐 온체인에 제출되며, 대금은 네이티브 토큰으로 정산된다.

이러한 시장형 구조는 증명 생성 능력을 개방된 경쟁에 맡겨, 특정 주체에 대한 의존과 단일 실패 지점을 줄이려는 설계다. 프로버 네트워크의 메인넷은 2025년 가동됐다.

6.PROVE 토큰

PROVE는 Succinct 생태계의 네이티브 토큰으로, 프로버 네트워크의 경제적 축을 담당한다.

증명 대금 결제: 증명을 요청하는 쪽이 프로버에게 지급하는 비용의 정산 수단으로 쓰인다.
프로버 참여·담보: 프로버가 네트워크에 참여하고 정직하게 작업을 수행하도록 유도하는 스테이킹·담보의 매개가 된다.
네트워크 조정: 증명 수요와 공급을 연결하는 시장 안에서 가치 교환의 단위 역할을 한다.

PROVE는 2025년 발행됐다. 구체적인 발행량·분배 세부 수치는 이 문서의 확정 자료 범위를 벗어나므로 여기서는 다루지 않는다.

7.생태계와 활용

SP1과 프로버 네트워크가 만들어 내는 '검증 가능한 계산'은 여러 분야에 응용된다.

롤업 검증: 레이어 2 롤업이 자신의 상태 전이가 올바름을 레이어 1에 증명하는 데 활용된다. SP1은 프로그램을 그대로 증명하므로, 이더리움 가상머신 실행을 증명하는 등 다양한 실행 환경에 적용할 수 있다.
크로스체인 상호운용성: 초기 텔레파시가 지향했던 신뢰 최소화 브리지·라이트 클라이언트를 증명 기반으로 구현한다.
온체인 연산 확장: 온체인에서 직접 수행하기엔 비싼 계산을 오프체인에서 처리하고 그 결과만 검증하도록 해, 애플리케이션이 다룰 수 있는 연산의 범위를 넓힌다.

암호학적 증명은 정형 검증과 함께, 결과를 '믿는' 대신 '검증하는' 방향으로 블록체인 인프라를 옮기는 흐름의 일부다.

8.사업·제품

Succinct는 애플리케이션이 크로스체인 메시지와 임의 연산을 영지식 증명으로 검증할 수 있는 인프라를 서비스 형태로 제공한다. 경량 ZK 클라이언트와 모듈형 구성요소를 배포하여, 개발자가 복잡한 브리지 로직을 직접 작성하거나 중앙화된 릴레이어에 의존하지 않고도 여러 생태계에서 상호운용되는 애플리케이션을 만들 수 있도록 지원한다.

주요 제공 항목은 다음과 같다.

ZK 검증 서비스: 애플리케이션이 간결한(succinct) 증명으로 크로스체인 메시지를 검증할 수 있는 인프라를 제공한다.
모듈형 상호운용성 계층: 별도의 브리지 로직 없이 상호운용 애플리케이션을 구축할 수 있게 한다.
개발자 SDK 및 zkVM: SP1을 중심으로, ZK 기능을 내장한 크로스체인·검증형 애플리케이션 개발용 도구와 라이브러리를 제공한다.

핵심 인프라 구성요소는 모두 오픈 소스로 공개되며, 관련 기술 자료로 zkVM SP1의 문서와 백서가 함께 공개돼 있다.

9.투자

Succinct는 블록체인 인프라 분야를 지원해 온 주요 벤처캐피털로부터 투자를 유치했다. 시리즈 A 라운드는 암호자산 전문 투자사 패러다임(Paradigm)이 주도한 것으로 알려져 있다.

다만 참여 투자사 전체 명단과 구체적인 조달 규모는 이 문서의 확정 자료 범위에 포함되지 않으므로, 여기서는 세부 수치를 특정하지 않는다.

10.국내 상황

PROVE는 국내 거래소인 업비트에 원화(KRW) 마켓 종목으로 상장돼 있으며, 공식 한글 표기는 서싱트다. 티커는 KRW-PROVE로 거래된다.

상장 이전 단계에서는 바이낸스 알파(Binance Alpha Spotlight)에 등재되며 초기 유통과 인지도를 확보했다. 국내 중앙화 거래소 원화 마켓 진입은 한국 투자자에게 접근성을 높이는 계기가 됐으나, 상장 자체가 프로젝트의 기술적 성숙이나 가격을 보증하는 것은 아니다.

11.경쟁 비교

범용 zkVM과 탈중앙 프로버 네트워크 시장에는 여러 프로젝트가 경쟁하고 있다. Succinct는 SP1과 프로버 네트워크를 함께 묶어 '증명을 요청하고 공급받는 시장'을 제공한다는 점에서 이들과 유사한 문제를 다룬다.

바운드리스: RISC-V 기반 zkVM 진영의 탈중앙 증명 네트워크로, 프로버 시장 구조에서 Succinct와 직접적으로 겹친다.
브레비스: 온체인 데이터에 대한 검증 가능한 연산을 제공하는 ZK 코프로세서로, 애플리케이션의 오프체인 연산 검증 영역에서 경쟁한다.
라그랑주: ZK 프로버 네트워크·코프로세서를 지향하며, 증명 생성의 분산화라는 지점에서 비교 대상이 된다.

이들 사이의 차별점은 대체로 지원하는 실행 환경(RISC-V 등), 증명 성능, 프로버 네트워크의 개방성과 경제 설계, 그리고 개발자 도구의 완성도에서 갈린다.

12.앞으로의 과제

영지식 증명 인프라가 넓게 채택되기 위해서는 몇 가지 과제가 남아 있다.

증명 비용과 속도: 증명 생성은 여전히 연산 부담이 크며, GPU 등 하드웨어 최적화와 알고리즘 개선을 통한 비용·지연 축소가 지속 과제다.
프로버 탈중앙화: 프로버 네트워크가 소수 대형 사업자에게 집중되지 않고 실질적으로 분산되도록 유지하는 경제 설계가 중요하다.
보안과 검증 신뢰성: 증명 시스템과 검증 컨트랙트 자체의 구현 결함은 곧 보안 위험으로 이어지므로, 정형 검증과 감사에 대한 요구가 크다.
수요 확보: 롤업·브리지·애플리케이션 등 실제 증명 수요가 지속적으로 유입돼야 프로버 네트워크와 PROVE 토큰의 경제가 유지된다.

이러한 과제의 해결 정도가 Succinct를 비롯한 ZK 증명 인프라 전반의 실사용 확산을 가늠하는 기준이 될 것으로 보인다.