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-master
openzeppelin-contracts
Secure smart contract library—access control, tokens (ERC20/721/1155/4626/6909), upgradeable contracts, and utilities.
15viem
TypeScript interface for Ethereum — clients, contracts, accounts, chains, ENS, and utilities.
13wagmi
Wagmi — React/Vue/Solid hooks and Core for Ethereum; config, connectors, read/write contracts, TanStack Query.
11ton
TON Blockchain — addresses, messages, TVM, cells, Blueprint, contracts, payments, API.
11envio
Envio blockchain data stack — HyperSync, HyperIndex, HyperRPC; fast indexing and data APIs.
8uniswap-v4
Uniswap v4 core pool logic — singleton PoolManager, unlock/callback, pool actions, hooks, and types.
7