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

clean

Browse source
This commit is contained in:
schaeff 2021-12-07 12:14:23 +01:00
parent eef0cd95ae
commit 4c8ff7d0f6
2 changed files with 5 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
zokrates_field/src/bn128.rs
View file

@ -33,22 +33,6 @@ mod tests {
);
}
// #[test]
// fn positive_number() {
// assert_eq!(
// "1234245612".parse::<BigInt>().unwrap(),
// FieldPrime::from("1234245612").value
// );
// }
// #[test]
// fn negative_number() {
// assert_eq!(
// P.checked_sub(&"12".parse::<BigInt>().unwrap()).unwrap(),
// FieldPrime::from("-12").value
// );
// }
#[test]
fn addition() {
assert_eq!(

13
zokrates_field/src/lib.rs
View file

@ -214,17 +214,14 @@ mod prime_field {
}
fn min_value() -> FieldPrime {
FieldPrime { v: Fr::from(0u32) }
FieldPrime { v: Fr::zero() }
}
fn max_value() -> FieldPrime {
FieldPrime {
v: Fr::from(0u32) - Fr::from(1u32),
}
FieldPrime { v: -Fr::one() }
}
fn max_unique_value() -> FieldPrime {
FieldPrime {
v: Fr::from(2u32).pow([Self::get_required_bits() as u64 - 1])
- Fr::from(1u32),
v: Fr::from(2u32).pow([Self::get_required_bits() as u64 - 1]) - Fr::one(),
}
}
fn get_required_bits() -> usize {
@ -272,7 +269,7 @@ mod prime_field {
impl Default for FieldPrime {
fn default() -> Self {
FieldPrime { v: Fr::from(0u32) }
FieldPrime { v: Fr::zero() }
}
}
@ -292,7 +289,7 @@ mod prime_field {
fn from(num: i32) -> Self {
if num < 0 {
FieldPrime {
v: Fr::zero() - Fr::from((-num) as u32),
v: -Fr::from((-num) as u32),
}
} else {
FieldPrime {