[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-10591":3},{"id":4,"name":5,"fullName":6,"owner":7,"repo":5,"description":8,"homepage":9,"htmlUrl":10,"language":11,"languages":10,"totalLinesOfCode":10,"stars":12,"forks":13,"watchers":14,"openIssues":15,"contributorsCount":16,"subscribersCount":16,"size":16,"stars1d":17,"stars7d":18,"stars30d":14,"stars90d":16,"forks30d":16,"starsTrendScore":18,"compositeScore":19,"rankGlobal":10,"rankLanguage":10,"license":20,"archived":21,"fork":21,"defaultBranch":22,"hasWiki":23,"hasPages":23,"topics":24,"createdAt":10,"pushedAt":10,"updatedAt":31,"readmeContent":32,"aiSummary":33,"trendingCount":16,"starSnapshotCount":16,"syncStatus":34,"lastSyncTime":35,"discoverSource":36},10591,"sp1","succinctlabs\u002Fsp1","succinctlabs","SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.","https:\u002F\u002Fdocs.succinct.xyz\u002Fdocs\u002Fsp1\u002Fintroduction",null,"Rust",1691,664,32,21,0,1,3,21.47,"Apache License 2.0",false,"main",true,[25,26,27,28,29,30],"blockchain","contributor-friendly","ethereum","modular","rust","zero-knowledge","2026-06-12 02:02:23","# SP1\n\n![SP1](.\u002Fassets\u002Fsp1.png)\n\nSP1 is the fastest, most-feature complete zero-knowledge virtual machine (zkVM) that can prove the execution of arbitrary Rust (or any LLVM-compiled language) programs. SP1 makes ZK accessible to *any developer*, by making it easy to write ZKP programs in normal Rust code.\n\n**[Install](https:\u002F\u002Fdocs.succinct.xyz\u002Fdocs\u002Fsp1\u002Fgetting-started\u002Finstall)**\n| [Docs](https:\u002F\u002Fdocs.succinct.xyz\u002Fdocs\u002Fsp1\u002Fintroduction)\n| [Examples](https:\u002F\u002Fgithub.com\u002Fsuccinctlabs\u002Fsp1\u002Ftree\u002Fmain\u002Fexamples)\n| [Telegram Chat](https:\u002F\u002Ft.me\u002F+AzG4ws-kD24yMGYx)\n\n## Getting Started \n\nToday, developers can write programs, including complex, large programs like a ZK Tendermint light client or type-1 zkEVM using Reth, 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](https:\u002F\u002Fgithub.com\u002Fsuccinctlabs\u002Fsp1\u002Ftree\u002Fmain\u002Fexamples) folder.\n\nTo get started, make sure you have [Rust](https:\u002F\u002Fwww.rust-lang.org\u002Ftools\u002Finstall) installed. Then follow the [installation](https:\u002F\u002Fdocs.succinct.xyz\u002Fdocs\u002Fsp1\u002Fgetting-started\u002Finstall) guide in the SP1 book and read the [getting started](https:\u002F\u002Fdocs.succinct.xyz\u002Fdocs\u002Fsp1\u002Fgetting-started\u002Fquickstart) section.\n\n## Security\n\nSP1 has undergone audits from [Veridise](https:\u002F\u002Fwww.veridise.com\u002F), [Cantina](https:\u002F\u002Fcantina.xyz\u002F), [Zellic](https:\u002F\u002Fwww.zellic.io\u002F),\nand [KALOS](https:\u002F\u002Fkalos.xyz\u002F) and is recommended for production use. The audit reports are available [here](.\u002Faudits).\n\n## Supported Rust Versions (MSRV)\n\nThe current MSRV (minimum supported Rust version) is 1.91.\n\n## For Contributors\n\nOpen-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 [CONTRIBUTING.md](.\u002FCONTRIBUTING.md). A quick overview of development tips can be found in [DEVELOPMENT.md](.\u002FDEVELOPMENT.md).\n\nWe 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!\n\n## Acknowledgements\n\nWe would like to acknowledge the projects below whose previous work has been instrumental in making this project a reality.\n\n- [Plonky3](https:\u002F\u002Fgithub.com\u002FPlonky3\u002FPlonky3): The SP1's prover is powered by the Plonky3 toolkit.\n- [Valida](https:\u002F\u002Fgithub.com\u002Fvalida-xyz\u002Fvalida): The SP1 cross-table lookups, prover, borrow macro, and chip design, including constraints, are inspired by Valida.\n- [RISC0](https:\u002F\u002Fgithub.com\u002Frisc0\u002Frisc0): The SP1 rust toolchain, install\u002Fbuild scripts, and our RISCV runtime borrow code from RISC0.\n- [Cairo](https:\u002F\u002Fdocs.cairo-lang.org\u002Fhow_cairo_works\u002Fbuiltins.html): Cairo introduced the idea of \"builtins\" which allow zkVMs to accelerate certain operations. However, the complexity of \"builtins\" was embedded in the CPU, limiting their complexity. SP1 extends this idea by executing on a vision of easily extensible \"precompiles\" that can be added as additional tables alongside the CPU.\n","SP1是一个零知识虚拟机，能够证明编译为RISC-V架构的程序正确执行。它支持使用Rust或任何LLVM可编译语言编写任意程序，并生成和验证零知识证明，使零知识技术对所有开发者都变得易于访问。项目采用Rust语言开发，具有高性能和丰富的功能特性，包括支持大多数Rust库、易于集成以及经过多次安全审计适合生产环境部署。适用于需要在区块链、以太坊等场景下实现隐私保护计算的应用，例如构建ZK Tendermint轻客户端或类型-1 zkEVM。",2,"2026-06-11 03:29:16","top_topic"]