# Succinct

> Succinct is an applied cryptography company building zero-knowledge proof
> infrastructure. Its flagship product is SP1, an open-source zkVM that proves
> correct execution of RISC-V programs, and the Succinct Prover Network (SPN), a
> decentralized on-chain marketplace on Ethereum that coordinates provers to
> generate ZK proofs for any software. The network is powered by the PROVE token.
> The programmatic surface is a gRPC API (not REST/OpenAPI); developers integrate
> in Rust via the SP1 SDK and authenticate to the network with a Secp256k1 key pair.

This llms.txt was generated by the API Evangelist enrichment pipeline from the
Succinct public developer surface and the artifacts in this repository.

## Products
- [SP1 zkVM](https://docs.succinct.xyz/docs/sp1/introduction): open-source RISC-V zero-knowledge virtual machine
- [Succinct Prover Network](https://docs.succinct.xyz/docs/provers/introduction): decentralized proving marketplace on Ethereum
- [Explorer](https://explorer.succinct.xyz/): prover network explorer / deposit UI
- [OP Succinct](https://github.com/succinctlabs/op-succinct): ZK proving engine for the OP Stack
- [SP1 Helios](https://github.com/succinctlabs/sp1-helios): on-chain Ethereum light client built with SP1
- [PROVE token](https://docs.succinct.xyz/docs/protocol/prove/overview): network economic token

## API / Specs
- gRPC Prover Network API — proto/network.proto (ProverNetwork service): grpc/succinct-network.proto
- gRPC ArtifactStore API — proto/artifact.proto: grpc/succinct-artifact.proto
- gRPC Verifier API — proto/verifier.proto: grpc/succinct-verifier.proto
- gRPC shared types — proto/types.proto: grpc/succinct-types.proto

## Docs
- [Documentation](https://docs.succinct.xyz)
- [Quickstart](https://docs.succinct.xyz/docs/sp1/getting-started/quickstart)
- [Install SP1](https://docs.succinct.xyz/docs/sp1/getting-started/install)
- [Prover Network quickstart](https://docs.succinct.xyz/docs/sp1/prover-network/quickstart)
- [Building a prover — API](https://docs.succinct.xyz/docs/provers/building-a-prover/api)
- [Blog](https://blog.succinct.xyz)
- [GitHub](https://github.com/succinctlabs)
- [Status](https://status.succinct.xyz)

## SDKs & tooling
- sp1-sdk (Rust, crates.io) — primary SDK: packages/succinct-packages.yml
- cargo prove / sp1up — CLI toolchain: cli/succinct-cli.yml