github/circomspect
1
1
Fork 0
mirror of https://github.com/trailofbits/circomspect.git synced 2026-01-09 13:58:03 -05:00
Code Issues Packages Projects Releases Wiki Activity

reformat code after clippy changes

Browse Source
This commit is contained in:
Will Song
2024-04-04 13:29:58 -04:00
parent e5ec56f6e1
commit a01b1c0189
2 changed files with 2 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
circom_algebra/src/modular_arithmetic.rs
View File

@@ -39,8 +39,7 @@ pub fn sub(left: &BigInt, right: &BigInt, field: &BigInt) -> BigInt {
modulus(&(left - right), field)
}
pub fn div(left: &BigInt, right: &BigInt, field: &BigInt) -> Result<BigInt, ArithmeticError> {
let right_inverse =
right.mod_inverse(field).ok_or(ArithmeticError::DivisionByZero)?;
let right_inverse = right.mod_inverse(field).ok_or(ArithmeticError::DivisionByZero)?;
let res = mul(left, &right_inverse, field);
Ok(res)
}

4
program_structure/src/intermediate_representation/degree_meta.rs
View File

@@ -28,9 +28,7 @@ impl Ord for Degree {
match (self, other) {
// `Constant <= _`
(Constant, Constant) => Ordering::Equal,
(Constant, Linear) | (Constant, Quadratic) | (Constant, NonQuadratic) => {
Ordering::Less
}
(Constant, Linear) | (Constant, Quadratic) | (Constant, NonQuadratic) => Ordering::Less,
// `Linear <= _`
(Linear, Linear) => Ordering::Equal,
(Linear, Quadratic) | (Linear, NonQuadratic) => Ordering::Less,