Skip to content

feat: extension bindings and guest library refactor #1637

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.

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

Draft
wants to merge 3 commits into
base: release-v1.2.1-rc.0
Choose a base branch
from

Conversation

jonathanpwang
Copy link
Contributor

@jonathanpwang jonathanpwang commented May 8, 2025

Should be rebased merged

Avaneesh-axiom and others added 2 commits May 8, 2025 02:46
Added a build script that automatically adds calls to `moduli_init,
complex_init, sw_init` appropriately by reading the vm config.
…1603)

We no longer need to manually call `setup_*` at the start of main for
the moduli and curves. Instead, setup is automatically done on first use
of each modulus or curve.

Depends on #1596

---------

Co-authored-by: Jonathan Wang <[email protected]>
@jonathanpwang jonathanpwang force-pushed the feat/binding-primitive-libs branch from 2a47052 to c9c0989 Compare May 8, 2025 06:46

This comment has been minimized.

@jonathanpwang jonathanpwang changed the base branch from main to release-v1.2.1-rc.0 May 8, 2025 16:13
delete getrandom dependency from platform since getrandom now makes
enabling of the custom backend opt-in via extern function and --cfg flag

closes INT-3934
Copy link

github-actions bot commented May 9, 2025

group app.proof_time_ms app.cycles app.cells_used leaf.proof_time_ms leaf.cycles leaf.cells_used
verify_fibair (-3 [-0.2%]) 1,203 334,014 17,675,762 - - -
fibonacci (+35 [+1.4%]) 2,504 1,500,277 50,589,503 - - -
regex (+43 [+0.6%]) 7,523 4,165,226 166,511,152 - - -
ecrecover (-4 [-0.3%]) 1,382 (+20412 [+7.1%]) 309,859 (+672913 [+4.7%]) 15,143,099 - - -
pairing 4,568 (+36796 [+2.0%]) 1,857,232 (+1223114 [+1.3%]) 97,055,521 - - -

Commit: 7c8bfb7

Benchmark Workflow

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants