diff --git a/circuits/mimc.circom b/circuits/mimc.circom index 12f2531..1f782d2 100644 --- a/circuits/mimc.circom +++ b/circuits/mimc.circom @@ -8,262 +8,97 @@ template MiMC7(nrounds) { signal output out; var c = [ - 0x0000000000000000000000000000000000000000000000000000000000000000, - 0x2573c33972da08a17b379c84ef2ac8f5b1da7feb7a0f65820f5106065947e745, - 0x21ac176a3dfade8c2846270deb9bda2c1fa8fe29504ed1abef144ae541da6fb0, - 0x1fcd4c98bb955979dfaebd9403cc2dd58025fc615a06014feaa543fc9565b744, - 0x1899ead9379f4e15c5468c709087eeaa61fa8efa361a71dac432c6145bb20d63, - 0x1b82d1cfcf057d24682f9cc3aab8fcdb35129359b5ba5578eb0fb20885c7c261, - 0x3023bd978dce3b40760481f90709bfd4b1894665493edc70f0890dd0817ab973, - 0x217a46b7998bbd8ce17073e7296cef81681da9dc4ca055abaf28345f8bf0cbe7, - 0x1614c499d51b5125df6214f41cd51ac79e07565171758d80b091b9a3029a5422, - 0x05dfffcee509e641a30504f9c239340af6cd43cc6b7f03feb65235c4b9bccd86, - 0x248d5e6f74e607401c9bdc79bd5d2e899028fc26e7db9437c7738e60b7a90b37, - 0x0dd9d1bbccd01bb58caf364938ccc55e74953f0ae52ee145beaecbfbe683e777, - 0x0bd18dd6afccd76ae3a159cac4bb1ec1158def927f5b8a529a4697ba3294805b, - 0x00ce7b4a2643c23fab142b955293492bda5b775cea46ef3e9bc803301935d987, - 0x24927ca97213de091fac3153a76dd4dd6c9933b1bc298148ece271dd80623f8d, - 0x035e884c65a79c58a895b27d4ef671b1661dac72281f4c4458ae2a0be14c4555, - 0x008427f6c5e2fa34dc787fcef8cdf0ae2b5686cb80cc069a59a9b8af37ec0d42, - 0x01e0bf5c000e7390c86635a3d63c2b42362c2f43f8ea2cdfab4728f901443dc1, - 0x05e5f9e17e59bb89922f0c52aaef5728129fe284e4c2cea2b3f50d9f1bf04280, - 0x1ed43af042061416a934f6d4afe097b32b42a916075441fbaf2016405a03121c, - 0x05c2929b4c8610d3f2bbc7f0d8046937feb4bdfaca9d6e1434aab696950f0d94, - 0x0f5df25a785d5fdfaede0ff3e0853a35f66c8b140ca82b1c7648a1496ba902cd, - 0x1d9177a9c7d2cbcdc6bf2ce3bdb93066598c0c00096084f32a08c00065fcb640, - 0x0ad36f853cb652ca4d8c87d3a64a2a9f7dd849d5f6dbced160001672661f0257, - 0x061d5c826fb0716891996013195a349f17e89197e1e0b0826ba0bb3a69ba42e2, - 0x16603fd47dcb9c87f50541b78211b9d5f57ef5536d888efa4f626e2fbf239089, - 0x056cee578203bca4df16a390cfa63e85931e6e78d300d8b61128d37028d45813, - 0x1243ed309d9d4e9371159fb9f9a3245a4cc00b36954bff7c7da88b6c476752cf, - 0x0ad05b9f6ac744163ceb578e4dc7fd79415e038284e72ee9725dad919f4ddacb, - 0x0e9feebe1c929460bfb50e7b2055f342858e7f1390e85a117cd0259d3e9d1ed3, - 0x290888d2474655e8348a0dc2f3c663ff488390ac2ffb8616b8989622cf5e45de, - 0x1ea4564ef6a12b38236cef7ff9638ace2feb8620d6fc43f00899db7d8857d665, - 0x0a88eb25fd9e1853a6fb3be2a64d7833d08d6bb471c062f81abd8b83cf1ac184, - 0x24b95adf13d6e7cddac8aa314cdbc7919e129d2ff4fe25f0e13850b3c355aa49, - 0x0e8be6948bcc439176fdf51e97933bd4d9aecf6c2a229e10726a941eab8035f3, - 0x0576ca71206b818ec4fe2c114b1385cb45b0c75a4264344102aacdb1dc75c40d, - 0x1127019d23d0e8c78a5c920422417be24242f5361b5b9b4c65673c3ca6f5c877, - 0x03308b8e26f82269cc957ce50c9025bfb1bcadf536e73fcbb3755b31d274c1c7, - 0x2946f2c0596dffcdc46c9f149b53ee838f37479d156ba9cec0956c6647d632f8, - 0x02f45b1bf152730a9e598de1cfd6dd29673341513a702563b415c5c71accf46e, - 0x0f0080f25c9a57ec936c87c99c2ab62f63a5b315dae3351f095ee2fa4be67e1f, - 0x0d90b434ba57abe6b35c15ae3652f730732714372fc7a97e2c02088856d62014, - 0x1865dafc3484c977adfa0aaf7c67af83db678adbcde788fb0d3d24891a17cc0c, - 0x12ed55fd63570eab6520dfa5cfad9966f2adcceb4eec664f4e4a071d5d70b82e, - 0x19b0bb01d39832937c9da2bd1acb87446db2e30c7170cbfa403d6431e6053a62, - 0x1906ec1e76ad9371267a5a206e38b76d446a868c9be4be98a234910865e1b877, - 0x23f62fe89f2a36259878a077482a5f6ff85740e5d8f9d9ffacbb9263b18a86af, - 0x2f4b20c57d3038c70271187292b4a94e56019730dcfdee59ad28bf2371f89b73, - 0x2188c593ba388bb539b6a3e89cf9eec31520abc006e25b21ef0b9ec0ba795ead, - 0x19f9d9dccd162b2c6132a1ad6eb0bb693540838aeeb50ff9cd78fd2e70f2539d, - 0x0a459c91a19aab5685a042bf3310782d078934c7bcbea3ddbccee2dd5d1d0ae4, - 0x12677a533b2dc95d090c277d3076a99a3555dbdee415667fe6ddd91419836801, - 0x08bef6949f3fb6e74f0f1b5b2b414bbbdee5871055b533b973b299419af4fafc, - 0x14ba2da4075ea3c3422f12d6d2b2753caf962f80bef50bb246e6a3f58999317b, - 0x2ca11bf0295867199deb7681e102f655079722dfd08e55b5897c9f0461307d8c, - 0x2b59a960a82ae74b6f33ceff6ad156bf7f0c8989ce351bce650e9d5e5c05a3ac, - 0x013235db83fed0cf34a42d87ea9e662fbd700eae3174a4bf07f4f0e541ba4c98, - 0x014081d1be424ddcfa6e71181af3a4efaf7b7f7dfdb78788f106170bbfc6c458, - 0x021b8e121f282676a983b9a3a5d18fc33e6080afe3824cf82a0d527e5f92be3e, - 0x25da0ea238d74268ea3df1b43f15145d7d1b7984560c9b96ecdb92a7c154c0fc, - 0x223b40a33fd0c17b639bd1c44b2cd66214a31791b42ab5605d253bd043112c78, - 0x24e8c7cc3a48d2472b27a165590bfe81bc8f0560b1ec7c8a2dcebc8e088255f6, - 0x203df46cb4b2681cdf63d8bc380f696b852b076a0788456e52f980cb39406b56, - 0x102171b10649730b641ad5fca7509a8be02617e64b6a2c530f8dfcb96381d8fb, - 0x21483341bf6330c095667236cb25c2fb795950be20db2993d00f95e9db86d548, - 0x0b01bfd7cd717115b6b9f104d4d75da9a48cc0d84ab5c97d2b33254192bc4003, - 0x2ea24cc861e05aebbe83fa8f2d75443ea497101032c1d9c0bd1a23861c8864ed, - 0x04372690ea0d050a30f2c25d0ce905916b435eb5fc81c9c759edbf45107a8d85, - 0x051ee6ddc890879beccdf7178672856cff03f1462c6227e57950fa5888fc6fd5, - 0x1d57b69d317b1c45b61a53f963282305293eb647f29e776700655830e0e70614, - 0x2fbd442d418657365ff66249f800158dae372a9b80b5939c7872e73cbfb06df9, - 0x26f45b678433c5787d044a18a0bd60bb9434b4db98cb6b32c37ff5bc42b6e290, - 0x0a0b76699ae7b56e0b819136a3a5badc4ca25b67edbd3d19f2c77542fb77f90a, - 0x25f6a09fef3227202e1166260c94310c9ef9eea578a8b7986010951bdbc9d9e0, - 0x0d21807eda562f2939928a7e21168e2458d97219c521e3b7ea73cef17f74f6c3, - 0x2d97038dd52fc0d78fd61b1a12b8b5b8125a5515b72b0f36413392b5f06d26b8, - 0x1f207513cafcfe669a7e3c7c46cfbecfe21d89072dd56231a7084e52607852d4, - 0x226f83c016c2dcbc3a5d8c5799309ac7a995b450cab5d5d159c12a3536972cca, - 0x081541ea31c74625d97d43fa971a1c51906b245f097e9f283a8d2119b9779467, - 0x297dcdcfdb36b89b2c046d650e21b611738780776bc135512a490b1c8ce15e14, - 0x2d617064044226599099fd5bbaa46de5db333365ded2acdbd22e39d7812880cb, - 0x0fbe2fcdbe3a75f13235d1b450aedfaeeb3ab5cc8d5a1f635e2ed543d6df94b6, - 0x2fc42a33bd8bc618576cdf920700a758d10ddf00a9ecdda6e6cf2245a99be703, - 0x304b634102263d927acda39750beabcf6e4da71dfe8fd057fb65b416d4240381, - 0x072eaeea0b3f4a6308fe024a62e958a00063a2783d5c95f8662254e0d7bdad31, - 0x12dd36ba1c45d2859450ece52afaceb6fc4eafd5d22e981534c11b800af49622, - 0x16592d9f596f8e7db1195b598c9a5ab550ce58db40a3e01771a4b92f4447407f, - 0x1cde4e85920302e735f5ae8ab90cdfe9f291bd6333277b28f99a23d2768e164b, - 0x090b13387c1e63908026da15e43e91f4d7e046d11a7f2e19c11adb804b2e834f, - 0x2fbccbb27a0fdebc61bdd69d766303495d4661a4535dea0cfd0f7c978da0aae8, - 0x26a9feed3a8e11a6b42ce9c9dfc1dc0fa01f9f9748e672056aee55943b617950, - 0x0a93928c9eacdfec490adcedeff1d4864e1770e48df6665ddfc3595fb26e73a9, - 0x04ffe5957639c3155892d3c5812236d688c2c4d142f8c8feba1be04aacbb9f0a, - 0x114b0e6b5a2bbfc49cd03f3a0e8a8afd263d9361ce3631b352f87d3f3090f968, - 0x20e9116c087ae3c97f130ae383d8a18c7421608e76cca8c2f4a51bbe3735f8ca, - 0x0b4af594cf9b1d509214dc943a94edb449416cae97408e72f1fe2990b4213c18, - 0x0e9af7c41aa75f036b67dd6f1e741d8e55792777a08d68b2fd0a5c8b03ca1d37, - 0x28964cd6cb5113ba250e6d4993c9a76e4333b961657eec7fe1987fad1482a795, - 0x22b3e76214c678461c1b1176025e273fd8bc8eeb251eafacc9274198aa979467, - 0x2d4382055d99f2fb3107682ccd712d9ddd834ae6006740b7ff53a47674d6426b, - 0x2f276050872b35b18e0d21ae6c5a979cfbdff6f88f8725f925be61c2efbadaeb, - 0x047923ac3092cd3b292535059b9ad97b9d74c38e552326b35df34bf10548fee0, - 0x2d3d346b809cdcb8d9d34eab9c7b54a7f92bcefe01129ea97ab04a800453937c, - 0x0c36a5b386d0b2f14728ed12c0cda1466f6e28a2b1626e7ece1d11a921695a31, - 0x1aef33f82b69dfc7e51f5b647fd93e39cd81b100bc36620fa676eb57b64771da, - 0x1a101b37be684aa86df8be0545043e33c0b86aa5930d94ac71306f99f00add35, - 0x0626cddb01a255c1274a35b9842b1ece727ee158981d36bb17d17023bdf0ca15, - 0x166f76eb2cdad17b7e1b4aad949b117310ef06b945c09d9bed79d9560cc3cd1e, - 0x1aa6ae14d82811c36fce8923a0e9632e0b320505d135fe8df7d6dce57212a69c, - 0x1e3332f6c23a8c0ceb3417e68c92261c5c005c43b9a676fa7019e95b9983e40f, - 0x18f23783cbbcad4f561c9239314d6866c0a92eac0c53f9732ce8748aacc64ae9, - 0x111d3bc2fc48feb3474865322c695ea5eaa6bebbd6da0c381920bc2d00e99776, - 0x23b009813f17fd7138fb74df56c3247ef031ca124aa75d6ce4a8db63fef9c54d, - 0x28ae7ec0874ce406eefa32e96b84aa77057c351b3f3aea6e8005d3b65ce6309c, - 0x05a2d755f5e520b53b2765bfed7ccc7090cd5b2155460148ea73fd7eb7f89f9e, - 0x100022a693424e0b0213f4992ed3d53334f9e1997825c86532b44a234523f6d4, - 0x2d0c51264d581af3a64cfc0a5ca2eeaf6521a2d6100f4c323fb1ba6503303a42, - 0x02ef717f6ac82e29b261aa0b28188ec299585edd9823847f900d36507f8194d8, - 0x11b7074ac17782921a05a998d52ea6079628692bee9846bb03eb8e11ce802360, - 0x14cee5e6d15a6c706654e7b5b0d350748c90f9b48fdde11d5e04c7cdb21864c7, - 0x1183348c529c73a33319edd671e99991614fcc663d458b1c22e1677b6aebf924, - 0x2325e0728102551f9fdf661e3459eb70c4dd5d3985f685e206b64b41cecd44eb, - 0x20c1eab09b138e3653be1f4909c4cc5ec0a697eae83b6e926b78f81779d24911, - 0x11c9e1d7edfd62875d01d773152203c4524b33d118f83b169ad1aed293d81b19, - 0x070c9ff7fa280e4055a23e8bc9f6c317d2ac3221d2990e8accdf8c84cffc1e2f, - 0x254af914dd424ceeb5438a50c61f50c7f56136da4615cfab12e61a5db6cff638, - 0x28fb40fb9f010d97ddc38071fe5207fb78797ca71f534ccbc2bbdf6c115a4d16, - 0x2d4c3d71cdf56c3d5956c6b4f6d5e855562f1794311e172a55294b6bbd7eb9e1, - 0x1ace5d5fd5fc6b15f0b359d46171a9a92bc0190cf2dca0dbdac5a96a9b31ce17, - 0x2b481ad328c016e5e0dd9a5be16da951b70af7dced31f7899cad9aebd251e78b, - 0x173a51b6fd6ebccf78666457f4ca4d64023fc2e83540e17cb7ca12fa85869172, - 0x139e2b576a2e5491952e78bb78065545f6f0e3a8c9b8519770c486cf92698e7f, - 0x1bea94b6c53410f9112a63c2fddbe7eced47f17405c2db63db1b7051559b8109, - 0x1d1c53d42e47093d961525be7c19d765cb2d43228a863edf220a7f6f38501a27, - 0x2a91572dcc79f87408894c8d360b93cd9a5d8042b9d72b48c18838bd6fec0667, - 0x269d5f30f099282511c4eccd423d5f3d64e2f8153a3e1fdedcc1d476fbd02ec8, - 0x1950225dc9af9cccb17ccb8a9227a7384a78d93bd40bad6e9eec430416cc45c3, - 0x20d36ac727d921193d4a2a45fbe123170ffb83e8f23fb4948215e7b8881e4bee, - 0x18f4c2af29258c0dc4f14b1f538a3503b57f444c467520da8b047fa398062f31, - 0x2bf4dcfbd1dbfdd6d6f08b43c4aee9818c915589105d33d6088cfe27921e5279, - 0x191ed15cd07da3cdf8dbdea430c203fdffe64c01c7bb38053d11da051836ff91, - 0x0eb85c12fefbee535e54702aff8ed5e6b6b3431a07d7473a1f20630672bb177d, - 0x0e9d55dddb28d570572ed245a163ac213b281774e8f1ae82bca0c43263a30f08, - 0x0001a2000bed5bea95515b5da6c8fdcb359a1f06f952313acff9c899b40dac23, - 0x15fa1f0c3855cb2de7fc732236d310474c7995230f80d1112f19a407bf42bed7, - 0x150c310e70221783e2042d1fc3824c19421a46ce668fdcda3b16db0af86845b7, - 0x1e054c1bb6c893e1e104662de7b1275ae1dee43ca17e8f16ee093b4894f3440b, - 0x16c9b293066013054c9979c8d046d1f20a41364fcc64186eeb2a98b3026857f3, - 0x2ca9b4bb10dc2c1d0186e6bb50876dcf510c70629c6bf8481db3a830dfd7b15c, - 0x2be7e344645273fab7c289ed00ba62f5d272ffdedcb0ec1d4e0a4d42902c8ef7, - 0x187681a205e2b817fce1590ffd8e71bc2b7e3029d9053170af0c3d4f23b0b076, - 0x041e20737b8c090cf62e341f3339515ec3fc886cf7b2ccd61738c8801fd74dcd, - 0x109f5415950efdbf4c7162646e46ac7eb04b8ed8ac1eb52f34c8dd5b1d40f2b0, - 0x2caa2202f0f455109e092b0581d5aa71c7c500831a217a1ccba50d9dade9c667, - 0x2d4c3333cf741e7c0b86ac0f962368322704d1e09c0212181c82eb62ca426ae6, - 0x15704173948ee1c2ff0072e43a8da316d50a7d59c0e47e0d6d045fce33d251cb, - 0x1b7beea1f3d1073553d6a0756ff8be081b3a4ed4bc882927faf1e298a159ed28, - 0x28a5660731ec0e6658d707a7426b44ee10a8d977131c6d9573da6c78fc813946, - 0x1c25e36d652690ba17330b8f416f0de50a118087e8683418dc566a1317fb0d57, - 0x0560867e3051cb4a1abfb67dc385ddf9bbc2c66afc78ef1c7be32cc5bb26ee5c, - 0x020d0d9f2151ed7330fc4cacbb9b6d95ed0c914739cf0411256254424bbc105c, - 0x00ce7eb2024c8a6e75097583cb82de4058f87d46f2709bebf26e6ebae3e8f136, - 0x04d78c43b841fff58081606a44fdefde0aea13c52cc3387527b22d2205b843b5, - 0x2259d75915d33431cd5aad3b0d90f0069197e190113ee3ad2c99f0e2b3f72195, - 0x178df288dc79e1c87e5f052da31c98b3bfb533721923b7e3869c2112e7e85326, - 0x11d668d143812697fd24ef1a20103b6c76339f652080fa63742802c1ecdcf0de, - 0x0cdc41f4f4042ce1c5db5bb57972bf5594ace8acdd18017319e6b2cb658088b6, - 0x1a54ebce705e92e10f7f665b3cbc66007c9d30da4a94926642dd7fceffeda68f, - 0x279a8f5f37202edab28c806177a0ad8c2ddb65431b8187f5ea77fb192e1cc93d, - 0x110f2b2bbfa6c4cbcdb3ae38931c217eb0d57c8657d5030cd774b421f057658e, - 0x286352ab3c8d4acac74af412e2653056ae23a8d6e79b57cf5c4e9e89c0461c7f, - 0x22aaf44d434a8c6947615bf82c5f48018174cbd10b8318418e20a1ab80fbb3a5, - 0x082066e1285be2fd943557f5759e60210a5e7df9f555e1d3d5b11a0245099143, - 0x03aeb70346c3d88d586efcace591ff711b2f4545729a1e8fe6a77a36b3f9cdb1, - 0x0b2d2bc2d90f3e14f39ca85cd7fefa45a8e92a885c42daa99d003b969f42597d, - 0x176403ebf4f777060fe4abe354ce6040fa9ecfc5786ae16cf688eb0eefba94f2, - 0x2f50f3e014c57024665b5772aa6debbf7ab97d0cee8afbc398aea0c8c3d0a9d1, - 0x113d1852aeee168d5fcf9e2e14145e7d2ba384f6f05e8e07bed66acd2c3bc491, - 0x22376402c1dc96acbaa37c274e21b1543029b2d966b33ba918ace6f234fc384d, - 0x1072c07f09517532c90fe00ea49cc84254c90f4ca2edbbcd49c8a1eb1f697902, - 0x1f9333b7dea348b385995653f86f9c2e3be223912afd11bb18c800d8866ff29c, - 0x2c9c33a9c2feacdba47389b4bc20c79b0b7cc26936200bf69ea5a27c4749be7f, - 0x0f73f26b06c75f4fd57c980c89d171fd02e7c8119c435f49a24cc479a4833234, - 0x1cb90811236a470d88b7c715fb3a74a9b6a492acdb910c873b984246fcfee4c2, - 0x22dbf55d5677d6d1e0cac605667f3a6404a56fa414f9ff0dab8596af82c684dd, - 0x2da8726ebf2c743deb43ad984666314494a9996600e24948d5c1177241f5cfd5, - 0x2aa9d68806873b74f3973e10537494a226f5c13cc8c7958b9044e57d6d380d6f, - 0x16373afa12990e5f280009e6146acc709566c771f029871a6a862f0d920b5c1c, - 0x29054bafcf9f9af1d86cd6ce179538de6149cc12e87f1941f2e9d70d8ee25243, - 0x234f73766998d7f080a96b9b20e8185e50eda5d93c7a20742185d8dce045fa89, - 0x29e0fd2afa0655695aa558855310120c43d05c2c12b1af5680392be9d711159e, - 0x24a4b6c48ce3aa487d4292414db1bbaa4edb2356217f9803882ad186c025a4ec, - 0x0109813f99a5e5d3e3b3c5f20090c179b5509a1e87f5be4767ad9f2769335eed, - 0x068176b175eb6d4f6be7790c7f9ceac335486fb5d2651e5ed3292c1bb52921d4, - 0x2b0331e9393832024612fa348c6cb1c7e3bc0f8233b04f83dfee9c2da005b250, - 0x2ca724a465a514d4ef71dca994432a392b20dd976fe4d6f3214280c285ec94a0, - 0x086c36ffbc668a2207f1d8a3464376167d8b418ea5030ff496da344a458490d6, - 0x1533706df2390af82e10275246db4319db1b28208c59c28a0dfc7d0635803990, - 0x05f13219f8a4b1025b442d1cf526957a9a595ba140fc1d90f8c886746bc35a7b, - 0x16933f8cceda41f5b4d047a1c0a2d10958563f5db08066fd9416fda4e40c68aa, - 0x233096e4dceee0b3ae560189bd64c91160c350779c28f93b35d5b4a7f7712e94, - 0x07fa6f6727f8e91bdf362538575a2743fec75aa8add0bd1f1a227e65fc4adcb0, - 0x1c490af994c52e36d21c4d5b4a1fb657a49ccf5a810f7044a889b07b5a538d4a, - 0x042a23d3d8acfbe670b16e77ba7cb966315b1ca5fd963265fe1f59eed4a2a3ec, - 0x105ff3b04c267b649d03b17f609749bed73d5a2c373a1f89818033b165f48ed6, - 0x1b172978ac949fdc51202f3929bf56d0ce14ab07434f4633e6f68a9559a07a7a, - 0x2e575563c3bccb0e5181a47fb1ee752a7a671ecc91c17716ac56e12852ad1561, - 0x2a2b0706edbd2b7eaa1f6c6a2ac566d926234c6a169615d5b7e79adb6ef93369, - 0x05ace2fb7ba01279fd52d1433c42fe1fcbf27a8823fbdf788556570e3884e7c9, - 0x0092f357e8f0c781bff9b90c76a4e41462fe92ea6cb36d02adb7b598ffd40046, - 0x200dd359583eb7422dac26b8dc26c6ea284703005a706ea1600935dd0fc1f87b, - 0x01067478a6f9a5a999e3fe87378fde5abf0d8ed56c3c1a648cee62e502e88f5b, - 0x17eb93ae32e75ce3654d7f193d53c38543be71a154f43d30e67738c8abe4d659, - 0x10b1f942bd7dfef88b4ef8cef12e074a3150ca31784ff3bb69cf661b01b96f87, - 0x0e8b9809e17f9e7a04cb57e409eaab82a9d57302de26e5dd32666082ecb74f62, - 0x042af5396847cc6ce227776d9f7481b65e0b8ce2858d2a4328c25d549b3b6fe6, - 0x25fde7074f082a309bd857ff071df88b6e4004dba38650a51e117d0726785c43, - 0x193eb81682f0c88ff6d3cef9dbe71962860e31b5f5dea07df62608e81f4cd331, - 0x21a8ccb0264455242659b69703301b0ca924be63a5e033de8bad89a3fcfe5da9, - 0x2945dd17e8a6095ab7879bb2ad6d6575c3cb92074651a1b6a452daf6d6eef668, - 0x0e7bd7ddcd5b487190dfdf53bc0fb3d1efd2470210b6272ac945748aa894043c, - 0x1d4f0e42124ba8ba193527db8b16283d39d77951a866b4729add8fad99ccecf8, - 0x18c44546876964fb6a85492705c67d2e144128519d7a03ddd924cea47aee0dc9, - 0x0d1428693bd58b2a6ceeae2745cc89a2d07bad0065228253a21564b47160acd3, - 0x0246968a12a67b005dd5691d71f53d950f1ac2ce0de5835ec8883861f2761e91, - 0x22127a11cecaadaadaeaeb5592f823851e5b80db5f1f4adf0f5ff013aab6acd3, - 0x0bae45f539ac68829b01f9755858401af76b27d983739227478aab249c5cd08b, - 0x2ffcb6c8e1671e47683a0e7d02c4170a5af758c42cea101754cf36fce6542291, - 0x2673edfbf2cecc6d140e50891dd56178bb5f7daad2c7f7e82e02074174cbccbb, - 0x02b132b8e30f9f07a0d51d755f652159c92e5fdd4107629912fa62c01591ab02, - 0x079975637ccf42371e03c052a87310457c844122a1ebdaddb8070f44fd7730a4, - 0x1beaf69915ca77b58358a696bbf84bc9ce1a478958f6ccd057c21ab826425236, - 0x06e513a6c2fbb3d0160bd05263cfa95ccf6e1caef5fcc6a839a05ffe59a47fcf, - 0x0d1f54c6d986976670ac11ae9fd04fe131d6690d7377b068231bed92f4c5ba0b, - 0x14bbd8a734f6a043f95e69e2155cb65e4fb84cc24ac1f5c8ac6547bc303b1ef2, - 0x19358e657a98d9a2244a27018a7f50758609350167ced03314211dd3fe9242d9, - 0x00bca3b42d08f0f682e6e6eca315671ebf31f6cf36843cfe6073ba0f69fd8717, - 0x018b4b1a387530808b953aa56733ecb3cd95a61205cb8b08aa89328b3c879757, - 0x05310ae64e8e05eddce42e9370e761c965533a8685d3c2460e9e2393da1f8a37, - 0x200a4c9a209660e05188ccc9e350d0ba746af52666790c365c8812d6a40ed5ea, - 0x251adeccfc3943428ed6279b2ff500eaee11cf8f37910e0b57e5ade99dba36b2, - 0x2df3081bd4a97303a068d662abf23fef7f33ecb67c83645e5ab3095a86925064, - 0x02f7b09f7ee3d2732996fa175b5c1de3a415a5b8ad83a67323d621c8692c2c73, - 0x2e2a507997465da1205a02c06ffe5013de1dbc0f5df299bf331300be45b31a1b, - 0x2f99f8cb42eda5a401e00a826eec343c792bdba07965b0790487151ca065c0cc, - 0x0f50f142de63f8a59e8107dc287971fe48a95bd5debcc7c5874f380c5360f6a3, - 0x2172e7f369505b0ffdbac165ffbefd6b9f285206dadd6ff5c1b78aa9f6fb6809, - 0x25d612d3e96dd530ed39801e24756613e5592ea44d982308cd0a9e27aab457f2, - 0x2a513a7791c225df3b710369e4ffc3b332233d34044d0aad2cfe808a17025810, - 0x1f765b73e2e1678499e4f3a58d317817a72a67bf318d75c51bd8175f8d4c5cbc, - 0x20d3476e397dc3ce21614423e55c4f46f08fc7f9c3cb7516fecb7f2889190817, - 0x17fe12fcf94ba294d2f65b0d88f500b9bcc2423cba34a68656b17c18fe38739f, - 0x093d25c02dd5376c2a3902df7dd688bb4c0578f20bf5ea4f06614223d5075fe0, - 0x02ad0b364a6ab3e48f3f8e8f4e9ed136b2b4acc67835340dff16d9f3b8e73f2d, - 0x07b4f0e8282ee161bc085709e3c7309da10da3c6c5c879142acdb517a3fd00c5, - 0x19ea14ce82444de5bd3173fe477d6819079ec48fd02c336a38ee3524d65b443e + 0, + 20888961410941983456478427210666206549300505294776164667214940546594746570981, + 15265126113435022738560151911929040668591755459209400716467504685752745317193, + 8334177627492981984476504167502758309043212251641796197711684499645635709656, + 1374324219480165500871639364801692115397519265181803854177629327624133579404, + 11442588683664344394633565859260176446561886575962616332903193988751292992472, + 2558901189096558760448896669327086721003508630712968559048179091037845349145, + 11189978595292752354820141775598510151189959177917284797737745690127318076389, + 3262966573163560839685415914157855077211340576201936620532175028036746741754, + 17029914891543225301403832095880481731551830725367286980611178737703889171730, + 4614037031668406927330683909387957156531244689520944789503628527855167665518, + 19647356996769918391113967168615123299113119185942498194367262335168397100658, + 5040699236106090655289931820723926657076483236860546282406111821875672148900, + 2632385916954580941368956176626336146806721642583847728103570779270161510514, + 17691411851977575435597871505860208507285462834710151833948561098560743654671, + 11482807709115676646560379017491661435505951727793345550942389701970904563183, + 8360838254132998143349158726141014535383109403565779450210746881879715734773, + 12663821244032248511491386323242575231591777785787269938928497649288048289525, + 3067001377342968891237590775929219083706800062321980129409398033259904188058, + 8536471869378957766675292398190944925664113548202769136103887479787957959589, + 19825444354178182240559170937204690272111734703605805530888940813160705385792, + 16703465144013840124940690347975638755097486902749048533167980887413919317592, + 13061236261277650370863439564453267964462486225679643020432589226741411380501, + 10864774797625152707517901967943775867717907803542223029967000416969007792571, + 10035653564014594269791753415727486340557376923045841607746250017541686319774, + 3446968588058668564420958894889124905706353937375068998436129414772610003289, + 4653317306466493184743870159523234588955994456998076243468148492375236846006, + 8486711143589723036499933521576871883500223198263343024003617825616410932026, + 250710584458582618659378487568129931785810765264752039738223488321597070280, + 2104159799604932521291371026105311735948154964200596636974609406977292675173, + 16313562605837709339799839901240652934758303521543693857533755376563489378839, + 6032365105133504724925793806318578936233045029919447519826248813478479197288, + 14025118133847866722315446277964222215118620050302054655768867040006542798474, + 7400123822125662712777833064081316757896757785777291653271747396958201309118, + 1744432620323851751204287974553233986555641872755053103823939564833813704825, + 8316378125659383262515151597439205374263247719876250938893842106722210729522, + 6739722627047123650704294650168547689199576889424317598327664349670094847386, + 21211457866117465531949733809706514799713333930924902519246949506964470524162, + 13718112532745211817410303291774369209520657938741992779396229864894885156527, + 5264534817993325015357427094323255342713527811596856940387954546330728068658, + 18884137497114307927425084003812022333609937761793387700010402412840002189451, + 5148596049900083984813839872929010525572543381981952060869301611018636120248, + 19799686398774806587970184652860783461860993790013219899147141137827718662674, + 19240878651604412704364448729659032944342952609050243268894572835672205984837, + 10546185249390392695582524554167530669949955276893453512788278945742408153192, + 5507959600969845538113649209272736011390582494851145043668969080335346810411, + 18177751737739153338153217698774510185696788019377850245260475034576050820091, + 19603444733183990109492724100282114612026332366576932662794133334264283907557, + 10548274686824425401349248282213580046351514091431715597441736281987273193140, + 1823201861560942974198127384034483127920205835821334101215923769688644479957, + 11867589662193422187545516240823411225342068709600734253659804646934346124945, + 18718569356736340558616379408444812528964066420519677106145092918482774343613, + 10530777752259630125564678480897857853807637120039176813174150229243735996839, + 20486583726592018813337145844457018474256372770211860618687961310422228379031, + 12690713110714036569415168795200156516217175005650145422920562694422306200486, + 17386427286863519095301372413760745749282643730629659997153085139065756667205, + 2216432659854733047132347621569505613620980842043977268828076165669557467682, + 6309765381643925252238633914530877025934201680691496500372265330505506717193, + 20806323192073945401862788605803131761175139076694468214027227878952047793390, + 4037040458505567977365391535756875199663510397600316887746139396052445718861, + 19948974083684238245321361840704327952464170097132407924861169241740046562673, + 845322671528508199439318170916419179535949348988022948153107378280175750024, + 16222384601744433420585982239113457177459602187868460608565289920306145389382, + 10232118865851112229330353999139005145127746617219324244541194256766741433339, + 6699067738555349409504843460654299019000594109597429103342076743347235369120, + 6220784880752427143725783746407285094967584864656399181815603544365010379208, + 6129250029437675212264306655559561251995722990149771051304736001195288083309, + 10773245783118750721454994239248013870822765715268323522295722350908043393604, + 4490242021765793917495398271905043433053432245571325177153467194570741607167, + 19596995117319480189066041930051006586888908165330319666010398892494684778526, + 837850695495734270707668553360118467905109360511302468085569220634750561083, + 11803922811376367215191737026157445294481406304781326649717082177394185903907, + 10201298324909697255105265958780781450978049256931478989759448189112393506592, + 13564695482314888817576351063608519127702411536552857463682060761575100923924, + 9262808208636973454201420823766139682381973240743541030659775288508921362724, + 173271062536305557219323722062711383294158572562695717740068656098441040230, + 18120430890549410286417591505529104700901943324772175772035648111937818237369, + 20484495168135072493552514219686101965206843697794133766912991150184337935627, + 19155651295705203459475805213866664350848604323501251939850063308319753686505, + 11971299749478202793661982361798418342615500543489781306376058267926437157297, + 18285310723116790056148596536349375622245669010373674803854111592441823052978, + 7069216248902547653615508023941692395371990416048967468982099270925308100727, + 6465151453746412132599596984628739550147379072443683076388208843341824127379, + 16143532858389170960690347742477978826830511669766530042104134302796355145785, + 19362583304414853660976404410208489566967618125972377176980367224623492419647, + 1702213613534733786921602839210290505213503664731919006932367875629005980493, + 10781825404476535814285389902565833897646945212027592373510689209734812292327, + 4212716923652881254737947578600828255798948993302968210248673545442808456151, + 7594017890037021425366623750593200398174488805473151513558919864633711506220, + 18979889247746272055963929241596362599320706910852082477600815822482192194401, + 13602139229813231349386885113156901793661719180900395818909719758150455500533 ]; var t; diff --git a/circuits/pedersen.circom b/circuits/pedersen.circom index 2b07153..09e9e75 100644 --- a/circuits/pedersen.circom +++ b/circuits/pedersen.circom @@ -158,16 +158,16 @@ template Pedersen(n) { signal output out[2]; var BASE = [ - [7889815880984390413826091016397158135734961432619494935997950708325418623781,8846020814737052626835496416415322522216827521798085437978304928900248828704], - [12932435660254426850246080929365951045207624124386035886549006330955720993567,15876660444082442781217588393435527739441124986236154572507597829115005542086], - [2482397177297734131621151094340467680859038448217226675361423673093734165962,10039279516804305991696249700635360957313934801940294703211894781106216299926], - [17157815998940296936592098789990444736073034804807810484873853349962905015352,6488208869655503622669430389521947006738035600928015942696596112432120303604], - [264004460746169389447419243214191481604172623204375600962322511417379874376,2415858116338771134001541482988382151008857516531390792628421155957250972277], - [4135925743285698117252356077971179769271452015650275231796007492648697405139,10188226868678337759614729372197905253307539893323271103976079007344248400845], - [1774758779250924961062140611815304699163957993414252473010092444201412186500,4347026286058522695608532575722049241297833321096891696953943795644684841805], - [7879866447646097585900946926276218605564915618236971624614091698429769712458,2093592432852088858177276030443845730480437238346603396739626046140688969347], - [8298560996095230984182228319122592575131718101813938808256495049817179791777,1767915891871602626938298102360238720016341966012238026281701463959008338852], - [10415885340847357003805466620366840573458521568359796855704531856219635265921,3432650026491357206165099540731361444311747596326968441647905394914712226413] + [10457101036533406547632367118273992217979173478358440826365724437999023779287,19824078218392094440610104313265183977899662750282163392862422243483260492317], + [2671756056509184035029146175565761955751135805354291559563293617232983272177,2663205510731142763556352975002641716101654201788071096152948830924149045094], + [5802099305472655231388284418920769829666717045250560929368476121199858275951,5980429700218124965372158798884772646841287887664001482443826541541529227896], + [7107336197374528537877327281242680114152313102022415488494307685842428166594,2857869773864086953506483169737724679646433914307247183624878062391496185654], + [20265828622013100949498132415626198973119240347465898028410217039057588424236,1160461593266035632937973507065134938065359936056410650153315956301179689506], + [1487999857809287756929114517587739322941449154962237464737694709326309567994,14017256862867289575056460215526364897734808720610101650676790868051368668003], + [14618644331049802168996997831720384953259095788558646464435263343433563860015,13115243279999696210147231297848654998887864576952244320558158620692603342236], + [6814338563135591367010655964669793483652536871717891893032616415581401894627,13660303521961041205824633772157003587453809761793065294055279768121314853695], + [3571615583211663069428808372184817973703476260057504149923239576077102575715,11981351099832644138306422070127357074117642951423551606012551622164230222506], + [18597552580465440374022635246985743886550544261632147935254624835147509493269,6753322320275422086923032033899357299485124665258735666995435957890214041481] ] var nSegments = ((n-1)\200)+1; diff --git a/circuits/pedersen_old.circom b/circuits/pedersen_old.circom index f01e667..942ea0c 100644 --- a/circuits/pedersen_old.circom +++ b/circuits/pedersen_old.circom @@ -11,17 +11,17 @@ template Pedersen(n) { component escalarMuls[nexps]; var PBASE = [ - [ 6842263847932328569390632736104801120816056295876316310227967232893658007436, - 10520112236148895828506510766039255961372323270202387671483666293012156799229], - [ 7512553369533424708326990019377586455744651641787163924108944444109352325495, - 242060483180498555826438209654403949979206323274480625257315595534333598496], - [ 480315709862415282411588615813248553518720286084247594626493599605932342246, - 15016559215090999873142530067666085992648246670781771102893391410239675444873], - [ 8311398801616893527636419786153024398643144699386228070202625261657263599049, - 11125962584728296601438821974884453267303385157860713577195820780853779600315], - [ 1924118814882677827825936037840538695314492559747259292440881566152665343441, - 17232376423406964731689089286495480735310130852288107159412732879983310795144] - ]; + [10457101036533406547632367118273992217979173478358440826365724437999023779287,19824078218392094440610104313265183977899662750282163392862422243483260492317], + [2671756056509184035029146175565761955751135805354291559563293617232983272177,2663205510731142763556352975002641716101654201788071096152948830924149045094], + [5802099305472655231388284418920769829666717045250560929368476121199858275951,5980429700218124965372158798884772646841287887664001482443826541541529227896], + [7107336197374528537877327281242680114152313102022415488494307685842428166594,2857869773864086953506483169737724679646433914307247183624878062391496185654], + [20265828622013100949498132415626198973119240347465898028410217039057588424236,1160461593266035632937973507065134938065359936056410650153315956301179689506], + [1487999857809287756929114517587739322941449154962237464737694709326309567994,14017256862867289575056460215526364897734808720610101650676790868051368668003], + [14618644331049802168996997831720384953259095788558646464435263343433563860015,13115243279999696210147231297848654998887864576952244320558158620692603342236], + [6814338563135591367010655964669793483652536871717891893032616415581401894627,13660303521961041205824633772157003587453809761793065294055279768121314853695], + [3571615583211663069428808372184817973703476260057504149923239576077102575715,11981351099832644138306422070127357074117642951423551606012551622164230222506], + [18597552580465440374022635246985743886550544261632147935254624835147509493269,6753322320275422086923032033899357299485124665258735666995435957890214041481] + ]; var i; var j; diff --git a/circuits/smt/smthash.circom b/circuits/smt/smthash.circom index a30311d..75f2c46 100644 --- a/circuits/smt/smthash.circom +++ b/circuits/smt/smthash.circom @@ -11,7 +11,7 @@ template SMTHash1() { signal output out; component h1 = MiMC7(91); // Constant - h1.x_in <== 0; + h1.x_in <== 15021630795539610737508582392395901278341266317943626182700664337106830745361; h1.k <== 1; component h2 = MiMC7(91); @@ -37,7 +37,7 @@ template SMTHash2() { signal output out; component h1 = MiMC7(91); - h1.x_in <== 0; + h1.x_in <== 15021630795539610737508582392395901278341266317943626182700664337106830745361; h1.k <== L; component h2 = MiMC7(91); diff --git a/doc/smt_hash.monopic b/doc/smt_hash.monopic new file mode 100644 index 0000000..afb506a Binary files /dev/null and b/doc/smt_hash.monopic differ diff --git a/src/mimc7.js b/src/mimc7.js index d74fbd8..30f26e0 100644 --- a/src/mimc7.js +++ b/src/mimc7.js @@ -3,11 +3,20 @@ const bigInt = require("snarkjs").bigInt; const Web3 = require("web3"); const F = bn128.Fr; -const SEED = "iden3_mimc"; -const nRounds = 91; +const SEED = "mimc"; +const NROUNDS = 91; +exports.getIV = (seed) => { + if (typeof seed === "undefined") seed = SEED; + const c = Web3.utils.keccak256(seed+"_iv"); + const cn = bigInt(Web3.utils.toBN(c).toString()); + const iv = cn.mod(F.q); + return iv; +}; exports.getConstants = (seed, nRounds) => { + if (typeof seed === "undefined") seed = SEED; + if (typeof nRounds === "undefined") nRounds = NROUNDS; const cts = new Array(nRounds); let c = Web3.utils.keccak256(SEED); for (let i=1; i{ const x_in = bigInt(_x_in); const k = bigInt(_k); let r; - for (let i=0; i { if (process.env.MOCHA_VERBOSE) console.log(msg); }; -const SEED = "iden3_mimc"; +const SEED = "mimc"; describe("MiMC Smart contract test", () => { let testrpc; diff --git a/test/pedersen.js b/test/pedersen.js index 6987c02..d828520 100644 --- a/test/pedersen.js +++ b/test/pedersen.js @@ -11,16 +11,11 @@ const babyJub = require("../src/babyjub.js"); const PBASE = [ - [ bigInt( "6842263847932328569390632736104801120816056295876316310227967232893658007436"), - bigInt("10520112236148895828506510766039255961372323270202387671483666293012156799229")], - [ bigInt( "7512553369533424708326990019377586455744651641787163924108944444109352325495"), - bigInt( "242060483180498555826438209654403949979206323274480625257315595534333598496")], - [ bigInt( "480315709862415282411588615813248553518720286084247594626493599605932342246"), - bigInt("15016559215090999873142530067666085992648246670781771102893391410239675444873")], - [ bigInt( "8311398801616893527636419786153024398643144699386228070202625261657263599049"), - bigInt("11125962584728296601438821974884453267303385157860713577195820780853779600315")], - [ bigInt( "1924118814882677827825936037840538695314492559747259292440881566152665343441"), - bigInt("17232376423406964731689089286495480735310130852288107159412732879983310795144")] + [bigInt("10457101036533406547632367118273992217979173478358440826365724437999023779287"),bigInt("19824078218392094440610104313265183977899662750282163392862422243483260492317")], + [bigInt("2671756056509184035029146175565761955751135805354291559563293617232983272177"),bigInt("2663205510731142763556352975002641716101654201788071096152948830924149045094")], + [bigInt("5802099305472655231388284418920769829666717045250560929368476121199858275951"),bigInt("5980429700218124965372158798884772646841287887664001482443826541541529227896")], + [bigInt("7107336197374528537877327281242680114152313102022415488494307685842428166594"),bigInt("2857869773864086953506483169737724679646433914307247183624878062391496185654")], + [bigInt("20265828622013100949498132415626198973119240347465898028410217039057588424236"),bigInt("1160461593266035632937973507065134938065359936056410650153315956301179689506")] ]; describe("Double Pedersen test", function() {