panic index assertion

succinctlabs · Oct 11, 2024 · 0d0e70d · 0d0e70d
1 parent 6b8e241
commit 0d0e70d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/crates/prover/src/shapes.rs b/crates/prover/src/shapes.rs
@@ -187,13 +187,14 @@ pub fn build_vk_map_to_file<C: SP1ProverComponents>(
 
     tracing::info!("Building vk set");
 
-    let (vk_set, _, _) = build_vk_map::<C>(
+    let (vk_set, panic_ids, _) = build_vk_map::<C>(
         reduce_batch_size,
         dummy,
         num_compiler_workers,
         num_setup_workers,
         range_start.and_then(|start| range_end.map(|end| (start..end).collect())),
     );
+    assert!(panic_ids.is_empty());
 
     let vk_map = vk_set.into_iter().enumerate().map(|(i, vk)| (vk, i)).collect::<BTreeMap<_, _>>();