Skip to content

v1.1.0

Compare
Choose a tag to compare
@github-actions github-actions released this 05 Aug 18:06
· 1747 commits to main since this release
v1.1.0
923d77d

📦 Uncategorized

  • chore: format PR #934
  • fix: recursion audit fixes for Issues 7-10
  • fix: range check for shard number in recursion
  • fix: frifold flag column consistency
  • feat: refactor ProverClient to use builder pattern for execute/prove
  • feat: optimize cpu tracegen
  • fix: set sponge state to be zero
  • docs: improve network usage instructions
  • fix: some informational fixes from veridise audit
  • feat: Add example program to test patches
  • feat: optimize byte trace generation
  • chore(ci): disable spot for larger ci jobs
  • feat: update verifier contract templates
  • fix: p3 audit change
  • fix: close unclosed file streams
  • feat: poseidon2 hash
  • fix: changed fixed size for multi table
  • chore: merge main -> dev
  • chore: merge main -> dev (no squash)
  • feat: put hook results in front of the input stream
  • chore(deps): bump proc-macro2 from 1.0.85 to 1.0.86
  • chore(deps): bump cc from 1.0.99 to 1.0.100
  • chore(deps): bump strum from 0.26.2 to 0.26.3
  • chore(deps): bump lazy_static from 1.4.0 to 1.5.0
  • fix: recursion runtime
  • fix(contracts): check verifier success
  • fix: apply plonky3's keccak air fix
  • feat: plonk circuit optimizations
  • chore(deps): bump reqwest-middleware from 0.3.1 to 0.3.2
  • chore(deps): bump num-bigint from 0.4.5 to 0.4.6
  • chore(deps): bump serde_json from 1.0.117 to 1.0.120
  • chore(deps): bump clap from 4.5.7 to 4.5.8
  • chore(deps): bump log from 0.4.21 to 0.4.22
  • docs(cli): informative logging
  • chore: docs improvement
  • feat(cli): only template contracts when --evm is used
  • fix overflow when compile to wasm32
  • feat(sdk): finish mock prover implementation
  • feat(cli): check for rust usage during installation
  • feat: improve network prover error output
  • feat(cli): allow template version and fix CI
  • chore: cleanup zkvm/lib
  • fix: use correct value for blowup
  • chore: proof aggregation docs
  • fix: verifier dos
  • chore: docker reproducible builds docs
  • feat: suggest prover network if high cycles
  • feat(cli): build --docker accepts an optional image tag
  • docs: official contracts
  • feat: cycle limit
  • feat: add memory error
  • chore: update docs
  • chore(contracts): remove mock verifier and interface autogen
  • feat(cli): use GH token during installation to avoid rate limiting
  • docs: supported prover network versions
  • docs: using --tag to specify a release
  • fix(sdk): lock axum to 0.7.4
  • chore: switch to p3 from crates.io
  • feat: critical constraint changes
  • fix: range check halt/commit_deferred_proof operands
  • fix: uint256 fixes
  • feat: publish sp1 to crates.io
  • chore: updated p3 dependency to 0.1.3
  • fix: optimize serde for ExecutionState
  • fix: execution shard
  • chore(deps): bump target-lexicon from 0.12.14 to 0.12.15
  • chore(deps): bump generic-array from 1.0.0 to 1.1.0
  • chore(deps): bump serde_with from 3.8.1 to 3.8.3
  • chore(deps): bump serde from 1.0.203 to 1.0.204
  • fix: multi-builder first/last row issue
  • refactor: remove async crates sp1-prover
  • perf: generate dependencies optimizations for CPU and ALU chips
  • docs: fix broken link to setup
  • fix(sdk): options warning when using network prover
  • ci: run examples on merge to main
  • docs: add bigint patched crate
  • fix: handle mul_assign scalar zero
  • fix: correct permutation column counts in debug_constraints
  • docs: add common issues
  • docs: add sha3 patched crate
  • ci: add release-plz
  • feat: Add BuildArgs to build_program
  • fix: Allen's exp_reverse_bits_len fixes
  • ci: fix release-plz
  • feat: result instead of exit(1) on trap in recursion
  • chore: add more context to input stream panic
  • feat: parallel recursion tracegen
  • chore: remove XDG_CONFIG_HOME from sp1up
  • ci: use global workspace version
  • chore(deps): bump clap from 4.5.8 to 4.5.9
  • chore(deps): bump sysinfo from 0.30.12 to 0.30.13
  • chore(deps): bump cc from 1.0.100 to 1.1.5
  • chore(deps): bump async-trait from 0.1.80 to 0.1.81
  • chore(deps): bump serde_with from 3.8.3 to 3.9.0
  • fix: lookup id collisions
  • fix: global memory assertions
  • perf: prover utilization
  • fix: incorrect checks on deferred digest
  • fix: Allen's Poseidon2 fixes
  • chore: export execution report
  • fix: BLS381 decompress
  • perf: poseidon2 parallel tracegen
  • fix: sp1-helper workspace build
  • feat: multi-threaded tracing
  • fix: memory limit
  • feat: v1.0.0-rc.1
  • chore: prepare release v1.0.0-rc.1
  • chore: organize workspaces
  • chore: bump tendermint input block height
  • feat: v1.0.0-rc.1
  • chore: add audit reports
  • perf: generate dep optimizations
  • chore(deps): bump cc from 1.1.5 to 1.1.6
  • chore(deps): bump vergen from 8.3.1 to 8.3.2
  • chore(deps): bump blake3 from 1.5.1 to 1.5.3
  • chore(deps): bump tokio from 1.38.0 to 1.38.1
  • chore(deps): bump thiserror from 1.0.61 to 1.0.63
  • chore(deps): bump actions/deploy-pages from 2 to 4
  • chore(deps): bump docker/metadata-action from 4 to 5
  • chore(deps): bump docker/build-push-action from 3 to 6
  • chore(deps): bump actions/upload-artifact from 2 to 4
  • chore(deps): bump docker/login-action from 2 to 3
  • fix: remove changelog-seen from config.toml
  • fix: UB from OpcodeSpecificCols union
  • feat: streaming prover for core
  • feat: v1.0.1
  • chore(deps): bump alloy-sol-types from 0.7.6 to 0.7.7
  • chore(deps): bump arrayref from 0.3.7 to 0.3.8
  • chore: prover trait cleanup
  • fix: cycle tracking logs
  • chore: merge main into dev
  • feat: streaming recursion
  • docs: remove reth, revm patches
  • docs: usage in CI
  • feat: use C++ toolchain when building programs that need C
  • chore(deps): bump docker/setup-buildx-action from 2 to 3
  • chore(deps): bump softprops/action-gh-release from 1 to 2
  • docs: using different solidity versions
  • fix: verify subproof in execute
  • fix(ci): runs-on configuration 🚀
  • fix: device oom
  • fix: remove nightly in toolchain config
  • fix: mutable static ref warning in halt syscall
  • feat: lazy init prover programs and keys
  • book: rv32im implementation details
  • feat: use 1.79 toolchain
  • fix: memory global generate_dependencies
  • feat: update tg
  • fix: BabyBear range check Gnark
  • chore(deps): bump anstyle from 1.0.7 to 1.0.8
  • chore(deps): bump tokio from 1.38.1 to 1.39.2
  • chore(deps): bump serde_json from 1.0.120 to 1.0.121
  • chore(deps): bump cc from 1.1.6 to 1.1.7
  • feat: experimental gpu support
  • fix: wait longer for server to start
  • refactor: sp1-lib, syscall docs
  • docs: patched crate documentation
  • chore: bump version and changelog
  • docs: fix lint issues
  • feat: timeout on network prover
  • docs: link to patch testing script
  • feat: v1.1.0