Co-authored-by: John Guibas <jtguibas@gmail.com>
Co-authored-by: Tamir Hemo <tamir@succinct.xyz>
Co-authored-by: Ubuntu <ubuntu@ip-172-31-74-90.ec2.internal>
Co-authored-by: Tarik Moon <tarik@tarikmoon.com>
Co-authored-by: Matthias Görgens <matthias.goergens@gmail.com>
Co-authored-by: Eugene Rabinovich <eugene@succinct.xyz>
Co-authored-by: Chris Tian <chris@succinct.xyz>

chore: pk/vk serde/clone (#770)

chore: SP1ProvingKey serde  (#772)

chore(recursion): convert ext2felt to hint (#771)

chore(recursion): heap ptr checks (#775)

feat: groth16 feature flag (#782)

chore(recursion): explicitly don't allow witness and public values related apis in sub-builder (#744)

fix(recursion): assert curve bit length in circuit p2_hash (#736)

fix(recursion): num2bits fixes (#732)

chore(recursion): document IR (#737)

chore: logup format (#788)

chore: merge main into dev (#801)

Co-authored-by: Chris T <chris@succinct.xyz>

feat: byte multiplicity channel (#800)

fix(core): Fix benches warning for unstable features (#763)

fix(core): Remove dummy constraint (#783)

chore: Clean up TOML files (#796)

chore: remove unused deps (#794)

Co-authored-by: Bing <b.ing@keemail.me>
Co-authored-by: John Guibas <jtguibas@gmail.com>

chore: Make some functions const (#774)

Co-authored-by: John Guibas <jtguibas@gmail.com>

chore: no remainder range checks if division by 0 (#764)

Co-authored-by: Tamir Hemo <tamir@succinct.xyz>

chore: upgrade checkout action to version with node20 (#734)

feat: plonk prover (#795)

Co-authored-by: Ubuntu <ubuntu@ip-172-31-78-118.ec2.internal>
Co-authored-by: Chris Tian <chris@succinct.xyz>

feat: batch sized recursion (#785)

Co-authored-by: Ratan Kaliani <ratankaliani@berkeley.edu>

chore: remove unecessary todo

chore: get rid of unecessary todo in recursion program

fix clippy

permutation chore

fix clippy

hm

clippy

chore: remove unecessary todos in recursion

clippy fixes

fix: challenger rate issue

fix clippy

fix cargo check

pin new p3

feat: sp1 core prover opts

hm

fmt

hm

fix: install for `verify_plonk_bn254` (#798)

feat: update contract artifacts (#802)

Co-authored-by: Chris T <chris@succinct.xyz>

chore: merge main into dev (#823)

fix: update release workflow (#777)

feat: release on main (#779)

refactor: sdk updates (#784)

+ make vk/pk serde and Clone

feat: switch to ethers (#826)

refactor: `prove_plonk` (#827)

feat: remove `sp1-zkvm` precompile nightly (#810)

fix: update ELF's in tests (#830)

docs: simplify quickstart (#819)

- Restore the ability to run the entire process in one chunk by setting `SHARD_BATCH_SIZE` to `0`.