feat: add artifacts of production proving key generation (#25)

axiom-core/KEYGEN.md

@@ -60,3 +60,5 @@ bash src/bin/rename_snark_verifier.sh $CIRCUIT_DATA_DIR/0379c723deafac09822de4f3
 ```
 
 The final Solidity file will be output to `AxiomV2CoreHistoricalVerifier.sol`.
+
+7. Compare the summary JSONs `v2.0.12.cids` and `v2.0.12.historical.cids` with the ones we use in production [here](./data/production/).

axiom-core/data/production/v2.0.12.cids

@@ -0,0 +1,26 @@
+[
+  [
+    "{\"node_type\":{\"Leaf\":32},\"depth\":7,\"initial_depth\":7}",
+    "55c014423ae74968405f8d846426515360183fe27b3080cd905dc7e932cb2e47"
+  ],
+  [
+    "{\"node_type\":\"Intermediate\",\"depth\":8,\"initial_depth\":7}",
+    "8946746811c9cb4b00b37a7e864135a8a752040efaf93ef3d231c45818c9402a"
+  ],
+  [
+    "{\"node_type\":\"Intermediate\",\"depth\":9,\"initial_depth\":7}",
+    "42e495dd8ef1b1eace1bcb273f405dd07e0837dbc102c78cabb3b613ab948fcd"
+  ],
+  [
+    "{\"node_type\":\"Root\",\"depth\":10,\"initial_depth\":7}",
+    "d83322a8dba1df94cf6ffeac309ad1c1d50146740ed77090487254b6443eaa4e"
+  ],
+  [
+    "{\"node_type\":{\"Evm\":0},\"depth\":10,\"initial_depth\":7}",
+    "066eb72da7facfce749da885f9ef80281aefb08cd676ec63e6feb09fba9fe246"
+  ],
+  [
+    "{\"node_type\":{\"Evm\":1},\"depth\":10,\"initial_depth\":7}",
+    "39cb264c605428fc752e90b6ac1b77427ab06b795419a759e237e283b95f377f"
+  ]
+]

axiom-core/data/production/v2.0.12.historical.cids

@@ -0,0 +1,54 @@
+[
+  [
+    "{\"node_type\":{\"Leaf\":32},\"depth\":7,\"initial_depth\":7}",
+    "55c014423ae74968405f8d846426515360183fe27b3080cd905dc7e932cb2e47"
+  ],
+  [
+    "{\"node_type\":\"Intermediate\",\"depth\":8,\"initial_depth\":7}",
+    "8946746811c9cb4b00b37a7e864135a8a752040efaf93ef3d231c45818c9402a"
+  ],
+  [
+    "{\"node_type\":\"Intermediate\",\"depth\":9,\"initial_depth\":7}",
+    "42e495dd8ef1b1eace1bcb273f405dd07e0837dbc102c78cabb3b613ab948fcd"
+  ],
+  [
+    "{\"node_type\":\"Intermediate\",\"depth\":10,\"initial_depth\":7}",
+    "50bbeab0cc5d9983dcd8bd506ce8a1ee2931dcd9e4f287970e12ba5be905af76"
+  ],
+  [
+    "{\"node_type\":\"Intermediate\",\"depth\":11,\"initial_depth\":7}",
+    "6807f95bc3d1da094945acd488094e5ba9247c6b10d8346dc2e22082c6b6ce09"
+  ],
+  [
+    "{\"node_type\":\"Intermediate\",\"depth\":12,\"initial_depth\":7}",
+    "144ce7e834ad79d79d2cb6d762e575cc98de81ad888e4c6b67181305f7c8b017"
+  ],
+  [
+    "{\"node_type\":\"Intermediate\",\"depth\":13,\"initial_depth\":7}",
+    "ad92f075afd1bc68b9d8c144f60c372c0653e3392cde441ce959411c23d23bad"
+  ],
+  [
+    "{\"node_type\":\"Intermediate\",\"depth\":14,\"initial_depth\":7}",
+    "d2bca86ba0249f5af59332822eb2bda50e6504cd89bd171e46745a2a8330771b"
+  ],
+  [
+    "{\"node_type\":\"Intermediate\",\"depth\":15,\"initial_depth\":7}",
+    "2fa38814042c6fb803509d9d0d34cd84a90c14b74c917401b0d1138d49bc2bdd"
+  ],
+  [
+    "{\"node_type\":\"Intermediate\",\"depth\":16,\"initial_depth\":7}",
+    "943ff9156710c54c0903788aef5d46ef734095228c873192bf9cdc291f8f80c6"
+  ],
+  [
+    "{\"node_type\":\"Root\",\"depth\":17,\"initial_depth\":7}",
+    "139e65a6380229a50f55e3af4a7c2d904952bdd652b6aa1aad8db243d9348ce8"
+  ],
+  [
+    "{\"node_type\":{\"Evm\":0},\"depth\":17,\"initial_depth\":7}",
+    "458d7b330aac781c7fc0e787c9b17e8eb7e573fbdd7a4689d419e7ecdbff0dc7"
+  ],
+  [
+    "{\"node_type\":{\"Evm\":1},\"depth\":17,\"initial_depth\":7}",
+    "0379c723deafac09822de4f36da40a5595331c447a5cc7c342eb839cd199be02"
+  ]
+]

axiom-query/KEYGEN.md

@@ -55,3 +55,10 @@ bash src/bin/rename_snark_verifier.sh $CIRCUIT_DATA_DIR/e94efbee3e07ae4224ed1ae0
 ```
 
 The final Solidity file will be output to `AxiomV2QueryVerifier.sol`.
+
+5. Compare the summary `*.tree` JSONs with the ones we use in production [here](./data/production/).
+
+6. Check the top level aggregate vkey hashes in the `*.tree` JSONs match the ones we use in production:
+
+- The list we use in production is provided [here](./data/production/aggregate_vk_hashes.json)
+- These aggregate vkey hashes are part of the constructor arguments of our `AxiomV2Query` smart contract on Ethereum mainnet: see [logs](https://etherscan.io/tx/0xab7e570b6fbcc78841a0a5bde473e47737285aabf5fb9fb4876bd2b8043d9301#eventlog).

axiom-query/data/production/aggregate_vk_hashes.json

@@ -0,0 +1,7 @@
+[
+  "0x0101065876114de866aa867d320a1be1bd455dc47cd86d58792a2fcd625f508a",
+  "0x295c9bfd347ba130992af3febdb211441fb6ea8399dd1b35bdaa7414c7b1fec8",
+  "0x1ccbfbc12ad4576cd2d3c29edd3fd3a4e12383c722f0eae3b8e25273045a2ec8",
+  "0x2f6fd2b234c2508f8572c3e85a6cf57c0b8d15f3df411ed7ac1deeada4744072",
+  "0x07a8cc51ad5eb676458a910857f638cda68cadaddecdc4ba5517217acd0fbbc3"
+]