fix: testing

summa-dev · Nov 21, 2023 · ac0cecd · ac0cecd
1 parent efe6b87
commit ac0cecd
Show file tree

Hide file tree

Showing 5 changed files with 11 additions and 6 deletions.
diff --git a/backend/scripts/update_verifier_contract.sh b/backend/scripts/update_verifier_contract.sh
@@ -6,8 +6,13 @@ echo "1. Building verifier contracts"
 cd ../zk_prover
 cargo run --release --example gen_inclusion_verifier
 
+# Generate Commitment for Merkle Sum Tree
+echo "2. Generate Commitment for Merkle Sum Tree"
+cd ../zk_prover
+cargo run --release --example gen_commitment
+
 # Deploy contracts to local environment
-echo "2. Deploying contracts to local environment"
+echo "3. Deploying contracts to local environment"
 cd ../contracts
 npm install
 npx hardhat node &
@@ -16,7 +21,7 @@ sleep 5
 npx hardhat run scripts/deploy.ts --network localhost
 
 # Generate interface files for Backend
-echo "3. Generating interface files for Backend"
+echo "4. Generating interface files for Backend"
 cd ../backend
 cargo build
 

diff --git a/backend/src/contracts/deployments.json b/backend/src/contracts/deployments.json
@@ -1 +1 @@
-{"31337":{"address":"0xe7f1725E7734CE288F8367e1Bb143E90bb3F0512"}}
+{"31337":{"address":"0xCf7Ed3AccA5a467e9e704C703E8D87F634fB0Fc9"}}
diff --git a/backend/src/tests.rs b/backend/src/tests.rs
@@ -274,7 +274,7 @@ mod test {
             liability_commitment_logs[0],
             LiabilitiesCommitmentSubmittedFilter {
                 timestamp: U256::from(1),
-                mst_root: "0x2E021D9BF99C5BD7267488B6A7A5CF5F7D00222A41B6A9B971899C44089E0C5"
+                mst_root: "0x18d6ab953235a811edffa4cead74ea045e7cd2085771a2269d59dca054c955b1"
                     .parse()
                     .unwrap(),
                 root_balances: vec![U256::from(556862), U256::from(556862)],

diff --git a/zk_prover/examples/commitment_solidity_calldata.json b/zk_prover/examples/commitment_solidity_calldata.json
@@ -1,5 +1,5 @@
 {
-  "root_hash": "0x2e021d9bf99c5bd7267488b6a7a5cf5f7d00222a41b6a9b971899c44089e0c5",
+  "root_hash": "0x18d6ab953235a811edffa4cead74ea045e7cd2085771a2269d59dca054c955b1",
   "root_balances": [
     "0x87f3e",
     "0x87f3e"

diff --git a/zk_prover/examples/inclusion_proof_solidity_calldata.json b/zk_prover/examples/inclusion_proof_solidity_calldata.json
@@ -1,5 +1,5 @@
 {
-  "proof": "0x15666f16c7d68223e6b9c9c299fac3b803d46a960f47781cc5c0eeb8c856398f11ef4dc9ef530900971df61f85a6430fe03334b7a1963a8dc8ddf665d961c14328c6303c914db6cf125df6b73c0e21781bdcd077b85004b825940731c1efe1890b42c6a3c81128c0d89925fe59d4850c53b2885bb87fc8ec03d0578b4464ddb4225def883adb638e3e91fd27c28ae949d1ee55bc34cadbe2e98782491c88ffbd2c4dcdb4b85f5312843bfc629c63ef02faa483662f31da3cecb37af444b99c3a29d20a3dfdd565dbad3b7815bed95c1e541f192fd01d2f2a35c91bc27495e5aa18d1fb7f7a04b20f3cb75cfe5d0e57d5da0a96aab832ad748e54bdf326bb699d230272cdfb39ce8e339b81b68e22c5220f94d21535adfe0e480bbb1ba57cf2a323ad94b96a55d446577db1b9205640a5086b4ffbd55c5bdcaeb1c2d02a6707152b1fbc6f5f72247a081bfada137e88dceea138f1032b314c53a465df0b841f1816122ac18879109a1edbd96563d005ad94ad29fc6b3d79cde261253d2e05a64c0b8e6981e652184f88a7308060cf452c9f2b82416cf04a70ee6a27d8aa4953522ab8b428a3201e12191358237631594ffcf8872f0fc239b7d39aa0c248ad72ba04ffc0c9488cab65bc34d76814bd44be1be8963a029a26a411c98ae0b46244960148954af7fe61d5e89401939a2dd8df51968bb6e2593b4a11b14def0dce4d4d1d87ab62242b340fab16091634c3bb78d7dc1e7a48b0489e417238015886eaba1040505af2d5bb8779fd410fbbbc5db7cdde3f6707d814930e2ba3efa35f1c36256b828a826cd062eed329001e3906ac0fae15eaed8ee97946843cc78a0993ff20819bda49b3fff6a57d9a19922d71f21beb8ef19bdd120d4f0593ae0e56429410fc1a33f5001ac35be1b27e8f9488165978523eff2c0a8e03eefcfddc8015ff1e163f14daf34f1e988a71f4a688d25a2412e86d42449a9bce79ab4f1859764624c9808cd4fe2568d56b1d71df4da61be2cb1ef9fc9d6f75a4aa36a51cbc1f9d0006fc7dd9f35045ddf82f237c4e94d92d0d3c936532d8b2c55c4b3dd122e0db04fe55292bdaea5ee19cfb3ed6d1a9399dbcb626cb531272ca9e9ccd6e400b0b2af8808b9dc78ac637033a7d43e0a47afe9afd88693038966f2ec6252394a3c12d6aab70a8c8d49c51110e3a49fcb42cefaace10753be254fe2d626ca4d22fbb15fdb2643a5a53aca958c0f13846bac9b0da2b95136781f11aea3858006119bb155ad81e01fc55a664edeebb6a96f63229571cddc3fbeb4d1eb6d52634dc62b60f5fe53578dbe48954d2acdea7ee60b1860fc5fd2ef7ba6cd5a95580ad21e42a18cd7a1727489b742d420d8d696a65b705f80908111206c7a0ce076361238fa3244dc6b5ef4b2ad30df7145ae12340925ad7db08897ad81cf1b994949e3777c9228725affe5fe2c2eafa9da237d8ebfcfa2ac1eb0d1f6017f96f76f22081182b150675057fcadb27b0d0d24ada5fb9515c624549b6a73dfc03a8feb7ed75f63927a88e153d187782a5933ea8caaafc5912b530e49a16f103c1d9c66c9a681ee82c78bb7eeb2833106e2e3629cd0a2456c7a7f836422775304af980cfb38f201715164e087a567ac1040757600d21482052d938d87dbb639778923274686b5d7c140c5d2da4f8e664d60351bbc5f31d8d97ecc52d2c5b16063d884f472f426cc60fac70acfebe9487af9ee714ac0bfc470aba4d09a071cf3e2ebefe1fdc8a5115116a24ced040366f9fd4ae8e18ea88c2e40443af6953595db32f6ed875c126cd06523c07bcdf824c45a9ba6851a0d8d721e4e3afb26b5669c880b52fc28a54752aa07c7d163157ecb4f0c30b7daf1dd380c8e1c01c3c5862a53ef0891f92d8b118097ec1346386c0fdccc4f48f65f86c45f87be2ff5a96480ffe3f73d56c09e90b7f292249261c7111a1de17f47a7d9b6052d0cd070d594bffbcae199d936b4919151b3bb392b530b2a96c06957737b4c4ff186e02d49c0cdfbee84ebbf9e61e2d400fad9cab8f92fa8c5ac37d3b5ddc1dccc624f2c3f43c1c69648c2f270c3018ea211e67b7f35c4980d03ca2b7164e0e15db862c81e722151640065cdf9bc8208f0e92a073cd69a87e5f085a962a84900ea42898d308ae4bf158211c0c76a80f9f6973e5231827a083c6b79f80732042d1f7aef2c330c6a7eced802b358e850b47593524f9c0d58d517430271c9f8df825e3ea3edd770f5bc3b4043b2d163306ccfeb911c9ab148a0fb624f1f7956d50c72dd8ea2bc06c09a39c3569c286d62ad3171e23fb18dac0da223a9ba3ad56b0ab53c00701f065168fb1863ce02d041fcc14cdb13b82ea05b6c37a1ec49792df1b5e6c706ecfbb2f3a62982fc80f1008fa1689b16789ecbce50503c0c7dad3ee34ba0e6d3e61eab981633e4335e4e11c634a4542343b47791b7493c15780f4824c65676b406bc422455c586ecc4d4d27e9f9ca3c99f33ad85e5c59cee3ac54216490f08bd47cd1d24fa163a13c2efa22a69654de201f97a2df383120c7421f7ab6f88142c386cb51239caf39614029016b7b521a49af89e5aa14421729643bd69a0d383a3780ef6cfab0192e1d2761292441397c956e3e7af8245b7c79f4e8a6f5773b4d517f4fe4428a971f8a18cf2d8ed64bf580ea988b1f94c9397b2945ca030db86cef46f56445c57ec986bcdf1f5567c94a7876e6cbbed145d9dc423602245615dbbc5266cda38c2f85aa322d1a5025843b0f6ebe00adb102963173788065aa2951713b3e95d1c3b7b68c2b091a9357c076feee44468b3e2f5e0d388d1ce1af4bdded39695f3092da904cf4f70ffae0a3621be1643e984607d1c843791e32429986adcf3b3e89bc3af12104b61727b122b329226600de7ab813aae0f14b0ec7c129b1e20433b79f15d213e531287b62e32a4c927e659e8748b6ff8bb1b835f61397d710212fd0525594f081672250f6ff634680f3639801b023a13baeef34e59ef7fdabd4619eb28ad0594373",
+  "proof": "0x2e3c8092e1593b4e50f4b0f0dbd5fd15acc492e83a0a2f9c774f41104765206a1e53cf02305f1d484c39b472eb69703e3acd50bfcb001f0f8c4f07ff9359d9a228711b19e3a520f74860366bc091de65fcfff923efaf4cb9f106119baa2b47e113a261ed3e38b8f2625d4323a505f359acff9e7f0dbfb7c35567d81a780e855c0d901c8f74e14daed0c5307eb2181386eb59db804181c89220b587511bf5722229cb81b562b59ec182184effa0b0f86b82d6046718f89298c1f568de697efe792e61f5c3e4405b8652edc04ecd6b60930b5d4cfa885eeff2a7824d104a00260e2eb5a758d455e54d41b3795987452c3d61f6bf147a39b4f5500857eac55c00bd1fbb925981cbf59bbf750d12aadb38dac7af24737b9d61b937998dc6399a7c1e127029050b2467157c09061fc813525a1549e82cd1bb198e356a53b0bef58a9d1ad576e838087b28b8930860965d4f4222a386e9da8424c0a77ea173d09ca6eb18f8947d7f1173df0d82eee5474c4003a5ec9826dff88316776b9440ebb744d7014c264d6d661f991b1db7aa972e15283bc9b234f4774c5a38adb669b1bd5e481e3fad1f47e2cbfcbcb0738c5ecf3eac6479d438d45d3eda5141867db143540407d4856e4446b34528b05d15fce8a6e0c3fac98cc6012cf4803d92b1729500082514791409a211f6f922b25b16766cbe3d924c6239006b9220471b8f7cb7f2c604fe6c6ed6128f5bfbc0317b39f4ade6cd3df81fc8be6ce03ae013ce69a715810205e5555902e0b5eb3d5b04927a505eb3871fefdd46f3fb8c27705e552870e60f4e3a5efad85f3b71390c7b3b93258f5c382245110f5f82b6bda0ea10fbeddb04b1f59210623483b10e86f8d7575ddfa16a70b041dee37f36120f87e21f61a5185f0a2caa097a49888bd8fe434281cd7dda734d3c536f8529df39bab5ed38061040eb6f2af5e5c74738c1c0dd82e55faeb0fd432b8533bc870bc149ac9a0fe22852b94803e4ca8bc7e1ed404b1551ac2292bb3aa6f96a2b03fa8b147e897fdc0eba9b641a3a4825fadbdf9f88a4d090dcfa85d891245c138f06d1cc1ad824432ce00df40b29951d8d97141a51aee98c2964d0aaacb92a2092c6b45dd5e419fa24f5e21e11ed0b7b009a3d7e9d71062e4ff2c16af064769229f40832ac51364c179d82edf320ad640f4ef38397309ccff0bd2bafc8d4cfd828c65c1566c847990d446810b8cb5d716e6d196b7036c1463e97e93cfad5586dc89d2de2ec5cc8e32cc35cd5bfaff3513a2f1a533ded229a36144df57095f3161e690fef64769a8403c5aa77e26df76a0ce6ce158a69d93d2eb42c574ac102953f68e83fd5b79c38106809d2849291f9e98e79fa0ca4a87ab7ec8d8a43433cc2fefbe47b70d58fed1ee4b1ab9293223496babfd6ea8869018164535eb38582a7f2b54b07218cbe690b4cd5352eddc8684b2db28db913d36cc47923be52a691e9f92b5c869a7a704309a946c4a95f1c5277889638c553b06e1b750e4f2b78d5d0e4c42c9690bbbe052dd62fb395094a5a8d05a098b99783a95705fb4972e9f6bb813882a8879313e21f98749d8381dc27894d1b8fbfba2284dd9511d138c187de00d432b5af36a8e32677df8d34ee2834687b85697b5fca8c125c1726cc086b648a3c129b73ac427711bee1d1b7868beccd706df175566a530eed5c8f85ae89ac62ffaa3362e0e15f153ed80315c2201162f08fd1657e8a07d01ff766559bc959f7972823addd4ec4169e1c1f97c73b987c9025c3df019ddf46beac16b2cbe779304c328c1672f60d1a782e014ec908cf88d4b0c86c655152f732e1eeabe4488808b9d088d2de68d01b2ae9b858f37db114de5678a9f07b41753dd742e26b3d3d4c8bc181f2ad63ca0c0b97ff103bf45f894239bfa3760db83f1ae869e896409ae351c704da995bda115864f6f3d2e672db8d8cbd44697d61eac0eac5dafd7924ed793c19ddb1f05006b2d369a41ca293c6ed9b9dd39452e060faa3571b5f8c832544d50a231dda22005b256096ddd7e912b25e840d63c22eb70866257a7e486a50f9d7571595a5361f81b548f1dbe660064172d741694ad6e747e99838a6f490d4d74e62017fc28a2158f6b4282db5ce71881887a9126980f7d64c4e12e2502af8380150e8f6da60014ac69536c1ce1dc4c32077bfc10a070aefb4c82d550095efc1a90e50cac38d216a9ffa5829f1855c136ca36d5ff9b735993794d7adc189bb122fe4ff02e33a08f0fd81709ea66440234b1b8bf0b48069890e943b150226cb6bed7af15ed2641fe83eb6dd60477f353bdeb61034e56ffee596a0464a06f403b59a1f1cc349401781613e8c0ac215b9547a869a3ce7555a865118dc9b8b3cb335c658e88b9f4002f76dcfc2af472b2ad3a3240baa7e9f9c1e603ec0c47db5281ac3feaf24552a236c0bfbbc88502e36f0ee6d70cdb0408e66460c2e6de2e67410531df082283804c5021d96f777f4e232f3ca0002b8f870de96416679ab539a1284699aed87e41fdac1ccf733ea04073530ca1e6610db64e03275ed1f6a12aefd1c61908995de285c969911b4baf31a6333d90dad55bbb83044ba06a0349a91cf8a472d4d839e0f98a1779b0a089c4365ff905078439993cd11e8a97d359f064d3666796c862a0889696967ebe4215f29a6cf9c95ff3eae536543bcd0c614c58ac3978c06a01d292e84b24b4ead9cda998cdb8d9ce20d35cf7234c1de5e135b7353bc14b67b510203f135c183df05b65d68cc03b2ae101db3f3ad4c6bd12b52a1f020f649fc5517e48c9d6469fe281cf1225a075585c42cb524def45bf648c5f3e8bd4aca36290c870bd9aef46172653f7996504cdc3932a4dac1e4a496d489abfc2c7f5d2e750ab2ad9e0450430fde5be3e96a9c9832e20a8a07665bc46a998c437fa4785e8100e54ac56198c63eee271360b3a891f2e5514e46548da00ecdde7aa6ae55dc8310940b886979141cbcaa81ce77931c729816a00e4a9ba01616feedcf99ee383d",
   "public_inputs": [
     "0xe113acd03b98f0bab0ef6f577245d5d008cbcc19ef2dab3608aa4f37f72a407",
     "0x18d6ab953235a811edffa4cead74ea045e7cd2085771a2269d59dca054c955b1",
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"31337":{"address":"0xe7f1725E7734CE288F8367e1Bb143E90bb3F0512"}}
		{"31337":{"address":"0xCf7Ed3AccA5a467e9e704C703E8D87F634fB0Fc9"}}