📦 Uncategorized

• fix: double fibonacci program
  • PR: #781
• chore: plonk feature disabled
  • PR: #834
• chore: release workflow changes
  • PR: #833
• feat: encode proof solidity
  • PR: #836
• chore: pr workflow
  • PR: #837
• feat: v1.0.4-testnet
  • PR: #835
• refactor: ProverClient::remote -> ProverClient::network
  • PR: #840
• feat: add prover_type
  • PR: #838
• feat: enforce only dev can merge into main
  • PR: #844
• fix: gnark-ffi linking on mac
  • PR: #842
• feat: runtime instruction/syscall report
  • PR: #839
• chore: add network requester to requested proof
  • PR: #845
• feat: execute() exposes ExecutionReport
  • PR: #847
• fix: remove unused aggregation programs
  • PR: #849
• chore: default reconstruct commitments = true
  • PR: #846
• fix: plonk feature off by default
  • PR: #852
• feat: generic const expr
  • PR: #854
• doc: recursive program docs
  • PR: #855
• feat: feature flag alloy_sol_types
  • PR: #850
• chore: bump plonk artifacts
  • PR: #864
• chore: program doc and remove unnecessary clones
  • PR: #857
• docs: Instructions for installing SP1 contracts
  • PR: #859
• feat: check version for proof requests
  • PR: #862
• feat(sdk): add explorer link
  • PR: #858
• dev2main
  • PR: #843
• chore: fixes
  • PR: #821
• chore: state_mem validity
  • PR: #871
• chore: constraint selectors when is_real zero
  • PR: #873
• chore: circuit poseidon2 babybear
  • PR: #870
• fix: nonce in ed decompress
  • PR: #874
• fix: unit tests to test nonces
  • PR: #875
• chore: increase byte lookup channes
  • PR: #876
• chore: update plonk artifacts
  • PR: #877
• feat: v1.06-testnet
  • PR: #872
• revert "feat: v1.06-testnet"
  • PR: #878
• feat: v1.06-testnet
  • PR: #879
• fix: main regression
  • PR: #894
• docs: updated prover network guide
  • PR: #900
• chore: logging cleanup + non-compressed fibonacci
  • PR: #903
• feat: log info from ExecutionReport in prove
  • PR: #896
• feat: sp1 circuit version
  • PR: #899
• fix: remove mutable requirement
  • PR: #892
• chore(deps): bump ubuntu from 3f85b7c to e3f92ab in /cli/docker
  • PR: #910
• chore(deps): bump alloy-sol-types from 0.7.4 to 0.7.6
  • PR: #909
• chore(deps): bump clap from 4.5.4 to 4.5.7
  • PR: #908
• chore(deps): bump strum_macros from 0.26.3 to 0.26.4
  • PR: #907
• chore(deps): bump itertools from 0.12.1 to 0.13.0
  • PR: #817
• chore(deps): bump cc from 1.0.98 to 1.0.99
  • PR: #906
• chore(book): network docs
  • PR: #913
• feat: runtime hooks
  • PR: #912
• fix: reduce minimum Solidity version for SP1 contracts
  • PR: #921
• chore: remove b3
  • PR: #914
• chore: add docker to reqs
  • PR: #917
• chore: failure on sp1 on unsupported target
  • PR: #918
• chore: nuke recommended settings
  • PR: #916
• chore: get rid of json convert to bin + add proof roundtrip to examples
  • PR: #924
• chore: fix sys rand
  • PR: #919
• perf: exp_rev_bits_len precompile
  • PR: #925
• chore: add version to sdk
  • PR: #923
• fix: uint256 div
  • PR: #915
• feat: verify subproof in runtime
  • PR: #911
• chore(book): document cargo prove build --docker
  • PR: #920
• feat: circuit version in proof
  • PR: #926
• feat: cargo prove new from sp1-project-template
  • PR: #922
• chore: merge main
  • PR: #929
• chore: v1.0.7-testnet
  • PR: #930
• fix: docker gnark CI
  • PR: #932
• chore: cleanup compress
  • PR: #928
• feat: v1.0.7-testnet
  • PR: #935
• fix: memory finalize duplicate address attack from audit
  • PR: #934
• fix: mock verifier
  • PR: #936
• chore: format PR #934
  • PR: #939
• fix: recursion audit fixes for Issues 7-10
  • PR: #937
• fix: range check for shard number in recursion
  • PR: #952
• fix: frifold flag column consistency
  • PR: #946
• feat: refactor ProverClient to use builder pattern for execute/prove
  • PR: #940
• feat: optimize cpu tracegen
  • PR: #949
• fix: set sponge state to be zero
  • PR: #951
• docs: improve network usage instructions
  • PR: #941
• fix: some informational fixes from veridise audit
  • PR: #953
• feat: Add example program to test patches
  • PR: #950
• feat: optimize byte trace generation
  • PR: #956
• fix: v1.0.8-testnet
  • PR: #957
• chore(ci): disable spot for larger ci jobs
  • PR: #961
• feat: update verifier contract templates
  • PR: #963
• fix: p3 audit change
  • PR: #964
• fix: close unclosed file streams
  • PR: #954
• feat: poseidon2 hash
  • PR: #885
• fix: changed fixed size for multi table
  • PR: #966
• chore: merge main -> dev
  • PR: #969
• chore: merge main -> dev (no squash)
  • PR: #970
• feat: put hook results in front of the input stream
  • PR: #973
• chore(deps): bump proc-macro2 from 1.0.85 to 1.0.86
  • PR: #976
• chore(deps): bump cc from 1.0.99 to 1.0.100
  • PR: #977
• chore(deps): bump strum from 0.26.2 to 0.26.3
  • PR: #978
• chore(deps): bump lazy_static from 1.4.0 to 1.5.0
  • PR: #975
• fix: recursion runtime
  • PR: #980
• fix(contracts): check verifier success
  • PR: #983
• fix: apply plonky3's keccak air fix
  • PR: #984
• feat: plonk circuit optimizations
  • PR: #972
• chore(deps): bump reqwest-middleware from 0.3.1 to 0.3.2
  • PR: #1003
• chore(deps): bump num-bigint from 0.4.5 to 0.4.6
  • PR: #1002
• chore(deps): bump serde_json from 1.0.117 to 1.0.120
  • PR: #1001
• chore(deps): bump clap from 4.5.7 to 4.5.8
  • PR: #999
• chore(deps): bump log from 0.4.21 to 0.4.22
  • PR: #1000
• docs(cli): informative logging
  • PR: #947
• chore: docs improvement
  • PR: #902
• feat(cli): only template contracts when --evm is used
  • PR: #1004
• fix overflow when compile to wasm32
  • PR: #812
• feat(sdk): finish mock prover implementation
  • PR: #1008
• feat(cli): check for rust usage during installation
  • PR: #1006
• feat: improve network prover error output
  • PR: #991
• feat(cli): allow template version and fix CI
  • PR: #1012
• chore: cleanup zkvm/lib
  • PR: #1013
• fix: use correct value for blowup
  • PR: #965
• chore: proof aggregation docs
  • PR: #1021
• fix: verifier dos
  • PR: #1017
• chore: docker reproducible builds docs
  • PR: #1020
• feat: suggest prover network if high cycles
  • PR: #1019
• feat(cli): build --docker accepts an optional image tag
  • PR: #1022
• docs: official contracts
  • PR: #1026
• feat: cycle limit
  • PR: #1027
• feat: add memory error
  • PR: #1034
• chore: update docs
  • PR: #1032
• chore(contracts): remove mock verifier and interface autogen
  • PR: #1045
• feat(cli): use GH token during installation to avoid rate limiting
  • PR: #1031
• docs: supported prover network versions
  • PR: #1044
• docs: using --tag to specify a release
  • PR: #1047
• fix(sdk): lock axum to 0.7.4
  • PR: #1029
• chore: switch to p3 from crates.io
  • PR: #1038
• feat: critical constraint changes
  • PR: #1046
• fix: range check halt/commit_deferred_proof operands
  • PR: #986
• fix: uint256 fixes
  • PR: #990
• feat: publish sp1 to crates.io
  • PR: #1052
• chore: updated p3 dependency to 0.1.3
  • PR: #1059
• fix: optimize serde for ExecutionState
  • PR: #1068
• fix: execution shard
  • PR: #1070
• chore(deps): bump target-lexicon from 0.12.14 to 0.12.15
  • PR: #1067
• chore(deps): bump generic-array from 1.0.0 to 1.1.0
  • PR: #1066
• chore(deps): bump serde_with from 3.8.1 to 3.8.3
  • PR: #1064
• chore(deps): bump serde from 1.0.203 to 1.0.204
  • PR: #1063
• fix: multi-builder first/last row issue
  • PR: #997
• refactor: remove async crates sp1-prover
  • PR: #1042
• perf: generate dependencies optimizations for CPU and ALU chips
  • PR: #1048
• docs: fix broken link to setup
  • PR: #1061
• fix(sdk): options warning when using network prover
  • PR: #1069
• ci: run examples on merge to main
  • PR: #1060
• docs: add bigint patched crate
  • PR: #1076
• fix: handle mul_assign scalar zero
  • PR: #1077
• fix: correct permutation column counts in debug_constraints
  • PR: #1080
• docs: add common issues
  • PR: #1085
• docs: add sha3 patched crate
  • PR: #1082
• ci: add release-plz
  • PR: #1086
• feat: Add BuildArgs to build_program
  • PR: #995
• fix: Allen's exp_reverse_bits_len fixes
  • PR: #1074
• ci: fix release-plz
  • PR: #1088
• feat: result instead of exit(1) on trap in recursion
  • PR: #1089
• chore: add more context to input stream panic
  • PR: #1091
• feat: parallel recursion tracegen
  • PR: #1095
• chore: remove XDG_CONFIG_HOME from sp1up
  • PR: #1109
• ci: use global workspace version
  • PR: #1102
• chore(deps): bump clap from 4.5.8 to 4.5.9
  • PR: #1107
• chore(deps): bump sysinfo from 0.30.12 to 0.30.13
  • PR: #1106
• chore(deps): bump cc from 1.0.100 to 1.1.5
  • PR: #1104
• chore(deps): bump async-trait from 0.1.80 to 0.1.81
  • PR: #1105
• chore(deps): bump serde_with from 3.8.3 to 3.9.0
  • PR: #1103
• fix: lookup id collisions
  • PR: #1114
• fix: global memory assertions
  • PR: #1083
• perf: prover utilization
  • PR: #1100
• fix: incorrect checks on deferred digest
  • PR: #1116
• fix: Allen's Poseidon2 fixes
  • PR: #1099
• chore: export execution report
  • PR: #1112
• fix: BLS381 decompress
  • PR: #1121
• perf: poseidon2 parallel tracegen
  • PR: #1118
• fix: sp1-helper workspace build
  • PR: #1119
• feat: multi-threaded tracing
  • PR: #1124
• fix: memory limit
  • PR: #1123
• feat: v1.0.0-rc.1
  • PR: #1126
• chore: prepare release v1.0.0-rc.1
  • PR: #1127
• chore: organize workspaces
  • PR: #1129
• chore: bump tendermint input block height
  • PR: #1130
• feat: v1.0.0-rc.1
  • PR: #962