.

TaceoLabs · Jan 9, 2025 · 1720dc4 · 1720dc4
1 parent 62922d1
commit 1720dc4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/co-noir/co-builder/src/keys/proving_key.rs b/co-noir/co-builder/src/keys/proving_key.rs
@@ -104,7 +104,7 @@ impl<P: Pairing> ProvingKey<P> {
     fn get_crs_size<T: NoirWitnessExtensionProtocol<P::ScalarField>>(
         circuit: &GenericUltraCircuitBuilder<P, T>,
     ) -> usize {
-        const EXTRA_SRS_POINTS_FOR_ECCVM_IPA: usize = 1;
+        const EXTRA_SRS_POINTS_FOR_ECCVM_IPA: usize = 0; // Is 1 in barrettenberg, but we don't need it with UltraHonk
 
         let num_extra_gates =
             UltraCircuitBuilder::<P>::get_num_gates_added_to_ensure_nonzero_polynomials();

diff --git a/co-noir/co-noir/src/lib.rs b/co-noir/co-noir/src/lib.rs
@@ -796,7 +796,7 @@ pub fn convert_witness_to_vec_rep3<F: PrimeField>(
 /// Downloads the CRS with num_points points to the crs_path.
 pub fn download_g1_crs(num_points: usize, crs_path: &PathBuf) -> color_eyre::Result<()> {
     tracing::info!("Downloading CRS with {} points", num_points);
-    let g1_end = (num_points + 1) * 64 - 1;
+    let g1_end = num_points * 64 - 1;
 
     let url = "https://aztec-ignition.s3.amazonaws.com/MAIN%20IGNITION/flat/g1.dat";
     let command = format!("curl -s -H \"Range: bytes=0-{}\" '{}'", g1_end, url);