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

feat: recursion optimizations #1781

Open
wants to merge 55 commits into
base: dev
Choose a base branch
from
Open

feat: recursion optimizations #1781

wants to merge 55 commits into from

Conversation

jtguibas
Copy link
Contributor

No description provided.

tamirhemo and others added 26 commits September 5, 2024 14:44
@tamirhemo
Merge pull request #8 from succinctlabs/tamir/merge-upstream
2b6bd90 
chore: merge upstream
@tamirhemo
Merge remote-tracking branch 'upstream/dev' into dev
f17c080
@tqn
Merge remote-tracking branch 'upstream/dev' into tqn/merge-upstream
4b7b72e
@tqn
Merge pull request #15 from succinctlabs/tqn/merge-upstream
7ec9cd6 
chore: merge upstream
@kevjue
Merge remote-tracking branch 'origin/dev' into kevjue/merge_upstream
35c1ee4
@kevjue
Merge pull request #18 from succinctlabs/kevjue/merge_upstream
1728714 
chore: merge upstream
@tqn
Merge remote-tracking branch 'upstream/dev' into tqn/merge-upstream
35b8d99
@tqn
Merge pull request #30 from succinctlabs/tqn/merge-upstream
544d59b 
chore: merge upstream
@tamirhemo
Merge remote-tracking branch 'upstream/dev' into tamir/dev-10-18
369e1c0
@tamirhemo
Merge pull request #34 from succinctlabs/tamir/dev-10-18
e0a7dec 
chore: upstream
@tamirhemo
Merge remote-tracking branch 'upstream/dev' into tamir/update-10-22
05fc72f
@tamirhemo
Merge pull request #36 from succinctlabs/tamir/update-10-22
a8af928 
chore: bump `dev`
@jtguibas
Merge remote-tracking branch 'upstream/dev' into dev
f41d750
@jtguibas
Merge remote-tracking branch 'upstream/dev' into dev
4870b74
@erabinov
Merge remote-tracking branch 'upstream/dev' into erabinov/merge-upstream
e6e8bce
@erabinov
Merge pull request #54 from succinctlabs/erabinov/merge-upstream
474bbe2 
chore: merge upstream
@tamirhemo
Merge remote-tracking branch 'upstream/dev' into tamir/update-nov-5
41f7fe1
@tamirhemo
Merge pull request #58 from succinctlabs/tamir/update-nov-5
5253c03 
chore: update
@tamirhemo
Merge remote-tracking branch 'upstream/dev' into dev
8a696d2
@tamirhemo
Merge remote-tracking branch 'upstream/dev' into dev
6af5b1d
@erabinov
perf: remove proving single proofs (#60)
31147b4 
* working with the 'pass-through' method

* cleanup

* making clippy happy
@tamirhemo
Merge remote-tracking branch 'upstream/dev' into tamir/update
fbceea5
@tamirhemo
Merge remote-tracking branch 'upstream/dev' into dev
d8ca89c
@tamirhemo
perf: drop record in different task (#65)
c9662c4 
* drop record span

* drop in thread
@tamirhemo @github-actions
feat: execute mode on perf (#62)
2614e21 
* add execute mode

* Update crates/perf/src/main.rs

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

---------

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@erabinov
perf: two shapes + shape script (#63)
adcda87 
* working

* wip

* wip

* wip

* semi-working shrink

* working shrink

* added precompile computaitons

* slightly better tuned shapes

* clippy

* working to do no precompile shapes too

* docker

* switched order of shapes

* comments

* cached programs

* remove singleton proofs from cache

* comment out building the chips

* pre-dev-merge

* refactored max core plus precompile

* near final draft

* almost there

* ready for review
@github-actions GitHub Actions
Copy link

github-actions bot commented Nov 11, 2024 •
edited
Loading

SP1 Performance Test Results

Branch: john/latest-wip-changes
Commit: c47e05d
Author: jtguibas

program cycles execute (mHz) core (kHZ) compress (KHz) time success
fibonacci 11291 0.17 2.92 0.71 16s ✅
ssz-withdrawals 2757356 17.42 127.81 58.95 47s ✅
tendermint 12593597 6.70 269.97 142.88 1m30s ✅

@jtguibas jtguibas changed the title feat: v4 rc1 feat: recursion optimizations Nov 11, 2024
@nhtyy nhtyy added the maybe-stale A pr or issue that hasnt seen alot of activity recently label Dec 4, 2024
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
maybe-stale A pr or issue that hasnt seen alot of activity recently
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
6 participants
@jtguibas @nhtyy @tamirhemo @tqn @kevjue @erabinov