Add leading zeroes to hex in some constants.

This commit is contained in:
Sean Bowe 2020-12-11 13:24:32 -07:00
parent 0101014268
commit 1c0daa5478
No known key found for this signature in database
GPG Key ID: 95684257D8F8B031
2 changed files with 5 additions and 5 deletions

View File

@ -179,7 +179,7 @@ const R2: Fp = Fp([
0x8c78ecb30000000f, 0x8c78ecb30000000f,
0xd7d30dbd8b0de0e7, 0xd7d30dbd8b0de0e7,
0x7797a99bc3c95d18, 0x7797a99bc3c95d18,
0x96d41af7b9cb714, 0x096d41af7b9cb714,
]); ]);
/// R^3 = 2^768 mod p /// R^3 = 2^768 mod p
@ -218,7 +218,7 @@ const DELTA: Fp = Fp::from_raw([
0x6a6ccd20dd7b9ba2, 0x6a6ccd20dd7b9ba2,
0xf5e4f3f13eee5636, 0xf5e4f3f13eee5636,
0xbd455b7112a5049d, 0xbd455b7112a5049d,
0xa757d0f0006ab6c, 0x0a757d0f0006ab6c,
]); ]);
impl Default for Fp { impl Default for Fp {

View File

@ -179,7 +179,7 @@ const R2: Fq = Fq([
0xfc9678ff0000000f, 0xfc9678ff0000000f,
0x67bb433d891a16e3, 0x67bb433d891a16e3,
0x7fae231004ccf590, 0x7fae231004ccf590,
0x96d41af7ccfdaa9, 0x096d41af7ccfdaa9,
]); ]);
/// R^3 = 2^768 mod q /// R^3 = 2^768 mod q
@ -187,7 +187,7 @@ const R3: Fq = Fq([
0x008b421c249dae4c, 0x008b421c249dae4c,
0xe13bda50dba41326, 0xe13bda50dba41326,
0x88fececb8e15cb63, 0x88fececb8e15cb63,
0x7dd97a06e6792c8, 0x07dd97a06e6792c8,
]); ]);
/// `GENERATOR = 5 mod q` is a generator of the `q - 1` order multiplicative /// `GENERATOR = 5 mod q` is a generator of the `q - 1` order multiplicative
@ -674,7 +674,7 @@ impl FieldExt for Fq {
0x2aa9d2e050aa0e4f, 0x2aa9d2e050aa0e4f,
0x0fed467d47c033af, 0x0fed467d47c033af,
0x511db4d81cf70f5a, 0x511db4d81cf70f5a,
0x6819a58283e528e, 0x06819a58283e528e,
]); ]);
fn ct_is_zero(&self) -> Choice { fn ct_is_zero(&self) -> Choice {