v1.0.1
版本发布时间: 2024-07-23 13:04:54
succinctlabs/sp1最新发布版本:v1.0.1(2024-07-23 13:04:54)
📦 Uncategorized
- 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
- chore: refactor derive, serialize bounds
- PR: #869
- chore: fix program and permutation trace exports
- PR: #887
- chore: fix duplicate fibonacci program
- PR: #888
- feat: shrink/wrap multi opt
- PR: #886
- chore(deps): bump strum_macros from 0.26.2 to 0.26.3
- PR: #883
- chore(deps): bump tokio from 1.37.0 to 1.38.0
- PR: #882
- chore(deps): bump proc-macro2 from 1.0.84 to 1.0.85
- PR: #881
- fix: sys_bigint duplicate symbol
- PR: #880
- feat: info spans for prover execute instances
- PR: #893
- fix: set core opts from SHARD* env vars
- PR: #889
- fix: replace
jal
withcall
in entrypoint- PR: #898
- fix: main regression
- PR: #897
- feat: use docker by default for gnark
- PR: #890
- docs: updated prover network guide
- PR: #900
- chore: logging cleanup + non-compressed fibonacci
- PR: #903
- feat: log info from
ExecutionReport
inprove
- PR: #896
- feat: sp1 circuit version
- PR: #899
- fix: remove mutable requirement
- PR: #892
- chore(deps): bump ubuntu from
3f85b7c
toe3f92ab
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
tobuild_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
- feat: v1.0.1
- PR: #1165
1、 cargo_prove_v1.0.1_darwin_amd64.tar.gz 7.93MB
2、 cargo_prove_v1.0.1_darwin_arm64.tar.gz 7.56MB
3、 cargo_prove_v1.0.1_linux_amd64.tar.gz 11.11MB
4、 cargo_prove_v1.0.1_linux_arm64.tar.gz 10.57MB