This repository contains the smart contracts for verifying SP1 EVM proofs.
Warning
Foundry installs the latest release version initially, but subsequent forge update commands will use the main branch. This branch is the development branch and should be avoided in favor of tagged releases. The release process matches a specific SP1 version.
To install the latest release version:
forge install succinctlabs/sp1-contractsTo install a specific version:
forge install succinctlabs/sp1-contracts@<version>Add @sp1-contracts/=lib/sp1-contracts/contracts/src/ in remappings.txt.
Once installed, you can use the contracts in the library by importing them:
pragma solidity ^0.8.25;
import {SP1Verifier} from "@sp1-contracts/SP1Verifier.sol";
contract MyContract is SP1Verifier {
}This repository contains the EVM contracts for verifying SP1 PLONK EVM proofs.
You can find more details on the contracts in the contracts directory.
To update the SP1 contracts, please refer to the update file.