📦 Uncategorized

• 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
• 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
• chore: add audit reports
  • PR: #1142
• perf: generate dep optimizations
  • PR: #1125
• chore(deps): bump cc from 1.1.5 to 1.1.6
  • PR: #1140
• chore(deps): bump vergen from 8.3.1 to 8.3.2
  • PR: #1139
• chore(deps): bump blake3 from 1.5.1 to 1.5.3
  • PR: #1138
• chore(deps): bump tokio from 1.38.0 to 1.38.1
  • PR: #1137
• chore(deps): bump thiserror from 1.0.61 to 1.0.63
  • PR: #1136
• chore(deps): bump actions/deploy-pages from 2 to 4
  • PR: #1135
• chore(deps): bump docker/metadata-action from 4 to 5
  • PR: #1134
• chore(deps): bump docker/build-push-action from 3 to 6
  • PR: #1133
• chore(deps): bump actions/upload-artifact from 2 to 4
  • PR: #1132
• chore(deps): bump docker/login-action from 2 to 3
  • PR: #1131
• fix: remove changelog-seen from config.toml
  • PR: #1151
• fix: UB from OpcodeSpecificCols union
  • PR: #1050
• feat: streaming prover for core
  • PR: #1146
• feat: v1.0.1
  • PR: #1165
• chore(deps): bump alloy-sol-types from 0.7.6 to 0.7.7
  • PR: #1152
• chore(deps): bump arrayref from 0.3.7 to 0.3.8
  • PR: #1154
• chore: prover trait cleanup
  • PR: #1170
• fix: cycle tracking logs
  • PR: #1178
• chore: merge main into dev
  • PR: #1180
• feat: streaming recursion
  • PR: #1175
• docs: remove reth, revm patches
  • PR: #1185
• docs: usage in CI
  • PR: #1190
• feat: use C++ toolchain when building programs that need C
  • PR: #1092
• chore(deps): bump docker/setup-buildx-action from 2 to 3
  • PR: #1156
• chore(deps): bump softprops/action-gh-release from 1 to 2
  • PR: #1160
• docs: using different solidity versions
  • PR: #1182
• fix: verify subproof in execute
  • PR: #1204
• fix(ci): runs-on configuration 🚀
  • PR: #1209
• fix: device oom
  • PR: #1202
• fix: remove nightly in toolchain config
  • PR: #1216
• fix: mutable static ref warning in halt syscall
  • PR: #1217
• feat: lazy init prover programs and keys
  • PR: #1177
• book: rv32im implementation details
  • PR: #1193
• feat: use 1.79 toolchain
  • PR: #1222
• fix: memory global generate_dependencies
  • PR: #1220
• feat: update tg
  • PR: #1214
• fix: BabyBear range check Gnark
  • PR: #1225
• chore(deps): bump anstyle from 1.0.7 to 1.0.8
  • PR: #1194
• chore(deps): bump tokio from 1.38.1 to 1.39.2
  • PR: #1195
• chore(deps): bump serde_json from 1.0.120 to 1.0.121
  • PR: #1196
• chore(deps): bump cc from 1.1.6 to 1.1.7
  • PR: #1198
• feat: experimental gpu support
  • PR: #1219
• fix: wait longer for server to start
  • PR: #1231
• refactor: sp1-lib, syscall docs
  • PR: #1189
• docs: patched crate documentation
  • PR: #1221
• chore: bump version and changelog
  • PR: #1232
• docs: fix lint issues
  • PR: #1234
• feat: timeout on network prover
  • PR: #1223
• docs: link to patch testing script
  • PR: #1235
• feat: v1.1.0
  • PR: #1233