Add Nova Public Parameter benchmark for SDK (#267)

Summary:

Test Plan:

Co-authored-by: duc-nx <>

.github/workflows/ci.yml

@@ -90,3 +90,13 @@ jobs:
         run: |
             cargo bench --bench riscv_machine
 
+  bench-nova-public-params:
+    runs-on: ubuntu-latest
+    if: contains(github.event.pull_request.labels.*.name, 'benchmark')
+    steps:
+      - uses: actions/checkout@v4
+      - name: Run benchmarks
+        run: |
+            cd nova-benches/
+            cargo bench --bench nova_public_parameter_generation
+

nova-benches/Cargo.toml

@@ -27,6 +27,10 @@ parallel = ["nexus-nova/parallel"]
 name = "nova"
 harness = false
 
+[[bench]]
+name = "nova_public_parameter_generation"
+harness = false
+
 [[bench]]
 name = "hypernova"
 harness = false

nova-benches/benches/nova_public_parameter_generation.rs

@@ -0,0 +1,36 @@
+use ark_crypto_primitives::sponge::poseidon::PoseidonSponge;
+use ark_pallas::{Fr as CF, PallasConfig as G1};
+use ark_vesta::VestaConfig as G2;
+use criterion::{criterion_group, criterion_main, Criterion};
+use nexus_nova::{nova::sequential::PublicParams, pedersen::PedersenCommitment, poseidon_config};
+
+mod shared;
+use shared::NonTrivialTestCircuit;
+
+type C1 = PedersenCommitment<ark_pallas::Projective>;
+type C2 = PedersenCommitment<ark_vesta::Projective>;
+
+fn nova_public_parameter_generation() {
+    let step_circuit = NonTrivialTestCircuit::new(0);
+    PublicParams::<G1, G2, C1, C2, PoseidonSponge<CF>, NonTrivialTestCircuit<CF>>::setup(
+        poseidon_config(),
+        &step_circuit,
+        &(),
+        &(),
+    )
+    .unwrap();
+}
+
+fn bench_nova_public_parameter(c: &mut Criterion) {
+    c.bench_function("nova_public_parameter", |b| {
+        b.iter(nova_public_parameter_generation)
+    });
+}
+
+criterion_group! {
+    name = benches;
+    config = Criterion::default().significance_level(0.1).sample_size(10);
+    targets = bench_nova_public_parameter
+}
+
+criterion_main!(benches);

nova-benches/benches/shared/mod.rs

@@ -4,6 +4,7 @@ use ark_relations::r1cs::{ConstraintSystemRef, SynthesisError};
 use nexus_nova::StepCircuit;
 use std::marker::PhantomData;
 
+#[allow(dead_code)]
 pub const NUM_WARMUP_STEPS: usize = 10;
 
 pub struct NonTrivialTestCircuit<F> {