v4.0.0-rc.1

A release candidate for SP1 V4.0.0. This release introduces major performance improvements across the board for all programs and workloads.

🚀 Highlights

1. GPU Kernel Optimizations

We've done a lot of work optimizing our GPU Kernels for the expensive parts of the prover such as quotient and opening. We've also added support for trace generation on GPU in this release which reduces end-to-end latency.

2. Recursion Aritmetization Optimizations

We've used some new tricks to reduce our arithmetization overhead in recursion, bringing faster and more efficient proofs of constant size to all programs.

3. RSA and Secp256r1 Precompiles

Support for RSA and Secp256r1 precompiles have been added.

🛠 Production-Readiness

v4.0.0-rc.1 is not yet production-ready. We recommend using this release only for benchmarking purposes.

📦 Changes

• chore(sdk): update network-v2 proto
  • PR: #1669
• docs: common issues
  • PR: #1666
• fix: mock prover groth16 bytes
  • PR: #1684
• fix: additional guards on entrypoint macro
  • PR: #1659
• feat(sdk): download proof from public URI
  • PR: #1686
• feat(sp1up): error messages for bad inputs.
  • PR: #1696
• fix: patch bls and bn
  • PR: #1695
• Docs: Updating missing arguments in SP1 Quickstarter
  • PR: #1681
• docs: Update example commands from cd script to cd ../script
  • PR: #1697
• chore: update images
  • PR: #1700
• chore: docs off dev
  • PR: #1701
• chore: fix typo in image
  • PR: #1702
• test: add network-v2 to perf test suite
  • PR: #1689
• feat: security md
  • PR: #1705
• feat: executor optimizations
  • PR: #1692
• perf: implement select precompile
  • PR: #1707
• chore: use tags instead of branches to label patches
  • PR: #1706
• feat: remove assign in airs
  • PR: #1710
• feat: new crate for no-std groth/plonk verification
  • PR: #1685
• feat: executor optimizations
  • PR: #1712
• fix: Revert "feat: executor optimizations"
  • PR: #1718
• perf: remove redundant last compress
  • PR: #1724
• fix: empty shape config
  • PR: #1728
• feat: executor optimizations + separate postprocess
  • PR: #1727
• perf: add batch FRI precompile
  • PR: #1730
• chore: fix comments and logging for select precompile
  • PR: #1738
• perf: implement local-only optimization
  • PR: #1711
• chore: update network-v2 proto
  • PR: #1725
• docs: separate SP1VerifierGateway for PLONK and Groth16
  • PR: #1740
• docs: generating-proofs.md
  • PR: #1749
• feat: new device proving key API
  • PR: #1737
• perf: build time GRO-146
  • PR: #1739
• docs: change docs for updated function call
  • PR: #1732
• feat: new precompile secp256r1
  • PR: #1612
• fix: lock file
  • PR: #1756
• feat: plonk verification with .bytes()
  • PR: #1753
• feat: add issue template
  • PR: #1748
• ci: check lock files in ci
  • PR: #1761
• chore: lockfile cleanup
  • PR: #1763
• chore: add MSRV of 1.79
  • PR: #1736
• docs: verifier crate docs
  • PR: #1764
• chore: crates substrate_bn version
  • PR: #1769
• feat: v3 audit report
  • PR: #1770
• feat: more docs about v3
  • PR: #1772
• docs: ci optimizations
  • PR: #1754
• fix(recursion): avoid double counting children in (cycle tracker) spans
  • PR: #1773
• docs: version nits
  • PR: #1774