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

Commits on Apr 30, 2024

  1. add Runtime::dry_run

    @lispc
    lispc committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    baec5a6 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2024

  1. chore(recursion): poseidon2 loose ends (succinctlabs#672)

    @kevjue
    kevjue authored May 9, 2024
    Configuration menu
    Copy the full SHA
    e699a98 View commit details
    Browse the repository at this point in the history

  2. fix: proof aggregation issue (succinctlabs#683)

    @jtguibas
    jtguibas authored May 9, 2024
    Configuration menu
    Copy the full SHA
    4b66365 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2024

  1. feat: program refactor (succinctlabs#651) 

    Co-authored-by: Ubuntu <ubuntu@ip-172-31-74-90.ec2.internal>
Co-authored-by: Kevin Jue <kjue235@gmail.com>
    @tamirhemo @kevjue
    3 people authored May 10, 2024
    Configuration menu
    Copy the full SHA
    ffccd03 View commit details
    Browse the repository at this point in the history

  2. fix(recursion): enable mul constraint (succinctlabs#686)

    @kevjue
    kevjue authored May 10, 2024
    Configuration menu
    Copy the full SHA
    ef59fa2 View commit details
    Browse the repository at this point in the history

  3. feat: ci refactor (succinctlabs#684)

    @jtguibas
    jtguibas authored May 10, 2024
    Configuration menu
    Copy the full SHA
    58b0f33 View commit details
    Browse the repository at this point in the history

  4. chore: fix compile bug in example (succinctlabs#682) 

    Co-authored-by: John Guibas <jtguibas@gmail.com>
    @tmoon @jtguibas
    tmoon and jtguibas authored May 10, 2024
    Configuration menu
    Copy the full SHA
    75a7502 View commit details
    Browse the repository at this point in the history

  5. ci: set up dependabot (succinctlabs#678)

    @matthiasgoergens
    matthiasgoergens authored May 10, 2024
    Configuration menu
    Copy the full SHA
    e331f49 View commit details
    Browse the repository at this point in the history

  6. fix: multiply logged permutation column counts by extension field deg… 

    …ree. (succinctlabs#668)
    @erabinov
    erabinov authored May 10, 2024
    Configuration menu
    Copy the full SHA
    072b989 View commit details
    Browse the repository at this point in the history

  7. feat: add dev to pr ci (succinctlabs#690)

    @jtguibas
    jtguibas authored May 10, 2024
    Configuration menu
    Copy the full SHA
    c333c56 View commit details
    Browse the repository at this point in the history

  8. chore: update all dependencies (succinctlabs#689) 

    Co-authored-by: Matthias Goergens <matthias.goergens@gmail.com>
    @jtguibas @matthiasgoergens
    jtguibas and matthiasgoergens authored May 10, 2024
    Configuration menu
    Copy the full SHA
    32dd196 View commit details
    Browse the repository at this point in the history

  9. feat: enable merge groups for all prs (succinctlabs#691) 

    Co-authored-by: Matthias Goergens <matthias.goergens@gmail.com>
    @jtguibas @matthiasgoergens
    jtguibas and matthiasgoergens authored May 10, 2024
    Configuration menu
    Copy the full SHA
    3b4d950 View commit details
    Browse the repository at this point in the history

  10. feat: add sp1-sdk tests with SP1_DEV=0 for release ci (succinctlabs#694)

    @jtguibas
    jtguibas authored May 10, 2024
    Configuration menu
    Copy the full SHA
    1c85390 View commit details
    Browse the repository at this point in the history

  11. chore: disable nightly release (succinctlabs#696)

    @jtguibas
    jtguibas authored May 10, 2024
    Configuration menu
    Copy the full SHA
    ecf9f8a View commit details
    Browse the repository at this point in the history

  12. Merge remote-tracking branch 'origin/main' into dev

    @lispc
    lispc committed May 10, 2024
    Configuration menu
    Copy the full SHA
    e5413bd View commit details
    Browse the repository at this point in the history

  13. merge with upstream

    @lispc
    lispc committed May 10, 2024
    Configuration menu
    Copy the full SHA
    387ae09 View commit details
    Browse the repository at this point in the history

  14. feat: add cli to CI (succinctlabs#695)

    @jtguibas
    jtguibas authored May 10, 2024
    Configuration menu
    Copy the full SHA
    b2b4873 View commit details
    Browse the repository at this point in the history

  15. feat: update docs + add some tests around solidity contract export (s… 

    …uccinctlabs#693)

Co-authored-by: Kevin Jue <kjue235@gmail.com>
    @jtguibas @kevjue
    jtguibas and kevjue authored May 10, 2024
    Configuration menu
    Copy the full SHA
    1eee43b View commit details
    Browse the repository at this point in the history

  16. chore: v1.0.1-testnet (succinctlabs#692) 

    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 @tamirhemo
    @kevjue @tmoon @matthiasgoergens @erabinov
    7 people authored May 10, 2024
    Configuration menu
    Copy the full SHA
    c08c64b View commit details
    Browse the repository at this point in the history

  17. revert: "chore: v1.0.1-testnet" (succinctlabs#701)

    @jtguibas
    jtguibas authored May 10, 2024
    Configuration menu
    Copy the full SHA
    1db2197 View commit details
    Browse the repository at this point in the history

  18. fix: dependabot base branch (succinctlabs#702)

    @jtguibas
    jtguibas authored May 10, 2024
    Configuration menu
    Copy the full SHA
    9680866 View commit details
    Browse the repository at this point in the history

  19. feat: activate cycle-tracker with RUST_LOG=info (succinctlabs#707)

    @ratankaliani
    ratankaliani authored May 10, 2024
    Configuration menu
    Copy the full SHA
    de9a463 View commit details
    Browse the repository at this point in the history

  20. fix: fixed merge conflict in pr.yml (succinctlabs#709)

    @kevjue
    kevjue authored May 10, 2024
    Configuration menu
    Copy the full SHA
    a2420d1 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2024

  1. feat(recursion): HALT instruction (succinctlabs#703)

    @kevjue
    kevjue authored May 11, 2024
    Configuration menu
    Copy the full SHA
    96d4f2b View commit details
    Browse the repository at this point in the history

  2. feat: add main groth16 ci (succinctlabs#704)

    @jtguibas
    jtguibas authored May 11, 2024
    Configuration menu
    Copy the full SHA
    a2fef98 View commit details
    Browse the repository at this point in the history

  3. feat: update groth16 artifacts (succinctlabs#711)

    @jtguibas
    jtguibas authored May 11, 2024
    Configuration menu
    Copy the full SHA
    0b23a36 View commit details
    Browse the repository at this point in the history

  4. feat: add 80gb to hdd groth16 ci (succinctlabs#713)

    @jtguibas
    jtguibas authored May 11, 2024
    Configuration menu
    Copy the full SHA
    d5bf39e View commit details
    Browse the repository at this point in the history

  5. fix: dont run push ci (succinctlabs#714)

    @jtguibas
    jtguibas authored May 11, 2024
    Configuration menu
    Copy the full SHA
    dd58245 View commit details
    Browse the repository at this point in the history

  6. feat: v1.0.1-testnet (succinctlabs#712)

    @jtguibas
    jtguibas authored May 11, 2024
    Configuration menu
    Copy the full SHA
    2f57e1e View commit details
    Browse the repository at this point in the history

  7. chore(deps): bump dirs from 4.0.0 to 5.0.1 

    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>
    @dependabot
    dependabot[bot] authored May 11, 2024
    Configuration menu
    Copy the full SHA
    2bf7fcd View commit details
    Browse the repository at this point in the history

  8. chore(deps): bump axum from 0.7.4 to 0.7.5 

    Bumps [axum](https://github.com/tokio-rs/axum) from 0.7.4 to 0.7.5.
- [Release notes](https://github.com/tokio-rs/axum/releases)
- [Changelog](https://github.com/tokio-rs/axum/blob/main/CHANGELOG.md)
- [Commits](tokio-rs/axum@axum-v0.7.4...axum-v0.7.5)

---
updated-dependencies:
- dependency-name: axum
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
    @dependabot
    dependabot[bot] authored May 11, 2024
    Configuration menu
    Copy the full SHA
    5952c23 View commit details
    Browse the repository at this point in the history

  9. chore(deps): bump axum from 0.7.4 to 0.7.5 (succinctlabs#718)

    @jtguibas
    jtguibas authored May 11, 2024
    Configuration menu
    Copy the full SHA
    7b71c39 View commit details
    Browse the repository at this point in the history

  10. chore(deps): bump dirs from 4.0.0 to 5.0.1 (succinctlabs#717)

    @jtguibas
    jtguibas authored May 11, 2024
    Configuration menu
    Copy the full SHA
    a23ba99 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2024

  1. perf: get_cycles don't need emit events (succinctlabs#697)

    @jtguibas
    jtguibas authored May 13, 2024
    Configuration menu
    Copy the full SHA
    6815064 View commit details
    Browse the repository at this point in the history

  2. fix: release flow doesn't run on main (succinctlabs#721)

    @jtguibas
    jtguibas authored May 13, 2024
    Configuration menu
    Copy the full SHA
    d6d69a1 View commit details
    Browse the repository at this point in the history

  3. fix: verify_compressed

    @ctian1
    ctian1 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    d5246ea View commit details
    Browse the repository at this point in the history

  4. test verify_compressed in CI

    @ctian1
    ctian1 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    970b640 View commit details
    Browse the repository at this point in the history

  5. fix

    @ctian1
    ctian1 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    dca3695 View commit details
    Browse the repository at this point in the history

  6. fix

    @ctian1
    ctian1 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    af2142e View commit details
    Browse the repository at this point in the history

  7. fix

    @ctian1
    ctian1 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    25fd5fc View commit details
    Browse the repository at this point in the history

  8. fix: verify_compressed (succinctlabs#725)

    @jtguibas
    jtguibas authored May 13, 2024
    Configuration menu
    Copy the full SHA
    f50fb1c View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. chore: update dev with latest main (succinctlabs#728) 

    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 @tamirhemo
    @kevjue @tmoon @matthiasgoergens @erabinov @ctian1
    8 people authored May 14, 2024
    Configuration menu
    Copy the full SHA
    ccb7f2a View commit details
    Browse the repository at this point in the history

  2. feat: fix execution + proving errors (succinctlabs#715)

    @jtguibas
    jtguibas authored May 14, 2024
    Configuration menu
    Copy the full SHA
    518bea3 View commit details
    Browse the repository at this point in the history

  3. feat: auto rebuild dev artifacts in sdk (succinctlabs#726) 

    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 @tamirhemo
    @kevjue @tmoon @matthiasgoergens @erabinov @ctian1
    8 people authored May 14, 2024
    Configuration menu
    Copy the full SHA
    933df11 View commit details
    Browse the repository at this point in the history

  4. feat: reduce network prover (succinctlabs#687)

    @ctian1
    ctian1 authored May 14, 2024
    Configuration menu
    Copy the full SHA
    e2decbf View commit details
    Browse the repository at this point in the history

  5. feat: add hash_public_values (succinctlabs#730)

    @ratankaliani
    ratankaliani authored May 14, 2024
    Configuration menu
    Copy the full SHA
    a7d94c2 View commit details
    Browse the repository at this point in the history

  6. feat: add proof verification (succinctlabs#729)

    @ratankaliani
    ratankaliani authored May 14, 2024
    Configuration menu
    Copy the full SHA
    dde0da1 View commit details
    Browse the repository at this point in the history

  7. fix: groth16 install when in existing runtime (succinctlabs#735)

    @ctian1
    ctian1 authored May 14, 2024
    Configuration menu
    Copy the full SHA
    4f8f915 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2024

  1. fix(recursion): poseidon2 external flag (succinctlabs#747)

    @kevjue
    kevjue authored May 15, 2024
    Configuration menu
    Copy the full SHA
    00255c1 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

  1. fix: unnecessary pc constraint (succinctlabs#749)

    @ctian1
    ctian1 authored May 16, 2024
    Configuration menu
    Copy the full SHA
    734d821 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. fix(ci): downgrade getrandom (succinctlabs#751)

    @ratankaliani
    ratankaliani authored May 17, 2024
    Configuration menu
    Copy the full SHA
    1349e56 View commit details
    Browse the repository at this point in the history

  2. fix: getrandom version (succinctlabs#753)

    @ratankaliani
    ratankaliani authored May 17, 2024
    Configuration menu
    Copy the full SHA
    9d41254 View commit details
    Browse the repository at this point in the history

  3. fix: assets branch (succinctlabs#752)

    @ratankaliani
    ratankaliani authored May 17, 2024
    Configuration menu
    Copy the full SHA
    7c19f66 View commit details
    Browse the repository at this point in the history

  4. feat: Implement verify_groth16 & prove_groth16 on MockProver (s… 

    …uccinctlabs#745)
    @ratankaliani
    ratankaliani authored May 17, 2024
    Configuration menu
    Copy the full SHA
    cfb648d View commit details
    Browse the repository at this point in the history

Commits on May 18, 2024

  1. feat(recursion): public values constraints (succinctlabs#748) 

    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>
    @kevjue @jtguibas
    @tamirhemo @tmoon @matthiasgoergens @erabinov @ctian1
    8 people authored May 18, 2024
    Configuration menu
    Copy the full SHA
    0bd407e View commit details
    Browse the repository at this point in the history

  2. refactor: use actual ffi for gnark (succinctlabs#738)

    @ctian1
    ctian1 authored May 18, 2024
    Configuration menu
    Copy the full SHA
    f9c7801 View commit details
    Browse the repository at this point in the history

Commits on May 19, 2024

  1. fix: SHA_COMPRESS syscall added to syscall map twice (succinctlabs#740)

    @Sofianel5
    Sofianel5 authored May 19, 2024
    Configuration menu
    Copy the full SHA
    7efc704 View commit details
    Browse the repository at this point in the history

  2. fix: fibonacci default-run bin (succinctlabs#756)

    @mattstam
    mattstam authored May 19, 2024
    Configuration menu
    Copy the full SHA
    4897b0d View commit details
    Browse the repository at this point in the history

  3. refactor(prover): expose functions for getting core/deferred inputs (s… 

    …uccinctlabs#755)
    @ctian1
    ctian1 authored May 19, 2024
    Configuration menu
    Copy the full SHA
    57f6cde View commit details
    Browse the repository at this point in the history

  4. chore: merge main into dev (succinctlabs#757) 

    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
    10 people authored May 19, 2024
    Configuration menu
    Copy the full SHA
    9f43e92 View commit details
    Browse the repository at this point in the history

  5. chore: update groth16 build (succinctlabs#758) 

    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
    10 people authored May 19, 2024
    Configuration menu
    Copy the full SHA
    04521dd View commit details
    Browse the repository at this point in the history

  6. chore: fix (succinctlabs#759) 

    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
    10 people authored May 19, 2024
    Configuration menu
    Copy the full SHA
    00e6b50 View commit details
    Browse the repository at this point in the history

  7. fix: solidity verifier

    @ctian1
    ctian1 committed May 19, 2024
    Configuration menu
    Copy the full SHA
    2df83d7 View commit details
    Browse the repository at this point in the history

  8. Merge remote-tracking branch 'origin/main' into chris/v1.0.2-testnet

    @ctian1
    ctian1 committed May 19, 2024
    Configuration menu
    Copy the full SHA
    77949c6 View commit details
    Browse the repository at this point in the history

  9. chore: release v1.0.2-testnet (succinctlabs#760)

    @ctian1
    ctian1 authored May 19, 2024
    Configuration menu
    Copy the full SHA
    60ce6ad View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. Merge remote-tracking branch 'origin/main' into matthias/sync-upstream

    @matthiasgoergens
    matthiasgoergens committed May 20, 2024
    Configuration menu
    Copy the full SHA
    0b0851e View commit details
    Browse the repository at this point in the history