Releases: succinctlabs/sp1
Releases · succinctlabs/sp1
v1.0.4-testnet
v1.0.3-testnet
What's Changed
- feat: exit code by @kevjue in #750
- chore: pk/vk serde/clone by @ctian1 in #770
- chore: SP1ProvingKey serde by @ctian1 in #772
- fix: update release workflow by @ratankaliani in #777
- feat: release on main by @ratankaliani in #779
- refactor: sdk updates by @ctian1 in #784
- chore(recursion): convert ext2felt to hint by @kevjue in #771
- chore(recursion): heap ptr checks by @kevjue in #775
- feat: groth16 feature flag by @ratankaliani in #782
- chore(recursion): explicitly don't allow witness and public values related apis in sub-builder by @kevjue in #744
- fix(recursion): assert curve bit length in circuit p2_hash by @kevjue in #736
- fix(recursion): num2bits fixes by @kevjue in #732
- chore(recursion): document IR by @kevjue in #737
- chore: logup format by @tamirhemo in #788
- chore: merge main into dev by @ratankaliani in #801
- feat: byte multiplicity channel by @tamirhemo in #800
- fix(core): Fix benches warning for unstable features by @Nashtare in #763
- fix(core): Remove dummy constraint by @Nashtare in #783
- chore: Clean up TOML files by @matthiasgoergens in #796
- chore: remove unused deps by @bingcicle in #794
- chore: Make some functions const by @Nashtare in #774
- chore: no remainder range checks if division by 0 by @erabinov in #764
- chore: upgrade checkout action to version with node20 by @cario-dev in #734
- feat: plonk prover by @jtguibas in #795
- feat: batch sized recursion by @jtguibas in #785
- chore: remove unecessary todo in bb31 to bn254 by @jtguibas in #805
- chore: get rid of unecessary todo in recursion program by @jtguibas in #803
- chore: permutation argument in circuit by @jtguibas in #804
- chore: require cpu shard in verifier by @jtguibas in #808
- chore: remove todos in recursion by @jtguibas in #809
- chore: change challenger rate from 16 to 8 by @jtguibas in #807
- feat: sp1 core opts by @jtguibas in #815
- fix: install for
verify_plonk_bn254
by @ratankaliani in #798 - fix: export verifier by @ratankaliani in #802
- chore: merge main into dev by @ratankaliani in #823
- feat: switch to ethers by @ratankaliani in #826
- refactor:
prove_plonk
by @ratankaliani in #827 - feat: stable compilation of
sp1-zkvm
by @ratankaliani in #810 - fix: update ELF's in tests by @ratankaliani in #830
- docs: simplify quickstart by @ratankaliani in #819
- feat: v1.0.3-testnet by @jtguibas in #825
New Contributors
- @Nashtare made their first contribution in #763
- @bingcicle made their first contribution in #794
- @cario-dev made their first contribution in #734
Full Changelog: v1.0.2-testnet...v1.0.3-testnet
Latest
- no changes
v1.0.2-testnet
What's Changed
- chore(deps): bump axum from 0.7.4 to 0.7.5 by @dependabot in #718
- chore(deps): bump dirs from 4.0.0 to 5.0.1 by @dependabot in #717
- perf: get_cycles don't need emit events by @lispc in #697
- fix: release flow doesn't run on main by @jtguibas in #721
- fix: verify_compressed by @ctian1 in #725
- chore: update dev with latest main by @jtguibas in #728
- feat: fix execution + proving errors by @jtguibas in #715
- feat: auto rebuild dev artifacts in sdk by @jtguibas in #726
- feat: reduce network prover by @ctian1 in #687
- feat: add
hash_public_values
by @ratankaliani in #730 - feat: add proof verification by @ratankaliani in #729
- fix: groth16 install when in existing runtime by @ctian1 in #735
- fix(recursion): poseidon2 external flag by @kevjue in #747
- fix: unnecessary pc constraint by @ctian1 in #749
- fix(ci): downgrade
getrandom
by @ratankaliani in #751 - fix:
cargo prove new
by @ratankaliani in #753 - fix: assets branch by @ratankaliani in #752
- feat: Implement
verify_groth16
&prove_groth16
onMockProver
by @ratankaliani in #745 - feat(recursion): public values constraints by @kevjue in #748
- refactor: use actual ffi for gnark by @ctian1 in #738
- fix: SHA_COMPRESS syscall added to syscall map twice by @Sofianel5 in #740
- fix: fibonacci default-run bin by @mattstam in #756
- refactor(prover): expose functions for getting core/deferred inputs by @ctian1 in #755
- chore: merge main into dev by @ctian1 in #757
- chore: update groth16 build by @ctian1 in #758
- chore: fix by @ctian1 in #759
- chore: release v1.0.2-testnet by @ctian1 in #760
- chore: v1.0.2-testnet by @jtguibas in #719
New Contributors
- @dependabot made their first contribution in #718
- @lispc made their first contribution in #697
- @Sofianel5 made their first contribution in #740
Full Changelog: v1.0.1-testnet...v1.0.2-testnet
Nightly (2024-05-11)
Nightly
Nightly (2024-05-10)
v1.0.0-testnet
changes
Nightly (2024-05-08)
- no changes
Nightly (2024-05-02)
📦 Uncategorized
- feat: regularize proof shape
- PR: #641