pub trait Poseidon1Constants<const W: usize> {
const HALF_FULL_ROUNDS: usize;
const N_PARTIAL_ROUNDS: usize;
const RATE: usize;
const CAPACITY: usize;
const SPONGE_WIDTH: usize;
const C: &'static [u64];
const M: &'static [u64]; const P: &'static [u64]; const S: &'static [u64]; }
const POSEIDON1_12_C: [u64; 118] = [
0xb585f766f2144405,
0x7746a55f43921ad7,
0xb2fb0d31cee799b4,
0xf6760a4803427d7,
0xe10d666650f4e012,
0x8cae14cb07d09bf1,
0xd438539c95f63e9f,
0xef781c7ce35b4c3d,
0xcdc4a239b0c44426,
0x277fa208bf337bff,
0xe17653a29da578a1,
0xc54302f225db2c76,
0xac6c9c2b4418dd61,
0xe0888eb1e8a01286,
0x813dbe952b98904e,
0xcc3033609c9cf175,
0x72cebc82a59c0f82,
0x8150d8525753e741,
0xb1122c74b268d66e,
0x7c6ddd482375aa2,
0xa4dd6f1ef49fb6af,
0xd33b0d5b4f7ccfe5,
0xc523112247209124,
0x464804200134c32d,
0xcd09dea180de4f2c,
0xadb069225c93e4e6,
0xbf01209b8a7c8534,
0xb1eb37d319913823,
0xdadf943b8d3e5a0d,
0x6d15f3cb7a3520ba,
0xf07af62b134ef181,
0x568355076c6b0de6,
0x31ca4bf93cab68b8,
0xfbad37a125735ba,
0x9d3a9caaf1ac9e0a,
0x4f265810f020c095,
0x6a84c9524e81a8bc,
0x68ba410537925c79,
0x422604631b34b07a,
0x28e3a001f62f8290,
0x3adfdccb8f734d41,
0x73503e539baec66a,
0xe8c1fd0142d9849c,
0xe204ac13660546c5,
0x8e2bb3ea97a40c53,
0xac2800d1bf56548c,
0x9494dca005d180d0,
0xf36e1d066383ef53,
0x8aa35b97a0e03c04,
0xcf42a59addbd1f0c,
0xa43ace89f8fdbd79,
0x37585d8c243870c,
0x4ab94ee3e26596fe,
0xcee3abbb50d57b23,
0xac91a7101a5ec55b,
0x9173aa8462280d2d,
0xaec1ca46ccb95105,
0x57b2f2845db61e4a,
0x95704158500c90c6,
0x66e023b0e6c9df5f,
0x315f63f4fec360ba,
0xf3009795713abcf1,
0xf4decc3fb00765ee,
0x32620ac918682d50,
0x49717d63a5fc742e,
0x153516f22014ea2d,
0xcc316380a2761fe4,
0x2e49b3f7076d203d,
0x44ac3e9bf0a2dc89,
0x49d1e388d8e35c,
0x53ec867cb39989fa,
0xd2c9bcc8d65f5a62,
0xc0cc930ee8540455,
0x40651e0872505e8,
0x168973b2ebafbe6c,
0x9c7eecb3b40581c2,
0x389473bcdfca97a2,
0xb1cb0b3abe9753ad,
0x41afceccffdb18e6,
0x7bf841e237ccd6c9,
0x6082a3f101fb888,
0x8c1a39196f4163cc,
0xb56664760c1c9476,
0x2a02ac020d1eb5a3,
0x6a9d48e8aa83605d,
0x8a0d2f5c4c9c51b2,
0x75fc65575b284ad4,
0xadaedf7d1ce2a8dd,
0x235bc889cc83968e,
0xa8c30cf1781738f5,
0x546b2a846753bcf8,
0x9b68e8c06c04bd25,
0x3fdf80794ebb443b,
0x92ca132a9bec5a45,
0x76133eecfd9bd1ff,
0x3fb0fd5381054812,
0xf15925978dbd52ff,
0x2ee289ac37f0e879,
0xd8af8654e9a2e659,
0x8595bbd7f34c5e8a,
0x206ddbf781e47b2,
0xe101a767854a2f97,
0xf4d4f0a01072c996,
0x197aec2894aab642,
0x8d0c3911220db49b,
0xa62a8bad609227ca,
0x1e4813a7e7b9cbce,
0x6b547528731244eb,
0xd08e48512bfea84e,
0xb2920c88d3885857,
0x1f0cd5d7a309fcc2,
0x99a0ea0842fdb4fb,
0xc227210554b6c53d,
0x70e5269708f6f3a9,
0xbe8f71c8c98bb3bd,
0xf96fb39adc4baaf6,
0x7f9a7555c60fc6c7,
0xccaa5446d71fe6a5,
];
const POSEIDON1_12_M: [u64; 144] = [
0x19, 0x14, 0x22, 0x12, 0x27, 0xd, 0xd, 0x1c, 0x2, 0x10, 0x29, 0xf, 0xf, 0x11, 0x14, 0x22, 0x12, 0x27, 0xd, 0xd,
0x1c, 0x2, 0x10, 0x29, 0x29, 0xf, 0x11, 0x14, 0x22, 0x12, 0x27, 0xd, 0xd, 0x1c, 0x2, 0x10, 0x10, 0x29, 0xf, 0x11,
0x14, 0x22, 0x12, 0x27, 0xd, 0xd, 0x1c, 0x2, 0x2, 0x10, 0x29, 0xf, 0x11, 0x14, 0x22, 0x12, 0x27, 0xd, 0xd, 0x1c,
0x1c, 0x2, 0x10, 0x29, 0xf, 0x11, 0x14, 0x22, 0x12, 0x27, 0xd, 0xd, 0xd, 0x1c, 0x2, 0x10, 0x29, 0xf, 0x11, 0x14,
0x22, 0x12, 0x27, 0xd, 0xd, 0xd, 0x1c, 0x2, 0x10, 0x29, 0xf, 0x11, 0x14, 0x22, 0x12, 0x27, 0x27, 0xd, 0xd, 0x1c,
0x2, 0x10, 0x29, 0xf, 0x11, 0x14, 0x22, 0x12, 0x12, 0x27, 0xd, 0xd, 0x1c, 0x2, 0x10, 0x29, 0xf, 0x11, 0x14, 0x22,
0x22, 0x12, 0x27, 0xd, 0xd, 0x1c, 0x2, 0x10, 0x29, 0xf, 0x11, 0x14, 0x14, 0x22, 0x12, 0x27, 0xd, 0xd, 0x1c, 0x2,
0x10, 0x29, 0xf, 0x11,
];
const POSEIDON1_12_P: [u64; 144] = [
0x19,
0x78566230aa7cc5d0,
0xdbf23e50005e7f24,
0xb4a02c5c826d523e,
0x466d8f66a8f9fed5,
0x68da2264f65ec3e,
0xb59f9ff0ac6d5d78,
0xcfb03c902d447551,
0x2044ce14eaf8f5d9,
0xfb9373c8481e0f0d,
0x72af70cdcb99214f,
0xe3ef40eacc6ff78d,
0xf,
0x817bd8a7869ed1b5,
0x819f2c14a8366b1f,
0x7a5cf5b7b922e946,
0x727eca45c8d7bb71,
0x605a82c52b5ad2f1,
0x59ccc4d5184bc93a,
0x66c8bab2096cfd38,
0xeb4c0ce280c3e935,
0x17f9202c16676b2f,
0x9b6e5164ed35d878,
0x6fadc9347faeee81,
0x29,
0xd267254bea1097f4,
0x2dc10fce3233f443,
0xfa9db0de2d852e7a,
0xde2a0516f8c9d943,
0xe6fdf23648931b99,
0x3743057c07a5dbfa,
0xa6fdb8ebccc51667,
0x2c4916605e3dea58,
0xe95c10ae32e05085,
0x97f9b7d2cfc2ade5,
0x9b6e5164ed35d878,
0x10,
0x60c33ebd1e023f0a,
0xdb6945a20d277091,
0x383dd77e07998487,
0xe04ea1957ad8305c,
0xd499fcbf63fbd266,
0x462269e4b04620a5,
0x63c9679d8572a867,
0x81c44e9699915693,
0x62ecbe05e02433fc,
0xe95c10ae32e05085,
0x17f9202c16676b2f,
0x2,
0xa89ef32ae1462322,
0x77c1a153e73659e8,
0x2aec981be4b62ed5,
0xb70fb5f2b4f1f85f,
0x7c66d474cd2087cb,
0x39302966be7df654,
0xb827c807875511c0,
0xa4daffb3ffd0e78f,
0x81c44e9699915693,
0x2c4916605e3dea58,
0xeb4c0ce280c3e935,
0x1c,
0x6250f5f176d483e7,
0xaad1255d46e78f07,
0x8a00c7c83c762584,
0xc734f3829ed30b0c,
0xb1a0132288b1619b,
0x88685b4f0798dfd1,
0xfc02e869e21b72f8,
0xb827c807875511c0,
0x63c9679d8572a867,
0xa6fdb8ebccc51667,
0x66c8bab2096cfd38,
0xd,
0xe16a6c1dee3ba347,
0x13d316e45539aef4,
0x577e0472764f061d,
0x226a4dcf5db3316d,
0x3373035a3ca3dac6,
0x441f3a3747b5adb7,
0x88685b4f0798dfd1,
0x39302966be7df654,
0x462269e4b04620a5,
0x3743057c07a5dbfa,
0x59ccc4d5184bc93a,
0xd,
0xec9730136b7c2c05,
0xe1ecc5c21eec0646,
0x956d3c8b5528e064,
0x6df1d31fa84398f4,
0xf4898a1a3554ee49,
0x3373035a3ca3dac6,
0xb1a0132288b1619b,
0x7c66d474cd2087cb,
0xd499fcbf63fbd266,
0xe6fdf23648931b99,
0x605a82c52b5ad2f1,
0x27,
0x3cf7c3a39d94c236,
0x9e62c7d7b000cb0b,
0xe202be7ad7265af6,
0x82178371fa5fff69,
0x6df1d31fa84398f4,
0x226a4dcf5db3316d,
0xc734f3829ed30b0c,
0xb70fb5f2b4f1f85f,
0xe04ea1957ad8305c,
0xde2a0516f8c9d943,
0x727eca45c8d7bb71,
0x12,
0xb4707207455f57e3,
0x8e1de42b665c6706,
0xee7b04568203481,
0xe202be7ad7265af6,
0x956d3c8b5528e064,
0x577e0472764f061d,
0x8a00c7c83c762584,
0x2aec981be4b62ed5,
0x383dd77e07998487,
0xfa9db0de2d852e7a,
0x7a5cf5b7b922e946,
0x22,
0xaadb39e83e76a9e0,
0xcd9bf0bd292c5fda,
0x8e1de42b665c6706,
0x9e62c7d7b000cb0b,
0xe1ecc5c21eec0646,
0x13d316e45539aef4,
0xaad1255d46e78f07,
0x77c1a153e73659e8,
0xdb6945a20d277091,
0x2dc10fce3233f443,
0x819f2c14a8366b1f,
0x14,
0x32f8ae916e567d39,
0xaadb39e83e76a9e0,
0xb4707207455f57e3,
0x3cf7c3a39d94c236,
0xec9730136b7c2c05,
0xe16a6c1dee3ba347,
0x6250f5f176d483e7,
0xa89ef32ae1462322,
0x60c33ebd1e023f0a,
0xd267254bea1097f4,
0x817bd8a7869ed1b5,
];
const POSEIDON1_12_S: [u64; 506] = [
0x19,
0x3d999c961b7c63b0,
0x814e82efcd172529,
0x2421e5d236704588,
0x887af7d4dd482328,
0xa5e9c291f6119b27,
0xbdc52b2676a4b4aa,
0x64832009d29bcf57,
0x9c4155174a552cc,
0x463f9ee03d290810,
0xc810936e64982542,
0x43b1c289f7bc3ac,
0x94877900674181c3,
0xc6c67cc37a2a2bbd,
0xd667c2055387940f,
0xba63a63e94b5ff0,
0x99460cc41b8f079f,
0x7ff02375ed524bb3,
0xea0870b47a8caf0e,
0xabcad82633b7bc9d,
0x3b8d135261052241,
0xfb4515f5e5b0d539,
0x3ee8011c2b37f77c,
0x19,
0x673655aae8be5a8b,
0xd510fe714f39fa10,
0x2c68a099b51c9e73,
0xa667bfa9aa96999d,
0x4d67e72f063e2108,
0xf84dde3e6acda179,
0x40f9cc8c08f80981,
0x5ead032050097142,
0x6591b02092d671bb,
0xe18c71963dd1b7,
0x8a21bcd24a14218a,
0xadef3740e71c726,
0xa37bf67c6f986559,
0xc6b16f7ed4fa1b00,
0x6a065da88d8bfc3c,
0x4cabc0916844b46f,
0x407faac0f02e78d1,
0x7a786d9cf0852cf,
0x42433fb6949a629a,
0x891682a147ce43b0,
0x26cfd58e7b003b55,
0x2bbf0ed7b657acb3,
0x19,
0x202800f4addbdc87,
0xe4b5bdb1cc3504ff,
0xbe32b32a825596e7,
0x8e0f68c5dc223b9a,
0x58022d9e1c256ce3,
0x584d29227aa073ac,
0x8b9352ad04bef9e7,
0xaead42a3f445ecbf,
0x3c667a1d833a3cca,
0xda6f61838efa1ffe,
0xe8f749470bd7c446,
0x481ac7746b159c67,
0xe367de32f108e278,
0x73f260087ad28bec,
0x5cfc82216bc1bdca,
0xcaccc870a2663a0e,
0xdb69cd7b4298c45d,
0x7bc9e0c57243e62d,
0x3cc51c5d368693ae,
0x366b4e8cc068895b,
0x2bd18715cdabbca4,
0xa752061c4f33b8cf,
0x19,
0xc5b85bab9e5b3869,
0x45245258aec51cf7,
0x16e6b8e68b931830,
0xe2ae0f051418112c,
0x470e26a0093a65b,
0x6bef71973a8146ed,
0x119265be51812daf,
0xb0be7356254bea2e,
0x8584defff7589bd7,
0x3c5fe4aeb1fb52ba,
0x9e7cd88acf543a5e,
0xb22d2432b72d5098,
0x9e18a487f44d2fe4,
0x4b39e14ce22abd3c,
0x9e77fde2eb315e0d,
0xca5e0385fe67014d,
0xc2cb99bf1b6bddb,
0x99ec1cd2a4460bfe,
0x8577a815a2ff843f,
0x7d80a6b4fd6518a5,
0xeb6c67123eab62cb,
0x8f7851650eca21a5,
0x19,
0x179be4bba87f0a8c,
0xacf63d95d8887355,
0x6696670196b0074f,
0xd99ddf1fe75085f9,
0xc2597881fef0283b,
0xcf48395ee6c54f14,
0x15226a8e4cd8d3b6,
0xc053297389af5d3b,
0x2c08893f0d1580e2,
0xed3cbcff6fcc5ba,
0xc82f510ecf81f6d0,
0x11ba9a1b81718c2a,
0x9f7d798a3323410c,
0xa821855c8c1cf5e5,
0x535e8d6fac0031b2,
0x404e7c751b634320,
0xa729353f6e55d354,
0x4db97d92e58bb831,
0xb53926c27897bf7d,
0x965040d52fe115c5,
0x9565fa41ebd31fd7,
0xaae4438c877ea8f4,
0x19,
0x94b06183acb715cc,
0x500392ed0d431137,
0x861cc95ad5c86323,
0x5830a443f86c4ac,
0x3b68225874a20a7c,
0x10b3309838e236fb,
0x9b77fc8bcd559e2c,
0xbdecf5e0cb9cb213,
0x30276f1221ace5fa,
0x7935dd342764a144,
0xeac6db520bb03708,
0x37f4e36af6073c6e,
0x4edc0918210800e9,
0xc44998e99eae4188,
0x9f4310d05d068338,
0x9ec7fe4350680f29,
0xc5b2c1fdc0b50874,
0xa01920c5ef8b2ebe,
0x59fa6f8bd91d58ba,
0x8bfc9eb89b515a82,
0xbe86a7a2555ae775,
0xcbb8bbaa3810babf,
0x19,
0x7186a80551025f8f,
0x622247557e9b5371,
0xc4cbe326d1ad9742,
0x55f1523ac6a23ea2,
0xa13dfe77a3d52f53,
0xe30750b6301c0452,
0x8bd488070a3a32b,
0xcd800caef5b72ae3,
0x83329c90f04233ce,
0xb5b99e6664a0a3ee,
0x6b0731849e200a7f,
0x577f9a9e7ee3f9c2,
0x88c522b949ace7b1,
0x82f07007c8b72106,
0x8283d37c6675b50e,
0x98b074d9bbac1123,
0x75c56fb7758317c1,
0xfed24e206052bc72,
0x26d7c3d1bc07dae5,
0xf88c5e441e28dbb4,
0x4fe27f9f96615270,
0x514d4ba49c2b14fe,
0x19,
0xec3fabc192b01799,
0x382b38cee8ee5375,
0x3bfb6c3f0e616572,
0x514abd0cf6c7bc86,
0x47521b1361dcc546,
0x178093843f863d14,
0xad1003c5d28918e7,
0x738450e42495bc81,
0xaf947c59af5e4047,
0x4653fb0685084ef2,
0x57fde2062ae35bf,
0xf02a3ac068ee110b,
0xa3630dafb8ae2d7,
0xce0dc874eaf9b55c,
0x9a95f6cff5b55c7e,
0x626d76abfed00c7b,
0xa0c1cf1251c204ad,
0xdaebd3006321052c,
0x3d4bd48b625a8065,
0x7f1e584e071f6ed2,
0x720574f0501caed3,
0xe3260ba93d23540a,
0x19,
0xe376678d843ce55e,
0x66f3860d7514e7fc,
0x7817f3dfff8b4ffa,
0x3929624a9def725b,
0x126ca37f215a80a,
0xfce2f5d02762a303,
0x1bc927375febbad7,
0x85b481e5243f60bf,
0x2d3c5f42a39c91a0,
0x811719919351ae8,
0xf669de0add993131,
0xab1cbd41d8c1e335,
0x9322ed4c0bc2df01,
0x51c3c0983d4284e5,
0x94178e291145c231,
0xfd0f1a973d6b2085,
0xd427ad96e2b39719,
0x8a52437fecaac06b,
0xdc20ee4b8c4c9a80,
0xa2c98e9549da2100,
0x1603fe12613db5b6,
0xe174929433c5505,
0x19,
0x7de38bae084da92d,
0x5b848442237e8a9b,
0xf6c705da84d57310,
0x31e6a4bdb6a49017,
0x889489706e5c5c0f,
0xe4a205459692a1b,
0xbac3fa75ee26f299,
0x5f5894f4057d755e,
0xb0dc3ecd724bb076,
0x5e34d8554a6452ba,
0x4f78fd8c1fdcc5f,
0x3d4eab2b8ef5f796,
0xcfff421583896e22,
0x4143cb32d39ac3d9,
0x22365051b78a5b65,
0x6f7fd010d027c9b6,
0xd9dd36fba77522ab,
0xa44cf1cb33e37165,
0x3fc83d3038c86417,
0xc4588d418e88d270,
0xce1320f10ab80fe2,
0xdb5eadbbec18de5d,
0x19,
0x4dd19c38779512ea,
0xdb79ba02704620e9,
0x92a29a3675a5d2be,
0xd5177029fe495166,
0xd32b3298a13330c1,
0x251c4a3eb2c5f8fd,
0xe1c48b26e0d98825,
0x3301d3362a4ffccb,
0x9bb6c88de8cd178,
0xdc05b676564f538a,
0x60192d883e473fee,
0x1183dfce7c454afd,
0x21cea4aa3d3ed949,
0xfce6f70303f2304,
0x19557d34b55551be,
0x4c56f689afc5bbc9,
0xa1e920844334f944,
0xbad66d423d2ec861,
0xf318c785dc9e0479,
0x99e2032e765ddd81,
0x400ccc9906d66f45,
0xe1197454db2e0dd9,
0x19,
0x16b9774801ac44a0,
0x3cb8411e786d3c8e,
0xa86e9cf505072491,
0x178928152e109ae,
0x5317b905a6e1ab7b,
0xda20b3be7f53d59f,
0xcb97dedecebee9ad,
0x4bd545218c59f58d,
0x77dc8d856c05a44a,
0x87948589e4f243fd,
0x7e5217af969952c2,
0x84d1ecc4d53d2ff1,
0xd8af8b9ceb4e11b6,
0x335856bb527b52f4,
0xc756f17fb59be595,
0xc0654e4ea5553a78,
0x9e9a46b61f2ea942,
0x14fc8b5b3b809127,
0xd7009f0f103be413,
0x3e0ee7b7a9fb4601,
0xa74e888922085ed7,
0xe80a7cde3d4ac526,
0x19,
0xbc58987d06a84e4d,
0xb5d420244c9cae3,
0xa3c4711b938c02c0,
0x3aace640a3e03990,
0x865a0f3249aacd8a,
0x8d00b2a7dbed06c7,
0x6eacb905beb7e2f8,
0x45322b216ec3ec7,
0xeb9de00d594828e6,
0x88c5f20df9e5c26,
0xf555f4112b19781f,
0x238aa6daa612186d,
0x9137a5c630bad4b4,
0xc7db3817870c5eda,
0x217e4f04e5718dc9,
0xcae814e2817bd99d,
0xe3292e7ab770a8ba,
0x7bb36ef70b6b9482,
0x3c7835fb85bca2d3,
0xfe2cdf8ee3c25e86,
0x61b3915ad7274b20,
0xeab75ca7c918e4ef,
0x19,
0xa8cedbff1813d3a7,
0x50dcaee0fd27d164,
0xf1cb02417e23bd82,
0xfaf322786e2abe8b,
0x937a4315beb5d9b6,
0x1b18992921a11d85,
0x7d66c4368b3c497b,
0xe7946317a6b4e99,
0xbe4430134182978b,
0x3771e82493ab262d,
0xa671690d8095ce82,
0xd6e15ffc055e154e,
0xec67881f381a32bf,
0xfbb1196092bf409c,
0xdc9d2e07830ba226,
0x698ef3245ff7988,
0x194fae2974f8b576,
0x7a5d9bea6ca4910e,
0x7aebfea95ccdd1c9,
0xf9bd38a67d5f0e86,
0xfa65539de65492d8,
0xf0dfcbe7653ff787,
0x19,
0xb035585f6e929d9d,
0xba1579c7e219b954,
0xcb201cf846db4ba3,
0x287bf9177372cf45,
0xa350e4f61147d0a6,
0xd5d0ecfb50bcff99,
0x2e166aa6c776ed21,
0xe1e66c991990e282,
0x662b329b01e7bb38,
0x8aa674b36144d9a9,
0xcbabf78f97f95e65,
0xbd87ad390420258,
0xad8617bca9e33c8,
0xc00ad377a1e2666,
0xac6fc58b3f0518f,
0xc0cc8a892cc4173,
0xc210accb117bc21,
0xb73630dbb46ca18,
0xc8be4920cbd4a54,
0xbfe877a21be1690,
0xae790559b0ded81,
0xbf50db2f8d6ce31,
0x19,
0xeec24b15a06b53fe,
0xc8a7aa07c5633533,
0xefe9c6fa4311ad51,
0xb9173f13977109a1,
0x69ce43c9cc94aedc,
0xecf623c9cd118815,
0x28625def198c33c7,
0xccfc5f7de5c3636a,
0xf5e6c40f1621c299,
0xcec0e58c34cb64b1,
0xa868ea113387939f,
0xcf29427ff7c58,
0xbd9b3cf49eec8,
0xd1dc8aa81fb26,
0xbc792d5c394ef,
0xd2ae0b2266453,
0xd413f12c496c1,
0xc84128cfed618,
0xdb5ebd48fc0d4,
0xd1b77326dcb90,
0xbeb0ccc145421,
0xd10e5b22b11d1,
0x19,
0xd8dddbdc5ce4ef45,
0xacfc51de8131458c,
0x146bb3c0fe499ac0,
0x9e65309f15943903,
0x80d0ad980773aa70,
0xf97817d4ddbf0607,
0xe4626620a75ba276,
0xdfdc7fd6fc74f66,
0xf464864ad6f2bb93,
0x2d55e52a5d44414,
0xdd8de62487c40925,
0xe24c99adad8,
0xcf389ed4bc8,
0xe580cbf6966,
0xcde5fd7e04f,
0xe63628041b3,
0xe7e81a87361,
0xdabe78f6d98,
0xefb14cac554,
0xe5574743b10,
0xd05709f42c1,
0xe4690c96af1,
0x19,
0xc15acf44759545a3,
0xcbfdcf39869719d4,
0x33f62042e2f80225,
0x2599c5ead81d8fa3,
0xb306cb6c1d7c8d0,
0x658c80d3df3729b1,
0xe8d1b2b21b41429c,
0xa1b67f09d4b3ccb8,
0xe1adf8b84437180,
0xd593a5e584af47b,
0xa023d94c56e151c7,
0xf7157bc98,
0xe3006d948,
0xfa65811e6,
0xe0d127e2f,
0xfc18bfe53,
0xfd002d901,
0xeed6461d8,
0x1068562754,
0xfa0236f50,
0xe3af13ee1,
0xfa460f6d1,
0x19,
0x49026cc3a4afc5a6,
0xe06dff00ab25b91b,
0xab38c561e8850ff,
0x92c3c8275e105eeb,
0xb65256e546889bd0,
0x3c0468236ea142f6,
0xee61766b889e18f2,
0xa206f41b12c30415,
0x2fe9d756c9f12d1,
0xe9633210630cbf12,
0x1ffea9fe85a0b0b1,
0x11131738,
0xf56d588,
0x11050f86,
0xf848f4f,
0x111527d3,
0x114369a1,
0x106f2f38,
0x11e2ca94,
0x110a29f0,
0xfa9f5c1,
0x10f625d1,
0x19,
0x81d1ae8cc50240f3,
0xf4c77a079a4607d7,
0xed446b2315e3efc1,
0xb0a6b70915178c3,
0xb11ff3e089f15d9a,
0x1d4dba0b7ae9cc18,
0x65d74e2f43b48d05,
0xa2df8c6b8ae0804a,
0xa4e6f0a8c33348a6,
0xc0a26efc7be5669b,
0xa6b6582c547d0d60,
0x11f718,
0x10b6c8,
0x134a96,
0x10cf7f,
0x124d03,
0x13f8a1,
0x117c58,
0x132c94,
0x134fc0,
0x10a091,
0x128961,
0x19,
0x84afc741f1c13213,
0x2f8f43734fc906f3,
0xde682d72da0a02d9,
0xbb005236adb9ef2,
0x5bdf35c10a8b5624,
0x739a8a343950010,
0x52f515f44785cfbc,
0xcbaf4e5d82856c60,
0xac9ea09074e3e150,
0x8f0fa011a2035fb0,
0x1a37905d8450904a,
0x1300,
0x1750,
0x114e,
0x131f,
0x167b,
0x1371,
0x1230,
0x182c,
0x1368,
0xf31,
0x15c9,
0x19,
0x3abeb80def61cc85,
0x9d19c9dd4eac4133,
0x75a652d9641a985,
0x9daf69ae1b67e667,
0x364f71da77920a18,
0x50bd769f745c95b1,
0xf223d1180dbbf3fc,
0x2f885e584e04aa99,
0xb69a0fa70aea684a,
0x9584acaa6e062a0,
0xbc051640145b19b,
0x14,
0x22,
0x12,
0x27,
0xd,
0xd,
0x1c,
0x2,
0x10,
0x29,
0xf,
];
pub struct Poseidon1_12;
impl Poseidon1Constants<12> for Poseidon1_12 {
const HALF_FULL_ROUNDS: usize = 4;
const N_PARTIAL_ROUNDS: usize = 22;
const RATE: usize = 8;
const CAPACITY: usize = 4;
const SPONGE_WIDTH: usize = 12;
const C: &'static [u64] = &POSEIDON1_12_C;
const M: &'static [u64] = &POSEIDON1_12_M;
const P: &'static [u64] = &POSEIDON1_12_P;
const S: &'static [u64] = &POSEIDON1_12_S;
}
pub struct Poseidon1_8;
const POSEIDON1_8_C: [u64; 86] = [
0xdd5743e7f2a5a5d9,
0xcb3a864e58ada44b,
0xffa2449ed32f8cdc,
0x42025f65d6bd13ee,
0x7889175e25506323,
0x34b98bb03d24b737,
0xbdcc535ecc4faa2a,
0x5b20ad869fc0d033,
0x1b57a746dea84f4c,
0x50bbb2686f81755e,
0x4d5f68f1740d792c,
0xa043cd5b7ed04106,
0x13a22eee07290ec0,
0xa8e4c603b97b1f1c,
0xcaf3bb33984f4c35,
0x2237395f47c3a79b,
0x145d3fa60fc27d56,
0xdc5da077fbe79f2a,
0x6a73ec43018c6e9a,
0x96b606982f341db2,
0xe2e936a126e5432c,
0x6f7eaf2827a2e1a5,
0x26096ef1c1bcd960,
0xf00d1c77dc7b7891,
0x54cd1aab9a5d8daf,
0x6b468598936fff19,
0x51a5d11e46787b9f,
0x4a612c07fada626e,
0xb082fae370106181,
0x71bed2417c9bc788,
0x9cca7bcd6f3ee2ae,
0xb896a56a6a83d1a1,
0xc9bc62e69d8e0e1e,
0xe1f6a36dd3529d41,
0xc79b3a42ed0999fc,
0x424019c4189ea767,
0x60174c5658cf563,
0x8f9c99b86098af5,
0xbf19ed7c658259aa,
0xccb0e4afd1756065,
0x53791c01c257859a,
0x37d96efa2d78e3ee,
0x3b6a3907308f7e03,
0x800abc632367cce2,
0xd73b06a4873353d8,
0xca19b89c740621a5,
0xedeb2bb18028aa45,
0xcb6b1a12f4d7c745,
0xae2bb8d1162fb993,
0xeb7b93c255765687,
0xa533f841c4805499,
0x957de0a4acc3901d,
0x237c0509ce5ea46c,
0x2a41ed517f3d0494,
0xe5892e37dca238a6,
0x35336d9124716167,
0xc2754c57579b8734,
0xab7050a90a09cd2e,
0xe0895fb5091a135c,
0x4e891bcd6b7b1603,
0x7194b09127c2ff29,
0x55380cb2d1e08ccd,
0xf99de7064756bc9c,
0x104fda53cbdf4ddf,
0x84e4885abb3adcd,
0xf5b9f3e005bca1c4,
0x5d1ab468c8cc61d5,
0x1ef18b14c2b6046,
0xe0e146b3c1391708,
0x1359a8262f052415,
0xf9a4c989fce111ba,
0xd3a603b68ff2ebd7,
0x7db2e92a80a924af,
0xe5e30f76dc8a51ef,
0x3fe0f3917cfa3b57,
0x1c9ed29809d4de92,
0x3fb8429824d63647,
0xc671ea8938714dbc,
0x3600df7db02ff34f,
0xd277c38818352834,
0x11fc9a10bc74dbd4,
0x48c2b4be1407c359,
0xe56de42c420af7d7,
0x5493d66f6720ae5,
0x6e752ac3fb306d9c,
0xdc78d4cb75f74b00,
];
const POSEIDON1_8_M: [u64; 64] = [
0x7, 0x9, 0x4, 0x3, 0x8, 0x8, 0x3, 0x1, 0x1, 0x7, 0x9, 0x4, 0x3, 0x8, 0x8, 0x3, 0x3, 0x1, 0x7, 0x9, 0x4, 0x3, 0x8,
0x8, 0x8, 0x3, 0x1, 0x7, 0x9, 0x4, 0x3, 0x8, 0x8, 0x8, 0x3, 0x1, 0x7, 0x9, 0x4, 0x3, 0x3, 0x8, 0x8, 0x3, 0x1, 0x7,
0x9, 0x4, 0x4, 0x3, 0x8, 0x8, 0x3, 0x1, 0x7, 0x9, 0x9, 0x4, 0x3, 0x8, 0x8, 0x3, 0x1, 0x7,
];
const POSEIDON1_8_P: [u64; 64] = [
0x7,
0xf31471ab0a1e0a41,
0xdab1bda0502d2cb4,
0xf3ef7c45fd286775,
0xfa5a2faab69c0f97,
0x2ad0c28796b63bf1,
0xf2a4758235cba3ad,
0x465641efa09f5482,
0x1,
0xbfba9c5aaab8b495,
0xf9ad2c9cdf99df54,
0x76dcb846e7b768a1,
0x278fd24979a63fbe,
0x8257d0678238958d,
0x5af810d2005056c8,
0x4f4c4741f06d78a6,
0x3,
0x19cc21ee6d8de34a,
0xa989a52da53d7890,
0x45d3f8fb9f5ac51d,
0x5b503cdd6f64fdfd,
0xc0759c2e5b653f2f,
0xc27c343f0865396b,
0x5af810d2005056c8,
0x8,
0x6313d7ec48a3cb0e,
0x6b2614f87c55a982,
0x5b187cdb1241f2be,
0xd9b6a3ef5535b722,
0xf1b1054749c25098,
0xc0759c2e5b653f2f,
0x8257d0678238958d,
0x8,
0x4ac8223c931e7f45,
0xf3e6834557e72fd4,
0xacfb642052c7ae5e,
0x9f11a329c9767a03,
0xd9b6a3ef5535b722,
0x5b503cdd6f64fdfd,
0x278fd24979a63fbe,
0x3,
0x836c0730603b4d92,
0x6f1d33fe290759f4,
0xfb78ae1cb921b576,
0xacfb642052c7ae5e,
0x5b187cdb1241f2be,
0x45d3f8fb9f5ac51d,
0x76dcb846e7b768a1,
0x4,
0x99ccc08e53d72b41,
0x97e19ffee5d85138,
0x6f1d33fe290759f4,
0xf3e6834557e72fd4,
0x6b2614f87c55a982,
0xa989a52da53d7890,
0xf9ad2c9cdf99df54,
0x9,
0xe9aa2c3bf5f61419,
0x99ccc08e53d72b41,
0x836c0730603b4d92,
0x4ac8223c931e7f45,
0x6313d7ec48a3cb0e,
0x19cc21ee6d8de34a,
0xbfba9c5aaab8b495,
];
const POSEIDON1_8_S: [u64; 330] = [
0x7,
0x87f71e79377a9025,
0xe9a710e71943d022,
0xa5e28b60edc5d861,
0x50796564b26647a1,
0x5299f4fcbd031481,
0x81fad656fd507a78,
0x97d75929506213fd,
0x32ad163f59790337,
0x78f308c90c7f3fbe,
0xf012851e1ee11a02,
0xb345ebcc89a81aa1,
0x27088f37225890b2,
0xa32ce5ce6051c1ab,
0x22cced0dab6c719c,
0x7,
0xe3c43152f9c92e44,
0xc8c46bd5b280ac14,
0x6e15ecd6f4c35124,
0x8cbd796b61b59da6,
0x277233e561d0098,
0x3ca661c37398ed00,
0x305d5847921ef4de,
0xefb56b8a2ec946e3,
0xb8a6ef0034d0b6f0,
0xdd54060c472c5990,
0x7ea40d085d04a7ee,
0xf02181bae73a3395,
0x4d9d2b84dc1279df,
0x3d440ae4d45d0171,
0x7,
0x31d9745e1740b959,
0xe26197892d184455,
0xac0e330304cc69f5,
0x5994da04124baeed,
0x2fd4f0f955f59060,
0x66a3afcbeefe64d3,
0x569270622736d467,
0xe154c020961eb047,
0xb1a1cde7e02ee425,
0xa955d3a3227146b6,
0x58636448f4aae843,
0xc6b5aa2ee114af28,
0xc5c15ffda391d5de,
0xf3ad13818cef5ff4,
0x7,
0xc6d433e01ff853c2,
0x4e87a0ba7ad387d9,
0xfa5f5a4497a28f8c,
0xa1d31bd0fd6cee0d,
0x447558dda0fca9d2,
0x1f3df29c4ba274d2,
0xefc695c1a06b5e29,
0xd7b699b995ace334,
0xb4b4c8f28b753f6f,
0x14e857ed76f61ed4,
0x7156d3b41e603762,
0x9ecba94be05c2b91,
0x81313f455a0db02f,
0x40d0455c62802d77,
0x7,
0xee76eb5bce4628ce,
0x86b4824609906408,
0x19cf98045337c556,
0x3dc949beae882d95,
0xf34d1c1a2bffb23b,
0xe5006164214ab7e,
0x638777f52a5fd8aa,
0xa942e25e9057f552,
0xff01f27bac0e47f4,
0xc78f957d2eda657,
0x85bf4dc7ef9ec57f,
0x8e40f74107f49a0f,
0x609bf41ecb9da62,
0xd81589207ee959de,
0x7,
0x99b2babe4238b7b2,
0xe57b3f1d9ff2c345,
0x473a468da6ee6eb2,
0xc3b1fb23bb42f2e6,
0xea9d5a42971b2de6,
0x6021f003d49b4eb3,
0xababe47f527c1570,
0x7f2701858b4a19af,
0x3d3c942936c0c8eb,
0xa34dec8fbbb2e17f,
0xa0281e0482a22888,
0x15e465a9ada1a4e9,
0xf03b1b06b0700e30,
0x61bd83d2b1024f86,
0x7,
0x6355ead91c09bc1,
0x8e2c8f0f6b566922,
0xaea78e9efa9bca6b,
0xe23351cf51373275,
0xcff17b7a68e71ef,
0x127041ee7d33a524,
0x404bf438d597a3b7,
0x7b5d0cd6f1bc188f,
0xd53d2541f0bbb9c8,
0x542f6e9b81ce0d8c,
0x2632473867f1f2b7,
0x259326c023a849ff,
0xb9990d48f3203e2f,
0x70b667b990b33aca,
0x7,
0x489d781b3f3a5935,
0x52fd8b5f1f79ffdb,
0xc8dc383a945d6040,
0x39dc27c853bdc61e,
0x935533e874d7336e,
0x70977a356dc5be55,
0x45b3620a2fa2064c,
0xce5081c9de28b430,
0xe64bbd2f16619129,
0x1fa7a385a9d1c69b,
0x3793e2da9007b33d,
0x5b171c7fbfcb4062,
0xf15baa29999af68d,
0xa1ef7cd1fd7f16d,
0x7,
0xa8bd1e78c65ee36b,
0xf1115eaceb93922b,
0x804f31f77720df51,
0x5d3c93d9985c6f54,
0x84be2bbfd2d6e17d,
0x8102fa427994ff2e,
0x43b046e5b5ea1bfa,
0x2ed8df1e32486695,
0x5dd4b0670385c756,
0xa1d2c7573303c896,
0x36ebbfef51c1a88f,
0x30825cfb015c6612,
0x69a55a5f3a5919b3,
0x32ad1ac4666840bb,
0x7,
0x28d4b1a8df7e7fdd,
0xebc652e1bd7ef764,
0x68181f854341a4d6,
0x9fe0944308f9fa6f,
0xe5ad2d306f184cd1,
0x9f71dd3bcfa5b91,
0x4b96324c43a120c0,
0x139057a9b400f853,
0x5f994bb2f0960ca7,
0x97cc1cdf77c44eab,
0x4a2bc5fc545e1838,
0x2134bc519118037d,
0x6d82b8740d2cd006,
0xb6d726d4e6c9d57e,
0x7,
0x47b0ef871959596f,
0x210e6b33e152c1c4,
0xef1e1b8a93e912a4,
0xeeea583f5d2fe6bf,
0x4cc6292f77a677b7,
0xccca27b4ba09452c,
0x72856315fbff06fc,
0xe1e126c58ebb762,
0x1023070e2c6a4d13,
0x11a1279ed6bc4746,
0xf916152eb28510c,
0xe7ad335ffb68adc,
0x10819d309f7a78f6,
0x1274373b57e261e8,
0x7,
0xcca278e386093cb3,
0x339d08cb01c3b0d8,
0x15d349706c1b536d,
0x55e97deb9ff7d1a3,
0x18db92c7ae28c8ae,
0x1233c8437758fe7b,
0x46f4f6f9971b5340,
0x5ffb8d542787c5,
0x6db6d23dd5d611,
0x77dd3f5feb0df4,
0x69d86eb80c63af,
0x6272270f5f8cea,
0x7039e277201e76,
0x7d782a4360083a,
0x7,
0xef59fa303bd6d618,
0x65d9f5595d552fd7,
0x9323e8fffddc5c7,
0x6c86cb69c39c08c1,
0x7065177745cf44c,
0xca0931b72288f86d,
0x78c07a46219bcd10,
0x28c918053024a,
0x2e9f9e5caa422,
0x32ef5f1ef4b9a,
0x2cf998dcff118,
0x29d5036902d74,
0x2fb0d4a70de09,
0x3551044fd9895,
0x7,
0x7d3a5c4d512c877b,
0xe88f64b854a444b9,
0x853d6dd336538c43,
0x7ede92f4561422d3,
0x603de647786027a3,
0x580eea1a7c863e41,
0xc91d96af8e0bccda,
0x11551b8f756b,
0x13d06968d4ab,
0x15a455668bf0,
0x131bbc22e1cc,
0x11c6ef2ffac5,
0x14447c8d3bc6,
0x16a76162ef02,
0x7,
0x48f3c7f75edf4dfa,
0xade6fed3a09bb1db,
0x4cd0b1fa9299aa76,
0xbe960821efcf4e47,
0x1b92c6520b1da24c,
0x3d61fb662bf695c6,
0xc80f616b6dd5b3d4,
0x75e42bfe58,
0x86b56de2de,
0x93158e6471,
0x81e983e35a,
0x78eabb43bb,
0x89cb565d66,
0x99f91187fe,
0x7,
0xaaa27f98598bd332,
0x36365bad998095da,
0xbca994ac4cbeee93,
0x1a1d31e957787afa,
0x65911cfc3445cf9c,
0xbe2609b4a115c462,
0x913fe599bebf7ac6,
0x3221414f4,
0x392e2fc0b,
0x3e7a3c11f,
0x37469658f,
0x336bcf1aa,
0x3a7f5e670,
0x416af2fcb,
0x7,
0xa4d18519f8d84670,
0xdc6cd4873823a33b,
0xa47d6a4d7ced49f5,
0xa99ede65e0f474ce,
0x122e82d8e8c30ecc,
0x99190abc95a28d18,
0xeafbee03c98fe94f,
0x15457220,
0x1839cc56,
0x1a9bbae2,
0x179759c6,
0x15d2c4af,
0x18c9fd5c,
0x1bdc8357,
0x7,
0xeb9097adad99cb56,
0x71e2d9c61dd80963,
0xacc9b9562634c456,
0xcca2b42bf4df0e2f,
0x2e20970ea5e7a295,
0x775c4d644c31b959,
0xd5f6ed104db51418,
0x8f2045,
0xa4b7b2,
0xb6c4dc,
0xa0cd5d,
0x92d101,
0xa87a0d,
0xbf0a38,
0x7,
0x38c8ba72bd273b5b,
0x436279b86ac67ffc,
0xee1fb4b6b7caa06e,
0xf5e53da38daf774d,
0x8b99fa1130f54777,
0x155386e77e72631a,
0xaacce633466a0b52,
0x3b983,
0x47d04,
0x4eaa8,
0x42506,
0x3cfd2,
0x49358,
0x51bfb,
0x7,
0x8df4a6d4c3c17d65,
0xeafdb6970f358601,
0xda73737c166e6867,
0x75f03dd246cb6fd1,
0xddf72a97d6dfd0b4,
0x3a321e0314dd7e43,
0x312daa5f5ef9b3de,
0x1a12,
0x20e7,
0x1fd3,
0x18d8,
0x1a74,
0x215f,
0x210a,
0x7,
0x450dc6978c1fa813,
0x75986e8d36a0955d,
0x63565754068b23d1,
0x8ea5753c4fec5f2f,
0xaf19657c399db8de,
0x6728f8ab0c7bd224,
0xa840900458c624b5,
0xd9,
0xe3,
0x9d,
0x97,
0xe6,
0xef,
0xad,
0x7,
0xe9daaf7b05934bb7,
0xbd70295c5c025e02,
0x33d444e5aa38606e,
0x905e30867dadf535,
0x98fee8eae052ba3a,
0xae0d24e82d79a15b,
0x1317e3d7aedc7603,
0x9,
0x4,
0x3,
0x8,
0x8,
0x3,
0x1,
];
impl Poseidon1Constants<8> for Poseidon1_8 {
const HALF_FULL_ROUNDS: usize = 4;
const N_PARTIAL_ROUNDS: usize = 22;
const RATE: usize = 4;
const CAPACITY: usize = 4;
const SPONGE_WIDTH: usize = 8;
const C: &'static [u64] = &POSEIDON1_8_C;
const M: &'static [u64] = &POSEIDON1_8_M;
const P: &'static [u64] = &POSEIDON1_8_P;
const S: &'static [u64] = &POSEIDON1_8_S;
}
pub struct Poseidon1_16;
const POSEIDON1_16_C: [u64; 150] = [
0x15ebea3fc73397c3,
0xd73cd9fbfe8e275c,
0x8c096bfce77f6c26,
0x4e128f68b53d8fea,
0x29b779a36b2763f6,
0xfe2adc6fb65acd08,
0x8d2520e725ad0955,
0x1c2392b214624d2a,
0x37482118206dcc6e,
0x2f829bed19be019a,
0x2fe298cb6f8159b0,
0x2bbad982deccdbbf,
0xbad568b8cc60a81e,
0xb86a814265baad10,
0xbec2005513b3acb3,
0x6bf89b59a07c2a94,
0x6ce0a780ee04b76d,
0x3d7707f2d8a26de7,
0x1d090742eb25f6cf,
0x32f8e612a0ab5784,
0xcee6bcc12c44f1b2,
0x5b3ae90b3e7f6f8b,
0x976702eb38fafe64,
0x1e4149472b65a74b,
0xf54995663c06a17f,
0xff9745f7efb449d2,
0xa0d66c26baae770f,
0xff3f3a8b3b1ca10b,
0x8967816ebc821eb6,
0xbaf402a9c5f304c,
0x13b42ea5ec3fa974,
0x8f4018abd11b10ad,
0x8210c172786dfe9c,
0xbe9dd30a331bf180,
0x7a2db07206e962d6,
0xd75ce6701ce08c90,
0xa1031e0509c80ab3,
0x286c9b52b1f839be,
0xc88beaed97ff52b2,
0x810f165aa6dd5e3c,
0x6bb7ab3e9acd8682,
0x703ec8c20e604f2c,
0x673e572b11971aad,
0xb6634f303cb2ec5e,
0xd16fe78ae4e77b91,
0x114c789c474e6e93,
0xd60fa4021285726a,
0x4451f544ae354988,
0xce615ed152020e75,
0x6c8163cd8b3f6fb7,
0x8da9912da9362976,
0xf9c4d2187fd0b56f,
0xebcc5beb540fc123,
0x4d50b8eb8e95c44,
0x34cb4b11eeaab0ca,
0xdc5b8e8a0a1832db,
0x95a80664a091b1d4,
0x56ba2ba16d96369b,
0xfe7ebad9060c9a23,
0xf9eaedad40f85a8f,
0x4bb2f38b55957fc6,
0xd7a7ee5126b4bd4d,
0x84fef4866781f605,
0xe319159f68a4b31,
0xa0c5b12711867736,
0x29ec418e228f04f1,
0x6fb4f315de071c1f,
0x80bbdda23b12667f,
0xc7932e11baeabe3d,
0x31c433faaf4fee38,
0x2544e9f35570ea65,
0x69bba414fd59afa9,
0xd91f2c6fc341ca2b,
0xc7b901ebb17016be,
0xbdd120ef13c383df,
0x3dd5152065c41261,
0x38f73ecb32940a66,
0x9c390fdf367defc1,
0xf6345781b3f6e4b2,
0x9745d2cdc90f8d22,
0x7090aa20d974f528,
0x7e182eabf0410591,
0xa096165a20a1c444,
0x27a0e8fe8d881af9,
0xc60c021470a27355,
0xfb4b7e4a0f5c8e69,
0xcfe9e769559ca923,
0x296290a7913115c1,
0x2c2f26a62fbdd31e,
0x7df61bc78ad5c486,
0xc641c3d9022e937d,
0xd7012b7655fb76b3,
0x189c39b23cf53a81,
0xc7cc1a1c80eeea91,
0x320208d19ca4385a,
0x538fceec3b152431,
0xbd5b1a6476afdd50,
0xc029ce3143908a23,
0x3df247e2c64b526e,
0xd74ce7073f91e44e,
0xe41637e58685f63,
0x81e032df286042e6,
0xd6e129fe453e587,
0xbb505ce4d161c644,
0x6241300ad486e2f2,
0x384c87bff273137e,
0x57c0666457985456,
0xba3a08bb3ef03948,
0xaeb4191cca5b1a09,
0x81068a125e3eb2d1,
0xec3fa64b76f877ca,
0x82340bd6d0aba028,
0xce8da434d014fce4,
0xf217e09e492b1788,
0x7942455a273cea38,
0x831540bedabb4eec,
0xc47086dce97d792b,
0x4698c887d2388bc9,
0x7328f730258473b9,
0x949b17b98093e9ef,
0x613966ce6d99a8a0,
0xc2200fff504cf53c,
0x8e823c01bfd818d5,
0x863be1a4645bb18c,
0x6be057e602bb169a,
0xbaba01e29cd96339,
0xf4238577263d02a3,
0x61ac71aa8ee235db,
0x81345aa1dac6843d,
0x62e0ed7931d919c6,
0x5faf2d68708e1d40,
0x104997612df0a1bd,
0x24c1aa275213a632,
0x96750f9f44e82200,
0x96fe32b1c7b4ad08,
0x961fb4ad6bfd9ce2,
0x4da869d3a00fe279,
0x65dc50f1b043202f,
0xb4bf328d9c27f464,
0x680837dcd6fadca5,
0x148d9c86c09aba8c,
0xc321c869caecb6c5,
0xbc7c553aeb41ea8e,
0x1690cd4ffcf0937,
0x10962bd185fe6d3c,
0x1a8778d6a0c21647,
0x3d092824e4a4ebe1,
0x481619c4bade9865,
0x65fcc2d26c900aa9,
0x7e1d522ca3076368,
];
const POSEIDON1_16_M: [u64; 256] = [
0x1, 0x3, 0xd, 0x16, 0x43, 0x2, 0xf, 0x3f, 0x65, 0x1, 0x2, 0x11, 0xb, 0x1, 0x33, 0x1, 0x1, 0x1, 0x3, 0xd, 0x16,
0x43, 0x2, 0xf, 0x3f, 0x65, 0x1, 0x2, 0x11, 0xb, 0x1, 0x33, 0x33, 0x1, 0x1, 0x3, 0xd, 0x16, 0x43, 0x2, 0xf, 0x3f,
0x65, 0x1, 0x2, 0x11, 0xb, 0x1, 0x1, 0x33, 0x1, 0x1, 0x3, 0xd, 0x16, 0x43, 0x2, 0xf, 0x3f, 0x65, 0x1, 0x2, 0x11,
0xb, 0xb, 0x1, 0x33, 0x1, 0x1, 0x3, 0xd, 0x16, 0x43, 0x2, 0xf, 0x3f, 0x65, 0x1, 0x2, 0x11, 0x11, 0xb, 0x1, 0x33,
0x1, 0x1, 0x3, 0xd, 0x16, 0x43, 0x2, 0xf, 0x3f, 0x65, 0x1, 0x2, 0x2, 0x11, 0xb, 0x1, 0x33, 0x1, 0x1, 0x3, 0xd,
0x16, 0x43, 0x2, 0xf, 0x3f, 0x65, 0x1, 0x1, 0x2, 0x11, 0xb, 0x1, 0x33, 0x1, 0x1, 0x3, 0xd, 0x16, 0x43, 0x2, 0xf,
0x3f, 0x65, 0x65, 0x1, 0x2, 0x11, 0xb, 0x1, 0x33, 0x1, 0x1, 0x3, 0xd, 0x16, 0x43, 0x2, 0xf, 0x3f, 0x3f, 0x65, 0x1,
0x2, 0x11, 0xb, 0x1, 0x33, 0x1, 0x1, 0x3, 0xd, 0x16, 0x43, 0x2, 0xf, 0xf, 0x3f, 0x65, 0x1, 0x2, 0x11, 0xb, 0x1,
0x33, 0x1, 0x1, 0x3, 0xd, 0x16, 0x43, 0x2, 0x2, 0xf, 0x3f, 0x65, 0x1, 0x2, 0x11, 0xb, 0x1, 0x33, 0x1, 0x1, 0x3,
0xd, 0x16, 0x43, 0x43, 0x2, 0xf, 0x3f, 0x65, 0x1, 0x2, 0x11, 0xb, 0x1, 0x33, 0x1, 0x1, 0x3, 0xd, 0x16, 0x16, 0x43,
0x2, 0xf, 0x3f, 0x65, 0x1, 0x2, 0x11, 0xb, 0x1, 0x33, 0x1, 0x1, 0x3, 0xd, 0xd, 0x16, 0x43, 0x2, 0xf, 0x3f, 0x65,
0x1, 0x2, 0x11, 0xb, 0x1, 0x33, 0x1, 0x1, 0x3, 0x3, 0xd, 0x16, 0x43, 0x2, 0xf, 0x3f, 0x65, 0x1, 0x2, 0x11, 0xb,
0x1, 0x33, 0x1, 0x1,
];
const POSEIDON1_16_P: [u64; 256] = [
0x1,
0x1f4fe8c3b2d0cab4,
0xf5e0629362df7d5e,
0xa705b58287f124df,
0x96586a7cb92f629d,
0x74fc6c3c3370cf3f,
0xd461140a928f98a3,
0x930b2b904189f5d9,
0xb986a587eb4ee401,
0xe1532106276a7968,
0x6fab72f5518cda30,
0x8f3550cbbf91a1d1,
0xdff255209498fa64,
0x6f5b8a0454706075,
0x85c3acd17754791a,
0xda67473e1f977211,
0x1,
0x3876519f04f7e1f8,
0xf32a6058290b628d,
0x7ae58d177fb06632,
0x2cbe8f3fbc6edc3e,
0x1993fd8d584b0bdf,
0x576344694882ca7f,
0x3034f078ca2d6427,
0xebdaf1ffcee524f4,
0x20c1accda29fc6ab,
0xc94e8dea9f138ade,
0x230ae1153664d114,
0x2d23813228a83968,
0x69ce7c3c4468eefd,
0xea5e094deb79607e,
0x57442bc239234f82,
0x33,
0x7743516991612e28,
0x6d83b69e1bfbf8bf,
0x96e1c001f0928367,
0xdbb6cecc65946add,
0x429e4384d8a2e2a9,
0x50d17cea40b6d463,
0xb570980aade05429,
0x924ee821d4f2c45f,
0x4921c17f14d7737b,
0x9105035914930f22,
0x62066ea3654ed4d7,
0xcc6463e0736bd3c2,
0xc52e9b67fca0ea61,
0xa495d2d9d3f6d87f,
0xea5e094deb79607e,
0x1,
0x8ed03e9df202dc33,
0xc56d04f5a69fe65c,
0xef528fd4b52d1bc4,
0x6967394ff324ce24,
0xd299c20c569dcbf6,
0x2532cdcb80407393,
0xe3082e46f5820a76,
0xdf0f0726449eea2f,
0x86b6c820bf05110d,
0xab8c20dd26128775,
0xedd980c5d67134e6,
0x325b7be3e96b70ff,
0xb47bc578e7417df,
0xc52e9b67fca0ea61,
0x69ce7c3c4468eefd,
0xb,
0xff7809d2db677827,
0xf466fe4106cc1487,
0x15f57456fd2a2c02,
0x6add273f061f09f7,
0xda7b3cd953d58c38,
0x663af1b59df030ee,
0xe0e2d9d284b61bc8,
0x7d0445dd779dcd13,
0xbc0f3c09e75cad04,
0xcc5afa72d1917753,
0xe71e321507604698,
0x4d6aa1e7e73a54f8,
0x325b7be3e96b70ff,
0xcc6463e0736bd3c2,
0x2d23813228a83968,
0x11,
0xf8318b784172544b,
0x1921b13efc470a3b,
0xde5f374c0ddb777e,
0xac847693bbd2d2b4,
0x22adce6932dbe05c,
0x3882ed3aa948284e,
0xf40cccfd69fdf75,
0x18481d59484ae6af,
0xa54881317397d6b3,
0xbffc5b8e4c3edc17,
0x37bb2da4d9ad8ad3,
0xe71e321507604698,
0xedd980c5d67134e6,
0x62066ea3654ed4d7,
0x230ae1153664d114,
0x2,
0x5d05ad9aaa25ecdf,
0x5aeb9818bcbaa65a,
0x7f3a26d9d56037b8,
0x778eeb0f48cd8108,
0x68bb09d3f8cc8fbe,
0xdffd3fe2f9d629fc,
0x40117d72fd802112,
0x4a38a8626f9a347b,
0x4c051f3c0374430f,
0x66dcfd5d1f853845,
0xbffc5b8e4c3edc17,
0xcc5afa72d1917753,
0xab8c20dd26128775,
0x9105035914930f22,
0xc94e8dea9f138ade,
0x1,
0x9b292795dceac63a,
0xcb3f74edd2413b37,
0x122ce892021af5c9,
0xf5d1c578093ad3c7,
0xd507b3db3f1ebb2c,
0x241a36356cd3d42c,
0x662e2b1995a25a23,
0x482d631531a9e639,
0x5c76fa8cdb9836a0,
0x4c051f3c0374430f,
0xa54881317397d6b3,
0xbc0f3c09e75cad04,
0x86b6c820bf05110d,
0x4921c17f14d7737b,
0x20c1accda29fc6ab,
0x65,
0x59c46392e1cb45a5,
0xee2be45111676e02,
0xe9a35a01823c1c3,
0xbba14577e6092fd4,
0xe5a7c9565ee33140,
0xda3a78d3522a3c8d,
0x3377d2a33ec816a,
0xe28f320b5fe4f55f,
0x482d631531a9e639,
0x4a38a8626f9a347b,
0x18481d59484ae6af,
0x7d0445dd779dcd13,
0xdf0f0726449eea2f,
0x924ee821d4f2c45f,
0xebdaf1ffcee524f4,
0x3f,
0xaa3c04c106d3c648,
0xe930c90caacd3e8f,
0x92e30a1f11ca6fdb,
0xb6457eef8088e684,
0xf9b617416023e458,
0x3ceac077efabef21,
0x1f18cf055a9d765,
0x3377d2a33ec816a,
0x662e2b1995a25a23,
0x40117d72fd802112,
0xf40cccfd69fdf75,
0xe0e2d9d284b61bc8,
0xe3082e46f5820a76,
0xb570980aade05429,
0x3034f078ca2d6427,
0xf,
0x5e1f65e49ffe1c13,
0x17f22c6eee02178e,
0xc38a81b4e01150a2,
0x5098319248723e69,
0xc113b10336b688d6,
0x147e30c9123a9493,
0x3ceac077efabef21,
0xda3a78d3522a3c8d,
0x241a36356cd3d42c,
0xdffd3fe2f9d629fc,
0x3882ed3aa948284e,
0x663af1b59df030ee,
0x2532cdcb80407393,
0x50d17cea40b6d463,
0x576344694882ca7f,
0x2,
0x265f6ee7ea0c2328,
0x88eed9905442d698,
0xfcbc14c244858537,
0x551017ae7d2c464a,
0xfad89fe94112dd23,
0xc113b10336b688d6,
0xf9b617416023e458,
0xe5a7c9565ee33140,
0xd507b3db3f1ebb2c,
0x68bb09d3f8cc8fbe,
0x22adce6932dbe05c,
0xda7b3cd953d58c38,
0xd299c20c569dcbf6,
0x429e4384d8a2e2a9,
0x1993fd8d584b0bdf,
0x43,
0xf09abb4a6af18622,
0xc51732299146d497,
0x68a52143c9ac40ac,
0xde2e0b9ee7ec57fe,
0x551017ae7d2c464a,
0x5098319248723e69,
0xb6457eef8088e684,
0xbba14577e6092fd4,
0xf5d1c578093ad3c7,
0x778eeb0f48cd8108,
0xac847693bbd2d2b4,
0x6add273f061f09f7,
0x6967394ff324ce24,
0xdbb6cecc65946add,
0x2cbe8f3fbc6edc3e,
0x16,
0xbc70b284d7dbf667,
0x30941706559e510,
0x75af50ec6a706634,
0x68a52143c9ac40ac,
0xfcbc14c244858537,
0xc38a81b4e01150a2,
0x92e30a1f11ca6fdb,
0xe9a35a01823c1c3,
0x122ce892021af5c9,
0x7f3a26d9d56037b8,
0xde5f374c0ddb777e,
0x15f57456fd2a2c02,
0xef528fd4b52d1bc4,
0x96e1c001f0928367,
0x7ae58d177fb06632,
0xd,
0x3875a2657e480c13,
0xaf5d14cb39a83bd5,
0x30941706559e510,
0xc51732299146d497,
0x88eed9905442d698,
0x17f22c6eee02178e,
0xe930c90caacd3e8f,
0xee2be45111676e02,
0xcb3f74edd2413b37,
0x5aeb9818bcbaa65a,
0x1921b13efc470a3b,
0xf466fe4106cc1487,
0xc56d04f5a69fe65c,
0x6d83b69e1bfbf8bf,
0xf32a6058290b628d,
0x3,
0x15d08a8738fab87c,
0x3875a2657e480c13,
0xbc70b284d7dbf667,
0xf09abb4a6af18622,
0x265f6ee7ea0c2328,
0x5e1f65e49ffe1c13,
0xaa3c04c106d3c648,
0x59c46392e1cb45a5,
0x9b292795dceac63a,
0x5d05ad9aaa25ecdf,
0xf8318b784172544b,
0xff7809d2db677827,
0x8ed03e9df202dc33,
0x7743516991612e28,
0x3876519f04f7e1f8,
];
const POSEIDON1_16_S: [u64; 682] = [
0x1,
0x784ffa78dbc606c4,
0x9bb1358092ccc7c6,
0xd3ced76c70a19d4e,
0xe47d535c8308d8c,
0x450904ccb32181de,
0x7f6ea23556f7120c,
0x5867b5d162a98b19,
0xb807955487acd3d3,
0x6affdcfebaacbe2c,
0xd609b5e608af6afa,
0x4618182bcf494174,
0x6ccb9d22d7e58108,
0xc18d4d77a17075d5,
0x1a836526ef964e8c,
0x29309131fb0b9c5b,
0x82d32b97ce1a764c,
0x5c18125d94678a9e,
0x8e73ddd8e5585bb6,
0x6252da110ba546b8,
0x11e1cf677b2a1fe,
0xca16a6e663be3359,
0x486444ef393d7f0,
0x9ba29d64711275ca,
0xb2d3f80e87ea8dc1,
0x28b584b1bf5948e0,
0x389618ce3f7cdb1,
0xdd7f28b0d03695be,
0x68e517b82c18a1d,
0x50537f531b380811,
0xdd84b77fa1a95e98,
0x1,
0x422ff80fc219f8ad,
0x18c31b85a6b24c20,
0xab0acf4e408e416c,
0xa8f560b428b80ba3,
0x711125fc6a952869,
0xe390268a20e8d19d,
0x53c8c658b79481f4,
0xe8a2c9070db7a4d3,
0x95d4d0a76bbb49b3,
0x88ce1b8ebf6fba0c,
0x17c12ca63851ea2d,
0xc6b0557585f8eb9e,
0x419a6d0cb4384b5f,
0x381c0caedaa2731d,
0x5903bc4e08bdd6a1,
0x7a3e578822f34de8,
0x265559e381263af8,
0xf92139cac82d94a5,
0x8a3ccec0307b52b7,
0x5c11912af48e4c3b,
0x33c6894fa6f82c30,
0x55bfc52c9b631a3a,
0x219f92ee93bde1b,
0xefdb320a3ea9c8ec,
0x25b323226a9434c5,
0xf2e59f1d4ef683c5,
0x6d1b416e1e02eb7e,
0xdf881b4da7a6938c,
0xe436ffad3ae33d5a,
0xe319128a1ffbd8c7,
0x1,
0x15062b78b35a4c6e,
0x1b23af1af260b659,
0xa1a2ef91e99c762a,
0x835aae696ec35e93,
0x65f668d14cc7bf16,
0xce6a3db1a69b057,
0x8b4e058647e6719d,
0x88a87a5318d7baf4,
0x681085f1329d966c,
0x82c86bd874689d6d,
0xdf45670a3674995e,
0x79afe623f4edf5ab,
0xa20c8f5742781a8e,
0x2d6ca1422f97ecaa,
0xda80f291829e76b1,
0x460d8cf6cf84f732,
0x750e9ce467368b9a,
0xb3553c6c1fbe1894,
0xc4babdc71d143eff,
0x656e8ef92c3996ca,
0x17fbc22d2c6b7164,
0xc6a9bdf576bd9837,
0x5a14e5a4639dca95,
0x39f2b904d5905350,
0x11335c8e0e16f732,
0x6dda37b820212bde,
0xccf226f48ff70116,
0xbdc8a3870e9aff74,
0xd355470ce1bccc83,
0x439635ce69a388dd,
0x1,
0x8a02fc46ba88cc55,
0x957cbaa6043ea727,
0xcb5952d96a3c9ae8,
0x26552930cf153dad,
0x31f4bbf2131eec19,
0x15274a840c6c8fec,
0xb8fc8ae9d18f6449,
0x5075e43a8bc432f1,
0x684dcc4482106ae0,
0xde31bb28ebfe8748,
0x3a2915329194f6ec,
0xc4e4b4cc1eb76924,
0x268c3ccf459d7ff1,
0xadb7e30b4cebf82d,
0x40e81ca1c41a37c3,
0x171b58499b06a506,
0x56b9e09732f9f6f3,
0x64c320c5646da6af,
0x9db1fcc3b1d93b3c,
0x6f312a3d5b83f5b0,
0xb7e70112dcea4121,
0xd6bcfce10649c956,
0x99e0f33fdf20df1b,
0x11c71e1412172849,
0x781da078c45b00e5,
0x125595e47c362081,
0x9f546da3e1eb3a31,
0x767129ef56a6d451,
0x208df3d18f5b3d38,
0x7a09edbea310b6ff,
0x1,
0x9ae0b1c684866e2c,
0xd0e666d1d86df575,
0xda6dc350540ef232,
0x8639559aed251e18,
0x376a45bf263add02,
0xef517f5c0a542ef2,
0x5c90309508213f17,
0xca9f97b2ff7758da,
0xb2d38c6bf928b996,
0x40f4e4916bc447bc,
0x5d7b8fe373f0ce5e,
0xa03478f86e1b6000,
0x678ff2d950a5e017,
0x533cbc91f565bed5,
0x4126a933a8c64b13,
0xb90084ea5f2b14c9,
0x867ed0d88dc49444,
0xfb27b2e0efc62344,
0x4f603bab377e9b84,
0x37ed0a8e0dbb11db,
0xfebfd20970817685,
0x2c50e6ccc8603b64,
0xb6e33c7141c52835,
0xc8f71993ca369ed7,
0xb88daaeccb1c414b,
0x4d26cf7fbcbae31c,
0x4c028983ea2b0128,
0x37f8e227a68cfdd8,
0xae671ec0cd28b6c4,
0x4818582d88acd6b1,
0x1,
0x453eef911eb4c70a,
0xbfce75ec1e22a26e,
0x6495618ec6efa2fe,
0x2eb0b9ad182eb49d,
0x8cd12a1fe2eae69e,
0x720d01e23a34ca31,
0x571712a972e33e77,
0xa1bb7086eeed9dbd,
0xa25764a855dcbe0e,
0x80741475e8d0dbdd,
0xdd4d772c9b210aa1,
0xc4c45912f27feb42,
0xd93920893a4bc881,
0xfeb3fec2e9490c98,
0xcac8cd85e402f81,
0x27672bf3398e86bb,
0x722f79a2ee47d5e0,
0x5c6b191de49b6c4d,
0x69798ea9c49edf7f,
0xc7fad619fe97ec04,
0x486557f901486f04,
0x8ef2b80dc022e87f,
0x91cad422c6eeed22,
0x260b0c082bcc5156,
0xd0c96d199484590a,
0xe61f0097a3e94672,
0xfbae6778184cc1d0,
0xddeb79246ab0422a,
0x341155a3fc96e314,
0x4b2af616695bbbee,
0x1,
0x7cdf25ad51f69113,
0x20a97c6a2cff6486,
0xda12558b3a7f80f1,
0xe0e71b9e7c90eea1,
0xd4701004cdd3dc32,
0x963eadef01b17be2,
0xaa4256c97069a0aa,
0x6105fbb96a538abb,
0x4de224f193139ea4,
0x6ed3a631353d59e4,
0x6c57051f71386390,
0x8dc10146a3af6bd7,
0x3d0809a098598002,
0x4848b4257c2ad606,
0x64f3a917ebb94db7,
0x3892b93d924b3acc,
0x7a20447ecdbb2049,
0x40bbe7b4ae19527,
0x4c79440e963323e1,
0xdf40d2b7979ef319,
0x83b5ecdbb4cea128,
0xede3955b9efa23d2,
0x50a418e7936b1cb,
0x89c0bfbc1e59f2c9,
0x5687fb31fb365eb7,
0x6fc6de3454eb9db2,
0x1067201dac3604b0,
0x48f1f8e186605c17,
0xd2d77c21c8454d65,
0x5aa53f6ce4a57795,
0x1,
0x558b10252377a563,
0x290018ac0a530d66,
0x422a7cb9a24f38fd,
0x10e23384ea2ae674,
0x5a7cd57c4062d35,
0x79681df065d4c412,
0x3d099ed6c383652e,
0x3339ea1b607dbea9,
0xc8cecae79269b307,
0xf06625ff570e2c88,
0x5dbd57b6609f45b5,
0x2fd29b5c479ebddb,
0x5cf00956c7943c13,
0x70e78ce81d8a0e24,
0xf6d702bc801e7aed,
0xd79e8f864e0db72d,
0xeb31d3eb88c5ebd1,
0x67ff704114e5d0a4,
0x1689516bc2232141,
0x410c24126389de96,
0x67d39d381d8442d5,
0xdaf4b88387ccea5d,
0xb243f89f90f8fbf1,
0x9ab77775e807fdcf,
0xd49691e478995c0a,
0xa826ef5a98ab2310,
0x90b7a46170b2d17d,
0x11b1ef1c74378cd8,
0xf0f6f59fcfe319e6,
0x73bdc9315aea319e,
0x1,
0xeb30b5e8c198cb7d,
0xdaf8d8dffcdeaff1,
0xae3ace788ab76b44,
0xf02986ac10bb1782,
0xc2cb355522d82223,
0xf72ca021068e0d0d,
0x1eb5c24978441280,
0xa41a906641936686,
0xc3ed1c409fbac5b1,
0x5e6a57043579f7f7,
0x18d8cb8b92269c07,
0x81280c6e52e2361d,
0xf97b194af67fa19c,
0xc59aa7442d75a8d8,
0x795adfccc9c16c5b,
0xffcbc1141074c6cb,
0x4b63cf94fc93c864,
0x9ef61e6d4154a3ec,
0x2f449623a7d308cd,
0xca753e2b3e225d18,
0x6e91edaa5e4be5bb,
0x473a16d9732a71af,
0x7e282b6daeddbc80,
0xe122e01f48d2ce42,
0xcf70a518e50a3d63,
0xb1d89c68be6e368,
0x359eb24b338b43bd,
0x7481a3d048e00c07,
0xbc81ed4067746e8b,
0x9cf13661ccf98215,
0x1,
0x2cb1aba46480a327,
0x66b834fe72535a7e,
0xf73643c2bb90ebf8,
0x4b56142ebe32ce11,
0x5519207f266e5398,
0x1cca17c49a7fdcd2,
0x51a125e95ec8792f,
0xb3ffe819e8efceac,
0x3affefc1c9342f71,
0x48d04eb39f24a7f3,
0xaa371f684c2ca103,
0xa463f42bc4283577,
0x39bee5a235710a37,
0xe00759c8848ae6d5,
0x8e25138bd528d2c0,
0x2b70d75ba0d4f9ba,
0xf3da186f077c2200,
0xa10b395d2112e1cb,
0x16ce96945e4f622b,
0x843ef25054e7d30f,
0x28d96a668f0a71d7,
0x4e4d500d3a4dfe0e,
0x15fe913568389f8b,
0xb348df5d562d5f48,
0x428a02a33cecb0be,
0xab3f9fa2c4ddc056,
0xdcb2884533bb2b2d,
0xd1d9f03305615dd,
0xbba2bc20d3b505cd,
0x662a3e17be4ca094,
0x1,
0x770df880a61f7578,
0x8b06df9d0818a7b3,
0x541fb0be6fc00d25,
0x5eca9bd47b49da71,
0x5b36d56c928de731,
0x23ab2d8735d4a103,
0x43709dc9bfbe969d,
0x51f1a506167bd94f,
0xbff320cd211d66f1,
0xb56689043b2e72c0,
0x873ed48980dfef70,
0xf3c58301925e5be0,
0x3e27a901c367e245,
0x52c6372a91eb7590,
0x8d4e5bdd421eb23a,
0x53765c3232dc2627,
0x7fbdf198d55afd48,
0x44fcdd76bfe91dce,
0xb63ed9eb41d11ddd,
0x633defb6d1bc8206,
0xf9bc35880fb06e69,
0x34b5a940289ba41b,
0x3f68ca56bef8ae19,
0x7c08353b0a29a2a0,
0x30cb56f06108492a,
0xeb74b9083b993670,
0x6f817841bf7a1d31,
0x6ed24ba76fb95754,
0x195577c7fdaaf679,
0x46b37c8e63e78f6f,
0x1,
0x9beda53db840a694,
0xc8d2ecea661e4ed1,
0xf10b2bcc69f1afe1,
0xd7cbd99779e5cf1b,
0x8c30e523aae8e275,
0x5b3ed1a2620fccb4,
0x14bf0dcd9fb144a5,
0x3ff95f0db0309d65,
0x2a7ae79a874267c0,
0xed7265298d46e7c5,
0xa255d96c286f36fa,
0x415138effbb5273f,
0xd63fd53c2e884538,
0x1b77bb0b3bd006bd,
0x5e0d2969f7ea444f,
0xb537875140fe888c,
0xf2ca5daf798127ca,
0x927eeff6ac918842,
0x8319ef9ed70204d2,
0x7374711cd0c97bdc,
0xbc7fd9c33fbdfdd9,
0xd02c2497d36f6275,
0x953d68bfd0fa5991,
0x678ef005f33b6736,
0x363052fc9ba60ef4,
0xd8ed80135d9f2dc2,
0x75fac6fe999855d3,
0xdd48f1ad9107f2fb,
0x7273282e07a8551c,
0xbf37e8ceec875586,
0x1,
0x742b8c998dc46852,
0x11c3ee844052f9ad,
0xf8fce8ddd776c623,
0x7721032579d94016,
0x71f32a0e4fa75163,
0x21c43987df1c22dc,
0xd95e0f832f1c7886,
0x8b24182f4b9b1e65,
0xe2296b0348ab6e08,
0xefb0906136270b16,
0x70f7964097588001,
0x2d5b056de623aefa,
0xf7b8de50dc49e6c0,
0x48a22960f4876aec,
0x8a2f36f34830053b,
0xcf634e35c981e437,
0x6d106d52952ba7f9,
0xa915fe60d6f73484,
0x9ca3c472834cd368,
0x1889ab4ac9eb622e,
0xbfc44064a542854c,
0xc19beecfa76ee803,
0x69603c9c8c76346d,
0xb87879442ed4c23d,
0x86582054bbad689,
0x5f6e2270aaa37f68,
0xce0980a02a0d8137,
0x8368984effb9777c,
0xe25f1974560ea06e,
0x3295fa08ca58be0e,
0x1,
0x1fb4bd79d3697638,
0x19a343c79bb30d7c,
0xed152aef2861ad4c,
0xcb4c526922105581,
0xe857a975ef3b93b0,
0x3d38a65cebdc342e,
0x798000b43d78a365,
0x689465af7de11f3b,
0x754095951ba55398,
0xe9792a46a167977e,
0xd8727eba72ab0305,
0x107b86ce2b91ca56,
0xa5dfe314adb93665,
0x862f763d7ebf9f9a,
0xb2fa03d236c44f8c,
0x39d5570445304003,
0x197aa58d6bbe74a5,
0x292bda9329f24764,
0xd82d7fa1a718f72,
0xca10804ea7f974c8,
0x5832ea5a0d9193d,
0x3a9189fb2a0e3dda,
0x3c0aa4d772a6a61,
0x1228025d3684b521,
0xa5c124c7669ed6c2,
0x2cf0d9d9cfec2f6,
0xee6a5421b78253a9,
0x3d68dadcbcbc9651,
0x8576b88904f9faec,
0x3a93b08abc9454c,
0x1,
0x57529e70dc1eecac,
0xd083fa0a3fa20d79,
0x15808361a663df9a,
0x8ab7ecb187ea9854,
0xe29ad4d7e85ee504,
0xd018ec42ae6acb82,
0x4e721dd8c277b558,
0x2382951be17cb823,
0x58f6fa0ac408bbde,
0x50d86a740ae6f5f6,
0x1d0f93d493f6a249,
0x44ccef2d7aba27cb,
0xa9ee044c3815c1e8,
0xa05d18818540385,
0x873889fa1b17aab0,
0xe0ac633f1bb7c26c,
0xca554aa2d9a27f2a,
0xccd1b4b3cecff617,
0xb27945ffbb2f5d60,
0xdc13dce666064e3f,
0xc4d04ca50fc47f63,
0xb7c7da337d080a13,
0x9f8eb0e386d837ea,
0xdff260e7a53c5830,
0xd0f4cd09444d82ac,
0xc886f5ee7ca1b94b,
0xc661d2ce76e5c380,
0xdfcf55c7641af02d,
0xb30febc33eb5f73f,
0xcd6e3a0ebd8cd993,
0x1,
0x8e452705643e5578,
0xc4280f1144056419,
0xc3dfe6b00861ade8,
0x36ecb3fb3c3a8171,
0x7058338049a4ea10,
0x430e6448f34a91fa,
0xe12429e8a0b42ac,
0xfd49f876c25d10d3,
0x1ee0f63c1e05d2eb,
0x12f8ab3ac44b7ffc,
0x64e9bd7482c81e12,
0x1f70ea6b1bacd7f6,
0xe96c6cb7756d6954,
0x5006af517fc4b514,
0xa4c743afdd82e3f4,
0xa62d6e49665515,
0x9623fc77e75b8f,
0x956e431e0c69f8,
0x84d4152ccc6a8c,
0xa2fa7455e9c0f2,
0x8d8dab8c2e2818,
0x853f34e6198495,
0x773645316a6e67,
0xa4d9c95ba73fdf,
0x99ccf2f8d524c9,
0x946df01d6897df,
0x917fb8eec91f1b,
0xa4c59d564fcda3,
0x879f2541d0714f,
0x98667989448d3d,
0x1,
0xe85a874707c7d737,
0xde6c8c30ff3107d9,
0x478b152bf60dd417,
0xe7d9908e2a8975d2,
0x651e3022c0ced23e,
0x38ab5dcb1b3252e4,
0xabc699e5e384e1f6,
0x965fba5bd71f2744,
0x7f2694af6702c94a,
0xb7c6db50b26481ce,
0xdf251f3313cff1e1,
0xa2bac6e20aefe73c,
0x1ef4b25e7e91409e,
0x20e523eb2f4f816c,
0xd1c3f83dc3e15671,
0x7c2b88b9bd77,
0x6b9e64b3d3d3,
0x6d18d0401a66,
0x62e735e10913,
0x76a9a8007eee,
0x6d7e0ea7c169,
0x65c0b659ce48,
0x5556cc6e7c9c,
0x7839fd2e25f1,
0x75abef6867d6,
0x6cb2dbc66528,
0x6bbed521895c,
0x7b3d94fb1f34,
0x60f371a69294,
0x6b9f518dd474,
0x1,
0xbaf61c12fb5611c9,
0x4a799fbb3ce3dab1,
0x14a8bb79b47d3d4c,
0xc5160d68cf93fe48,
0x88111d107c0213d8,
0x7084d266482db92d,
0xf496ee8cd8498d09,
0xae61a592e381087b,
0x7c4fd80bc82764d6,
0xcdf05761485900fb,
0x2177562b9c4ff937,
0x4ee0154172523aa4,
0xabdf3708430adaa5,
0xc031a6035b4f76ea,
0x36ef6cf75bcd4100,
0x55fd5e6ce0,
0x579bb1daf0,
0x5448a4e364,
0x462fad172a,
0x57ead3ee24,
0x5061ab0651,
0x42fa044def,
0x424737a488,
0x5e3de234cc,
0x51e9534aa3,
0x497a10a01d,
0x5119544706,
0x59bbaae093,
0x4b4911bef1,
0x549b5e86d3,
0x1,
0xc0fa040ff7b10597,
0x43f19d67b30d612,
0xd314c5ad82d19cb0,
0x990cb99a522c40eb,
0xf878df996f9ba010,
0x743718342806a304,
0x972b08cdf8c3855,
0x4b2de727cc53fe28,
0x1357746035e3fffa,
0xc457f5b0c8c41c6a,
0x2d079dc20f64aae6,
0x41d7d4ff985896f8,
0xac3d994c61e5823b,
0x7a2aab95346b2c20,
0x4815e21eb50832f4,
0x46dad16c,
0x3ee213d2,
0x2ed08009,
0x33bd6851,
0x43b36dbb,
0x3be4d95f,
0x35ed4361,
0x3044f1a7,
0x3a75fcf0,
0x4639d17e,
0x4520f899,
0x38913f45,
0x3bb12afd,
0x3c4c3a5d,
0x371eb791,
0x1,
0x75bcdf2c7ae74fe,
0x25749f791f2888dc,
0xc667f80ec4915441,
0x73a74c9742e190e6,
0xa9d753dea1b01ce0,
0xca9d39c0e9b9364b,
0x14ca6703fbe4e7c4,
0x6078a68fa341fbd4,
0xd95fb69c0ae1b3fd,
0xbef4f90ee1115acf,
0x43fb1f94eae6d9e0,
0xdcc7ee7c5e67614a,
0xb66fe16e2183c089,
0xf179dba16a5daf0b,
0x3cf128ceda710ac3,
0x25c750,
0x32ed92,
0x3f7eef,
0x2fbf26,
0x1f9bd1,
0x337997,
0x2d67cb,
0x1a9686,
0x2b27ac,
0x3863e6,
0x1b9e0f,
0x235818,
0x349f07,
0x2d90bd,
0x266f8b,
0x1,
0x18cd0eec9a70f3bc,
0x5d2fde24fa93abec,
0x778d7cc9bb7e723c,
0x665064f7f2bf1910,
0xeb7a230b430b5263,
0xa5d5cd3bfe6ca73,
0x7c2f9ca3ca35563a,
0x649e4b0e77d67a78,
0x9accbdbbaec828c2,
0x8204251de7939039,
0x4ca9524982a7f3ab,
0x22ffaeaa1453acdf,
0xcd5a480cf9e3a478,
0x9736ac3e413610e2,
0x8121499c3be69e62,
0xd57,
0x2635,
0x14ac,
0x10c0,
0x1e2c,
0x32d8,
0xefb,
0x16af,
0x1345,
0x2181,
0x3345,
0x41b7,
0xc37,
0x20ab,
0x3df3,
0x1,
0x71b6e6717709f750,
0x7975f0dc5eb0a564,
0xc00a6a3ecac3f929,
0xe145c28d0bd9aeaa,
0xe4a4d259840d666c,
0xb49528a0e12962f8,
0x18dad6fd9ad52a5d,
0x6e159e421024a971,
0xb0acaf7c1369e90e,
0xc47c0a7104bd805d,
0x7c34ac1c80c9f0db,
0x23183998ef0bc817,
0xb2c79c6f2560825a,
0xcd9be3b3870699ad,
0x5f32c4b873b8e12b,
0x3,
0xd,
0x16,
0x43,
0x2,
0xf,
0x3f,
0x65,
0x1,
0x2,
0x11,
0xb,
0x1,
0x33,
0x1,
];
impl Poseidon1Constants<16> for Poseidon1_16 {
const HALF_FULL_ROUNDS: usize = 4;
const N_PARTIAL_ROUNDS: usize = 22;
const RATE: usize = 12;
const CAPACITY: usize = 4;
const SPONGE_WIDTH: usize = 16;
const C: &'static [u64] = &POSEIDON1_16_C;
const M: &'static [u64] = &POSEIDON1_16_M;
const P: &'static [u64] = &POSEIDON1_16_P;
const S: &'static [u64] = &POSEIDON1_16_S;
}