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

// This trait resresents prime field

use super::{algebra::Field, basic::Basic, comp::ParityCmp};
use crate::arithmetic::utils::Bits;

use rand_core::RngCore;

/// This is prime field trait
pub trait PrimeField: Field + Basic + ParityCmp + PartialOrd + Ord {
    // prime order of this field
    const MODULUS: Self;

    // mongomery reduction inverse
    const INV: u64;

    fn from_u64(val: u64) -> Self;

    fn to_bits(self) -> Bits;

    fn is_zero(self) -> bool;

    fn random(rand: impl RngCore) -> Self;

    fn double(self) -> Self;

    fn square(self) -> Self;

    fn double_assign(&mut self);

    fn square_assign(&mut self);
}