provekit_noirc_driver 1.0.0-beta.20-alpha.1

Noir compiler driver.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

comptime global BN254_MODULUS_BE_BYTES: [u8] = [
    48, 100, 78, 114, 225, 49, 160, 41, 184, 80, 69, 182, 129, 129, 88, 93, 40, 51, 232, 72, 121,
    185, 112, 145, 67, 225, 245, 147, 240, 0, 0, 1,
]
    .as_vector();

/// True if the current field is bn254
pub fn is_bn254() -> bool {
    comptime {
        // We can't use the `Eq` trait here due to limitations on calling non-comptime functions
        // defined within the same crate.
        let mut eq = true;

        let modulus_be_bytes = crate::field::modulus_be_bytes();
        // We can't do `BN254_MODULUS_BE_BYTES.len()` due to limitations on calling non-comptime functions.
        assert_eq(crate::field::modulus_num_bits(), 254);
        for i in 0..32 {
            eq &= modulus_be_bytes[i] == BN254_MODULUS_BE_BYTES[i];
        }

        eq
    }
}