revm_precompile/
bls12_381_const.rs

1pub const G1_ADD_ADDRESS: u64 = 0x0b;
2pub const G1_ADD_BASE_GAS_FEE: u64 = 375;
3pub const G1_ADD_INPUT_LENGTH: usize = 256;
4pub const G1_MSM_ADDRESS: u64 = 0x0c;
5pub const G1_MSM_BASE_GAS_FEE: u64 = 12000;
6pub const G1_MSM_INPUT_LENGTH: usize = 160;
7pub const G1_OUTPUT_LENGTH: usize = 128;
8pub const G1_INPUT_ITEM_LENGTH: usize = 128;
9pub const G2_ADD_ADDRESS: u64 = 0x0d;
10pub const G2_ADD_BASE_GAS_FEE: u64 = 600;
11pub const G2_ADD_INPUT_LENGTH: usize = 512;
12pub const G2_MSM_ADDRESS: u64 = 0x0e;
13pub const G2_MSM_BASE_GAS_FEE: u64 = 22500;
14pub const G2_MSM_INPUT_LENGTH: usize = 288;
15pub const G2_OUTPUT_LENGTH: usize = 256;
16pub const G2_INPUT_ITEM_LENGTH: usize = 256;
17pub const PAIRING_ADDRESS: u64 = 0x0f;
18pub const PAIRING_PAIRING_MULTIPLIER_BASE: u64 = 32600;
19pub const PAIRING_PAIRING_OFFSET_BASE: u64 = 37700;
20pub const PAIRING_INPUT_LENGTH: usize = 384;
21pub const MAP_FP_TO_G1_ADDRESS: u64 = 0x10;
22pub const MAP_FP_TO_G1_BASE_GAS_FEE: u64 = 5500;
23pub const MAP_FP2_TO_G2_ADDRESS: u64 = 0x11;
24pub const MAP_FP2_TO_G2_BASE_GAS_FEE: u64 = 23800;
25pub const MSM_MULTIPLIER: u64 = 1000;
26/// Number of bits used in the BLS12-381 curve finite field elements.
27pub const NBITS: usize = 256;
28/// Finite field element input length.
29pub const FP_LENGTH: usize = 48;
30/// Finite field element padded input length.
31pub const PADDED_FP_LENGTH: usize = 64;
32/// Quadratic extension of finite field element input length.
33pub const PADDED_FP2_LENGTH: usize = 128;
34/// Input elements padding length.
35pub const PADDING_LENGTH: usize = 16;
36/// Scalar length.
37pub const SCALAR_LENGTH: usize = 32;
38// Big-endian non-Montgomery form.
39pub const MODULUS_REPR: [u8; 48] = [
40    0x1a, 0x01, 0x11, 0xea, 0x39, 0x7f, 0xe6, 0x9a, 0x4b, 0x1b, 0xa7, 0xb6, 0x43, 0x4b, 0xac, 0xd7,
41    0x64, 0x77, 0x4b, 0x84, 0xf3, 0x85, 0x12, 0xbf, 0x67, 0x30, 0xd2, 0xa0, 0xf6, 0xb0, 0xf6, 0x24,
42    0x1e, 0xab, 0xff, 0xfe, 0xb1, 0x53, 0xff, 0xff, 0xb9, 0xfe, 0xff, 0xff, 0xff, 0xff, 0xaa, 0xab,
43];
44/// Discounts table for G1 MSM as a vector of pairs `[k, discount]`.
45pub static DISCOUNT_TABLE_G1_MSM: [u16; 128] = [
46    1000, 949, 848, 797, 764, 750, 738, 728, 719, 712, 705, 698, 692, 687, 682, 677, 673, 669, 665,
47    661, 658, 654, 651, 648, 645, 642, 640, 637, 635, 632, 630, 627, 625, 623, 621, 619, 617, 615,
48    613, 611, 609, 608, 606, 604, 603, 601, 599, 598, 596, 595, 593, 592, 591, 589, 588, 586, 585,
49    584, 582, 581, 580, 579, 577, 576, 575, 574, 573, 572, 570, 569, 568, 567, 566, 565, 564, 563,
50    562, 561, 560, 559, 558, 557, 556, 555, 554, 553, 552, 551, 550, 549, 548, 547, 547, 546, 545,
51    544, 543, 542, 541, 540, 540, 539, 538, 537, 536, 536, 535, 534, 533, 532, 532, 531, 530, 529,
52    528, 528, 527, 526, 525, 525, 524, 523, 522, 522, 521, 520, 520, 519,
53];
54// Discounts table for G2 MSM as a vector of pairs `[k, discount]`:
55pub static DISCOUNT_TABLE_G2_MSM: [u16; 128] = [
56    1000, 1000, 923, 884, 855, 832, 812, 796, 782, 770, 759, 749, 740, 732, 724, 717, 711, 704,
57    699, 693, 688, 683, 679, 674, 670, 666, 663, 659, 655, 652, 649, 646, 643, 640, 637, 634, 632,
58    629, 627, 624, 622, 620, 618, 615, 613, 611, 609, 607, 606, 604, 602, 600, 598, 597, 595, 593,
59    592, 590, 589, 587, 586, 584, 583, 582, 580, 579, 578, 576, 575, 574, 573, 571, 570, 569, 568,
60    567, 566, 565, 563, 562, 561, 560, 559, 558, 557, 556, 555, 554, 553, 552, 552, 551, 550, 549,
61    548, 547, 546, 545, 545, 544, 543, 542, 541, 541, 540, 539, 538, 537, 537, 536, 535, 535, 534,
62    533, 532, 532, 531, 530, 530, 529, 528, 528, 527, 526, 526, 525, 524, 524,
63];
revm_precompile/bls12_381_const.rs

revm_precompile/
bls12_381_const.rs
