Add check that all generators were run.

This commit is contained in:
wborgeaud 2021-06-14 17:06:53 +02:00
parent ea6a724560
commit 86b4b0ab41

View File

@ -61,6 +61,11 @@ pub(crate) fn generate_partial_witness<F: Field>(
pending_generator_indices = next_pending_generator_indices;
}
assert_eq!(
expired_generator_indices.len(),
generators.len(),
"Some generators weren't run."
);
}
/// A generator participates in the generation of the witness.