Fork: 130 Star: 644 (更新于 2024-04-17 06:01:32)

license: Apache-2.0

Language: Rust .

A performant, 100% open-source, contributor-friendly zkVM.

最后发布版本: nightly-e75c467d552fa350422380af6b60a60ebfb86590 ( 2024-04-16 08:17:49)

官方网址 GitHub网址



Telegram Chat

SP1 is a performant, 100% open-source, contributor-friendly zero-knowledge virtual machine (zkVM) that can prove the execution of arbitrary Rust (or any LLVM-compiled language) programs. SP1 democratizes access to ZKPs by allowing developers to use programmable truth with popular programming languages.

SP1 is inspired by the open-source software movement and takes a collaborative approach towards building the best zkVM for rollups, coprocessors and other ZKP applications. We envision a diversity of contributors integrating the latest ZK innovations, creating a zkVM that is performant, customizable and will stand the test of time.

Install | Docs | Examples

For Developers: Build with SP1

Note that SP1 is still in alpha and is not yet ready for production use.

Today, developers can write programs, including complex, large programs like a ZK Tendermint light client, in Rust (with std support), generate proofs and verify them. Most Rust crates should be supported and can be used seamlessly by your program. Example programs can be found in the examples folder.

To get started, make sure you have Rust installed. Then follow the installation guide in the SP1 book and read the getting started section.

For developers looking for inspiration on what to build, check out the open issues with the showcase label to see what sorts of programs that showcase the capabilities of SP1 are interesting to hack on.

For Contributors

Open-source is a core part of SP1's ethos and key to its advantages. We wish to cultivate a vibrant community of open-source contributors that span individuals, teams and geographies. If you want to contribute, or follow along with contributor discussion, you can use our main Telegram to chat with us. Our contributor guidelines can be found in

Find a list of good first issues in the open issues of this repo. We are always looking for contributors interested in tasks big and small, including minor chores across the codebase, optimizing performance, adding precompiles for commonly used cryptographic operations, adding documentation, creating new example programs and more. Please reach out in the Telegram chat if interested!


Today, SP1 can generate and verify proofs for Rust programs that have been compiled to RISC-V. SP1 supports proving of programs of arbitrary length by using a unique "shared challenges" argument that allows the prover to shard a long computation into small shards, and then generate a global proof that these shards are properly connected together.

The main priorities in the next few months are performance optimizations, getting the core zkVM constraint logic audited, as well as wrapping the SP1 STARK proof into a SNARK proof that is cheaply verifiable in the EVM (by adapting similar previous work done by the Succinct Team).


We would like to acknowledge the projects below whose previous work has been instrumental in making this project a reality:

  • Plonky3: The SP1's prover is powered by the Plonky3 toolkit.
  • Valida: The SP1 cross-table lookup architecture, prover, borrow macro, and chip design are inspired by Valida.
  • RISC0: The SP1 Rust toolchain and install/build scripts for the toolchain borrow code from RISC0.


We recommend you install the rust-analyzer extension. Note that if you use cargo prove new inside a monorepo, you will need to add the manifest file to rust-analyzer.linkedProjects to get full IDE support.

最近版本更新:(数据更新于 2024-04-17 06:01:17)

2024-04-16 08:17:49 nightly-e75c467d552fa350422380af6b60a60ebfb86590

2024-04-15 10:35:11 nightly-c440969b6236256226c558bec40e759da39ccb78

2024-04-13 08:17:18 nightly-69a3681986fed1f443cbd3f1b19f9e2ced29b704

2024-04-02 08:17:50 nightly-bb0e423e6e0a4475dfca650593ff4f9dec15bc29

2024-03-31 08:20:06 nightly-fe8df5e28ca1cb232edfb0729a2af2bf9b5a645f

2024-03-30 08:17:02 nightly-14bd4b2e9a2fdafc5667bfb0472dd382046e2521

2024-03-29 08:18:16 nightly-cb43fd74b24fad8ed24a4885499159de3680c89f

2024-03-17 08:18:55 nightly-644e182bf1af0c449c2c876454cbfda51b3c2dc5

2024-03-16 08:16:32 nightly-a16c0f9a99cf5e703505b3f3200caf5dbcc9ead0

2024-03-15 08:17:18 nightly-ed1365dd037d888ce65cab998ee478207af740c1


blockchain, contributor-friendly, ethereum, modular, rust, zero-knowledge

succinctlabs/sp1同语言 Rust最近更新仓库

2024-04-20 06:05:48 ordinals/ord

2024-04-19 09:26:35 lapce/lapce

2024-04-19 06:29:24 FuelLabs/fuel-core

2024-04-18 19:58:21 loro-dev/loro

2024-04-18 04:38:04 zed-industries/zed

2024-04-17 22:09:00 stalwartlabs/mail-server