Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Sync with upstream #13

Merged
merged 66 commits into from
May 20, 2024
Merged

Sync with upstream #13

merged 66 commits into from
May 20, 2024

Conversation

matthiasgoergens
Copy link

No description provided.

lispc and others added 30 commits April 30, 2024 21:43
@lispc
add Runtime::dry_run
baec5a6
@kevjue
chore(recursion): poseidon2 loose ends (succinctlabs#672)
e699a98
@jtguibas
fix: proof aggregation issue (succinctlabs#683)
4b66365
@tamirhemo @kevjue
feat: program refactor (succinctlabs#651)
ffccd03 
Co-authored-by: Ubuntu <ubuntu@ip-172-31-74-90.ec2.internal>
Co-authored-by: Kevin Jue <kjue235@gmail.com>
@kevjue
fix(recursion): enable mul constraint (succinctlabs#686)
ef59fa2
@jtguibas
feat: ci refactor (succinctlabs#684)
58b0f33
@tmoon @jtguibas
chore: fix compile bug in example (succinctlabs#682)
75a7502 
Co-authored-by: John Guibas <jtguibas@gmail.com>
@matthiasgoergens
ci: set up dependabot (succinctlabs#678)
e331f49
@erabinov
fix: multiply logged permutation column counts by extension field deg…
072b989 
…ree. (succinctlabs#668)
@jtguibas
feat: add dev to pr ci (succinctlabs#690)
c333c56
@jtguibas @matthiasgoergens
chore: update all dependencies (succinctlabs#689)
32dd196 
Co-authored-by: Matthias Goergens <matthias.goergens@gmail.com>
@jtguibas @matthiasgoergens
feat: enable merge groups for all prs (succinctlabs#691)
3b4d950 
Co-authored-by: Matthias Goergens <matthias.goergens@gmail.com>
@jtguibas
feat: add sp1-sdk tests with SP1_DEV=0 for release ci (succinctlabs#694)
1c85390
@jtguibas
chore: disable nightly release (succinctlabs#696)
ecf9f8a
@lispc
Merge remote-tracking branch 'origin/main' into dev
e5413bd
@lispc
merge with upstream
387ae09
@jtguibas
feat: add cli to CI (succinctlabs#695)
b2b4873
@jtguibas @kevjue
feat: update docs + add some tests around solidity contract export (s…
1eee43b 
…uccinctlabs#693)

Co-authored-by: Kevin Jue <kjue235@gmail.com>
@jtguibas @tamirhemo
@kevjue @tmoon @matthiasgoergens @erabinov
chore: v1.0.1-testnet (succinctlabs#692)
c08c64b 
Co-authored-by: Tamir Hemo <tamir@succinct.xyz>
Co-authored-by: Ubuntu <ubuntu@ip-172-31-74-90.ec2.internal>
Co-authored-by: Kevin Jue <kjue235@gmail.com>
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>
@jtguibas
revert: "chore: v1.0.1-testnet" (succinctlabs#701)
1db2197
@jtguibas
fix: dependabot base branch (succinctlabs#702)
9680866
@ratankaliani
feat: activate cycle-tracker with RUST_LOG=info (succinctlabs#707)
de9a463
@kevjue
fix: fixed merge conflict in pr.yml (succinctlabs#709)
a2420d1
@kevjue
feat(recursion): HALT instruction (succinctlabs#703)
96d4f2b
@jtguibas
feat: add main groth16 ci (succinctlabs#704)
a2fef98
@jtguibas
feat: update groth16 artifacts (succinctlabs#711)
0b23a36
@jtguibas
feat: add 80gb to hdd groth16 ci (succinctlabs#713)
d5bf39e
@jtguibas
fix: dont run push ci (succinctlabs#714)
dd58245
@jtguibas
feat: v1.0.1-testnet (succinctlabs#712)
2f57e1e
@dependabot
chore(deps): bump dirs from 4.0.0 to 5.0.1
2bf7fcd 
Bumps [dirs](https://github.com/soc/dirs-rs) from 4.0.0 to 5.0.1.
- [Commits](https://github.com/soc/dirs-rs/commits)

---
updated-dependencies:
- dependency-name: dirs
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
ctian1 and others added 27 commits May 13, 2024 16:18
@ctian1
fix
25fd5fc
@jtguibas
fix: verify_compressed (succinctlabs#725)
f50fb1c
@jtguibas @tamirhemo
@kevjue @tmoon @matthiasgoergens @erabinov @ctian1
chore: update dev with latest main (succinctlabs#728)
ccb7f2a 
Co-authored-by: Tamir Hemo <tamir@succinct.xyz>
Co-authored-by: Ubuntu <ubuntu@ip-172-31-74-90.ec2.internal>
Co-authored-by: Kevin Jue <kjue235@gmail.com>
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>
@jtguibas
feat: fix execution + proving errors (succinctlabs#715)
518bea3
@jtguibas @tamirhemo
@kevjue @tmoon @matthiasgoergens @erabinov @ctian1
feat: auto rebuild dev artifacts in sdk (succinctlabs#726)
933df11 
Co-authored-by: Tamir Hemo <tamir@succinct.xyz>
Co-authored-by: Ubuntu <ubuntu@ip-172-31-74-90.ec2.internal>
Co-authored-by: Kevin Jue <kjue235@gmail.com>
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>
@ctian1
feat: reduce network prover (succinctlabs#687)
e2decbf
@ratankaliani
feat: add hash_public_values (succinctlabs#730)
a7d94c2
@ratankaliani
feat: add proof verification (succinctlabs#729)
dde0da1
@ctian1
fix: groth16 install when in existing runtime (succinctlabs#735)
4f8f915
@kevjue
fix(recursion): poseidon2 external flag (succinctlabs#747)
00255c1
@ctian1
fix: unnecessary pc constraint (succinctlabs#749)
734d821
@ratankaliani
fix(ci): downgrade getrandom (succinctlabs#751)
1349e56
@ratankaliani
fix: getrandom version (succinctlabs#753)
9d41254
@ratankaliani
fix: assets branch (succinctlabs#752)
7c19f66
@ratankaliani
feat: Implement verify_groth16 & prove_groth16 on MockProver (s…
cfb648d 
…uccinctlabs#745)
@kevjue @jtguibas
@tamirhemo @tmoon @matthiasgoergens @erabinov @ctian1
feat(recursion): public values constraints (succinctlabs#748)
0bd407e 
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>
@ctian1
refactor: use actual ffi for gnark (succinctlabs#738)
f9c7801
@Sofianel5
fix: SHA_COMPRESS syscall added to syscall map twice (succinctlabs#740)
7efc704
@mattstam
fix: fibonacci default-run bin (succinctlabs#756)
4897b0d
@ctian1
refactor(prover): expose functions for getting core/deferred inputs (s…
57f6cde 
…uccinctlabs#755)
@ctian1 @jtguibas
@tamirhemo @kevjue @tmoon @matthiasgoergens @erabinov @ratankaliani @mattstam
chore: merge main into dev (succinctlabs#757)
9f43e92 
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: Kevin Jue <kjue235@gmail.com>
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: Ratan Kaliani <ratankaliani@berkeley.edu>
Co-authored-by: Matt Stam <mattstam@live.com>
@ctian1 @jtguibas
@tamirhemo @kevjue @tmoon @matthiasgoergens @erabinov @ratankaliani @mattstam
chore: update groth16 build (succinctlabs#758)
04521dd 
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: Kevin Jue <kjue235@gmail.com>
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: Ratan Kaliani <ratankaliani@berkeley.edu>
Co-authored-by: Matt Stam <mattstam@live.com>
@ctian1 @jtguibas
@tamirhemo @kevjue @tmoon @matthiasgoergens @erabinov @ratankaliani @mattstam
chore: fix (succinctlabs#759)
00e6b50 
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: Kevin Jue <kjue235@gmail.com>
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: Ratan Kaliani <ratankaliani@berkeley.edu>
Co-authored-by: Matt Stam <mattstam@live.com>
@ctian1
fix: solidity verifier
2df83d7
@ctian1
Merge remote-tracking branch 'origin/main' into chris/v1.0.2-testnet
77949c6
@ctian1
chore: release v1.0.2-testnet (succinctlabs#760)
60ce6ad
@matthiasgoergens
Merge remote-tracking branch 'origin/main' into matthias/sync-upstream
0b0851e
@matthiasgoergens matthiasgoergens added this pull request to the merge queue May 20, 2024
Merged via the queue into main with commit 0b49ba2 May 20, 2024
2 of 4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.