Improvement on LtChip (#138)

summa-dev · Aug 22, 2023 · 24627d3 · 24627d3
1 parent 56f28ee
commit 24627d3
Show file tree

Hide file tree

Showing 26 changed files with 18,258 additions and 26,319 deletions.
diff --git a/backend/Cargo.lock b/backend/Cargo.lock
diff --git a/backend/src/contracts/abi/Verifier.json b/backend/src/contracts/abi/Verifier.json
diff --git a/backend/src/contracts/generated/verifier.rs b/backend/src/contracts/generated/verifier.rs
diff --git a/backend/src/contracts/tests.rs b/backend/src/contracts/tests.rs
@@ -239,7 +239,7 @@ mod test {
         let result = summa_signer.submit_proof_of_solvency(
                     owned_assets,
                     serde_json::from_str::<U256>("\"0x2E021D9BF99C5BD7267488B6A7A5CF5F7D00222A41B6A9B971899C44089E0C5\"").unwrap(),
-                    ( "0x095ccd79cf0fef9757faed74485f7ded9dce7a67490773630adce50112f1e13907f894b25e6ad9bfd5e88c4fbd01327976e70c8fb83016c4d2f21930f72278e2240e9e1d49eca19e6ae06e8f500442e69354c6855299ab806984971c07e935ed1aa8d7c3d3ec19f7a65df38ec899aa085e9d917b51781e2c89a57e4d033306be04c1ec6a7265dd96431fd06f59a7c10cdd1b2c17bb8a259ea1f0aa473990a7fd2633b8fa4d3395806dd22cb52edc43f313f6bafc368c151eb2110e20bab9f23f0c9d2d2aac1c6035695f8087fc70a5bb7440bc9dc9073f74b155756b61e9734d05260ef5fa80036420528a209e0c767e1726f8e64ebcfb5ee9a59d12edb50cfb042e43a2bda4bfdc02fad894ea18981ddc58c80af745f67b5ff97ef04f9b37c90b9eaedb194eda4d7abc8c49097304d2a8515f18620b9ff59bbc56e0dcbe377c1308f11d72d983e263fc440811d6e9f193b0a0fa264f38e67f4f431eceb8470920b263648501bd10d7ee87b1ac413ff080ceb691f53e95791e2a1e39deb1b1e72d2968566eebef50f4f2e79a91221eed08f4ac57f07cdfb3780001f73f5ea89f0066094b22cc19559c81b898193816359039435a69f34b9245b6db8c8f76e1aa075939e23db318371e7ee4f4ea41b548551457cb4131280794621ca72ba2cef007cffcf5ceb934bc9a69f2c80c0625b667842428081b74920e603957e172806f29dc85bd03199aad1988eba070e2bfc8a0a37f9984701d8857a84a65a64dbfa61ba6b830fa5047ad4be4bc6b3357481b8d83d677e03f27db83a147aa49218c1401533188c87da56d4b7871964fad13103bd5125e33ee3ac41d241dff20b4be5d0304a46b3f973064c76b9999207f0606b0dbf417fb8362e7f29773713764326e27d44618a59c7b2b741f2f9e5a225fd63482113795b81f3476224e4be55e89280cee3e773320d85b175670273a14c8e9b4821bf2069ef5254ebba4fe2ed7b744020fdef85cebaa478f34eddc114701de9d9f4c6318dd3e55349bc92f837bf01a0afaa3e07561e8a281898f69981a1505370aeb063a61a29cb713debbe4ca6cac2cf40034fc6faeeba1f31b78730521ec6b6de6e2d0ae2f4a0781b130680120131bbf8bffe56f5baa7556a0b846b2a827e8eb55ac207a528810a975281329cb7a04c5d064170e42cdf6c9d9291edc8c3373f9f73fc50f7ab8dec245bc155b27f7174f87f87670016ab8763f1121f05745c7d6f70114e81db2eb822a94f28ff29318de1f4fc21f8d3502fb0806ace655edcb2e68c57f841f186c834e306ca07f9c04d33d11ffe15f71eff3076d0ef01c6d434dc2fe13ae3d4536fff415613f5b5f13c5bcc11c5569651b58f300abcc1e4e8692f36adc21149d5989a494e1544ba6111b57c7d0dd823ab53191e7aded3e96e11a88546419d409a164708b0777a2ca2bef4a705d7e2048efdd9c5978e6fc3a23302547a082a3d0893d3500b8b6c1ac1ac376ec9ebe367b3f852c6eac7aa70b396985826e83e9cadb6e8bd9c889997907ca30a75797e24fd52db5ae01fee5bb60ad0a26e39f73bee7c319703e7a45c403fe6104fa01c8ee86bc5cd4d6ac229ec9d0a7151b10dc91309302e4113870841c786a41a9090004afaa14ef347429a29097f837ed9fa88cd8a0cfa158e2766c2926033bf5649846a3503a4f6cfe081e5f2a20df844428bef230df79ec079c8525304f246b6cb90e3616ca07a8b0e11ad5f8de084aa125a498890cc7a8ca3d530f2c1df65a6e163c4373efa7766b7cf76b87270c8493d6d54abcde7b1c15507008370cc980d7ad3828e204cd7ae65db8538c6f742d8d0f0de08450617dfe4b3a05fbd7c73836de16e166caf0a0996e42793c6ddf0945014b310e4ad9ee64a22a2a2f5df921226f31d81322e8cf26c6da09b1dffdb42942b3c24c717dfd09a0831e1d7ffd20f43a21f07051449bef2d7e7fa662233fe493191ae6960e70ed7b9027eaafe9e42c49d8bf01988eb6cbb5352248ecae0a7fd31f9784522738675b8b219d95479c69e4e4061cc059c6dc935a678799c05e25c6f3ff445758399d80ea30388310ae65091c556d902ccfe2c55dc0d36b5c650c9ff907a51c695fe04ced186033d72daa6a5e90b651a7c4439d8376c82d0b4e5a5bd55c4075c9cbeabbfc1831c82d27556c6a21805e37ee343af28d5b155dd4df511a7cfd61a23c3e883729e8faf874e65e49ca84d76af5a0f8c36229212fe5ce6c69b4f268095cb4e1da01e8ed9374da2a7caf40b42ae0aa8bddc477911bd6aeb3376620a9d177779f420577660b7f457c168b6d7c953649545b2bbb8f8f4f2a089f1add2dba02f745672ca2e8b6936aded6139df497ddf2c9580a0f6e4a215332b209c372b87bc02df4207906f52996194c8b90203c249c8e94120fd24c514d0534d6adb3b1432b9b9b0fe71c1e4e41d4fd7f4f38f8092da15093d64791cfa1989efb096b3bbcd6a28b08468788cb1496329e5a771e9ba6589798bc355479dc82982e2b586182ee47121aad284cdf04ea85714ea3c2a6d4c4a229ec4efb37f819d4ff7dc7be4c37d5cf0cb3a85190d269f5ed86568959c77016cfde4b625168a9d423c00d5b3468c9402087ce7b8f1d60561cae28355278302a80cbf41f6f5cb825cdb86848f5c612490b4f6a46f6e1ce405b3f2a5bb47fc41093b5a71bed6edcc26ba4774d62ae2a3c243d1449d88a62ecc9ad3b9cd3c75769a799c39e614773c60301adbf068a28152d360fa6f5bc0c28e6bbab10bcc5e7489a42479b7fe818839c480c6111f0093d11361f1e64cd5ad836ed5447b04d723bff21d8c532a8c5171a6052e8f715416b10a7350ee05209d05c89a38647c472a9cc3340bc297bab55d412b55e903b1ab020b8fb2ddba3489e975afd45001ab45d1da25c74c2dc63ec4a4c71542c05aa7c0c03e33520ae22819ac1610c83146f1293f75e9a3d570d98e2b1a6a7ba4480ee299ee59065eb72fe388128bf5a435cb31ed75a2703426ee79eb3224538f7acb009642910ff7f8f851c4e15ec89dcca116cffb699be25d16326ce3bb9cf00f763062b0b5dab0673b3e1c97e32a3a292d18dd3df69e223369ec988a586c3d4ec2c1bc914b6dd72b8d50ac2c8ac5375016e0f8f0deb2213f9836cbe0bb76fd238ab22b3dd71c800b022cb90e4984ecf2149b6940850ceec181e65d2e6c1cfbe378f")
+                    ( "0x1b9dffcf6d037dff3288d1de002fc5896c0cfd6b103f3d36167930bc40f5876301529271bd54bfbff665f8f67e1fa78a9b770fdb5d2fa82a91079a17c54f219213d55596340a726283fcbed3af1f3d82446abd4d281f900433abf8c93461e0b6120e0b3652d10a516d9683eb482757103c9132c143cd2e71e9eed7a57f3bfac302b2aff262b49857c6080775c5491c5f66524fc680844ddd661098ffbfa50ced0c16798a20cd89609848ccfa9255fc65b060cc5e9426f775e6ec1b165265dd821fdea20f9bf02781af932d7647d4b468cb67e76dc1d296eb120ac250a60bc21126c540cb68789f3d8c44e97486587c866c2912270b4516e902bc6cce0752854211c515e8cabcd10f65828c5fc5effca18097683feaca421d4079890a428a972414330624eee4c441dacfb6d3210305cd6d4100d53b562204283cf85a18c34a940513229beb20137d3d513140fcaae41dc69f8dd8ba0fb54141403e42be6421561a8095d0ad7e22844cc4fed035a069fa0327207ba33654fb3be3a2e80cfb5c34099d05e365c53e2a21fafc190981b4d81014383330b0b1b9a95226042be7787d24341e36d7eac6adbdeb3f90d90fcbec2ede52491329888201c9851248f528af1c1bab4b29a2220898fd013b2a2fea40a9c4b97caef707ae79a45acf6b3fdf891662ed4451de0f42400eb271355f0ba834783855aabce411cf4d47fe834e06ec05563f9fe170ec6ae1dee3682496985f9562560ea8fb95a9ef1230bd445315871b17882f050f440d5c521b727d9d8d3fec85ce65b975aa576314d34c311a5fe72e60ec351520837704ed307d7f477b7fe7d66f2a26c94e93db8997b0475bdb28247fd076a2deeddb8736f386dc2dc456418a0241ad53aa865782c300366c67682b20149982bc7572e43e0aeccedd0ca32bd6328fea410a07d80a03164ecc83082b614ba06782f70db6cfeaa82f9bff2b3651e34983eb2248d66c0efd07ad5daf11eaf7ada4a01c1411ce7aa951b770da9df8fe91bb9e65da7532bd92bb49929f2b5b9b6519de36ee9be866097fc53de89a99544d9792612a1901107b059fa903054f63b965e27e6eda3c8f9bb79c419f9b588785daa6523cbe48edd1aacbc4cd1210a77dff581a204e1c4b0e31396abe9ae8653bea3dc34c4870c7e48847df9e303c4eafb0e84b73e01e40b36a0b2c3cb43092067def02e52c329986a11d3a222825b9f25a7a80f91e5162f4b9cb1ffb4cacc974ca08de85905bb0921b6e0f4f07ce31ec7779f038e86424bb3aa2edbf0b08194b15d0d5d5d750ec6ae38f114a04d53b8820cdfef9f5a040ec8e5b97d4b7c933851f985264357a44037bd4433904e9d6bbe0791b4a4f664d8569d60b912630d291216261b8c4900b99590303680bc4d2feacf70b8ee6224786335346fdc1dcf5ee8a9edee15458e0fc443c37be246c10c913612d9e71fcb5050ca3fe748de3958f25d3baf5771c1ba7d4047bf527dbde51b0dffb9067fd4f81c77a03c3de127cf7564d6b4f0dcce6904fce9a7315a8074a89a921093d67d62090f6d08b58c7e9a2df1e6f207a7826ba2ade2f9e19a1657a895d397751bbac2fd452553a2df7fcb5822cc98d05fab41813bad4cf1af9fdfff8a1ae26ef204aa4c09af1074fde8f7702255a0dfc1463bc6c408eba0de7759154c4b92513efc9d4b342581eb1b8d491c7d80d39af9660a0c0ea015d1486edf45d6ee0c9f635e82b4814aae921d308ec86039d02e5dd6ddfbd352d8514931dcc1d5a6492c7eed79a1d3add532a17ddb4163fd5136676faeba0c51e2927556615ef01470ddd01e1e778ee09b103ef950d22c57912fd925d1054c7027b2339cf7529ca8c20e5adcd6b41322401b8a635606d1d03b46d062a1c5a56c7d324382c10d14cde82efcb21a22e7f3da8fae1cfe1b4d011c379b5fac9845511bf021efe0a1594dc0200283b7447b6da19e582c617c8e538af92f7151c21d2c6a40ff4a53401cbf9630f3c980fad67f9ea516960319f369ba586ea3992a10baf7502cc2043378f29ced2620ce8f741e023fe4bb3c8d46bb1477bdcd820d7e553822c714b607142a16e3b835b25a930c2f2e6120a5a143f659d367b4d84f0b8aa1126d8d9d9325b6c1f264aaa1c04fe34d2b1c1c488715d9e94868f56d04233c0300f6555c30d66fd0d07cd1ceed8ee3112503739b0512da71b021f0e0d0303a8f30a925da3a540c5ae1a2323be8070a4cb85f0c6ce8bbf87329c6c1f2bfa706c3d27850e8b495138097fdc204f97ca142da265e543b602c8ef9c84b677283014561668dc44a8137db8476a782b1e8c708ab3985119e6a0059b8c92b796718e6da90c167723952a9d6d3d22bde3e45421d942feb9343c423d80a5353e680852ed371bea33dcf58edc4a4cfe9bed6852be7a266d071de118d49b978e3405e651edfd18f118a7f845208f2898536b4903654286f7568b15b0f3fc9ac4672175b085f003d366d7516425e795a24ee39f7121da4938ca7d7b3b904979e24bc5830ae9532ae7fe07f7ffb7899c5ce01e21dacbcd1c4e62527bb5ec8f0744982a24c662c60d92da4be39e0f732854894d720b110dc91ecea6cef5ac3b542d360019d3e20701f493e5ab0e0db242bde3178f942089b7e37a87812b0b94435df6ee93dd029b2ed8550ae469fcdeb190e0767bc0627a093e4c51e3bcad39fee434519f0dd8e92f62bda41985e4e51df0a2625eee5ee7a1e77149ad689fa512a892ce2e77fa3822edf0f282e9c2f2eacbbabce2a0b97e79383ce52c9c5b246ab231c742ef3d8d23b504c261c34c656bb4cb663103c1385f9447373bb0899d253634f8c3c7581c0a4a343333130dcd05083489448fdbdf027cfd3cf4fd00a3fd14a6497026debe09816d743e8fd87e8ec09f466fe4d7665b62a57f4562fd40ca9d3151947a1989")
                    .parse().unwrap(),
                    U256::from(0)
         ).await;

diff --git a/contracts/src/SolvencyVerifier.sol b/contracts/src/SolvencyVerifier.sol