M31 필드에서 Circle STARK를 증명하고 검증하는 Rust 구현으로, no_std 검증기와 SIMD 증명 백엔드를 제공합니다.
succinctlabs/sp1
Rust 및 기타 LLVM 컴파일 언어로 작성된 프로그램의 올바른 실행을 증명하는 영지식 가상 머신입니다.
- 스타
- 1,768
- 포크
- 722
- 열린 이슈
- 156
- 마지막 커밋
- 어제
어떤 프로젝트인가요?
SP1은 RISC-V 아키텍처용으로 컴파일된 프로그램의 실행을 증명하는 영지식 가상 머신(zkVM)입니다. 개발자는 일반적인 Rust 코드를 작성해 SP1에서 실행하면, 프로그램을 다시 실행하지 않고도 누구나 검증할 수 있는 계산이 올바르게 수행됐다는 증명을 얻습니다.
이 프로젝트는 전문적인 암호학 지식 없이도 영지식 증명을 활용할 수 있도록 하는 것을 목표로 합니다. 프로그램은 std를 지원하는 일반 Rust를 사용할 수 있으며, README에 따르면 대부분의 Rust 크레이트는 수정 없이 동작합니다. ZK Tendermint 라이트 클라이언트나 Reth 기반 type-1 zkEVM 같은 더 큰 규모의 작업도 지원 사례로 소개되어 있습니다.
SP1은 Rust 툴체인과 설치 스크립트, Plonky3 툴킷을 기반으로 하는 prover를 제공합니다. CPU와 함께 추가 테이블로 넣을 수 있는, 자주 사용하는 암호 연산용 프리컴파일도 지원합니다. Veridise, Cantina, Zellic, KALOS의 감사를 받았으며, Rust 1.91.1 이상이 필요합니다.
핵심 기능
- 01임의의 Rust 프로그램과 기타 LLVM 컴파일 언어로 작성된 프로그램의 실행을 증명합니다.
- 02Rust std와 대부분의 Rust 크레이트를 별도의 수정 없이 지원합니다.
- 03자주 사용하는 암호 연산을 위한 확장 가능한 프리컴파일을 지원합니다.
- 04원래 실행 과정을 다시 수행하지 않고도 독립적으로 검증할 수 있는 증명을 생성합니다.
- 05Rust 툴체인, 설치 스크립트, 예제 프로그램을 제공합니다.
활용 사례
- Tendermint 같은 블록체인을 위한 영지식 라이트 클라이언트 구축
- Ethereum 블록 실행을 증명하는 zkEVM 구성 요소 개발
- 일반적인 Rust 코드로 검증 가능한 오프체인 계산 작성
빠른 시작
- 1
공식 rust-lang.org 페이지에서 Rust를 설치하세요
- 2
SP1 책의 설치 가이드를 따르세요
- 3
SP1 책의 시작하기 섹션을 읽으세요
사용 전 알아둘 점
- Rust 1.91.1 이상(MSRV)이 필요합니다.
토픽
자주 묻는 질문
- sp1은(는) 무엇인가요?
- Rust 및 기타 LLVM 컴파일 언어로 작성된 프로그램의 올바른 실행을 증명하는 영지식 가상 머신입니다. SP1은 RISC-V 아키텍처용으로 컴파일된 프로그램의 실행을 증명하는 영지식 가상 머신(zkVM)입니다. 개발자는 일반적인 Rust 코드를 작성해 SP1에서 실행하면, 프로그램을 다시 실행하지 않고도 누구나 검증할 수 있는 계산이 올바르게 수행됐다는 증명을 얻습니다.
- sp1은(는) 무료로 사용할 수 있나요? 라이선스는 무엇인가요?
- sp1은(는) Apache-2.0 라이선스의 오픈소스입니다. 상업용 제품에 사용하기 전에 라이선스 조건을 확인하세요.
- sp1은(는) 아직 유지보수되고 있나요?
- 활발히 유지보수 중. sp1의 마지막 커밋은 2026년 11월 5일입니다.
- sp1은(는) 어디에 사용할 수 있나요?
- Tendermint 같은 블록체인을 위한 영지식 라이트 클라이언트 구축 Ethereum 블록 실행을 증명하는 zkEVM 구성 요소 개발 일반적인 Rust 코드로 검증 가능한 오프체인 계산 작성
- sp1는 어떻게 설치하나요?
- 공식 rust-lang.org 페이지에서 Rust를 설치하세요 SP1 책의 설치 가이드를 따르세요 SP1 책의 시작하기 섹션을 읽으세요
- sp1은(는) 어디서 받을 수 있나요?
- 소스 코드와 설치 방법은 GitHub에 있습니다: https://github.com/succinctlabs/sp1
요약은 프로젝트 README를 바탕으로 AI가 작성했습니다. GitHub 통계는 매일 갱신됩니다.
관련 프로젝트
영지식 애플리케이션을 위한 Aleo 네트워크를 구동하는 탈중앙화 운영체제 및 노드 소프트웨어입니다.
Lean으로 작성한 형식 검증된 Ethereum 기본 요소로, Lean 프로젝트에서 함께 사용할 사양과 증명을 제공하는 공용 라이브러리입니다.
브라우저, Node 또는 Mina Protocol용으로 증명과 검증을 수행하는 영지식 회로 및 zkApps 개발용 TypeScript 프레임워크입니다.
circom 회로에 사용하는 Groth16, PLONK, FFLONK zkSNARK 증명을 생성하고 검증하는 JavaScript 및 WebAssembly 라이브러리입니다.
Cardano에서 영지식 증명으로 투표자의 소속을 확인하고 투표는 익명으로 유지하는 개인정보 보호형 온체인 투표 앱입니다.