sp1
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 |
|---|
More from hairyf/blockchain-skills
solana-anchor
Agent-oriented skills for the Anchor framework—Solana program structure, accounts, CPI, IDL, clients, and tooling.
7solana
Solana blockchain development — core concepts, clients, RPC, tokens, and payments for agent-driven tooling.
6tron
TRON (java-tron) - account model, DPoS, resources, system contracts, TVM, TRC-10/TRC-20, DEX, APIs, events, TronGrid.
4solana-kit
Solana Kit (JavaScript SDK) — RPC, signers, transactions, accounts, codecs, instruction plans, and program clients for agent-driven Solana tooling.
4tronbox
Development framework and testing environment for TRON (TVM) and EVM-compatible chains — compile, migrate, test, and console.
3tonweb
TonWeb JavaScript SDK for TON. Wallets, BOC, HttpProvider, NFT, Jetton, DNS.
3