Skip to content

ParaNova: Add a test of node merging speed for parallel IVC#9

Open
aleph-v wants to merge 35 commits intomainfrom
violet/bench/par_merge
Open

ParaNova: Add a test of node merging speed for parallel IVC#9
aleph-v wants to merge 35 commits intomainfrom
violet/bench/par_merge

Conversation

@aleph-v
Copy link
Collaborator

@aleph-v aleph-v commented Apr 4, 2023

No description provided.

Violet Vienhage and others added 30 commits March 24, 2023 16:31
…/r1cs_folding_generalization

R1CS folding verification
…/construct_parallel_tree

Add parallel prover with tree construction
…/r1cs_folding_generalization

Finish the prover merge code
Co-authored-by: aleph_v <20227705+aleph-v@users.noreply.github.com>
…e_space_of_witness

Fix namespace of the witness
@aleph-v aleph-v marked this pull request as ready for review April 4, 2023 11:03
criterion_main!(parallel_merge_node);

fn bench_parallel_merge_node(c: &mut Criterion) {
let num_cons_verifier_circuit_primary = 9819;
Copy link
Collaborator

Choose a reason for hiding this comment

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

10000

let num_cons_verifier_circuit_primary = 9819;
// we vary the number of constraints in the step circuit
for &num_cons_in_augmented_circuit in
[9819, 16384, 32768, 65536, 131072, 262144, 524288, 1048576].iter()
Copy link
Collaborator

Choose a reason for hiding this comment

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

10000, 20000, 110000, ...

@oskarth oskarth changed the title Adds a test of the node merging speed for parralel ivc ParaNova: Add a test of node merging speed for parallel IVC Aug 21, 2023
hero78119 pushed a commit to hero78119/SuperNova that referenced this pull request Jan 3, 2024
* feat: add secp/secq cycle (microsoft#199)

* feat: add secp/secq

* chore: add tests for poseidon and spartan

* rename to secp_secq

* chore: add secp_secq tests

* chore: link to halo2curves git fork

* fix: cpu_best_multiexp from mod.rs, shake.input() to update(), pasta to_coordinates(), shake.xof_result() to finalize_xof()

* chore: remove extra spaces

* chore: use grumpkin implementation of to_coordinates()

* chore: merge upstream, fix conflicts

* chore: be consistent with bn256_grumpkin.rs + rust fmt

* Refine comments and minor adjustments (microsoft#220)

* Refine comments

* Eliminate redundant computation

* 3bc248d
Revert "Refine comments"

This reverts commit 3bc248d.

* Revert "Eliminate redundant computation"

This reverts commit b8e4208.

* Fix comments typos

* Eliminate redundant computation

* chore: fix redundant clone

---------

Co-authored-by: Pierre <pdaixmoreux@gmail.com>
Co-authored-by: JunheeLee <101318348+Jun-Hee-Lee@users.noreply.github.com>
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.

4 participants