use super::poseidon2_params::Poseidon2Params;
use crate::fields::babybear::FpBabyBear;
use crate::fields::utils::from_hex;
use lazy_static::lazy_static;
use std::sync::Arc;
type Scalar = FpBabyBear;
lazy_static! {
pub static ref MAT_DIAG16_M_1: Vec<Scalar> = vec![
from_hex("0x0a632d94"),
from_hex("0x6db657b7"),
from_hex("0x56fbdc9e"),
from_hex("0x052b3d8a"),
from_hex("0x33745201"),
from_hex("0x5c03108c"),
from_hex("0x0beba37b"),
from_hex("0x258c2e8b"),
from_hex("0x12029f39"),
from_hex("0x694909ce"),
from_hex("0x6d231724"),
from_hex("0x21c3b222"),
from_hex("0x3c0904a5"),
from_hex("0x01d6acda"),
from_hex("0x27705c83"),
from_hex("0x5231c802"),
];
pub static ref MAT_INTERNAL16: Vec<Vec<Scalar>> = vec![
vec![from_hex("0x0a632d95"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x6db657b8"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x56fbdc9f"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x052b3d8b"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x33745202"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x5c03108d"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x0beba37c"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x258c2e8c"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x12029f3a"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x694909cf"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x6d231725"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x21c3b223"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x3c0904a6"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x01d6acdb"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x27705c84"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x5231c803"),
],
];
pub static ref RC16: Vec<Vec<Scalar>> = vec![
vec![from_hex("0x69cbb6af"),
from_hex("0x46ad93f9"),
from_hex("0x60a00f4e"),
from_hex("0x6b1297cd"),
from_hex("0x23189afe"),
from_hex("0x732e7bef"),
from_hex("0x72c246de"),
from_hex("0x2c941900"),
from_hex("0x0557eede"),
from_hex("0x1580496f"),
from_hex("0x3a3ea77b"),
from_hex("0x54f3f271"),
from_hex("0x0f49b029"),
from_hex("0x47872fe1"),
from_hex("0x221e2e36"),
from_hex("0x1ab7202e"),
],
vec![from_hex("0x487779a6"),
from_hex("0x3851c9d8"),
from_hex("0x38dc17c0"),
from_hex("0x209f8849"),
from_hex("0x268dcee8"),
from_hex("0x350c48da"),
from_hex("0x5b9ad32e"),
from_hex("0x0523272b"),
from_hex("0x3f89055b"),
from_hex("0x01e894b2"),
from_hex("0x13ddedde"),
from_hex("0x1b2ef334"),
from_hex("0x7507d8b4"),
from_hex("0x6ceeb94e"),
from_hex("0x52eb6ba2"),
from_hex("0x50642905"),
],
vec![from_hex("0x05453f3f"),
from_hex("0x06349efc"),
from_hex("0x6922787c"),
from_hex("0x04bfff9c"),
from_hex("0x768c714a"),
from_hex("0x3e9ff21a"),
from_hex("0x15737c9c"),
from_hex("0x2229c807"),
from_hex("0x0d47f88c"),
from_hex("0x097e0ecc"),
from_hex("0x27eadba0"),
from_hex("0x2d7d29e4"),
from_hex("0x3502aaa0"),
from_hex("0x0f475fd7"),
from_hex("0x29fbda49"),
from_hex("0x018afffd"),
],
vec![from_hex("0x0315b618"),
from_hex("0x6d4497d1"),
from_hex("0x1b171d9e"),
from_hex("0x52861abd"),
from_hex("0x2e5d0501"),
from_hex("0x3ec8646c"),
from_hex("0x6e5f250a"),
from_hex("0x148ae8e6"),
from_hex("0x17f5fa4a"),
from_hex("0x3e66d284"),
from_hex("0x0051aa3b"),
from_hex("0x483f7913"),
from_hex("0x2cfe5f15"),
from_hex("0x023427ca"),
from_hex("0x2cc78315"),
from_hex("0x1e36ea47"),
],
vec![from_hex("0x5a8053c0"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x693be639"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x3858867d"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x19334f6b"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x128f0fd8"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x4e2b1ccb"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x61210ce0"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x3c318939"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x0b5b2f22"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x2edb11d5"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x213effdf"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x0cac4606"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x241af16d"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x7290a80d"),
from_hex("0x6f7e5329"),
from_hex("0x598ec8a8"),
from_hex("0x76a859a0"),
from_hex("0x6559e868"),
from_hex("0x657b83af"),
from_hex("0x13271d3f"),
from_hex("0x1f876063"),
from_hex("0x0aeeae37"),
from_hex("0x706e9ca6"),
from_hex("0x46400cee"),
from_hex("0x72a05c26"),
from_hex("0x2c589c9e"),
from_hex("0x20bd37a7"),
from_hex("0x6a2d3d10"),
from_hex("0x20523767"),
],
vec![from_hex("0x5b8fe9c4"),
from_hex("0x2aa501d6"),
from_hex("0x1e01ac3e"),
from_hex("0x1448bc54"),
from_hex("0x5ce5ad1c"),
from_hex("0x4918a14d"),
from_hex("0x2c46a83f"),
from_hex("0x4fcf6876"),
from_hex("0x61d8d5c8"),
from_hex("0x6ddf4ff9"),
from_hex("0x11fda4d3"),
from_hex("0x02933a8f"),
from_hex("0x170eaf81"),
from_hex("0x5a9c314f"),
from_hex("0x49a12590"),
from_hex("0x35ec52a1"),
],
vec![from_hex("0x58eb1611"),
from_hex("0x5e481e65"),
from_hex("0x367125c9"),
from_hex("0x0eba33ba"),
from_hex("0x1fc28ded"),
from_hex("0x066399ad"),
from_hex("0x0cbec0ea"),
from_hex("0x75fd1af0"),
from_hex("0x50f5bf4e"),
from_hex("0x643d5f41"),
from_hex("0x6f4fe718"),
from_hex("0x5b3cbbde"),
from_hex("0x1e3afb3e"),
from_hex("0x296fb027"),
from_hex("0x45e1547b"),
from_hex("0x4a8db2ab"),
],
vec![from_hex("0x59986d19"),
from_hex("0x30bcdfa3"),
from_hex("0x1db63932"),
from_hex("0x1d7c2824"),
from_hex("0x53b33681"),
from_hex("0x0673b747"),
from_hex("0x038a98a3"),
from_hex("0x2c5bce60"),
from_hex("0x351979cd"),
from_hex("0x5008fb73"),
from_hex("0x547bca78"),
from_hex("0x711af481"),
from_hex("0x3f93bf64"),
from_hex("0x644d987b"),
from_hex("0x3c8bcd87"),
from_hex("0x608758b8"),
],
];
pub static ref MAT_DIAG24_M_1: Vec<Scalar> = vec![
from_hex("0x409133f0"),
from_hex("0x1667a8a1"),
from_hex("0x06a6c7b6"),
from_hex("0x6f53160e"),
from_hex("0x273b11d1"),
from_hex("0x03176c5d"),
from_hex("0x72f9bbf9"),
from_hex("0x73ceba91"),
from_hex("0x5cdef81d"),
from_hex("0x01393285"),
from_hex("0x46daee06"),
from_hex("0x065d7ba6"),
from_hex("0x52d72d6f"),
from_hex("0x05dd05e0"),
from_hex("0x3bab4b63"),
from_hex("0x6ada3842"),
from_hex("0x2fc5fbec"),
from_hex("0x770d61b0"),
from_hex("0x5715aae9"),
from_hex("0x03ef0e90"),
from_hex("0x75b6c770"),
from_hex("0x242adf5f"),
from_hex("0x00d0ca4c"),
from_hex("0x36c0e388"),
];
pub static ref MAT_INTERNAL24: Vec<Vec<Scalar>> = vec![
vec![from_hex("0x409133f1"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x1667a8a2"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x06a6c7b7"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x6f53160f"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x273b11d2"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x03176c5e"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x72f9bbfa"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x73ceba92"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x5cdef81e"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x01393286"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x46daee07"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x065d7ba7"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x52d72d70"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x05dd05e1"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x3bab4b64"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x6ada3843"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x2fc5fbed"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x770d61b1"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x5715aaea"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x03ef0e91"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x75b6c771"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x242adf60"),
from_hex("0x00000001"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00d0ca4d"),
from_hex("0x00000001"),
],
vec![from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x00000001"),
from_hex("0x36c0e389"),
],
];
pub static ref RC24: Vec<Vec<Scalar>> = vec![
vec![from_hex("0x0fa20c37"),
from_hex("0x0795bb97"),
from_hex("0x12c60b9c"),
from_hex("0x0eabd88e"),
from_hex("0x096485ca"),
from_hex("0x07093527"),
from_hex("0x1b1d4e50"),
from_hex("0x30a01ace"),
from_hex("0x3bd86f5a"),
from_hex("0x69af7c28"),
from_hex("0x3f94775f"),
from_hex("0x731560e8"),
from_hex("0x465a0ecd"),
from_hex("0x574ef807"),
from_hex("0x62fd4870"),
from_hex("0x52ccfe44"),
from_hex("0x14772b14"),
from_hex("0x4dedf371"),
from_hex("0x260acd7c"),
from_hex("0x1f51dc58"),
from_hex("0x75125532"),
from_hex("0x686a4d7b"),
from_hex("0x54bac179"),
from_hex("0x31947706"),
],
vec![from_hex("0x29799d3b"),
from_hex("0x6e01ae90"),
from_hex("0x203a7a64"),
from_hex("0x4f7e25be"),
from_hex("0x72503f77"),
from_hex("0x45bd3b69"),
from_hex("0x769bd6b4"),
from_hex("0x5a867f08"),
from_hex("0x4fdba082"),
from_hex("0x251c4318"),
from_hex("0x28f06201"),
from_hex("0x6788c43a"),
from_hex("0x4c6d6a99"),
from_hex("0x357784a8"),
from_hex("0x2abaf051"),
from_hex("0x770f7de6"),
from_hex("0x1794b784"),
from_hex("0x4796c57a"),
from_hex("0x724b7a10"),
from_hex("0x449989a7"),
from_hex("0x64935cf1"),
from_hex("0x59e14aac"),
from_hex("0x0e620bb8"),
from_hex("0x3af5a33b"),
],
vec![from_hex("0x4465cc0e"),
from_hex("0x019df68f"),
from_hex("0x4af8d068"),
from_hex("0x08784f82"),
from_hex("0x0cefdeae"),
from_hex("0x6337a467"),
from_hex("0x32fa7a16"),
from_hex("0x486f62d6"),
from_hex("0x386a7480"),
from_hex("0x20f17c4a"),
from_hex("0x54e50da8"),
from_hex("0x2012cf03"),
from_hex("0x5fe52950"),
from_hex("0x09afb6cd"),
from_hex("0x2523044e"),
from_hex("0x5c54d0ef"),
from_hex("0x71c01f3c"),
from_hex("0x60b2c4fb"),
from_hex("0x4050b379"),
from_hex("0x5e6a70a5"),
from_hex("0x418543f5"),
from_hex("0x71debe56"),
from_hex("0x1aad2994"),
from_hex("0x3368a483"),
],
vec![from_hex("0x07a86f3a"),
from_hex("0x5ea43ff1"),
from_hex("0x2443780e"),
from_hex("0x4ce444f7"),
from_hex("0x146f9882"),
from_hex("0x3132b089"),
from_hex("0x197ea856"),
from_hex("0x667030c3"),
from_hex("0x2317d5dc"),
from_hex("0x0c2c48a7"),
from_hex("0x56b2df66"),
from_hex("0x67bd81e9"),
from_hex("0x4fcdfb19"),
from_hex("0x4baaef32"),
from_hex("0x0328d30a"),
from_hex("0x6235760d"),
from_hex("0x12432912"),
from_hex("0x0a49e258"),
from_hex("0x030e1b70"),
from_hex("0x48caeb03"),
from_hex("0x49e4d9e9"),
from_hex("0x1051b5c6"),
from_hex("0x6a36dbbe"),
from_hex("0x4cff27a5"),
],
vec![from_hex("0x1da78ec2"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x730b0924"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x3eb56cf3"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x5bd93073"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x37204c97"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x51642d89"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x66e943e8"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x1a3e72de"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x70beb1e9"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x30ff3b3f"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x4240d1c4"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x12647b8d"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x65d86965"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x49ef4d7c"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x47785697"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x46b3969f"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x5c7b7a0e"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x7078fc60"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x4f22d482"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x482a9aee"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x6beb839d"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
from_hex("0x00000000"),
],
vec![from_hex("0x032959ad"),
from_hex("0x2b18af6a"),
from_hex("0x55d3dc8c"),
from_hex("0x43bd26c8"),
from_hex("0x0c41595f"),
from_hex("0x7048d2e2"),
from_hex("0x00db8983"),
from_hex("0x2af563d7"),
from_hex("0x6e84758f"),
from_hex("0x611d64e1"),
from_hex("0x1f9977e2"),
from_hex("0x64163a0a"),
from_hex("0x5c5fc27b"),
from_hex("0x02e22561"),
from_hex("0x3a2d75db"),
from_hex("0x1ba7b71a"),
from_hex("0x34343f64"),
from_hex("0x7406b35d"),
from_hex("0x19df8299"),
from_hex("0x6ff4480a"),
from_hex("0x514a81c8"),
from_hex("0x57ab52ce"),
from_hex("0x6ad69f52"),
from_hex("0x3e0c0e0d"),
],
vec![from_hex("0x48126114"),
from_hex("0x2a9d62cc"),
from_hex("0x17441f23"),
from_hex("0x485762bb"),
from_hex("0x2f218674"),
from_hex("0x06fdc64a"),
from_hex("0x0861b7f2"),
from_hex("0x3b36eee6"),
from_hex("0x70a11040"),
from_hex("0x04b31737"),
from_hex("0x3722a872"),
from_hex("0x2a351c63"),
from_hex("0x623560dc"),
from_hex("0x62584ab2"),
from_hex("0x382c7c04"),
from_hex("0x3bf9edc7"),
from_hex("0x0e38fe51"),
from_hex("0x376f3b10"),
from_hex("0x5381e178"),
from_hex("0x3afc61c7"),
from_hex("0x5c1bcb4d"),
from_hex("0x6643ce1f"),
from_hex("0x2d0af1c1"),
from_hex("0x08f583cc"),
],
vec![from_hex("0x5d6ff60f"),
from_hex("0x6324c1e5"),
from_hex("0x74412fb7"),
from_hex("0x70c0192e"),
from_hex("0x0b72f141"),
from_hex("0x4067a111"),
from_hex("0x57388c4f"),
from_hex("0x351009ec"),
from_hex("0x0974c159"),
from_hex("0x539a58b3"),
from_hex("0x038c0cff"),
from_hex("0x476c0392"),
from_hex("0x3f7bc15f"),
from_hex("0x4491dd2c"),
from_hex("0x4d1fef55"),
from_hex("0x04936ae3"),
from_hex("0x58214dd4"),
from_hex("0x683c6aad"),
from_hex("0x1b42f16b"),
from_hex("0x6dc79135"),
from_hex("0x2d4e71ec"),
from_hex("0x3e2946ea"),
from_hex("0x59dce8db"),
from_hex("0x6cee892a"),
],
vec![from_hex("0x47f07350"),
from_hex("0x7106ce93"),
from_hex("0x3bd4a7a9"),
from_hex("0x2bfe636a"),
from_hex("0x430011e9"),
from_hex("0x001cd66a"),
from_hex("0x307faf5b"),
from_hex("0x0d9ef3fe"),
from_hex("0x6d40043a"),
from_hex("0x2e8f470c"),
from_hex("0x1b6865e8"),
from_hex("0x0c0e6c01"),
from_hex("0x4d41981f"),
from_hex("0x423b9d3d"),
from_hex("0x410408cc"),
from_hex("0x263f0884"),
from_hex("0x5311bbd0"),
from_hex("0x4dae58d8"),
from_hex("0x30401cea"),
from_hex("0x09afa575"),
from_hex("0x4b3d5b42"),
from_hex("0x63ac0b37"),
from_hex("0x5fe5bb14"),
from_hex("0x5244e9d4"),
],
];
pub static ref POSEIDON2_BABYBEAR_16_PARAMS: Arc<Poseidon2Params<Scalar>> = Arc::new(Poseidon2Params::new(16, 7, 8, 13, &MAT_DIAG16_M_1, &MAT_INTERNAL16, &RC16));
pub static ref POSEIDON2_BABYBEAR_24_PARAMS: Arc<Poseidon2Params<Scalar>> = Arc::new(Poseidon2Params::new(24, 7, 8, 21, &MAT_DIAG24_M_1, &MAT_INTERNAL24, &RC24));
}