1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
use crate::{errors::SignedIntegerError, integers::int::*, traits::integers::Neg};
use snarkvm_fields::PrimeField;
use snarkvm_r1cs::ConstraintSystem;
macro_rules! neg_int_impl {
($($gadget: ident)*) => ($(
impl<F: PrimeField> Neg<F> for $gadget {
type ErrorType = SignedIntegerError;
fn neg<CS: ConstraintSystem<F>>(
&self,
cs: CS
) -> Result<Self, Self::ErrorType> {
let value = match self.value {
Some(val) => {
match val.checked_neg() {
Some(val_neg) => Some(val_neg),
None => return Err(SignedIntegerError::Overflow)
}
}
None => None,
};
let bits = self.bits.neg(cs)?;
Ok(Self {
bits,
value,
})
}
}
)*)
}
neg_int_impl!(Int8 Int16 Int32 Int64 Int128);