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
|
from typing import (
TYPE_CHECKING,
Dict,
TypedDict,
)
if TYPE_CHECKING:
from py_ecc.typing import (
FQ2_modulus_coeffs_type,
FQ12_modulus_coeffs_type,
)
class Curve_Field_Properties(TypedDict):
field_modulus: int
fq2_modulus_coeffs: "FQ2_modulus_coeffs_type"
fq12_modulus_coeffs: "FQ12_modulus_coeffs_type"
Field_Properties = Dict[str, Curve_Field_Properties]
field_properties: Field_Properties = {
"bn128": {
"field_modulus": 21888242871839275222246405745257275088696311157297823662689037894645226208583, # noqa: E501
"fq2_modulus_coeffs": (1, 0),
"fq12_modulus_coeffs": (82, 0, 0, 0, 0, 0, -18, 0, 0, 0, 0, 0), # Implied + [1]
},
"bls12_381": {
"field_modulus": 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787, # noqa: E501
"fq2_modulus_coeffs": (1, 0),
"fq12_modulus_coeffs": (2, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0), # Implied + [1]
},
}
|
