Skip to content
This repository was archived by the owner on Apr 18, 2025. It is now read-only.

Commit 71a30dd

Browse files
committed
use iterator
1 parent 25eb964 commit 71a30dd

File tree

1 file changed

+3
-8
lines changed

1 file changed

+3
-8
lines changed

aggregator/src/aggregation/util.rs

Lines changed: 3 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -68,14 +68,9 @@ pub fn constrain_crt_equals_bytes(
6868
rlc_config_offset,
6969
)?;
7070

71-
for (limb_from_bytes, crt_limb) in [limb_from_bytes_lo, limb_from_bytes_mid, limb_from_bytes_hi]
71+
[limb_from_bytes_lo, limb_from_bytes_mid, limb_from_bytes_hi]
7272
.iter()
7373
.zip_eq(crt.limbs())
74-
{
75-
region.constrain_equal(limb_from_bytes.cell(), crt_limb.cell())?
76-
}
77-
78-
Ok(())
79-
80-
// This can just be a collect....
74+
.map(|(a, b)| region.constrain_equal(a.cell(), b.cell()))
75+
.collect()
8176
}

0 commit comments

Comments
 (0)