Skip to content

Releases: succinctlabs/sp1

v3.0.1-alpha-b976ea6e

13 Nov 21:02
@github-actions github-actions
v3.0.1-alpha-b976ea6e
b976ea6
This commit was signed with the committer’s verified signature.
leruaa Aurélien
GPG key ID: B51C3E67B9887CAC
Learn about vigilant mode.
Compare
Choose a tag to compare
v3.0.1-alpha-b976ea6e Pre-release
Pre-release

📦 Uncategorized

  • docs: change docs for updated function call
  • feat: new precompile secp256r1
  • fix: lock file
  • feat: plonk verification with .bytes()
  • feat: add issue template
  • ci: check lock files in ci
  • chore: lockfile cleanup
  • chore: add MSRV of 1.79
  • docs: verifier crate docs
  • chore: crates substrate_bn version
  • feat: v3 audit report
  • feat: more docs about v3
  • docs: ci optimizations
  • fix(recursion): avoid double counting children in (cycle tracker) spans
  • docs: version nits
Assets 6
Loading

v3.0.0

18 Oct 18:05
@jtguibas jtguibas
v3.0.0
ff8f482
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v3.0.0 Latest
Latest

We're excited to release SP1 v3.0.0! SP1 v3.0.0 comes with two major performance upgrades:

  • Optimized phase 1 proving
  • Recursion circuit to improve recursion performance

It's available on crates.io with the version tag v3.0.0.

Changes

  • fix: gnark-ffi memory handling
  • feat: allow run in dev mode
  • fix: debug constraints
  • fix: shape for deferred program
  • feat: deferred support in perf
  • fix: clippy issues in perf
  • docs: update onchain usage
  • fix: add support for tls connections in network-v2 rpc client
  • fix: remove mention of sp1 dir in examples' relative paths
  • fix: typo in the solidity section of the book
  • fix: connect deferred vk root
  • chore: update docs
  • feat: update docs for v3 pt 2
  • feat: update cargo version tag
  • feat: v3.0.0
Assets 6
Loading

v3.0.0-rc4

16 Oct 18:50
@jtguibas jtguibas
v3.0.0-rc4
169a13a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v3.0.0-rc4

📦 Uncategorized

  • feat: v2.0.0
  • feat: new include_elf! macro for importing ELF
  • fix: build errors on custom bin target names
  • feat(cli): improve cargo prove new
  • fix(cuda-prover): dont discard stderr
  • chore(deps): bump bindgen from 0.69.4 to 0.70.1
  • chore(deps): bump stacker from 0.1.15 to 0.1.17
  • fix(sp1-build, workflows): docker tag
  • feat: phase 1 opts + recursion circuit
  • feat: update to 3.0.0-rc4
  • fix: fix docs
  • refactor: improve cargo build reproducibility
  • feat: add compiler flags to BuildArgs
  • fix: remove cargo environment vars from local build
  • fix: compatibility with mock verifier contract
  • fix(sdk): better error handling
  • chore: fix all typos
  • feat: v3.0.0-rc4
Assets 6
Loading

v3.0.0-rc3

09 Oct 22:13
@github-actions github-actions
v3.0.0-rc3
59c4234
Compare
Choose a tag to compare
v3.0.0-rc3

📦 Uncategorized

  • perf: posedion2 trace opt
  • feat: make challenger fixed shape
  • feat: fixed size shrink and wrap for recursion v2
  • feat: small prog opts
  • fix everything
  • feat: merkle tree-based vector commitments
  • perf: GROTH16 improvements
  • feat: recursion circuit integration
  • feat: infrastructure for proof shape merkle proofs
  • feat: new arithmetic
  • chore: merge dev
  • chore: merge dev
  • chore: merge dev
  • Revert "chore: merge dev"
  • chore: merge dev
  • feat: integration constraints
  • chore: merge dev
  • feat: enable fixed shape in recursion circuit
  • chore: allow optional proof shape in core record and program
  • chore: merge dev
  • chore: merge dev
  • feat: fixed shapes in precompiles
  • feat: better reduce api
  • feat: dummy fri proofs
  • feat: fixed proof shapes
  • feat: added cuda action
  • fix: rsp ci test
  • revert: fix: rsp ci test
  • perf: local bus
  • feat: fixed heights for new chips
  • fix: low memory shards
  • feat(sdk): send cpu cycles in network
  • feat: dummy shard proof
  • refactor: removed use of sudo + docker from cuda crate
  • fix: copy_elf_from_output_dir binary name
  • feat: Add cycle-tracking example with multiple binaries
  • feat: vk maps
  • fix: local cumulative sum check in recursion
  • fix: rust 1.81 toolchain build issue
  • fix: uninitialized_memory hashmap issue
  • ci: test toolchain installation
  • docs: substrate bn
  • refactor: move SP1PublicValues to sp1-primitives
  • perf: remove unnecessary materializations of matrix views
  • chore: implement raw() for groth16 proof
  • chore: replace raw() with bytes() in fibonacci example
  • feat: public value validity assertions
  • feat: merge upstream changes
  • feat: fixed vks in root
  • feat: root and deferred
  • fix: check with is_first instead of is_last in exp reverse bits chip
  • feat: felts to var optimization
  • fix: gnark ffi fixes
  • fix: conversions and bits
  • fix: proof flow for v3
  • chore: upgrade Rust toolchain to 1.81.0
  • feat: remove exp reverse bits in wrap
  • docs: why-use-sp1.md
  • fix: gnark-ffi Dockerfile caching
  • chore: merge dev
  • chore: cleanup
  • fix: shapes fixing
  • fix: multi field rate and serialization
  • fix: execution shard initialization
  • fix: exit code
  • fix: vk root in deferred
  • fix: more shard options
  • fix: sp1-recursion-gnark-ffi rebuilds unnecessarily
  • fix: syscall chip in shards
  • chore: merge dev
  • Revert "chore: merge dev"
  • feat: BabyBear Optimization in GNARK
  • chore: remove individual example workspaces
  • chore: cleanup
  • chore: clippy without debug_assertions
  • chore: remove non-existent feature
  • chore: remove individual test workspaces
  • fix: multi_scalar_multiplication
  • docs: update
  • chore(sdk): update prost and twirp to 0.13
  • feat: precompile shapes
  • feat: runtime opts
  • feat: trusted setup support
  • chore: merge dev
  • chore: Fix typos in documentation
  • fix: weierstrass_add test
  • fix(docs): branch on patched bls12_381
  • feat: sp1 testing suite
  • feat: only call entrypoint in zkvm
  • feat: artifacts
  • feat: g16/plonk for network
  • small tweaks
  • chore: tweaks
  • feat(sdk): network-v2
  • chore: cargo machete
  • feat: shape artifacts in s3
Assets 6
Loading

v3.0.0-rc1

16 Sep 18:37
@mattstam mattstam
release/v3.0.0-rc1
This tag was signed with the committer’s verified signature.
mattstam Matt Stam
GPG key ID: B620912B6C9A0F21
Learn about vigilant mode.
f7e3e84
This commit was signed with the committer’s verified signature.
mattstam Matt Stam
GPG key ID: B620912B6C9A0F21
Learn about vigilant mode.
Compare
Choose a tag to compare
v3.0.0-rc1 Pre-release
Pre-release

What's Changed

New Contributors

Full Changelog: v1.3.0-rc1...release/v3.0.0-rc1

Contributors

ctian1, lispc, and 11 other contributors
Assets 2
Loading

v2.0.0

14 Sep 00:04
@github-actions github-actions
v2.0.0
This tag was signed with the committer’s verified signature.
mattstam Matt Stam
GPG key ID: B620912B6C9A0F21
Learn about vigilant mode.
459fac7
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v2.0.0

📦 Uncategorized

  • feat: v1.2.0-rc1
  • fix: add nonce constraint to fp
  • feat: compile sdk to wasm-unknown-unknown
  • feat: performance test + add to CI
  • feat: LookupId struct instead of u128
  • fix: memory not added to checkpoint in unconstrained mode
  • ci: only post perfomance to slack on dev merge
  • chore: v1.2.0-rc.2
  • chore: bump sp1-gpu version
  • revert: "fix: add nonce constraint to fp"
  • fix: check branch CI
  • fix: v1.2.0-rc2
  • revert: "revert: fix: add nonce constraint to fp"
  • chore: minor eval changes
  • fix(log): add instrument for prover::compress
  • fix: oom fixes for rsp
  • chore(build): friendly error msg when Cargo.toml is not found
  • chore: added rsp example
  • feat: v1.2.0 fixes
  • chore: added json
  • fix: typo in rsp example ci test
  • chore: fix crate version
  • feat: v1.2.0 official release
  • chore: disable lowmem ci test
  • feat: autoscale shard / batch size
  • fix: example style
  • perf: use vec_map paging mmu for executor memory
  • docs: Fixed broken link
  • feat: specify version in network client
  • docs: SP1VerifierGateway
  • fix: segfault on m3
  • perf: optimize ExecutionReport and create_alu_lookup_id iff mode is trace
  • fix: uncomment p2 wide constraint
  • docs: add optimism chains
  • fix: eval compress calculation
  • feat: added RSA example and updated it to use the sha2 patch
  • fix: core compress pv in sdk
  • feat: automatic solidity verifier adjustments
  • docs: use v2 / v3
  • docs: add groth16
  • chore: bump version
  • chore: merge main
  • docs: fix book link
  • docs: fix supported versions link
  • feat: v2.0.0
Assets 6
Loading

v1.2.0

04 Sep 00:18
@jtguibas jtguibas
v1.2.0
8600d4a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v1.2.0

📦 Uncategorized

  • feat: v1.2.0 official release
Assets 6
Loading

v1.2.0-rc2

29 Aug 23:09
@github-actions github-actions
v1.2.0-rc2
f173699
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v1.2.0-rc2

📦 Uncategorized

  • fix: make v2 compiler deterministic
  • fix: add rint and rintf
  • perf: basic constant propagation for Imm instructions in v2 compiler
  • fix: zkvm readme paths
  • fix: avoid duplicate logic in read_const
  • fix: add nonce constraint to fp
  • feat: compile sdk to wasm-unknown-unknown
  • feat: performance test + add to CI
  • feat: LookupId struct instead of u128
  • fix: memory not added to checkpoint in unconstrained mode
  • ci: only post perfomance to slack on dev merge
  • chore: v1.2.0-rc.2
  • chore: bump sp1-gpu version
  • revert: "fix: add nonce constraint to fp"
  • fix: check branch CI
  • fix: v1.2.0-rc2
Assets 6
Loading

v1.3.0-rc1

28 Aug 23:31
@jtguibas jtguibas
v1.3.0-rc1
7216d32
Compare
Choose a tag to compare
v1.3.0-rc1

📦 Uncategorized

  • perf: posedion2 trace opt
  • feat: make challenger fixed shape
  • feat: fixed size shrink and wrap for recursion v2
  • feat: small prog opts
  • fix everything
  • feat: merkle tree-based vector commitments
  • perf: GROTH16 improvements
  • feat: recursion circuit integration
  • fix: make v2 compiler deterministic
  • fix: add rint and rintf
  • perf: basic constant propagation for Imm instructions in v2 compiler
  • fix: zkvm readme paths
  • fix: avoid duplicate logic in read_const
Assets 6
Loading

v1.2.0-rc1

27 Aug 02:46
@github-actions github-actions
v1.2.0-rc1
This tag was signed with the committer’s verified signature.
mattstam Matt Stam
GPG key ID: B620912B6C9A0F21
Learn about vigilant mode.
54a8f60
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v1.2.0-rc1

📦 Uncategorized

  • feat: runtime, instructions, and preprocessing
  • feat: basic re-factor for recursion circuit, Poseidon2-wide table
  • feat: basic ir circuit compiler
  • feat: exp_reverse_bits_precompile in core_v2
  • feat: support poseidon2 permute core-v2 instruction in ir
  • fix: placeholder branch for ExpReverseBitsLen in new AsmCompiler
  • fix: more complete preprocessed trace generation for poseidon2
  • feat: circuit-based fri-fold precompile
  • feat: exp reverse bits in ir
  • test: exp reverse bits, repeat test for poseidon and hint bits
  • Merge branch 'dev' into experimental
  • feat: poseidon2 wide in circuit language
  • feat: fri fold in ir
  • Merge branch 'dev' into experimental
  • feat: support for poseidon2 in the ir
  • test: rough bench of compress with dummy circuit
  • fix: resolve conflicting poseidon2 variants in ir
  • feat: print instructions in ir and runtime
  • feat: verifier program challenger
  • perf: Remove results columns in alu_base table
  • feat: poseidon hash and compress in ir builder trait
  • feat: plonk profiling test for recursion circuit
  • feat: ext2felts instruction
  • feat: recursion circuit fri fold air constraints
  • feat: recursion circuit exp reverse bits constraints
  • chore: created chips directory in recursion core-v2
  • feat: tracing and runtime errors
  • feat: verifier circuit verify_challenges and verify_two_adic_pcs
  • feat: cycle tracker spans for build_wrap_circuit and v2 circuit
  • feat: recursion circuit p2 wide constraints
  • Merge branch 'dev' into experimental
  • perf: remove read_mult column, instead use negative write_mult
  • chore: main to dev
  • chore: update dependencies to v1.1.1
  • feat: smaller checkpoints
  • feat: constant memory init table
  • feat: witness input for v2 recursion
  • fix: Copy sp1-helper binary build
  • feat: add cycle tracker report
  • feat: recursion circuit public values chip
  • feat: fptower and tests
  • feat: acknowledgments in README
  • chore: dev to exprimental
  • feat: recursion circuit p2 skinny air constraints
  • docs: common issues for syscall_verify_sp1_proof and ignore-rust-version
  • chore: plonk version
  • feat: verify_shard in v2 verify circuit
  • fix: add bn254 fp to record
  • feat: couple of traits to genericize verify circuit
  • chore: verify_sp1_proof naming
  • docs: prover network semver
  • feat: circuit types for the constant proof shape case
  • fix: memory checkpoints with syscalls
  • chore: dev to experimental
  • feat: verify shard in recursion circuit
  • chore: fix fp tests, record
  • feat: decompress pubkey
  • fix: allow hint slice syscall code in unconstrained mode
  • feat: core recursion in circuit
  • feat: add groth16
  • feat: Ensure sp1-sdk is built in release mode
  • chore: merge experimental into dev
  • chore: merge dev into experimental pt 2
  • chore: docs tweaks
  • fix: reduce field elements before printing in GNARK circuit
  • feat: default strict align CFLAGS
  • chore: make state pub
  • fix: examples ci
  • fix: tokio block on
  • perf: runtime optimizations
  • chore: load tendermint blocks locally
  • perf: two useful reductions, direct felt2var
  • perf: felt multiplication in recompute_quotient
  • refactor: deprecate sp1-helper
  • feat(cli): vkey command to output program vkey hash
  • docs: bn254 Affine Point
  • chore(prover::tests): handle error instead of unwrap in e2e test
  • chore: update version to 1.2.0-rc1
  • fix: don't use range checker in g16
  • feat: 1.2.0-rc1 cuda prover
  • fix: public value multiplicities
  • chore: fixing install guide
  • feat: gas
  • feat: add groth16 to Prove
  • perf: use crate vec_map, box large Instruction variants
  • chore: rename g16 plonk verifiers
  • perf: move cycle tracker to Err in compile_one, criterion benchmarks
  • perf: Box several DslIr variants to bring it under 64 bytes
  • feat: plonk in new circuit
  • docs: bls12_381 and bn254
  • feat: bench bls12-381 and bn254 tower operations and pairing check
  • feat: unify inner and outer witnesses in recursion circuit
  • perf: unify variable counters
  • docs: bench w/ 10 blobs for verify batched kzg proof
  • docs: precompile guide
  • chore: Add BuildArgs re-export to sp1-helper
  • fix: bug in exp_reverse_bits memory multiplicity
  • fix: pass github token into install-toolchain
  • chore: prepare 1.2.0-rc1
  • chore: merge main into dev
  • fix: ci test examples
  • perf: recursion v2 tracegen
  • feat: optimize runtime speed on fast
  • perf: remove 15 cols from poseidon2 wide
  • fix: ci reference to crates
  • fix: duplicate crate warning
  • fix: crate readme paths
  • fix: docker gnark ffi crate path
  • fix: put back re-export of HookEnv in sp1-sdk
  • fix: docker gnark
  • fix: handle load mem instructions that write to reg x0
  • feat: v1.2.0-rc1
Assets 6
Loading