github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

still get bits but use original field for field value

Browse source
This commit is contained in:
schaeff 2020-11-24 19:02:18 +00:00
parent 1810878e73
commit 59686f3c04
1 changed files with 13 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
zokrates_core/src/flatten/mod.rs
View file

@ -1603,15 +1603,15 @@ impl<'ast, T: Field> Flattener<'ast, T> {
let res = match should_reduce {
true => {
if actual_bitwidth != target_bitwidth.to_usize() {
let bits = self.get_bits(
res.clone(),
actual_bitwidth,
target_bitwidth,
statements_flattened,
);
let bits = self.get_bits(
res.clone(),
actual_bitwidth,
target_bitwidth,
statements_flattened,
);
let field = bits.iter().enumerate().fold(
let field = if actual_bitwidth > target_bitwidth.to_usize() {
bits.iter().enumerate().fold(
FlatExpression::Number(T::from(0)),
|acc, (index, bit)| {
FlatExpression::Add(
@ -1624,12 +1624,12 @@ impl<'ast, T: Field> Flattener<'ast, T> {
),
)
},
);
FlatUExpression::with_bits(bits).field(field)
)
} else {
res
}
res.get_field_unchecked()
};
FlatUExpression::with_bits(bits).field(field)
}
false => res,
};