refactor: moved prover into a separate lib (#126)

* feat: added new lib

* imp: finished new lib

* imp: replaced with new lib

* deps: cleaned up some deps

* deps: ran 'cargo update'

* imp: regenerated all fixtures

Cargo.toml

@@ -19,6 +19,7 @@ authors       = ["srdtrk <[email protected]>"]
 sp1-zkvm = "3.0"
 
 sp1-ics07-tendermint-solidity = { path = "./packages/solidity/" }
+sp1-ics07-tendermint-prover = { path = "./packages/prover/" }
 sp1-ics07-tendermint-update-client = { path = "./programs/update-client/" }
 sp1-ics07-tendermint-membership = { path = "./programs/membership/" }
 sp1-ics07-tendermint-uc-and-membership = { path = "./programs/uc-and-membership/" }
@@ -81,7 +82,6 @@ subtle-encoding = "0.5"
 anyhow = "1.0"
 clap = { version = "4.0", features = ["derive", "env"] }
 log = "0.4"
-async-trait = "0.1"
 hex = "0.4"
 prost = { version = "0.13", default-features = false }
 futures = "0.3"

contracts/fixtures/memberships_fixture.json

@@ -1,10 +1,10 @@
 {
-  "trustedClientState": "0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000002dc55b000000000000000000000000000000000000000000000000000000000012750000000000000000000000000000000000000000000000000000000000001baf80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000076d6f6368612d3400000000000000000000000000000000000000000000000000",
-  "trustedConsensusState": "00000000000000000000000000000000000000000000000000000000671c5fbabb46d709a81d092fed68f31b2f1939ceeea4144a52c04555a14e8fbbadf00d5878ab69d7643ddd63c025de44e46191c475327fe5cc43f0b4ecd73bfe5c8baa36",
-  "updateClientVkey": "0x00eb2083fbdbb910c4eaab86890e92a3e11deebe26c7380ab434540738000dd1",
-  "membershipVkey": "0x003209f1bf3c8ae79092f83e53ca32a2cb5dbbc3a07b38e194b625450dd8a05d",
-  "ucAndMembershipVkey": "0x005309564fc62917614e1c340e342d0f61b45aa2895595e92832b2eddf45fc89",
-  "misbehaviourVkey": "0x0062b4336b37fc39c42ca0e51e42b2fc58ae79337ce2fca10203907d38e6170e",
-  "proofHeight": "000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000002dc55b",
-  "membershipProof": "00000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000009000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000671c5fbabb46d709a81d092fed68f31b2f1939ceeea4144a52c04555a14e8fbbadf00d5878ab69d7643ddd63c025de44e46191c475327fe5cc43f0b4ecd73bfe5c8baa36003209f1bf3c8ae79092f83e53ca32a2cb5dbbc3a07b38e194b625450dd8a05d000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000004c000000000000000000000000000000000000000000000000000000000000004400000000000000000000000000000000000000000000000000000000000000020bb46d709a81d092fed68f31b2f1939ceeea4144a52c04555a14e8fbbadf00d58000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000040000000000000000000000000000000000000000000000000000000000000026000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000140000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000000369626300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000023636c69656e74732f30372d74656e6465726d696e742d302f636c69656e745374617465000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000b70a2b2f6962632e6c69676874636c69656e74732e74656e6465726d696e742e76312e436c69656e7453746174651287010a1174686574612d746573746e65742d3030311204080110031a040880840722040880c60a2a02082832003a0510b7e3c60842190a090801180120012a0100120c0a02000110211804200c300142190a090801180120012a0100120c0a02000110201801200130014a07757067726164654a10757067726164656449424353746174655001580100000000000000000000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000140000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000000369626300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000025636c69656e74732f30372d74656e6465726d696e742d3030312f636c69656e7453746174650000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000036454bdcae30b5087e975532acb90ecc5ba71cce15f1d88506e2e74e1b43f14f54f17b93cd62a0f257eb0751293055b5934ee6b6ff65b6b1484debb0ad522e8e46d6285981029e2d745e174747e766442fa01293c3ce75f311c815a0f72c3d2a0dbcb32018129b45baaa266aa248937fd1a50fe8db46c52b84d2a3bc3a3940fe6715ad146f601e92b2880ced52d319acff21c2bb2a8dfe10afc42830f2fcd3bc1b057d237a42272090a7ebbb562df3f610408250c7d6074b44c82d51c347a2b11cfbdc30ad723ea8fd6bd9ae61dc0445a6fa3b1333e5e7c0368220c0cc65e9b5bf3a1c77375026f445ddf674d187f8abc75a4d057c4a90c913c597d2b94a2420298dc426fde14f2ef79d447d2f9548973e65e19c8262417e914e85cfc1d81cac86d123ce8970767136da4889073d745b5e703b56838e0c8d6199854a3646b8c01552fdd82b224863d119d4104f756eba1e1c9d12e4ac75da3f81fa303ba80f9ae9f76664aa8247328378765cdad6888643d028e90b0454b3c3c7762cc1ddb54ec97bac29eab0b43a9c9c815b0ad7cd152bb12c7f1072d9343191449b2701a4030172dfb88520e7e136c3922ee8317e44b537abde9c5ab2f483a3382aeb3629de3ffbb325ff913dbbb9804534be9bc209140d158fbc7a1384c9b17d8a835fdf45e402eb38c0921299634e69bc5de8bc0731c5a7291660e27a9a46986bff125b4537c8161363e1eb0e00b6b79fe1e39ac6f592f3e631854a6fbb8063a876c30f57a2b6048300c0d2eb2223cbde64d5e3f60b155cb76d56e3105244f87e94976646b9fca935db5015b8d1dedb4dc66bf27a5eb369d6914986b2bd93ebe8967411fa5357ddea1f317f52b85ae7a740e812e70d1898be6a7071162fc7cb936e0ee99615c5455d3da006d55eefc7342f09f5564514f53a19102d92b53cd3abd23a2a968262c68354b10bedc2624bde7d34d66a5787dc4ecd65195641e05ced29f2a49266d2bc323482bf2efcb3f5d205a7b49c549f708268a01bcade1038f04dd58eea8930667db9624dea0b41ba0f2930b033f65d5e4a476c950c1a9faf38fbe185f773c01298a31030fb3fc7ee2124ed5c7dbf1e9a32aec4047fc5e154edcb4aa2dfc19a0e1623911de066ba6ba859df17a18224c38c87133f48e4bf4f86d8226502ba82ae97731227b721f1cdca17fb36ffac46737c236eeb4fe03454c1e245f99374ed1df9bd600000000000000000000000000000000000000000000000000000000"
+  "trustedClientState": "0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000002e8888000000000000000000000000000000000000000000000000000000000012750000000000000000000000000000000000000000000000000000000000001baf80000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000076d6f6368612d3400000000000000000000000000000000000000000000000000",
+  "trustedConsensusState": "000000000000000000000000000000000000000000000000000000006725a98d0abbde8dbb182098f9f08db967904771dff53ba4a5dc13e93a2574bbeea4b8a24147b8cb4cff65685f01a2398bf76ed3a5eb409c5b796d685271469f106ea6cb",
+  "updateClientVkey": "0x0058b7643092abdce2dc75a47edef881996a5364849493f288bec2705a6e9f03",
+  "membershipVkey": "0x00c80749d48831352ad92fc58779c3ab38c1ed5f7db1fd8bd6c029da59855a36",
+  "ucAndMembershipVkey": "0x0020d0cbc9d739da4c4315159cc8e7293e0bf37805ed9abac135ece2e8dd4277",
+  "misbehaviourVkey": "0x00ee502921248a6f7de906d33f7891bb4ecdcdacd5de9c2c0aebf7c6cc0c315d",
+  "proofHeight": "000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000002e8888",
+  "membershipProof": "000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000040000000000000000000000000000000000000000000000000000000000000090000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000006725a98d0abbde8dbb182098f9f08db967904771dff53ba4a5dc13e93a2574bbeea4b8a24147b8cb4cff65685f01a2398bf76ed3a5eb409c5b796d685271469f106ea6cb00c80749d48831352ad92fc58779c3ab38c1ed5f7db1fd8bd6c029da59855a36000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000004c0000000000000000000000000000000000000000000000000000000000000044000000000000000000000000000000000000000000000000000000000000000200abbde8dbb182098f9f08db967904771dff53ba4a5dc13e93a2574bbeea4b8a2000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000040000000000000000000000000000000000000000000000000000000000000026000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000140000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000000369626300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000023636c69656e74732f30372d74656e6465726d696e742d302f636c69656e745374617465000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000b70a2b2f6962632e6c69676874636c69656e74732e74656e6465726d696e742e76312e436c69656e7453746174651287010a1174686574612d746573746e65742d3030311204080110031a040880840722040880c60a2a02082832003a0510b7e3c60842190a090801180120012a0100120c0a02000110211804200c300142190a090801180120012a0100120c0a02000110201801200130014a07757067726164654a10757067726164656449424353746174655001580100000000000000000000000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000140000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000000000000080000000000000000000000000000000000000000000000000000000000000000369626300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000025636c69656e74732f30372d74656e6465726d696e742d3030312f636c69656e7453746174650000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000036454bdcae32b65a7063a37e4ea00e46bb60e00528f2836235812bfe3f199286333adc87fdd14f23e36b7834493f0ac5edfba569c7f9b0424c6d7f4995fded63a7ac865c2bc165015c2121d6caed7e311874a28b4b7e3099c034918b0c93a6978cbd907e6872dd8608f677fd433a7b6a2ecf10662ab77829ef60223f2d4f03817cfadb6266922e131a4e71d8d1cbb17d3e443e3e137f74afea77275da51ba54d7fe10333103190c60611bcb3cf0ac1d783dd1c6e25449f1363fcd12e077177706ec7b8e82e83039d5b0fc26e3163b856fc97f84ccc0fc74af1b63f3dd93a5a1c3edb7d6191922f5a97426de9e480958bb12ef162c195ed8451c3681da7012cd31315674324e20c575f7e803cc7a8c69a7ccb9264e782e4266d708a565bc6631f299e7b33aa82f778fa45bcc60d6452965c32f5d0e6150d63c500599cbca5c76f52648118fe1177a8e5c664b6cefffb99fb2d0e6975f220218f0b4b9937323745724190de2c72f2061c8dab6f3d55bdd20a675a16e0d1ae088a8596e26acd7c2c19a2776c172160fe54a89f740ac1df25fc1aa80bdcba40fd05f5555255d056c73e61493f2541de1abb68a96076895858794f37ebc82084b3433315b1c4b5c6175e28a74d88901b13322d0d0d6984034d662d280747cc860bbf89b914849d45bc0b6a5a436120314dbbe5a454757f75516668606e2ecb9d7edfcacdf2af2e4167d77528932f22e36122c42329baea992584f60ec45e16ae21b43043b1b59e7925d9c87bb9e64061b97e31dd829b9770ee80f49b16039e8d80415f130fa519782373615d713242da8b30b938cfb286d1c5225f0a7b809488f8d4ff6f8eecc53643be6d947c3c12c515b2078f7f95d7ae73db8be9911a6175eb0fcd58be9359bdae7d2808e812f0b66aeff5b65ccd73e24092b18b332fcf9fc2baa48e37f3f06efca623433e84b0cd4bc693d9130b8b8abd99199564437b838653d54efa77a970ef837a1e3a0ed233605771426386cf0211a83441ac9fbb3e4600698c05b9d548c341c72fd58d308ed15735dbc5e1d0ab1591e8ba73aa6f1d51a3b2d4ea70904b439473266a3d1146b6fbc18c02b6a6b0402fec30d7ee660852571c6adce49a876341aa1a7cc2c1ed0bf70756c5095ac55be32581c1dcc41486e551fe0276703d178a8a95abc2708d93a99edfbb85d93b9d09549d385a7e0af06ba663a898006d41b31cdfe9fe500000000000000000000000000000000000000000000000000000000"
 }