Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
stark252.hpp
Go to the documentation of this file.
1#ifdef STARKNET_GARAGA_FLAVORS
2#pragma once
3
4#include "barretenberg/ecc/fields/field.hpp"
5
6namespace bb::starknet::stark252 {
7
8struct FqParams {
9 static constexpr uint64_t modulus_0 = 0x0000000000000001ULL;
10 static constexpr uint64_t modulus_1 = 0x0000000000000000ULL;
11 static constexpr uint64_t modulus_2 = 0x0000000000000000ULL;
12 static constexpr uint64_t modulus_3 = 0x0800000000000011ULL;
13
14 static constexpr uint64_t r_squared_0 = 0xfffffd737e000401ULL;
15 static constexpr uint64_t r_squared_1 = 0x00000001330fffffULL;
16 static constexpr uint64_t r_squared_2 = 0xffffffffff6f8000ULL;
17 static constexpr uint64_t r_squared_3 = 0x07ffd4ab5e008810ULL;
18
19 static constexpr uint64_t r_inv = 0xffffffffffffffffULL;
20
21 static constexpr uint64_t r_inv_0 = 0x0000000000000001ULL;
22 static constexpr uint64_t r_inv_1 = 0x0000000000000000ULL;
23 static constexpr uint64_t r_inv_2 = 0xf7ffffffffffffefULL;
24 static constexpr uint64_t r_inv_3 = 0x0800000000000010ULL;
25
26 static constexpr uint64_t modulus_wasm_0 = 0x00000001;
27 static constexpr uint64_t modulus_wasm_1 = 0x00000000;
28 static constexpr uint64_t modulus_wasm_2 = 0x00000000;
29 static constexpr uint64_t modulus_wasm_3 = 0x00000000;
30 static constexpr uint64_t modulus_wasm_4 = 0x00000000;
31 static constexpr uint64_t modulus_wasm_5 = 0x00000000;
32 static constexpr uint64_t modulus_wasm_6 = 0x00440000;
33 static constexpr uint64_t modulus_wasm_7 = 0x00000000;
34 static constexpr uint64_t modulus_wasm_8 = 0x00080000;
35
36 static constexpr uint64_t r_squared_wasm_0 = 0xfff5cdf800100001ULL;
37 static constexpr uint64_t r_squared_wasm_1 = 0x000004cc3fffffffULL;
38 static constexpr uint64_t r_squared_wasm_2 = 0xfffffffdbe000000ULL;
39 static constexpr uint64_t r_squared_wasm_3 = 0x0752ad7802200010ULL;
40
41 static constexpr uint64_t r_inv_wasm_0 = 0x00000001;
42 static constexpr uint64_t r_inv_wasm_1 = 0x00000000;
43 static constexpr uint64_t r_inv_wasm_2 = 0x00000000;
44 static constexpr uint64_t r_inv_wasm_3 = 0x00000000;
45 static constexpr uint64_t r_inv_wasm_4 = 0x00000000;
46 static constexpr uint64_t r_inv_wasm_5 = 0x1fbc0000;
47 static constexpr uint64_t r_inv_wasm_6 = 0x0043ffff;
48 static constexpr uint64_t r_inv_wasm_7 = 0x1ff80000;
49 static constexpr uint64_t r_inv_wasm_8 = 0x0007ffff;
50};
51
52using fq = field<FqParams>;
53
54} // namespace bb::starknet::stark252
55#endif
bb::fq
field< Bn254FqParams > fq
Definition fq.hpp:169