zkhash/poseidon2/

poseidon2_instance_goldilocks.rs

use super::poseidon2_params::Poseidon2Params;
use crate::fields::goldilocks::FpGoldiLocks;
use crate::fields::utils::from_hex;

use lazy_static::lazy_static;
use std::sync::Arc;

type Scalar = FpGoldiLocks;

lazy_static! {
    pub static ref MAT_DIAG8_M_1: Vec<Scalar> = vec![
    from_hex("0xa98811a1fed4e3a5"),
    from_hex("0x1cc48b54f377e2a0"),
    from_hex("0xe40cd4f6c5609a26"),
    from_hex("0x11de79ebca97a4a3"),
    from_hex("0x9177c73d8b7e929c"),
    from_hex("0x2a6fe8085797e791"),
    from_hex("0x3de6e93329f8d5ad"),
    from_hex("0x3f7af9125da962fe"),
    ];

    pub static ref MAT_INTERNAL8: Vec<Vec<Scalar>> = vec![
    vec![from_hex("0xa98811a1fed4e3a6"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x1cc48b54f377e2a1"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xe40cd4f6c5609a27"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x11de79ebca97a4a4"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x9177c73d8b7e929d"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x2a6fe8085797e792"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x3de6e93329f8d5ae"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x3f7af9125da962ff"),
    ],
    ];

    pub static ref RC8: Vec<Vec<Scalar>> = vec![
    vec![from_hex("0xdd5743e7f2a5a5d9"),
    from_hex("0xcb3a864e58ada44b"),
    from_hex("0xffa2449ed32f8cdc"),
    from_hex("0x42025f65d6bd13ee"),
    from_hex("0x7889175e25506323"),
    from_hex("0x34b98bb03d24b737"),
    from_hex("0xbdcc535ecc4faa2a"),
    from_hex("0x5b20ad869fc0d033"),
    ],
    vec![from_hex("0xf1dda5b9259dfcb4"),
    from_hex("0x27515210be112d59"),
    from_hex("0x4227d1718c766c3f"),
    from_hex("0x26d333161a5bd794"),
    from_hex("0x49b938957bf4b026"),
    from_hex("0x4a56b5938b213669"),
    from_hex("0x1120426b48c8353d"),
    from_hex("0x6b323c3f10a56cad"),
    ],
    vec![from_hex("0xce57d6245ddca6b2"),
    from_hex("0xb1fc8d402bba1eb1"),
    from_hex("0xb5c5096ca959bd04"),
    from_hex("0x6db55cd306d31f7f"),
    from_hex("0xc49d293a81cb9641"),
    from_hex("0x1ce55a4fe979719f"),
    from_hex("0xa92e60a9d178a4d1"),
    from_hex("0x002cc64973bcfd8c"),
    ],
    vec![from_hex("0xcea721cce82fb11b"),
    from_hex("0xe5b55eb8098ece81"),
    from_hex("0x4e30525c6f1ddd66"),
    from_hex("0x43c6702827070987"),
    from_hex("0xaca68430a7b5762a"),
    from_hex("0x3674238634df9c93"),
    from_hex("0x88cee1c825e33433"),
    from_hex("0xde99ae8d74b57176"),
    ],
    vec![from_hex("0x488897d85ff51f56"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x1140737ccb162218"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xa7eeb9215866ed35"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x9bd2976fee49fcc9"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xc0c8f0de580a3fcc"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x4fb2dae6ee8fc793"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x343a89f35f37395b"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x223b525a77ca72c8"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x56ccb62574aaa918"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xc4d507d8027af9ed"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xa080673cf0b7e95c"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xf0184884eb70dcf8"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x044f10b0cb3d5c69"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xe9e3f7993938f186"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x1b761c80e772f459"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x606cec607a1b5fac"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x14a0c2e1d45f03cd"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x4eace8855398574f"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xf905ca7103eff3e6"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xf8c8f8d20862c059"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xb524fe8bdd678e5a"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xfbb7865901a1ec41"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x014ef1197d341346"),
    from_hex("0x9725e20825d07394"),
    from_hex("0xfdb25aef2c5bae3b"),
    from_hex("0xbe5402dc598c971e"),
    from_hex("0x93a5711f04cdca3d"),
    from_hex("0xc45a9a5b2f8fb97b"),
    from_hex("0xfe8946a924933545"),
    from_hex("0x2af997a27369091c"),
    ],
    vec![from_hex("0xaa62c88e0b294011"),
    from_hex("0x058eb9d810ce9f74"),
    from_hex("0xb3cb23eced349ae4"),
    from_hex("0xa3648177a77b4a84"),
    from_hex("0x43153d905992d95d"),
    from_hex("0xf4e2a97cda44aa4b"),
    from_hex("0x5baa2702b908682f"),
    from_hex("0x082923bdf4f750d1"),
    ],
    vec![from_hex("0x98ae09a325893803"),
    from_hex("0xf8a6475077968838"),
    from_hex("0xceb0735bf00b2c5f"),
    from_hex("0x0a1a5d953888e072"),
    from_hex("0x2fcb190489f94475"),
    from_hex("0xb5be06270dec69fc"),
    from_hex("0x739cb934b09acf8b"),
    from_hex("0x537750b75ec7f25b"),
    ],
    vec![from_hex("0xe9dd318bae1f3961"),
    from_hex("0xf7462137299efe1a"),
    from_hex("0xb1f6b8eee9adb940"),
    from_hex("0xbdebcc8a809dfe6b"),
    from_hex("0x40fc1f791b178113"),
    from_hex("0x3ac1c3362d014864"),
    from_hex("0x9a016184bdb8aeba"),
    from_hex("0x95f2394459fbc25e"),
    ],
    ];

    pub static ref MAT_DIAG12_M_1: Vec<Scalar> = vec![
    from_hex("0xc3b6c08e23ba9300"),
    from_hex("0xd84b5de94a324fb6"),
    from_hex("0x0d0c371c5b35b84f"),
    from_hex("0x7964f570e7188037"),
    from_hex("0x5daf18bbd996604b"),
    from_hex("0x6743bc47b9595257"),
    from_hex("0x5528b9362c59bb70"),
    from_hex("0xac45e25b7127b68b"),
    from_hex("0xa2077d7dfbb606b5"),
    from_hex("0xf3faac6faee378ae"),
    from_hex("0x0c6388b51545e883"),
    from_hex("0xd27dbb6944917b60"),
    ];

    pub static ref MAT_INTERNAL12: Vec<Vec<Scalar>> = vec![
    vec![from_hex("0xc3b6c08e23ba9301"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0xd84b5de94a324fb7"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0d0c371c5b35b850"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x7964f570e7188038"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x5daf18bbd996604c"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x6743bc47b9595258"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x5528b9362c59bb71"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xac45e25b7127b68c"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xa2077d7dfbb606b6"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xf3faac6faee378af"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0c6388b51545e884"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xd27dbb6944917b61"),
    ],
    ];
    
    pub static ref RC12: Vec<Vec<Scalar>> = vec![
    vec![from_hex("0x13dcf33aba214f46"),
    from_hex("0x30b3b654a1da6d83"),
    from_hex("0x1fc634ada6159b56"),
    from_hex("0x937459964dc03466"),
    from_hex("0xedd2ef2ca7949924"),
    from_hex("0xede9affde0e22f68"),
    from_hex("0x8515b9d6bac9282d"),
    from_hex("0x6b5c07b4e9e900d8"),
    from_hex("0x1ec66368838c8a08"),
    from_hex("0x9042367d80d1fbab"),
    from_hex("0x400283564a3c3799"),
    from_hex("0x4a00be0466bca75e"),
    ],
    vec![from_hex("0x7913beee58e3817f"),
    from_hex("0xf545e88532237d90"),
    from_hex("0x22f8cb8736042005"),
    from_hex("0x6f04990e247a2623"),
    from_hex("0xfe22e87ba37c38cd"),
    from_hex("0xd20e32c85ffe2815"),
    from_hex("0x117227674048fe73"),
    from_hex("0x4e9fb7ea98a6b145"),
    from_hex("0xe0866c232b8af08b"),
    from_hex("0x00bbc77916884964"),
    from_hex("0x7031c0fb990d7116"),
    from_hex("0x240a9e87cf35108f"),
    ],
    vec![from_hex("0x2e6363a5a12244b3"),
    from_hex("0x5e1c3787d1b5011c"),
    from_hex("0x4132660e2a196e8b"),
    from_hex("0x3a013b648d3d4327"),
    from_hex("0xf79839f49888ea43"),
    from_hex("0xfe85658ebafe1439"),
    from_hex("0xb6889825a14240bd"),
    from_hex("0x578453605541382b"),
    from_hex("0x4508cda8f6b63ce9"),
    from_hex("0x9c3ef35848684c91"),
    from_hex("0x0812bde23c87178c"),
    from_hex("0xfe49638f7f722c14"),
    ],
    vec![from_hex("0x8e3f688ce885cbf5"),
    from_hex("0xb8e110acf746a87d"),
    from_hex("0xb4b2e8973a6dabef"),
    from_hex("0x9e714c5da3d462ec"),
    from_hex("0x6438f9033d3d0c15"),
    from_hex("0x24312f7cf1a27199"),
    from_hex("0x23f843bb47acbf71"),
    from_hex("0x9183f11a34be9f01"),
    from_hex("0x839062fbb9d45dbf"),
    from_hex("0x24b56e7e6c2e43fa"),
    from_hex("0xe1683da61c962a72"),
    from_hex("0xa95c63971a19bfa7"),
    ],
    vec![from_hex("0x4adf842aa75d4316"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xf8fbb871aa4ab4eb"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x68e85b6eb2dd6aeb"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x07a0b06b2d270380"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xd94e0228bd282de4"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x8bdd91d3250c5278"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x209c68b88bba778f"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xb5e18cdab77f3877"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xb296a3e808da93fa"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x8370ecbda11a327e"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x3f9075283775dad8"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xb78095bb23c6aa84"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x3f36b9fe72ad4e5f"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x69bc96780b10b553"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x3f1d341f2eb7b881"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x4e939e9815838818"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xda366b3ae2a31604"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xbc89db1e7287d509"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x6102f411f9ef5659"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x58725c5e7ac1f0ab"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x0df5856c798883e7"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xf7bb62a8da4c961b"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xc68be7c94882a24d"),
    from_hex("0xaf996d5d5cdaedd9"),
    from_hex("0x9717f025e7daf6a5"),
    from_hex("0x6436679e6e7216f4"),
    from_hex("0x8a223d99047af267"),
    from_hex("0xbb512e35a133ba9a"),
    from_hex("0xfbbf44097671aa03"),
    from_hex("0xf04058ebf6811e61"),
    from_hex("0x5cca84703fac7ffb"),
    from_hex("0x9b55c7945de6469f"),
    from_hex("0x8e05bf09808e934f"),
    from_hex("0x2ea900de876307d7"),
    ],
    vec![from_hex("0x7748fff2b38dfb89"),
    from_hex("0x6b99a676dd3b5d81"),
    from_hex("0xac4bb7c627cf7c13"),
    from_hex("0xadb6ebe5e9e2f5ba"),
    from_hex("0x2d33378cafa24ae3"),
    from_hex("0x1e5b73807543f8c2"),
    from_hex("0x09208814bfebb10f"),
    from_hex("0x782e64b6bb5b93dd"),
    from_hex("0xadd5a48eac90b50f"),
    from_hex("0xadd4c54c736ea4b1"),
    from_hex("0xd58dbb86ed817fd8"),
    from_hex("0x6d5ed1a533f34ddd"),
    ],
    vec![from_hex("0x28686aa3e36b7cb9"),
    from_hex("0x591abd3476689f36"),
    from_hex("0x047d766678f13875"),
    from_hex("0xa2a11112625f5b49"),
    from_hex("0x21fd10a3f8304958"),
    from_hex("0xf9b40711443b0280"),
    from_hex("0xd2697eb8b2bde88e"),
    from_hex("0x3493790b51731b3f"),
    from_hex("0x11caf9dd73764023"),
    from_hex("0x7acfb8f72878164e"),
    from_hex("0x744ec4db23cefc26"),
    from_hex("0x1e00e58f422c6340"),
    ],
    vec![from_hex("0x21dd28d906a62dda"),
    from_hex("0xf32a46ab5f465b5f"),
    from_hex("0xbfce13201f3f7e6b"),
    from_hex("0xf30d2e7adb5304e2"),
    from_hex("0xecdf4ee4abad48e9"),
    from_hex("0xf94e82182d395019"),
    from_hex("0x4ee52e3744d887c5"),
    from_hex("0xa1341c7cac0083b2"),
    from_hex("0x2302fb26c30c834a"),
    from_hex("0xaea3c587273bf7d3"),
    from_hex("0xf798e24961823ec7"),
    from_hex("0x962deba3e9a2cd94"),
    ],
    ];

    pub static ref MAT_DIAG16_M_1: Vec<Scalar> = vec![
    from_hex("0xde9b91a467d6afc0"),
    from_hex("0xc5f16b9c76a9be17"),
    from_hex("0x0ab0fef2d540ac55"),
    from_hex("0x3001d27009d05773"),
    from_hex("0xed23b1f906d3d9eb"),
    from_hex("0x5ce73743cba97054"),
    from_hex("0x1c3bab944af4ba24"),
    from_hex("0x2faa105854dbafae"),
    from_hex("0x53ffb3ae6d421a10"),
    from_hex("0xbcda9df8884ba396"),
    from_hex("0xfc1273e4a31807bb"),
    from_hex("0xc77952573d5142c0"),
    from_hex("0x56683339a819b85e"),
    from_hex("0x328fcbd8f0ddc8eb"),
    from_hex("0xb5101e303fce9cb7"),
    from_hex("0x774487b8c40089bb"),
    ];

    pub static ref MAT_INTERNAL16: Vec<Vec<Scalar>> = vec![
    vec![from_hex("0xde9b91a467d6afc1"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0xc5f16b9c76a9be18"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0ab0fef2d540ac56"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x3001d27009d05774"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xed23b1f906d3d9ec"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x5ce73743cba97055"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x1c3bab944af4ba25"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x2faa105854dbafaf"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x53ffb3ae6d421a11"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xbcda9df8884ba397"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xfc1273e4a31807bc"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xc77952573d5142c1"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x56683339a819b85f"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x328fcbd8f0ddc8ec"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xb5101e303fce9cb8"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x774487b8c40089bc"),
    ],
    ];

    pub static ref RC16: Vec<Vec<Scalar>> = vec![
    vec![from_hex("0x15ebea3fc73397c3"),
    from_hex("0xd73cd9fbfe8e275c"),
    from_hex("0x8c096bfce77f6c26"),
    from_hex("0x4e128f68b53d8fea"),
    from_hex("0x29b779a36b2763f6"),
    from_hex("0xfe2adc6fb65acd08"),
    from_hex("0x8d2520e725ad0955"),
    from_hex("0x1c2392b214624d2a"),
    from_hex("0x37482118206dcc6e"),
    from_hex("0x2f829bed19be019a"),
    from_hex("0x2fe298cb6f8159b0"),
    from_hex("0x2bbad982deccdbbf"),
    from_hex("0xbad568b8cc60a81e"),
    from_hex("0xb86a814265baad10"),
    from_hex("0xbec2005513b3acb3"),
    from_hex("0x6bf89b59a07c2a94"),
    ],
    vec![from_hex("0xa25deeb835e230f5"),
    from_hex("0x3c5bad8512b8b12a"),
    from_hex("0x7230f73c3cb7a4f2"),
    from_hex("0xa70c87f095c74d0f"),
    from_hex("0x6b7606b830bb2e80"),
    from_hex("0x6cd467cfc4f24274"),
    from_hex("0xfeed794df42a9b0a"),
    from_hex("0x8cf7cf6163b7dbd3"),
    from_hex("0x9a6e9dda597175a0"),
    from_hex("0xaa52295a684faf7b"),
    from_hex("0x017b811cc3589d8d"),
    from_hex("0x55bfb699b6181648"),
    from_hex("0xc2ccaf71501c2421"),
    from_hex("0x1707950327596402"),
    from_hex("0xdd2fcdcd42a8229f"),
    from_hex("0x8b9d7d5b27778a21"),
    ],
    vec![from_hex("0xac9a05525f9cf512"),
    from_hex("0x2ba125c58627b5e8"),
    from_hex("0xc74e91250a8147a5"),
    from_hex("0xa3e64b640d5bb384"),
    from_hex("0xf53047d18d1f9292"),
    from_hex("0xbaaeddacae3a6374"),
    from_hex("0xf2d0914a808b3db1"),
    from_hex("0x18af1a3742bfa3b0"),
    from_hex("0x9a621ef50c55bdb8"),
    from_hex("0xc615f4d1cc5466f3"),
    from_hex("0xb7fbac19a35cf793"),
    from_hex("0xd2b1a15ba517e46d"),
    from_hex("0x4a290c4d7fd26f6f"),
    from_hex("0x4f0cf1bb1770c4c4"),
    from_hex("0x548345386cd377f5"),
    from_hex("0x33978d2789fddd42"),
    ],
    vec![from_hex("0xab78c59deb77e211"),
    from_hex("0xc485b2a933d2be7f"),
    from_hex("0xbde3792c00c03c53"),
    from_hex("0xab4cefe8f893d247"),
    from_hex("0xc5c0e752eab7f85f"),
    from_hex("0xdbf5a76f893bafea"),
    from_hex("0xa91f6003e3d984de"),
    from_hex("0x099539077f311e87"),
    from_hex("0x097ec52232f9559e"),
    from_hex("0x53641bdf8991e48c"),
    from_hex("0x2afe9711d5ed9d7c"),
    from_hex("0xa7b13d3661b5d117"),
    from_hex("0x5a0e243fe7af6556"),
    from_hex("0x1076fae8932d5f00"),
    from_hex("0x9b53a83d434934e3"),
    from_hex("0xed3fd595a3c0344a"),
    ],
    vec![from_hex("0x28eff4b01103d100"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x60400ca3e2685a45"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x1c8636beb3389b84"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xac1332b60e13eff0"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x2adafcc364e20f87"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x79ffc2b14054ea0b"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x3f98e4c0908f0a05"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xcdb230bc4e8a06c4"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x1bcaf7705b152a74"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xd9bca249a82a7470"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x91e24af19bf82551"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xa62b43ba5cb78858"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xb4898117472e797f"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xb3228bca606cdaa0"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x844461051bca39c9"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xf3411581f6617d68"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xf7fd50646782b533"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x6ca664253c18fb48"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x2d2fcdec0886a08f"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x29da00dd799b575e"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x47d966cc3b6e1e93"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xde884e9a17ced59e"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xdacf46dc1c31a045"),
    from_hex("0x5d2e3c121eb387f2"),
    from_hex("0x51f8b0658b124499"),
    from_hex("0x1e7dbd1daa72167d"),
    from_hex("0x8275015a25c55b88"),
    from_hex("0xe8521c24ac7a70b3"),
    from_hex("0x6521d121c40b3f67"),
    from_hex("0xac12de797de135b0"),
    from_hex("0xafa28ead79f6ed6a"),
    from_hex("0x685174a7a8d26f0b"),
    from_hex("0xeff92a08d35d9874"),
    from_hex("0x3058734b76dd123a"),
    from_hex("0xfa55dcfba429f79c"),
    from_hex("0x559294d4324c7728"),
    from_hex("0x7a770f53012dc178"),
    from_hex("0xedd8f7c408f3883b"),
    ],
    vec![from_hex("0x39b533cf8d795fa5"),
    from_hex("0x160ef9de243a8c0a"),
    from_hex("0x431d52da6215fe3f"),
    from_hex("0x54c51a2a2ef6d528"),
    from_hex("0x9b13892b46ff9d16"),
    from_hex("0x263c46fcee210289"),
    from_hex("0xb738c96d25aabdc4"),
    from_hex("0x5c33a5203996d38f"),
    from_hex("0x2626496e7c98d8dd"),
    from_hex("0xc669e0a52785903a"),
    from_hex("0xaecde726c8ae1f47"),
    from_hex("0x039343ef3a81e999"),
    from_hex("0x2615ceaf044a54f9"),
    from_hex("0x7e41e834662b66e1"),
    from_hex("0x4ca5fd4895335783"),
    from_hex("0x64b334d02916f2b0"),
    ],
    vec![from_hex("0x87268837389a6981"),
    from_hex("0x034b75bcb20a6274"),
    from_hex("0x58e658296cc2cd6e"),
    from_hex("0xe2d0f759acc31df4"),
    from_hex("0x81a652e435093e20"),
    from_hex("0x0b72b6e0172eaf47"),
    from_hex("0x4aec43cec577d66d"),
    from_hex("0xde78365b028a84e6"),
    from_hex("0x444e19569adc0ee4"),
    from_hex("0x942b2451fa40d1da"),
    from_hex("0xe24506623ea5bd6c"),
    from_hex("0x082854bf2ef7c743"),
    from_hex("0x69dbbc566f59d62e"),
    from_hex("0x248c38d02a7b5cb2"),
    from_hex("0x4f4e8f8c09d15edb"),
    from_hex("0xd96682f188d310cf"),
    ],
    vec![from_hex("0x6f9a25d56818b54c"),
    from_hex("0xb6cefed606546cd9"),
    from_hex("0x5bc07523da38a67b"),
    from_hex("0x7df5a3c35b8111cf"),
    from_hex("0xaaa2cc5d4db34bb0"),
    from_hex("0x9e673ff22a4653f8"),
    from_hex("0xbd8b278d60739c62"),
    from_hex("0xe10d20f6925b8815"),
    from_hex("0xf6c87b91dd4da2bf"),
    from_hex("0xfed623e2f71b6f1a"),
    from_hex("0xa0f02fa52a94d0d3"),
    from_hex("0xbb5794711b39fa16"),
    from_hex("0xd3b94fba9d005c7f"),
    from_hex("0x15a26e89fad946c9"),
    from_hex("0xf3cb87db8a67cf49"),
    from_hex("0x400d2bf56aa2a577"),
    ],
    ];

    pub static ref MAT_DIAG20_M_1: Vec<Scalar> = vec![
    from_hex("0x95c381fda3b1fa57"),
    from_hex("0xf36fe9eb1288f42c"),
    from_hex("0x89f5dcdfef277944"),
    from_hex("0x106f22eadeb3e2d2"),
    from_hex("0x684e31a2530e5111"),
    from_hex("0x27435c5d89fd148e"),
    from_hex("0x3ebed31c414dbf17"),
    from_hex("0xfd45b0b2d294e3cc"),
    from_hex("0x48c904473a7f6dbf"),
    from_hex("0xe0d1b67809295b4d"),
    from_hex("0xddd1941e9d199dcb"),
    from_hex("0x8cfe534eeb742219"),
    from_hex("0xa6e5261d9e3b8524"),
    from_hex("0x6897ee5ed0f82c1b"),
    from_hex("0x0e7dcd0739ee5f78"),
    from_hex("0x493253f3d0d32363"),
    from_hex("0xbb2737f5845f05c0"),
    from_hex("0xa187e810b06ad903"),
    from_hex("0xb635b995936c4918"),
    from_hex("0x0b3694a940bd2394"),
    ];

    pub static ref MAT_INTERNAL20: Vec<Vec<Scalar>> = vec![
    vec![from_hex("0x95c381fda3b1fa58"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0xf36fe9eb1288f42d"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x89f5dcdfef277945"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x106f22eadeb3e2d3"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x684e31a2530e5112"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x27435c5d89fd148f"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x3ebed31c414dbf18"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xfd45b0b2d294e3cd"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x48c904473a7f6dc0"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xe0d1b67809295b4e"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xddd1941e9d199dcc"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x8cfe534eeb74221a"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xa6e5261d9e3b8525"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x6897ee5ed0f82c1c"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0e7dcd0739ee5f79"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x493253f3d0d32364"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xbb2737f5845f05c1"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xa187e810b06ad904"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0xb635b995936c4919"),
    from_hex("0x0000000000000001"),
    ],
    vec![from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0000000000000001"),
    from_hex("0x0b3694a940bd2395"),
    ],
    ];

    pub static ref RC20: Vec<Vec<Scalar>> = vec![
    vec![from_hex("0xf50674557d527f42"),
    from_hex("0x8b33e51b9306c9fb"),
    from_hex("0x04cfcb30bb344eb3"),
    from_hex("0x5ea8bec44640c87d"),
    from_hex("0xd84af685a9708e36"),
    from_hex("0x5b33851fa07aeba4"),
    from_hex("0xeb7cbc374f3b5ca1"),
    from_hex("0xecaaea4a76acdd63"),
    from_hex("0x2b1fa14802fdf5ba"),
    from_hex("0xabd29defd98c932a"),
    from_hex("0x280febc703c6f6bc"),
    from_hex("0x8421653ddb551263"),
    from_hex("0xd75332a308377a9a"),
    from_hex("0xe45ce859b4936b93"),
    from_hex("0xe78d6432dae2a36a"),
    from_hex("0x577b3e8e105daa7c"),
    from_hex("0x81b584e5beba6b37"),
    from_hex("0x0f68acc5174b4131"),
    from_hex("0x9778789f2bdcf224"),
    from_hex("0x2168764b99769f7b"),
    ],
    vec![from_hex("0x5a413448ea188080"),
    from_hex("0x477f5ced7153ebcb"),
    from_hex("0x5fd53ff5d03a419a"),
    from_hex("0x1a2c5db9b1d8920f"),
    from_hex("0xf72f9208355e32b9"),
    from_hex("0x48b703a56669bb32"),
    from_hex("0x7cc279c1c07bc372"),
    from_hex("0xd27e3611c012ce04"),
    from_hex("0xf16771e825f6e903"),
    from_hex("0x78e2f60a6f3be068"),
    from_hex("0x58e163e91557e816"),
    from_hex("0x5b73573f7a257c27"),
    from_hex("0x0061099de80b8dec"),
    from_hex("0x455a75647c9d9667"),
    from_hex("0x7098d056e4cf6d14"),
    from_hex("0x31678c815e7b8e0b"),
    from_hex("0xe492d70c4a3b9961"),
    from_hex("0x3229a663cdb553c1"),
    from_hex("0x991dbb8e6bb94f68"),
    from_hex("0xae0c1a23ab319d98"),
    ],
    vec![from_hex("0x68caee423f6c1ca8"),
    from_hex("0x88d5d56d052133ad"),
    from_hex("0x944cb4e601ab885b"),
    from_hex("0xad0ad397c02cb6b6"),
    from_hex("0x48eb1c25917f47ab"),
    from_hex("0x0b586ca072e551a5"),
    from_hex("0x7620eec7fdf7caf2"),
    from_hex("0xdc01964b2c304322"),
    from_hex("0xdfce38c4e7eeb165"),
    from_hex("0xc295f9569e1bb057"),
    from_hex("0xfaa09073be956353"),
    from_hex("0x2bcd086ac04a51a8"),
    from_hex("0xcebaf7d11c46f141"),
    from_hex("0x2d8c6f303321f3db"),
    from_hex("0xc6866bec13a24a73"),
    from_hex("0xf94822529997b647"),
    from_hex("0x2e7c7fb5dadf4875"),
    from_hex("0x7f217e80452ad2fd"),
    from_hex("0x960769bf3f80475b"),
    from_hex("0x6e474087b9c8ef41"),
    ],
    vec![from_hex("0x7a3c61782d3cdb1e"),
    from_hex("0x34f6202a97d34913"),
    from_hex("0x384eb863f122f34f"),
    from_hex("0x0dd0a16eeef9f245"),
    from_hex("0xc7b7a83c63c05ca0"),
    from_hex("0x5a9c01c5b1711fb3"),
    from_hex("0x622bd3594411269e"),
    from_hex("0x1411eedfa8800f63"),
    from_hex("0x63264ba3307daa57"),
    from_hex("0x650fcf71ce431a7c"),
    from_hex("0xb391425703d4db0b"),
    from_hex("0x2527ee4c34183aaa"),
    from_hex("0xbb8d239eb87d1b85"),
    from_hex("0x1fee0fb1866e793d"),
    from_hex("0xda1a1b59ed24ecbd"),
    from_hex("0xde4e502b21d3a750"),
    from_hex("0x0ecfcc5d86a85661"),
    from_hex("0xc6743030d6cdfff0"),
    from_hex("0x1fdd06ecbc98c107"),
    from_hex("0xdf68661118e969b4"),
    ],
    vec![from_hex("0xb4c4646b481ab94b"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x3a6dd8f34a4b672d"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xe4a13a0271f8c398"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xb8c4d81a0f3f87c6"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x3bb4717250f0add9"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x27ad39cf9b261444"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x153a3fc8b666d830"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x958023df70e2f9ba"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xe5a98af0507e5112"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xff4c17fffffd4ccb"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x3f033e0e60932043"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x79995f1fd8b0ed93"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x5fccc385058f90de"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x121495895f0337f2"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xea4329ff4a44fc89"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x9e582ef77f57587a"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xdd355989ec73626b"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xe1542c0dcd6602ad"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x9ce00cbfa5c788b7"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x5b5e142bd67da0e9"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xddae0051d202fd78"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0xe8d5708621548b09"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    from_hex("0x0000000000000000"),
    ],
    vec![from_hex("0x546948156f481f23"),
    from_hex("0xb969557898da1c1f"),
    from_hex("0xeb2fb3be05e81624"),
    from_hex("0x5fd250a0ded7ddfc"),
    from_hex("0x7abd52aa764e2a35"),
    from_hex("0xc8d101b1c0a4595e"),
    from_hex("0x300cb802ad939c00"),
    from_hex("0x16d4a6ac828e4842"),
    from_hex("0xd763f9f3377a0d88"),
    from_hex("0xb842c1778267fb5b"),
    from_hex("0x7998fca5e0508c18"),
    from_hex("0x08980b89d5d95b1e"),
    from_hex("0x5fc3c05cb8b2a5b7"),
    from_hex("0xe8263579c08b15ed"),
    from_hex("0x1c85bc5bdee01834"),
    from_hex("0x496efa05ae9f7e59"),
    from_hex("0x26cdfc330f0c6d44"),
    from_hex("0x2da38a687f2efd4e"),
    from_hex("0x242721a16c92bd03"),
    from_hex("0xd150bae390c7f3de"),
    ],
    vec![from_hex("0xa17440c7563bda85"),
    from_hex("0x1b52c08ccc72cffc"),
    from_hex("0x0853bbd066be2f8c"),
    from_hex("0xb140631d97249d92"),
    from_hex("0x31ed98f8f4e8bc2a"),
    from_hex("0xb7b4c6534fa6ad28"),
    from_hex("0xc31ae7f908b28f94"),
    from_hex("0xf2e7d14d33db910d"),
    from_hex("0x408cd1daa30e5d85"),
    from_hex("0x67635e708b67e913"),
    from_hex("0x0f41e00c44bbcddd"),
    from_hex("0x306ec73b35427165"),
    from_hex("0xb19cc1e7013a0c83"),
    from_hex("0x598948784a1d8dfb"),
    from_hex("0xcd0d07046113b3a4"),
    from_hex("0x9f5777a149e7100f"),
    from_hex("0x52e16bce7d6ce553"),
    from_hex("0x4dfd369bb3a4e49f"),
    from_hex("0x6721381077a7facf"),
    from_hex("0x84fae431fad2a352"),
    ],
    vec![from_hex("0xb57b0b6da95609a3"),
    from_hex("0x1f3487a56048fd5f"),
    from_hex("0x6de8f1ff46eb8de7"),
    from_hex("0x790ff3c21234db43"),
    from_hex("0x0fa75c59f4291147"),
    from_hex("0x41baef249921ddb6"),
    from_hex("0x8f3049fb127bec11"),
    from_hex("0x5d1239a25594fa4b"),
    from_hex("0x011956aca10824ee"),
    from_hex("0x25665f341261989b"),
    from_hex("0x7d12eaf643734d3c"),
    from_hex("0xeace4b846cd0a06b"),
    from_hex("0x6c7157cc1760a5ac"),
    from_hex("0xb0e83ddf39a63764"),
    from_hex("0xfab9e612681227fb"),
    from_hex("0x0cf7f0d62238655e"),
    from_hex("0xc32a0826ca5643bb"),
    from_hex("0x4fbd2e4d1bd8f2b0"),
    from_hex("0xc6c94a369f4ac8d5"),
    from_hex("0x8cf524c8b7774cb2"),
    ],
    vec![from_hex("0x8a8a7159ca118c8c"),
    from_hex("0x7020e0efee7c62ed"),
    from_hex("0xb82c8f0d0abaacf6"),
    from_hex("0xdb1b8170627bcabd"),
    from_hex("0x89f751dac47b2e6e"),
    from_hex("0xd5a68b7ad8b8ad75"),
    from_hex("0x01c2c6f90a9cb8a9"),
    from_hex("0x749f9c0919bff4f3"),
    from_hex("0x52713fb5d3f6e8d0"),
    from_hex("0x6c246db24bfafbd9"),
    from_hex("0x483e5244b3f8adf0"),
    from_hex("0x670755cdb87a4c39"),
    from_hex("0xa2bf8de7fd0b4d78"),
    from_hex("0x3334c74fce39902b"),
    from_hex("0x3885406d5ea81e21"),
    from_hex("0x8dfbd465694a0354"),
    from_hex("0xce8f5388e86080d9"),
    from_hex("0x89108c704fc3ced7"),
    from_hex("0xf4896b0b26d80f23"),
    from_hex("0xb4fd29f241f11176"),
    ],
    ];

    pub static ref POSEIDON2_GOLDILOCKS_8_PARAMS: Arc<Poseidon2Params<Scalar>> = Arc::new(Poseidon2Params::new(8, 7, 8, 22, &MAT_DIAG8_M_1, &MAT_INTERNAL8, &RC8)
    );
    
    pub static ref POSEIDON2_GOLDILOCKS_12_PARAMS: Arc<Poseidon2Params<Scalar>> = Arc::new(Poseidon2Params::new(12, 7, 8, 22, &MAT_DIAG12_M_1, &MAT_INTERNAL12, &RC12)
    );

    pub static ref POSEIDON2_GOLDILOCKS_16_PARAMS: Arc<Poseidon2Params<Scalar>> = Arc::new(Poseidon2Params::new(16, 7, 8, 22, &MAT_DIAG16_M_1, &MAT_INTERNAL16, &RC16)
    );

    pub static ref POSEIDON2_GOLDILOCKS_20_PARAMS: Arc<Poseidon2Params<Scalar>> = Arc::new(Poseidon2Params::new(20, 7, 8, 22, &MAT_DIAG20_M_1, &MAT_INTERNAL20, &RC20)
    );

}