Back to ExploreSP1|SP1 is a RISC-V based zero-knowledge virtual machine which allows developers to easily prove an execution of any Rust program.Zero-Knowledge ProofsRustGoMaximum Bounty$100,000Live Since21 September 2026Last Updated13 October 2026Runnable PoC RequiredSubmit a Bug InformationScopeResourcesCodebaseTitleDescriptionLinkSP1SP1 CodebaseTitleSP1DescriptionSP1 CodebaseLinkDocumentationTitleDescriptionLinkSP1 DocsSP1 DocumentationTitleSP1 DocsDescriptionSP1 DocumentationLink Go to Audits & Known IssuesSubmit a Bug