Skip to content

v1.0.0-rc.1
Compare
Choose a tag to compare
@github-actions github-actions released this 19 Jul 21:04
· 309 commits to main since this release
v1.0.0-rc.1
6be0efa
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

📦 Uncategorized

  • fix: double fibonacci program
  • chore: plonk feature disabled
  • chore: release workflow changes
  • feat: encode proof solidity
  • chore: pr workflow
  • feat: v1.0.4-testnet
  • refactor: ProverClient::remote -> ProverClient::network
  • feat: add prover_type
  • feat: enforce only dev can merge into main
  • fix: gnark-ffi linking on mac
  • feat: runtime instruction/syscall report
  • chore: add network requester to requested proof
  • feat: execute() exposes ExecutionReport
  • fix: remove unused aggregation programs
  • chore: default reconstruct commitments = true
  • fix: plonk feature off by default
  • feat: generic const expr
  • doc: recursive program docs
  • feat: feature flag alloy_sol_types
  • chore: bump plonk artifacts
  • chore: program doc and remove unnecessary clones
  • docs: Instructions for installing SP1 contracts
  • feat: check version for proof requests
  • feat(sdk): add explorer link
  • dev2main
  • chore: fixes
  • chore: state_mem validity
  • chore: constraint selectors when is_real zero
  • chore: circuit poseidon2 babybear
  • fix: nonce in ed decompress
  • fix: unit tests to test nonces
  • chore: increase byte lookup channes
  • chore: update plonk artifacts
  • feat: v1.06-testnet
  • revert "feat: v1.06-testnet"
  • feat: v1.06-testnet
  • fix: main regression
  • docs: updated prover network guide
  • chore: logging cleanup + non-compressed fibonacci
  • feat: log info from ExecutionReport in prove
  • feat: sp1 circuit version
  • fix: remove mutable requirement
  • chore(deps): bump ubuntu from 3f85b7c to e3f92ab in /cli/docker
  • chore(deps): bump alloy-sol-types from 0.7.4 to 0.7.6
  • chore(deps): bump clap from 4.5.4 to 4.5.7
  • chore(deps): bump strum_macros from 0.26.3 to 0.26.4
  • chore(deps): bump itertools from 0.12.1 to 0.13.0
  • chore(deps): bump cc from 1.0.98 to 1.0.99
  • chore(book): network docs
  • feat: runtime hooks
  • fix: reduce minimum Solidity version for SP1 contracts
  • chore: remove b3
  • chore: add docker to reqs
  • chore: failure on sp1 on unsupported target
  • chore: nuke recommended settings
  • chore: get rid of json convert to bin + add proof roundtrip to examples
  • chore: fix sys rand
  • perf: exp_rev_bits_len precompile
  • chore: add version to sdk
  • fix: uint256 div
  • feat: verify subproof in runtime
  • chore(book): document cargo prove build --docker
  • feat: circuit version in proof
  • feat: cargo prove new from sp1-project-template
  • chore: merge main
  • chore: v1.0.7-testnet
  • fix: docker gnark CI
  • chore: cleanup compress
  • feat: v1.0.7-testnet
  • fix: memory finalize duplicate address attack from audit
  • fix: mock verifier
  • 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
  • fix: v1.0.8-testnet
  • 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
Assets 6
Loading