chore: add comment

axiom-crypto · Sep 20, 2023 · 8c310c8 · 8c310c8
1 parent 053807d
commit 8c310c8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/snark-verifier-sdk/src/halo2/aggregation.rs b/snark-verifier-sdk/src/halo2/aggregation.rs
@@ -342,6 +342,9 @@ pub struct SnarkAggregationOutput {
 /// ## Warning
 /// Will fail silently if `snarks` were created using a different multi-open scheme than `AS`
 /// where `AS` can be either [`crate::SHPLONK`] or [`crate::GWC`] (for original PLONK multi-open scheme)
+///
+/// ## Assumptions
+/// - `pool` and `range` reference the same `SharedCopyConstraintManager`.
 pub fn aggregate_snarks<AS>(
     pool: &mut SinglePhaseCoreManager<Fr>,
     range: &RangeChip<Fr>,