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

update comment

Browse source
This commit is contained in:
Paul E 2019-10-16 12:16:04 +02:00
parent ab4979f69e
commit 9971fff3e7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -725,7 +725,7 @@ impl<'ast, T: Field> Flattener<'ast, T> {
FlatExpression::Identifier(sub_bits_be[bitwidth - 1])
}
BooleanExpression::BoolEq(box lhs, box rhs) => {
// Wanted: Not((x-y)^2) / (1 - (x-y)^2)
// Wanted: Not((x-y)^2)
let x = self.flatten_boolean_expression(symbols, statements_flattened, lhs);
let y = self.flatten_boolean_expression(symbols, statements_flattened, rhs);