sp1
1
总安装量
1
周安装量
#77582
全站排名
安装命令
npx skills add https://github.com/hairyf/blockchain-master --skill sp1
Agent 安装分布
mcpjam
1
claude-code
1
replit
1
junie
1
windsurf
1
zencoder
1
Skill 文档
Skill based on SP1 (zkVM v6 Hypercube), generated from
sources/sp1. Doc path:sources/sp1/(README, DEVELOPMENT.md, crates/*/README.md, examples), plus https://docs.succinct.xyz/docs/sp1 (introduction, quickstart, recommended-workflow).
SP1 is a zero-knowledge virtual machine that proves correct execution of RISC-V programs. Write provable logic in Rust (or other LLVMâRISC-V languages), build an ELF with the succinct toolchain, and use the SDK to execute, prove, and verify. No custom circuits; use Plonk or Groth16 proofs, recursion for aggregation, and precompiles to extend the zkVM.
Core References
| Topic | Description | Reference |
|---|---|---|
| Overview | Program vs script, ELF, entrypoint, project layout | core-overview |
| Program I/O | read, commit, SP1Stdin, public values | core-program-io |
| CLI and build | cargo prove new/build, project structure | core-cli-and-build |
| Proving and verification | ProverClient, execute, setup, prove, verify | core-proving-and-verification |
Features
Proof formats and verification
| Topic | Description | Reference |
|---|---|---|
| Proof formats | Plonk, Groth16, compressed; bytes for Solidity | features-proof-formats |
| Recursion | Verifying proofs in the zkVM, aggregation | features-recursion |
Extending the zkVM
| Topic | Description | Reference |
|---|---|---|
| Precompiles | Adding custom chips (syscall, MachineAir, AIR) | features-precompiles |
Best Practices
| Topic | Description | Reference |
|---|---|---|
| Workflow | Execute-only during dev, reuse client, crate layout, prover network | best-practices-workflow |