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

represent big field elements as negative

Browse source
This commit is contained in:
schaeff 2019-01-29 12:18:02 +01:00
parent bff63a78f6
commit 0001ea6670
1 changed files with 16 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
zokrates_field/src/field.rs
View file

@ -145,7 +145,11 @@ impl Display for FieldPrime {
if self.value <= FieldPrime::max_value().value / 2 {
write!(f, "{}", self.value.to_str_radix(10))
} else {
write!(f, "({})", (&self.value - (FieldPrime::max_value().value + BigInt::one())).to_str_radix(10))
write!(
f,
"({})",
(&self.value - (FieldPrime::max_value().value + BigInt::one())).to_str_radix(10)
)
}
}
}
@ -625,10 +629,18 @@ mod tests {
let minus_one = FieldPrime::from(0) - one;
assert_eq!(String::from("(-1)"), format!("{}", minus_one));
// (p-1)/2 -> positive notation
let p_minus_one_over_two = (FieldPrime::from(0) - FieldPrime::from(1)) / FieldPrime::from(2);
assert_eq!(String::from("10944121435919637611123202872628637544274182200208017171849102093287904247808"), format!("{}", p_minus_one_over_two));
let p_minus_one_over_two =
(FieldPrime::from(0) - FieldPrime::from(1)) / FieldPrime::from(2);
assert_eq!(
String::from(
"10944121435919637611123202872628637544274182200208017171849102093287904247808"
),
format!("{}", p_minus_one_over_two)
);
// (p-1)/2 + 1 -> negative notation (p-1)/2 + 1 - p == (-p+1)/2
let p_minus_one_over_two_plus_one = ((FieldPrime::from(0) - FieldPrime::from(1)) / FieldPrime::from(2)) + FieldPrime::from(1);
let p_minus_one_over_two_plus_one = ((FieldPrime::from(0) - FieldPrime::from(1))
/ FieldPrime::from(2))
+ FieldPrime::from(1);
assert_eq!(String::from("(-10944121435919637611123202872628637544274182200208017171849102093287904247808)"), format!("{}", p_minus_one_over_two_plus_one));
}
}