Skip to content

Commit

Permalink
Merge pull request #2462 from AleoHQ/fix/stored-parameters
Browse files Browse the repository at this point in the history 
[Fix] Add `num_variables` to verifying key serialization
  • Loading branch information
@howardwu
howardwu authored May 23, 2024
2 parents 0bd71b5 + f197796 commit a8c0b2d
Show file tree
Hide file tree
Showing 61 changed files with 133 additions and 133 deletions.
146 changes: 73 additions & 73 deletions .circleci/config.yml
View file

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions parameters/src/mainnet/resources/bond_public.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "2f0d0703e3ce260286c40830015b1376c644f73dac5ca57cd7c67074e35ef32a",
"prover_size": 29353850,
"verifier_checksum": "f4d689b5252ef4243abd7ee8acea3e6e9d0fb137d85908b6a04661d58490d469",
"verifier_size": 665
"verifier_checksum": "8ff394ca5509efeab7c71a26f4784ef9befba73528b11169975f057cf7353b77",
"verifier_size": 673
}
Binary file modified parameters/src/mainnet/resources/bond_public.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/mainnet/resources/claim_unbond_public.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "5b99b8dc31f44ee56a0b1d07370191174e72414969df2fd35f1cc7c061791815",
"prover_size": 16861332,
"verifier_checksum": "e53699624b4677f8b1826dcc54f6980aa6400170032244a9082e5bee6c89d39d",
"verifier_size": 665
"verifier_checksum": "1e35a27ec069a4871a65374dedd41fa187e19b0d9cb6b20cc4adf3966ab257c5",
"verifier_size": 673
}
Binary file modified parameters/src/mainnet/resources/claim_unbond_public.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/mainnet/resources/fee_private.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "27b72ed5e8086127f8cfcfc94b8c63543e5901a368a3f782aedcb51f9ace738e",
"prover_size": 66297972,
"verifier_checksum": "099648c5dcbb0eb8c7f1031195273f5e1375831cda977711f487fbed7e33bb20",
"verifier_size": 665
"verifier_checksum": "a9951e76ba3738840f472d38b7c0d496c6d26f6bc58a9035ef7f7f68c353a89b",
"verifier_size": 673
}
Binary file modified parameters/src/mainnet/resources/fee_private.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/mainnet/resources/fee_public.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "d967fc683af43a0a01817283af05181f9f8277c49351ca664a642b0eb9ec9363",
"prover_size": 29174402,
"verifier_checksum": "1e8cc6ab1de9ec21d1559434c516698af40895df3e3d6afb0615495d0201955b",
"verifier_size": 665
"verifier_checksum": "ccf30fa4ce688f93ef3a985057684fe9e32585fb8e93f2c472169e506da6cdb0",
"verifier_size": 673
}
Binary file modified parameters/src/mainnet/resources/fee_public.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/mainnet/resources/inclusion.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "8faa4d3aaaa5e786d20b61f825e50901f9dcf470455d1d2994e091eefcc66a4e",
"prover_size": 233812212,
"verifier_checksum": "2b6fdf5a869db365620a44fc3991e3f807a4e670bb976277ad327f3179866553",
"verifier_size": 665
"verifier_checksum": "57bf79c7a493ee79f8ebed2c8e6e7e8a0a6d11b2f6edcba6e943768cb6a250cc",
"verifier_size": 673
}
Binary file modified parameters/src/mainnet/resources/inclusion.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/mainnet/resources/join.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "b609cd8cd51eb0870e87b31db05b45768a77daed7a2b0b3c8f5a570e12044112",
"prover_size": 74722164,
"verifier_checksum": "70691d33b4028fd2813edcb9468fa702239b93adab56fc8d3e9ea0636668a844",
"verifier_size": 665
"verifier_checksum": "3a441d336ddd9cdc80dce07d161eb435d0cd21afd2463b0de9fc6fdf867f4f6a",
"verifier_size": 673
}
Binary file modified parameters/src/mainnet/resources/join.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/mainnet/resources/set_validator_state.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "f782f04cf9f46464f307b4ae6418f2b8bec375e341e5a02a51c9d6b8b38e4f7f",
"prover_size": 17390188,
"verifier_checksum": "a224e3690b8c789b026fa5c93d2aada9148f4d45c756c492fb59accb128be724",
"verifier_size": 665
"verifier_checksum": "294517ffa497c173e0097090c09e33f2c0888c97126c3b74a17731ce3d2f6dd9",
"verifier_size": 673
}
Binary file modified parameters/src/mainnet/resources/set_validator_state.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/mainnet/resources/split.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "9a6198f6bf0f9b0516feab70779eaaf91082b8b081ca79d7ddadbca44b58e85a",
"prover_size": 75161428,
"verifier_checksum": "1e576c6838e48ae946724a64e0831bc6bb0c6adc125b469e52da098008c69f06",
"verifier_size": 665
"verifier_checksum": "1d6bfd787cc09dd6fac674f566dd5fb22acf4c47efca7763bd18bb75d3afce34",
"verifier_size": 673
}
Binary file modified parameters/src/mainnet/resources/split.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/mainnet/resources/transfer_private.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "d6c6d61a87f38905468c7e479e30a9899535635450cadf3de69eae4b490621db",
"prover_size": 75949172,
"verifier_checksum": "118d42c3a97e01506e233aaadec6956b8de1a187b46ee59e6a266c1e85f14d6f",
"verifier_size": 665
"verifier_checksum": "d17b5954edcea8c9f97ebbe267f569a5faca6168e51832fa62e77a0017c25700",
"verifier_size": 673
}
Binary file modified parameters/src/mainnet/resources/transfer_private.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/mainnet/resources/transfer_private_to_public.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "4c0561cf4342c601ccd49eee4c039711c2e2cf92a01b0b3a58b7f1242e902ceb",
"prover_size": 66299476,
"verifier_checksum": "be9a2abeeb2c9c5dcea11582f1869e0b1447b45ebfad5582604903ce338da405",
"verifier_size": 665
"verifier_checksum": "ffdad62683ba31580632cdadb2bc5e5d7bb4c293774579c9571eb6c0e349a50f",
"verifier_size": 673
}
Binary file modified parameters/src/mainnet/resources/transfer_private_to_public.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/mainnet/resources/transfer_public.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "f8e5f6437b945174b62313ece8a1c9dcbeac5dfff5b0fef2e968c9b92f86da06",
"prover_size": 28913482,
"verifier_checksum": "5facdc35d2205f3a90a7a2eb89fa1418beabc6f6393e18d6498c60f02a3185e3",
"verifier_size": 665
"verifier_checksum": "ea77f42a35b3f891e7753c7333df365f356883550c4602df11f270237bef340d",
"verifier_size": 673
}
Binary file modified parameters/src/mainnet/resources/transfer_public.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/mainnet/resources/transfer_public_as_signer.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "7cfc669dd92593e052a8a37d6b3a7c40d09f191c754b41230f69e19e9d0f9c76",
"prover_size": 28915282,
"verifier_checksum": "18e99de56f2098b27318dc9b92eee1743792837c27a4a7001ef19a42c7dbb798",
"verifier_size": 665
"verifier_checksum": "7d869b875c2beaecba4f7c78e2fdc3a2adc01d5eca53ac72d81d2f8f90b7b606",
"verifier_size": 673
}
Binary file modified parameters/src/mainnet/resources/transfer_public_as_signer.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/mainnet/resources/transfer_public_to_private.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "cf0916dc5debc8b894a856540e1525254214367af3d58b53d1472d5d95af5a95",
"prover_size": 38413316,
"verifier_checksum": "472004f0fd523239675d32b5e1ebea61cd6855b5f41126e70e05b83ec6a2a1a4",
"verifier_size": 665
"verifier_checksum": "fd11e1bb7e49c405e30a78ac1659ab338a3345c7982079f05a6a189bf86c0d48",
"verifier_size": 673
}
Binary file modified parameters/src/mainnet/resources/transfer_public_to_private.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/mainnet/resources/unbond_delegator_as_validator.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "785f2318f0c12b883b99ff1649cf401d2f1d024fe2dd30916a276cd8c199f757",
"prover_size": 27062250,
"verifier_checksum": "34f8fb353c7c1a4e590b52000d78bf28100328f6250eb6c9ef11c9dc0a2bb066",
"verifier_size": 665
"verifier_checksum": "880e79301ac40282e0e99ec146c9600015a81150ee58f21f1d840b75058c6093",
"verifier_size": 673
}
Binary file modified parameters/src/mainnet/resources/unbond_delegator_as_validator.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/mainnet/resources/unbond_public.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "fc15a9ae0f3eca24e6a622e8a8ce24682e73ec39d64f22b0876db28794763ea4",
"prover_size": 17414380,
"verifier_checksum": "a6106dcfefffd65e46488c7dc6228f9c379c35497c62779f2e186f2d9908eff9",
"verifier_size": 665
"verifier_checksum": "5d8e0ad3505f52d232fd429a8aa6625bb19fb0d66214a085a20ba831ec96eed5",
"verifier_size": 673
}
Binary file modified parameters/src/mainnet/resources/unbond_public.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/testnet/resources/bond_public.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "bd3bf4fbe066a1a749d9fbcabb0a324db4f9cc2d4cb9c42b5c4babd1a482d464",
"prover_size": 29353850,
"verifier_checksum": "198a9aa7d4ed09343dc54df66dcfc089f5548d9c3201849d1b7cece1ed5b2b47",
"verifier_size": 665
"verifier_checksum": "2d1ef6103cf10b45100249d0c7be96dc2b68021b42c08724c44528805974f862",
"verifier_size": 673
}
Binary file modified parameters/src/testnet/resources/bond_public.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/testnet/resources/claim_unbond_public.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "8d79db969bde4f56410db9b327da622a2d38a1e5e1228d591aea6ad2a4f67c86",
"prover_size": 16861332,
"verifier_checksum": "e20ae8d0b9afa3b1f9bd9e808183e43095dfc4e3782c3b6668beaf696820e808",
"verifier_size": 665
"verifier_checksum": "ac4abdfe456a2f60495031d405b55e19ae765bf4387b768db6e4154c96b3a4fc",
"verifier_size": 673
}
Binary file modified parameters/src/testnet/resources/claim_unbond_public.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/testnet/resources/fee_private.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "e00171b5ce1b7f6629dda2ad571c2b8acf28042997801114fcfd3659e7bd130b",
"prover_size": 66297972,
"verifier_checksum": "ca38afe2a01f5eb564afd6c45a412ebec5ffecf1084c548329a360b0db8a177e",
"verifier_size": 665
"verifier_checksum": "f210de1bf1dbfd9cd291b2a2569157124700a92800c9cbe428bfc9cf26c57a54",
"verifier_size": 673
}
Binary file modified parameters/src/testnet/resources/fee_private.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/testnet/resources/fee_public.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "f72b6ff291415fb17a3653f447dbf95a5fe48480f7bbd6cf1dfb33963ff6ad58",
"prover_size": 29174402,
"verifier_checksum": "8bc7651f85713f62b3a71fa001240e8fcf4ad322589cf2603c964c9426ede96a",
"verifier_size": 665
"verifier_checksum": "6fb9bb7a84f117d93af2e6bf63450252bd2b73ab5b8eee3b9fa509bada23aa79",
"verifier_size": 673
}
Binary file modified parameters/src/testnet/resources/fee_public.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/testnet/resources/inclusion.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "8faa4d3aaaa5e786d20b61f825e50901f9dcf470455d1d2994e091eefcc66a4e",
"prover_size": 233812212,
"verifier_checksum": "2b6fdf5a869db365620a44fc3991e3f807a4e670bb976277ad327f3179866553",
"verifier_size": 665
"verifier_checksum": "57bf79c7a493ee79f8ebed2c8e6e7e8a0a6d11b2f6edcba6e943768cb6a250cc",
"verifier_size": 673
}
Binary file modified parameters/src/testnet/resources/inclusion.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/testnet/resources/join.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "267f60cc100c6c9fc024be16c5d48a383e0122b8b06ebd3612de298b8baafe1b",
"prover_size": 74722164,
"verifier_checksum": "5a29b215f24c13d91850cba1dda64b2b2e54247d780db6bf6a6d8bd88af35ead",
"verifier_size": 665
"verifier_checksum": "be5c34ac7365ce7489fdfe202b5d62a96d11ccad4943927682145c54086fbac7",
"verifier_size": 673
}
Binary file modified parameters/src/testnet/resources/join.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/testnet/resources/set_validator_state.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "34421c854adfff6a5b3c5671f9d1a169835b63328d570d64f1302444af0ea75d",
"prover_size": 17390188,
"verifier_checksum": "caa6cb2dd3f5cabf1ba15f7548f1e5eb3a9d0e6daca94393489966ddbdb4ba2f",
"verifier_size": 665
"verifier_checksum": "65c8aa0d579e1c71992febd049ad71bbb8ba34f72d47296e7ad1cd208875ff66",
"verifier_size": 673
}
Binary file modified parameters/src/testnet/resources/set_validator_state.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/testnet/resources/split.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "9af46afb8a0b340b8649d19b5039450699bed5617b661c9bd1176f4547cae258",
"prover_size": 75161428,
"verifier_checksum": "53eab92841839522ee7eac56ea33d6b337de02c75ac6c34e2a6caed4aa1a1700",
"verifier_size": 665
"verifier_checksum": "cec38390ab075e70977a48aac81fea95dac6f7be1a5115ff36aa966feb1562f4",
"verifier_size": 673
}
Binary file modified parameters/src/testnet/resources/split.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/testnet/resources/transfer_private.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "6733de36be3291a1a6f95ed7b986ccb29fc69707788582fa672395abe3446e80",
"prover_size": 75949172,
"verifier_checksum": "1291734485f70e932337080b7724a3ad49a965c5e2120ed3e47521c75cbf8c83",
"verifier_size": 665
"verifier_checksum": "86e2667e415b0e6266e0e9f3edb99746837debca70e9e82fd7d55f732ff7d995",
"verifier_size": 673
}
Binary file modified parameters/src/testnet/resources/transfer_private.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/testnet/resources/transfer_private_to_public.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "d066d733d57185272acb449769163a9fe9409f5bacf02ba584751233d1e91810",
"prover_size": 66299476,
"verifier_checksum": "c7a95f998d30fd36d0696d1bf19379a6d34092110da995b5b719c5538ec700d7",
"verifier_size": 665
"verifier_checksum": "a656a128c7037878e2228e5e72f0a081152f9abe78d7fe1a6bb86b87f3462924",
"verifier_size": 673
}
Binary file modified parameters/src/testnet/resources/transfer_private_to_public.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/testnet/resources/transfer_public.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "846f86cabf9fa50e5abe347e559a8e9f3018459b5af9fdf52f1c44892b05f7e5",
"prover_size": 28913482,
"verifier_checksum": "48e7e65bbc371bc417766ebdd937aee0307f47c6bebef47ba97f580c56777869",
"verifier_size": 665
"verifier_checksum": "1b5109468e7992c39bbbc299dd1f94f18e49928e253e60ed68c7d9f02e73fe8d",
"verifier_size": 673
}
Binary file modified parameters/src/testnet/resources/transfer_public.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/testnet/resources/transfer_public_as_signer.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "12b5a7b02df59352833512c1dbebc9ce3849a81b0d3e9f1a1e447bb9e1e07277",
"prover_size": 28915282,
"verifier_checksum": "3576013fded7b170dce276997beee3c564e0585fcaa11ec332f30fbb6e28e933",
"verifier_size": 665
"verifier_checksum": "54d28a9f8d562ce2654d91463a2a879e21d5943b939044b1d92fc556b694b138",
"verifier_size": 673
}
Binary file modified parameters/src/testnet/resources/transfer_public_as_signer.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/testnet/resources/transfer_public_to_private.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "8b120ab11dadbf8e051963fba135a099667ab857eaaeb602d8d268c1b2babb8d",
"prover_size": 38413316,
"verifier_checksum": "4c2d2288a21e533a3ad5108086f57831b8c6759a152021599bca015b5b0c2586",
"verifier_size": 665
"verifier_checksum": "481aa28c8a948fd0651acee10178d02bb3a1840c0f22f223b5433b9df60431e2",
"verifier_size": 673
}
Binary file modified parameters/src/testnet/resources/transfer_public_to_private.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/testnet/resources/unbond_delegator_as_validator.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "cd98e97c4c79add134e9ba42d1f5114189da518d162c0d3ccb7383d2a8e38933",
"prover_size": 27062250,
"verifier_checksum": "bb883d677bc912d6cc83eaf08bac4cc6882fe3cb08e77259af8ea1985b2df3be",
"verifier_size": 665
"verifier_checksum": "c0b02e8abe7fc250734ee74e8ee9602680bb6fdbb067ac97ce4d2086171c6c52",
"verifier_size": 673
}
Binary file modified parameters/src/testnet/resources/unbond_delegator_as_validator.verifier
View file
Binary file not shown.
4 changes: 2 additions & 2 deletions parameters/src/testnet/resources/unbond_public.metadata
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"prover_checksum": "3904c2e1a9ed82251e5196a76a171f0d518d7271cd31cd9bef7c25414a2103d5",
"prover_size": 17414380,
"verifier_checksum": "31e48623ea0e9e59eca4b9fc05ab4bb13f7593d60e7c418398f71a396307c042",
"verifier_size": 665
"verifier_checksum": "6f9c617aee96251af2a47d2aaa0d7abf042d09b097d9c72fd69b2b70c5616282",
"verifier_size": 673
}
Binary file modified parameters/src/testnet/resources/unbond_public.verifier
View file
Binary file not shown.

0 comments on commit a8c0b2d

Please sign in to comment.