Skip to content

Commit

Permalink
feat: add artifacts of production proving key generation
Browse files Browse the repository at this point in the history
  • Loading branch information
jonathanpwang committed Jan 21, 2024
1 parent 10002d7 commit bb61454
Show file tree
Hide file tree
Showing 10 changed files with 1,803 additions and 0 deletions.
2 changes: 2 additions & 0 deletions axiom-core/KEYGEN.md
Original file line number Diff line number Diff line change
Expand Up @@ -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/).
26 changes: 26 additions & 0 deletions axiom-core/data/production/v2.0.12.cids
Original file line number Diff line number Diff line change
@@ -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"
]
]
54 changes: 54 additions & 0 deletions axiom-core/data/production/v2.0.12.historical.cids
Original file line number Diff line number Diff line change
@@ -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"
]
]
7 changes: 7 additions & 0 deletions axiom-query/KEYGEN.md
Original file line number Diff line number Diff line change
Expand Up @@ -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).
7 changes: 7 additions & 0 deletions axiom-query/data/production/aggregate_vk_hashes.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
[
"0x0101065876114de866aa867d320a1be1bd455dc47cd86d58792a2fcd625f508a",
"0x295c9bfd347ba130992af3febdb211441fb6ea8399dd1b35bdaa7414c7b1fec8",
"0x1ccbfbc12ad4576cd2d3c29edd3fd3a4e12383c722f0eae3b8e25273045a2ec8",
"0x2f6fd2b234c2508f8572c3e85a6cf57c0b8d15f3df411ed7ac1deeada4744072",
"0x07a8cc51ad5eb676458a910857f638cda68cadaddecdc4ba5517217acd0fbbc3"
]
Loading

0 comments on commit bb61454

Please sign in to comment.