fp2 0.0.1

An efficient, flexible and constant time Rust implementation of the extension field Fp^2 with modulus x^2 + 1
Documentation 
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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78

#[cfg(feature = "test_macros")]
#[cfg(test)]
mod tests {
    mod fp139_tests {
        // Fp139: a finite field element GF(p) with p = 3 mod 4.
        // Contents are opaque, all functions are constant-time.
        // Macro input generated with scripts/gen_fp.sage
        // p = 2^74 * 3^41 - 1
        fp2_rs::define_fp_core!(
            typename = Fp139,
            modulus = [
                0xFFFFFFFFFFFFFFFF_u64,
                0xA873D9ED7EE18BFF_u64,
                0x00000000000007E8_u64
            ],
        );

        // Fp139Ext: a finite field element GF(p^2) with modulus x^2 + 1.
        // Contents are opaque, all functions are constant-time.
        // Macro input generated with scripts/gen_fp.sage
        fp2_rs::define_fp2_core!(typename = Fp139Ext, base_field = Fp139,);

        fp2_rs::define_fp_tests!(Fp139);
        fp2_rs::define_fp2_tests!(Fp139, Fp139Ext, 10);
    }

    mod fp251_tests {
        // Fp251: a finite field element GF(p) with p = 3 mod 4.
        // Contents are opaque, all functions are constant-time.
        // Macro input generated with scripts/gen_fp.sage
        // p = 5*2^248 - 1
        fp2_rs::define_fp_core!(
            typename = Fp251,
            modulus = [
                0xFFFFFFFFFFFFFFFFu64,
                0xFFFFFFFFFFFFFFFFu64,
                0xFFFFFFFFFFFFFFFFu64,
                0x04FFFFFFFFFFFFFFu64
            ],
        );

        // Fp251Ext: a finite field element GF(p^2) with modulus x^2 + 1.
        // Contents are opaque, all functions are constant-time.
        // Macro input generated with scripts/gen_fp.sage
        fp2_rs::define_fp2_core!(typename = Fp251Ext, base_field = Fp251,);

        fp2_rs::define_fp_tests!(Fp251);
        fp2_rs::define_fp2_tests!(Fp251, Fp251Ext, 5);
    }

    mod fp383_tests {
        // Fp383: a finite field element GF(p) with p = 3 mod 4.
        // Contents are opaque, all functions are constant-time.
        // Macro input generated with scripts/gen_fp.sage
        // p = 65 * 2**376 - 1
        fp2_rs::define_fp_core!(
            typename = Fp383,
            modulus = [
                0xFFFFFFFFFFFFFFFFu64,
                0xFFFFFFFFFFFFFFFFu64,
                0xFFFFFFFFFFFFFFFFu64,
                0xFFFFFFFFFFFFFFFFu64,
                0xFFFFFFFFFFFFFFFFu64,
                0x40FFFFFFFFFFFFFFu64
            ],
        );

        // Fp383Ext: a finite field element GF(p^2) with modulus x^2 + 1.
        // Contents are opaque, all functions are constant-time.
        // Macro input generated with scripts/gen_fp.sage
        fp2_rs::define_fp2_core!(typename = Fp383Ext, base_field = Fp383,);

        // For define_fp2_tests we must include a u64 nqr_re such that
        // nqr_re + i is a non-quadratic residue in Fp2
        fp2_rs::define_fp_tests!(Fp383);
        fp2_rs::define_fp2_tests!(Fp383, Fp383Ext, 6);
    }
}