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.

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

Allow passing prover options (singleThread) #533

Merged
merged 2 commits into from
Oct 16, 2024

Conversation

OBrezhniev
Copy link
Member

Allow passing prover options.
First one is singleThread param for curve threadManager.
Example:

await snarkjs.groth16.prove(zkey_final, wtns, undefined, {singleThread: true});

Alternative to #490 to support bun.

proof = res.proof;
publicSignals = res.publicSignals;
publicSignalsWithAlias = [...res.publicSignals];
publicSignalsWithAlias[1] = BigInt(res.publicSignals[1]) + 21888242871839275222246405745257275088548364400416034343698204186575808495617n;
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

IMHO, It's better to add expect statement

@OBrezhniev OBrezhniev merged commit 9ada8fc into feature/wtns-memSize-option Oct 16, 2024
13 checks passed
@OBrezhniev OBrezhniev deleted the feature/prover-options branch October 16, 2024 15:02
jbaylina pushed a commit that referenced this pull request Oct 18, 2024
* Use circom_runtime which supports memSize option. Passing options in wtns debug too.

* chore: add 'options' parameter to 'groth16FullProve', and pass it through to 'wtns_calculate' (#519)

* chore: add 'options' parameter to 'groth16FullProve', and pass it through to 'wtns_calculate'

* options -> wtnsCalcOptions

* also add wtnsCalcOptions argument to plonk_full_prove and fflonk_full_prove

* Add missing param

* Review fix

* Update with fixes of circom_runtime

* Use released version of circom_runtime and update deps

* Build

* Build

* fix puppeteer (#534)

* Trying to fix puppeteer

* Disable the sandbox to run in GHA

* Allow passing prover options (singleThread) (#533)

* Allow passing prover options. First one is singleThread param for curve threadManager.

* Verify proofs for both multithreaded and singlethreaded generation

---------

Co-authored-by: Ivan Chub <[email protected]>
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