Repolode
succinctlabs

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. 1

    공식 rust-lang.org 페이지에서 Rust를 설치하세요

  2. 2

    SP1 책의 설치 가이드를 따르세요

  3. 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 통계는 매일 갱신됩니다.

관련 프로젝트

circom 회로에 사용하는 Groth16, PLONK, FFLONK zkSNARK 증명을 생성하고 검증하는 JavaScript 및 WebAssembly 라이브러리입니다.

보안#zksnark#zero-knowledge#cryptography
2천+2 이번 주489JavaScriptGPL-3.0업데이트 지난달