From d60795018c1aa6c2505d8cfac03d460746f82e5a Mon Sep 17 00:00:00 2001 From: Jonathan Wang <31040440+jonathanpwang@users.noreply.github.com> Date: Sat, 20 Jan 2024 21:22:34 -0500 Subject: [PATCH] feat: add artifacts of production proving key generation (#25) --- axiom-core/KEYGEN.md | 2 + axiom-core/data/production/v2.0.12.cids | 26 + .../data/production/v2.0.12.historical.cids | 54 ++ axiom-query/KEYGEN.md | 7 + .../data/production/aggregate_vk_hashes.json | 7 + .../data/production/all_128_each_default.tree | 765 ++++++++++++++++++ .../data/production/all_32_each_default.tree | 198 +++++ axiom-query/data/production/all_large.tree | 369 +++++++++ axiom-query/data/production/all_max.tree | 316 ++++++++ axiom-query/data/production/all_small.tree | 59 ++ 10 files changed, 1803 insertions(+) create mode 100644 axiom-core/data/production/v2.0.12.cids create mode 100644 axiom-core/data/production/v2.0.12.historical.cids create mode 100644 axiom-query/data/production/aggregate_vk_hashes.json create mode 100644 axiom-query/data/production/all_128_each_default.tree create mode 100644 axiom-query/data/production/all_32_each_default.tree create mode 100644 axiom-query/data/production/all_large.tree create mode 100644 axiom-query/data/production/all_max.tree create mode 100644 axiom-query/data/production/all_small.tree diff --git a/axiom-core/KEYGEN.md b/axiom-core/KEYGEN.md index 7469b4ea..84e05de7 100644 --- a/axiom-core/KEYGEN.md +++ b/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/). diff --git a/axiom-core/data/production/v2.0.12.cids b/axiom-core/data/production/v2.0.12.cids new file mode 100644 index 00000000..cc0007ce --- /dev/null +++ b/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" + ] +] \ No newline at end of file diff --git a/axiom-core/data/production/v2.0.12.historical.cids b/axiom-core/data/production/v2.0.12.historical.cids new file mode 100644 index 00000000..8dc7f1c7 --- /dev/null +++ b/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" + ] +] \ No newline at end of file diff --git a/axiom-query/KEYGEN.md b/axiom-query/KEYGEN.md index 634621d6..de090aff 100644 --- a/axiom-query/KEYGEN.md +++ b/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). diff --git a/axiom-query/data/production/aggregate_vk_hashes.json b/axiom-query/data/production/aggregate_vk_hashes.json new file mode 100644 index 00000000..bf78f382 --- /dev/null +++ b/axiom-query/data/production/aggregate_vk_hashes.json @@ -0,0 +1,7 @@ +[ + "0x0101065876114de866aa867d320a1be1bd455dc47cd86d58792a2fcd625f508a", + "0x295c9bfd347ba130992af3febdb211441fb6ea8399dd1b35bdaa7414c7b1fec8", + "0x1ccbfbc12ad4576cd2d3c29edd3fd3a4e12383c722f0eae3b8e25273045a2ec8", + "0x2f6fd2b234c2508f8572c3e85a6cf57c0b8d15f3df411ed7ac1deeada4744072", + "0x07a8cc51ad5eb676458a910857f638cda68cadaddecdc4ba5517217acd0fbbc3" +] diff --git a/axiom-query/data/production/all_128_each_default.tree b/axiom-query/data/production/all_128_each_default.tree new file mode 100644 index 00000000..71a70486 --- /dev/null +++ b/axiom-query/data/production/all_128_each_default.tree @@ -0,0 +1,765 @@ +{ + "circuit_id": "e94efbee3e07ae4224ed1ae0a6389f5128d210ff7a2a743e459cff501e4379ab", + "children": [ + { + "circuit_id": "19aa4713ce9f8636a856bcfb0b4b79ccfe922ecfed1e6a1877925fd535459ffd", + "children": [ + { + "circuit_id": "d0608445d7b3d8201db37ec00ac2fe66ee13b27bad3f2308f4e40e12d21a991f", + "children": [] + }, + { + "circuit_id": "f49ec5e1658e99d94f66bbfdb8845f15a2ffd2ac255730089855430c7a0bed92", + "children": [ + { + "circuit_id": "c791574d317d345d95496e098d7ced2939cc30497b6dfeadf1e9347a4f1e8930", + "children": [ + { + "circuit_id": "68fa1e3d173287d0e6476d10d48f1f67eaa1ad8e098a856812fc33522248e3f7", + "children": [] + }, + { + "circuit_id": "68fa1e3d173287d0e6476d10d48f1f67eaa1ad8e098a856812fc33522248e3f7", + "children": [] + } + ] + }, + { + "circuit_id": "862dbd1b215196c1e84d5df52851d7b6f9984b159dfffe22b592b18b2fbebc78", + "children": [ + { + "circuit_id": "c2977ff6a6fc44582614fbc648dda84da00363f084d60192f0dec28dbfaa5026", + "children": [ + { + "circuit_id": "4aea5c9c1c96a30baa11ac9bc5b6225ec9a3c03483c12962884130741cdb6121", + "children": [] + }, + { + "circuit_id": "4aea5c9c1c96a30baa11ac9bc5b6225ec9a3c03483c12962884130741cdb6121", + "children": [] + } + ] + }, + { + "circuit_id": "c2977ff6a6fc44582614fbc648dda84da00363f084d60192f0dec28dbfaa5026", + "children": [ + { + "circuit_id": "4aea5c9c1c96a30baa11ac9bc5b6225ec9a3c03483c12962884130741cdb6121", + "children": [] + }, + { + "circuit_id": "4aea5c9c1c96a30baa11ac9bc5b6225ec9a3c03483c12962884130741cdb6121", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "4adc13fe18564761b3f3f862417928d7a68636eab4d1f948014eec5373821be3", + "children": [ + { + "circuit_id": "f738f5dbc54c9f9f92e70515dfbad4aea8573096e9603a8dfbdbe30e44f9a52b", + "children": [ + { + "circuit_id": "bfa03665bfee45169ab1388abcebfa03c3a8de9b2346cd6f66f7aa59822813f9", + "children": [] + }, + { + "circuit_id": "bfa03665bfee45169ab1388abcebfa03c3a8de9b2346cd6f66f7aa59822813f9", + "children": [] + } + ] + }, + { + "circuit_id": "f738f5dbc54c9f9f92e70515dfbad4aea8573096e9603a8dfbdbe30e44f9a52b", + "children": [ + { + "circuit_id": "bfa03665bfee45169ab1388abcebfa03c3a8de9b2346cd6f66f7aa59822813f9", + "children": [] + }, + { + "circuit_id": "bfa03665bfee45169ab1388abcebfa03c3a8de9b2346cd6f66f7aa59822813f9", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "d1c0d3ab3a2cfd5113c93adc78e9549de6e05b2d77f7925dedbea1b897649bba", + "children": [ + { + "circuit_id": "57740dc422b1da9f01b36e389647847cdc3d58b489c81d9b815d7d1a53009a30", + "children": [ + { + "circuit_id": "21ccfabcbb637b83a5b5907e91dfb60987db9fc401ca1f6cd7f1316a556aa3de", + "children": [ + { + "circuit_id": "9588ac5eafb1427ba492747b81bb907bb9e45a7fd069ceb22478ed4feca61c7f", + "children": [] + }, + { + "circuit_id": "9588ac5eafb1427ba492747b81bb907bb9e45a7fd069ceb22478ed4feca61c7f", + "children": [] + } + ] + }, + { + "circuit_id": "21ccfabcbb637b83a5b5907e91dfb60987db9fc401ca1f6cd7f1316a556aa3de", + "children": [ + { + "circuit_id": "9588ac5eafb1427ba492747b81bb907bb9e45a7fd069ceb22478ed4feca61c7f", + "children": [] + }, + { + "circuit_id": "9588ac5eafb1427ba492747b81bb907bb9e45a7fd069ceb22478ed4feca61c7f", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "57740dc422b1da9f01b36e389647847cdc3d58b489c81d9b815d7d1a53009a30", + "children": [ + { + "circuit_id": "21ccfabcbb637b83a5b5907e91dfb60987db9fc401ca1f6cd7f1316a556aa3de", + "children": [ + { + "circuit_id": "9588ac5eafb1427ba492747b81bb907bb9e45a7fd069ceb22478ed4feca61c7f", + "children": [] + }, + { + "circuit_id": "9588ac5eafb1427ba492747b81bb907bb9e45a7fd069ceb22478ed4feca61c7f", + "children": [] + } + ] + }, + { + "circuit_id": "21ccfabcbb637b83a5b5907e91dfb60987db9fc401ca1f6cd7f1316a556aa3de", + "children": [ + { + "circuit_id": "9588ac5eafb1427ba492747b81bb907bb9e45a7fd069ceb22478ed4feca61c7f", + "children": [] + }, + { + "circuit_id": "9588ac5eafb1427ba492747b81bb907bb9e45a7fd069ceb22478ed4feca61c7f", + "children": [] + } + ] + } + ] + } + ] + }, + { + "circuit_id": "12180426c7f76ed084fa53a97d0ffaa0ea35e4efb9cb581e55ac623f0b291e9d", + "children": [ + { + "circuit_id": "8a068c013567fd23094d2e786f9a500cb19757efa9e52f4ab50d95b7b6d73745", + "children": [ + { + "circuit_id": "152d334a46fe182b5212bcff40353007db451eba29b78b57fd320f864fa324a1", + "children": [ + { + "circuit_id": "b6dd8f5190b500cc30de676a55a649b84b9d02b6f006a2605e7157aa520cd85c", + "children": [ + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + }, + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "b6dd8f5190b500cc30de676a55a649b84b9d02b6f006a2605e7157aa520cd85c", + "children": [ + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + }, + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + } + ] + } + ] + }, + { + "circuit_id": "152d334a46fe182b5212bcff40353007db451eba29b78b57fd320f864fa324a1", + "children": [ + { + "circuit_id": "b6dd8f5190b500cc30de676a55a649b84b9d02b6f006a2605e7157aa520cd85c", + "children": [ + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + }, + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "b6dd8f5190b500cc30de676a55a649b84b9d02b6f006a2605e7157aa520cd85c", + "children": [ + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + }, + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + } + ] + } + ] + } + ] + }, + { + "circuit_id": "8a068c013567fd23094d2e786f9a500cb19757efa9e52f4ab50d95b7b6d73745", + "children": [ + { + "circuit_id": "152d334a46fe182b5212bcff40353007db451eba29b78b57fd320f864fa324a1", + "children": [ + { + "circuit_id": "b6dd8f5190b500cc30de676a55a649b84b9d02b6f006a2605e7157aa520cd85c", + "children": [ + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + }, + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "b6dd8f5190b500cc30de676a55a649b84b9d02b6f006a2605e7157aa520cd85c", + "children": [ + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + }, + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + } + ] + } + ] + }, + { + "circuit_id": "152d334a46fe182b5212bcff40353007db451eba29b78b57fd320f864fa324a1", + "children": [ + { + "circuit_id": "b6dd8f5190b500cc30de676a55a649b84b9d02b6f006a2605e7157aa520cd85c", + "children": [ + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + }, + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "b6dd8f5190b500cc30de676a55a649b84b9d02b6f006a2605e7157aa520cd85c", + "children": [ + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + }, + { + "circuit_id": "b5bcb9636ce300bd161f2c033084accb9e2959d7e3cf6806bbc868c68b862f96", + "children": [ + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + }, + { + "circuit_id": "5dac74b48332273170e1246933c07e736a9cf47d207e0a90980b16f1531fb962", + "children": [] + } + ] + } + ] + } + ] + } + ] + } + ] + }, + { + "circuit_id": "ee9c4b345a3a577fd41be13926268d51b5fb3cdf4d88b16fc7cc32d41664fe85", + "children": [ + { + "circuit_id": "ba7b6ab7b8a24c55722de2d1c7843132f072e5501c0f348847e843ff90918265", + "children": [ + { + "circuit_id": "2b5dc6f71201581c6dccb1ca79d86802edb71c76e39ee7f172c5608b3d2337d1", + "children": [] + }, + { + "circuit_id": "2b5dc6f71201581c6dccb1ca79d86802edb71c76e39ee7f172c5608b3d2337d1", + "children": [] + } + ] + }, + { + "circuit_id": "ba7b6ab7b8a24c55722de2d1c7843132f072e5501c0f348847e843ff90918265", + "children": [ + { + "circuit_id": "2b5dc6f71201581c6dccb1ca79d86802edb71c76e39ee7f172c5608b3d2337d1", + "children": [] + }, + { + "circuit_id": "2b5dc6f71201581c6dccb1ca79d86802edb71c76e39ee7f172c5608b3d2337d1", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "f398ebe5a409cf81048de56d73ff3cf2af7eda7fd375d23d5a7029f54f234874", + "children": [] + } + ], + "aggregate_vk_hash": "0x2ab229ca21794b98f6e5150468b32982d280c37a8b2f3b34fe94c6484a96ce6d" + }, + { + "circuit_id": "9e0c538abc73dde9a432608bdac5c8814d5bc97a7d8f2aaeae7c95b31e23b5cb", + "children": [ + { + "circuit_id": "ddc653048a62ac040b26de56ce6685afa3cd95b99a6d3cba3f4d23e6d71244fe", + "children": [ + { + "circuit_id": "2b933bc26fd84fd144a5b7ac29722b9a1be10cc5bbd9462d5fa60f0663c309d2", + "children": [ + { + "circuit_id": "42c63049ef9d26ac8d6631dbd04dc509b89b419adae5c12f77d16d6e587d2054", + "children": [ + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + }, + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "42c63049ef9d26ac8d6631dbd04dc509b89b419adae5c12f77d16d6e587d2054", + "children": [ + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + }, + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + } + ] + } + ] + }, + { + "circuit_id": "2b933bc26fd84fd144a5b7ac29722b9a1be10cc5bbd9462d5fa60f0663c309d2", + "children": [ + { + "circuit_id": "42c63049ef9d26ac8d6631dbd04dc509b89b419adae5c12f77d16d6e587d2054", + "children": [ + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + }, + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "42c63049ef9d26ac8d6631dbd04dc509b89b419adae5c12f77d16d6e587d2054", + "children": [ + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + }, + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + } + ] + } + ] + } + ] + }, + { + "circuit_id": "ddc653048a62ac040b26de56ce6685afa3cd95b99a6d3cba3f4d23e6d71244fe", + "children": [ + { + "circuit_id": "2b933bc26fd84fd144a5b7ac29722b9a1be10cc5bbd9462d5fa60f0663c309d2", + "children": [ + { + "circuit_id": "42c63049ef9d26ac8d6631dbd04dc509b89b419adae5c12f77d16d6e587d2054", + "children": [ + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + }, + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "42c63049ef9d26ac8d6631dbd04dc509b89b419adae5c12f77d16d6e587d2054", + "children": [ + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + }, + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + } + ] + } + ] + }, + { + "circuit_id": "2b933bc26fd84fd144a5b7ac29722b9a1be10cc5bbd9462d5fa60f0663c309d2", + "children": [ + { + "circuit_id": "42c63049ef9d26ac8d6631dbd04dc509b89b419adae5c12f77d16d6e587d2054", + "children": [ + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + }, + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "42c63049ef9d26ac8d6631dbd04dc509b89b419adae5c12f77d16d6e587d2054", + "children": [ + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + }, + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + } + ] + } + ] + } + ] + } + ] + } + ], + "aggregate_vk_hash": "0x2c39f3caadda3c14bc6979082ba7e07dcc42fd3dad25b41b507e757d6831e3d7" + } + ], + "aggregate_vk_hash": "0x1ccbfbc12ad4576cd2d3c29edd3fd3a4e12383c722f0eae3b8e25273045a2ec8" +} \ No newline at end of file diff --git a/axiom-query/data/production/all_32_each_default.tree b/axiom-query/data/production/all_32_each_default.tree new file mode 100644 index 00000000..f04d7a73 --- /dev/null +++ b/axiom-query/data/production/all_32_each_default.tree @@ -0,0 +1,198 @@ +{ + "circuit_id": "e94efbee3e07ae4224ed1ae0a6389f5128d210ff7a2a743e459cff501e4379ab", + "children": [ + { + "circuit_id": "8ee10f86d0fca6d65bf8e0179aca4393f85a2719ab1adb10183a6fa1380c8069", + "children": [ + { + "circuit_id": "8cfbd5e71a936153e3e998506b7bd187a431515484ab97d261943e157c2c7440", + "children": [] + }, + { + "circuit_id": "05dbc9b7fbfdc1f14f3c56642378baa2fdd4c552823804d8c0e833376dea2ba5", + "children": [ + { + "circuit_id": "948f935ff8497cef63c9084f582518d73a34b7188bc664d4c4362c1c88b56cbf", + "children": [] + }, + { + "circuit_id": "56e520cde6857a775e3a6a1069c5c8a30f1f6730c914db766cc84deba1ccc34f", + "children": [ + { + "circuit_id": "5aa0636a2b3250c4c29edb509c81429cd918d2b9403fd851a490d75379a40c9d", + "children": [ + { + "circuit_id": "982411f26ee3383312231e114d7c5ffafda6ca3d2866024e09066125e2acec7d", + "children": [] + }, + { + "circuit_id": "982411f26ee3383312231e114d7c5ffafda6ca3d2866024e09066125e2acec7d", + "children": [] + } + ] + }, + { + "circuit_id": "5aa0636a2b3250c4c29edb509c81429cd918d2b9403fd851a490d75379a40c9d", + "children": [ + { + "circuit_id": "982411f26ee3383312231e114d7c5ffafda6ca3d2866024e09066125e2acec7d", + "children": [] + }, + { + "circuit_id": "982411f26ee3383312231e114d7c5ffafda6ca3d2866024e09066125e2acec7d", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "37c2d1ea7d1cce10cf6b67e3bc12ea67e6ae9fc0d1a5e1a4b68f9c8c28cf2ff7", + "children": [ + { + "circuit_id": "7ffb243b0bcbe56646d6731d583197cfa6a3b532fc75c822d76469db47d511a7", + "children": [ + { + "circuit_id": "46504997084fc9bde63bb5153704b9a9e3decf8695944e05d4922815eea74955", + "children": [] + }, + { + "circuit_id": "46504997084fc9bde63bb5153704b9a9e3decf8695944e05d4922815eea74955", + "children": [] + } + ] + }, + { + "circuit_id": "7ffb243b0bcbe56646d6731d583197cfa6a3b532fc75c822d76469db47d511a7", + "children": [ + { + "circuit_id": "46504997084fc9bde63bb5153704b9a9e3decf8695944e05d4922815eea74955", + "children": [] + }, + { + "circuit_id": "46504997084fc9bde63bb5153704b9a9e3decf8695944e05d4922815eea74955", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "db0bf461360ba08cf877d29fd06994eccea23ad2e2f70509729195b4188bf471", + "children": [ + { + "circuit_id": "f34f4797e1d43fe394481202eabd6ddd660e94c7ac03637b3da2eaf9fb1fde32", + "children": [] + }, + { + "circuit_id": "f34f4797e1d43fe394481202eabd6ddd660e94c7ac03637b3da2eaf9fb1fde32", + "children": [] + } + ] + }, + { + "circuit_id": "34eba6e1b9b798fc38f04f5cb242b200d78829f197fbf34a7748db71650fc98a", + "children": [ + { + "circuit_id": "330339817715254a15b716473271a05480649418cf59e76c5f3473ab31025a83", + "children": [] + }, + { + "circuit_id": "330339817715254a15b716473271a05480649418cf59e76c5f3473ab31025a83", + "children": [] + } + ] + }, + { + "circuit_id": "042719b966e23c95079a095d13bba73f61288c53f16fb9e54ff2dae216b5f0cb", + "children": [ + { + "circuit_id": "58aff8fb4228bc4276c080b6d00d44ecbdee14413b92a649d78368f22fb4db57", + "children": [] + }, + { + "circuit_id": "58aff8fb4228bc4276c080b6d00d44ecbdee14413b92a649d78368f22fb4db57", + "children": [] + } + ] + }, + { + "circuit_id": "a433b4831f43d34df6eea2ca2d6a3721ff858ef0001a8014389c85d25d8c0659", + "children": [] + } + ], + "aggregate_vk_hash": "0x0329fcf00160741630cd2808f53e5e60519024ed669880745cee7d72ef2ade6a" + }, + { + "circuit_id": "2b933bc26fd84fd144a5b7ac29722b9a1be10cc5bbd9462d5fa60f0663c309d2", + "children": [ + { + "circuit_id": "42c63049ef9d26ac8d6631dbd04dc509b89b419adae5c12f77d16d6e587d2054", + "children": [ + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + }, + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "42c63049ef9d26ac8d6631dbd04dc509b89b419adae5c12f77d16d6e587d2054", + "children": [ + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + }, + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + } + ] + } + ] + } + ], + "aggregate_vk_hash": "0x17cfa3384ef5c68df028a8d3feb9bd93b8a8e6e5d0ee495e4c848fc7ff59d267" + } + ], + "aggregate_vk_hash": "0x295c9bfd347ba130992af3febdb211441fb6ea8399dd1b35bdaa7414c7b1fec8" +} \ No newline at end of file diff --git a/axiom-query/data/production/all_large.tree b/axiom-query/data/production/all_large.tree new file mode 100644 index 00000000..528aa786 --- /dev/null +++ b/axiom-query/data/production/all_large.tree @@ -0,0 +1,369 @@ +{ + "circuit_id": "e94efbee3e07ae4224ed1ae0a6389f5128d210ff7a2a743e459cff501e4379ab", + "children": [ + { + "circuit_id": "28b27e617502ae7f94b5f8503761241a74c67f2e10606f7e28e7135740b8b43b", + "children": [ + { + "circuit_id": "33b4bbd2a9b800f478e2ee1c6e348bd0429d8bb2e73811ccbd70e894c8111ff0", + "children": [] + }, + { + "circuit_id": "19fcdeb9b58b153bf63e9be80840a09caac8032ca90f4905b6a2caf2a360792a", + "children": [ + { + "circuit_id": "319c251cf59984bbf1f595398615982d564e68fef2ef7456fffe916798860532", + "children": [ + { + "circuit_id": "c5500d2ebd454b46638fc90047273bb6a34ea25798c798a7e6adb9e84b54bfec", + "children": [] + }, + { + "circuit_id": "c5500d2ebd454b46638fc90047273bb6a34ea25798c798a7e6adb9e84b54bfec", + "children": [] + } + ] + }, + { + "circuit_id": "7ce54113e5966313d534a3ead5753efc2c84ee836234fcc8a28a3cd7c0bfed98", + "children": [ + { + "circuit_id": "b3c78e49da525a9e60b916bcb5c02cad091fec76fa0528af4aa9af94b74b9aa0", + "children": [ + { + "circuit_id": "7ef353bc6ed0ff275abcb12510a1a5dd54d997e48ffdbf2fa6861b7b1fafaa97", + "children": [] + }, + { + "circuit_id": "7ef353bc6ed0ff275abcb12510a1a5dd54d997e48ffdbf2fa6861b7b1fafaa97", + "children": [] + } + ] + }, + { + "circuit_id": "b3c78e49da525a9e60b916bcb5c02cad091fec76fa0528af4aa9af94b74b9aa0", + "children": [ + { + "circuit_id": "7ef353bc6ed0ff275abcb12510a1a5dd54d997e48ffdbf2fa6861b7b1fafaa97", + "children": [] + }, + { + "circuit_id": "7ef353bc6ed0ff275abcb12510a1a5dd54d997e48ffdbf2fa6861b7b1fafaa97", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "faee53650374b618614509ea6da5e4f2ed033684ee01d491e44bd2257760b3ac", + "children": [ + { + "circuit_id": "1c9a10422a3193f1e4bf3bb6a3a2847b3a1021fe83650cbabc3c20bb88ce5d3b", + "children": [ + { + "circuit_id": "e3bfd00ff0bc985ff712b6156b7ba5362915a8b4dfbe2833ef34b9f52fa7b0e9", + "children": [] + }, + { + "circuit_id": "e3bfd00ff0bc985ff712b6156b7ba5362915a8b4dfbe2833ef34b9f52fa7b0e9", + "children": [] + } + ] + }, + { + "circuit_id": "1c9a10422a3193f1e4bf3bb6a3a2847b3a1021fe83650cbabc3c20bb88ce5d3b", + "children": [ + { + "circuit_id": "e3bfd00ff0bc985ff712b6156b7ba5362915a8b4dfbe2833ef34b9f52fa7b0e9", + "children": [] + }, + { + "circuit_id": "e3bfd00ff0bc985ff712b6156b7ba5362915a8b4dfbe2833ef34b9f52fa7b0e9", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "faede382b179e3377ebaeb4367e51c4fc7a2c1a2280d52ae88360e7e22dcd298", + "children": [ + { + "circuit_id": "3c767d341b5ab32ffe3f8bd6f17fc77270480fcd7a1c9f34211082b342983a3a", + "children": [ + { + "circuit_id": "2bc1ebf522c7896abba6bc281260bf43224f979081f70fb425c33f221a2141ba", + "children": [] + }, + { + "circuit_id": "2bc1ebf522c7896abba6bc281260bf43224f979081f70fb425c33f221a2141ba", + "children": [] + } + ] + }, + { + "circuit_id": "3c767d341b5ab32ffe3f8bd6f17fc77270480fcd7a1c9f34211082b342983a3a", + "children": [ + { + "circuit_id": "2bc1ebf522c7896abba6bc281260bf43224f979081f70fb425c33f221a2141ba", + "children": [] + }, + { + "circuit_id": "2bc1ebf522c7896abba6bc281260bf43224f979081f70fb425c33f221a2141ba", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "12ffccb7dce195c26f6ced679f3641939caf7a0e876ea01c3f1d36b0fbe9f0e5", + "children": [ + { + "circuit_id": "884a5e0192861ab1f01f8d32f2747cf57924ceeb40657780c35312b694128dea", + "children": [ + { + "circuit_id": "b7af53e7c4f96ff2154580077c680440e9e89bc18e3f33697fac426552930833", + "children": [ + { + "circuit_id": "0bd21424559ec952dc9de23c30318b4ed8d7b0097c17cb27db3fdf776c6e4625", + "children": [] + }, + { + "circuit_id": "0bd21424559ec952dc9de23c30318b4ed8d7b0097c17cb27db3fdf776c6e4625", + "children": [] + } + ] + }, + { + "circuit_id": "b7af53e7c4f96ff2154580077c680440e9e89bc18e3f33697fac426552930833", + "children": [ + { + "circuit_id": "0bd21424559ec952dc9de23c30318b4ed8d7b0097c17cb27db3fdf776c6e4625", + "children": [] + }, + { + "circuit_id": "0bd21424559ec952dc9de23c30318b4ed8d7b0097c17cb27db3fdf776c6e4625", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "884a5e0192861ab1f01f8d32f2747cf57924ceeb40657780c35312b694128dea", + "children": [ + { + "circuit_id": "b7af53e7c4f96ff2154580077c680440e9e89bc18e3f33697fac426552930833", + "children": [ + { + "circuit_id": "0bd21424559ec952dc9de23c30318b4ed8d7b0097c17cb27db3fdf776c6e4625", + "children": [] + }, + { + "circuit_id": "0bd21424559ec952dc9de23c30318b4ed8d7b0097c17cb27db3fdf776c6e4625", + "children": [] + } + ] + }, + { + "circuit_id": "b7af53e7c4f96ff2154580077c680440e9e89bc18e3f33697fac426552930833", + "children": [ + { + "circuit_id": "0bd21424559ec952dc9de23c30318b4ed8d7b0097c17cb27db3fdf776c6e4625", + "children": [] + }, + { + "circuit_id": "0bd21424559ec952dc9de23c30318b4ed8d7b0097c17cb27db3fdf776c6e4625", + "children": [] + } + ] + } + ] + } + ] + }, + { + "circuit_id": "b9446353a3f3a327480000688f67c9eb6321a5cfbbfb50c31bda6b1b6d7e625a", + "children": [ + { + "circuit_id": "aa78f2af4841f44ecb7a6269b459f54410cfe4adaa9dabf9202f9bce76b2d85e", + "children": [ + { + "circuit_id": "a4c0467cd16a7e2c0d570e2aee365842991267461fb12b890a166a75147864de", + "children": [] + }, + { + "circuit_id": "a4c0467cd16a7e2c0d570e2aee365842991267461fb12b890a166a75147864de", + "children": [] + } + ] + }, + { + "circuit_id": "aa78f2af4841f44ecb7a6269b459f54410cfe4adaa9dabf9202f9bce76b2d85e", + "children": [ + { + "circuit_id": "a4c0467cd16a7e2c0d570e2aee365842991267461fb12b890a166a75147864de", + "children": [] + }, + { + "circuit_id": "a4c0467cd16a7e2c0d570e2aee365842991267461fb12b890a166a75147864de", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "feea885cf03e8cf31eb4fb4274acc247f437cbf1ce7be36d809e57e75b078f55", + "children": [] + } + ], + "aggregate_vk_hash": "0x27d212195f1b2d5263160a62870a92cc5a7c4824e63e2437201fdecfdfd05b9a" + }, + { + "circuit_id": "bae4cd8e3ae65c6398caa78a0b10cf38714e9b49a686c61a7f90f793f7155d65", + "children": [ + { + "circuit_id": "e3761fa90fbb5618ad2e3100dd0100f73d2a3460584452b20a1d57de3049890f", + "children": [ + { + "circuit_id": "3f099a5ee10bf8020114a5662158786d1fa73fcc60aa7b9be8cddd156da344e3", + "children": [ + { + "circuit_id": "3bd7cbbb89d5d06348be86d324dca549b7e019dcc0b077b0fc0e2ef2530ee50a", + "children": [ + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + }, + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + } + ] + }, + { + "circuit_id": "3bd7cbbb89d5d06348be86d324dca549b7e019dcc0b077b0fc0e2ef2530ee50a", + "children": [ + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + }, + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "3f099a5ee10bf8020114a5662158786d1fa73fcc60aa7b9be8cddd156da344e3", + "children": [ + { + "circuit_id": "3bd7cbbb89d5d06348be86d324dca549b7e019dcc0b077b0fc0e2ef2530ee50a", + "children": [ + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + }, + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + } + ] + }, + { + "circuit_id": "3bd7cbbb89d5d06348be86d324dca549b7e019dcc0b077b0fc0e2ef2530ee50a", + "children": [ + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + }, + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + } + ] + } + ] + } + ] + }, + { + "circuit_id": "e3761fa90fbb5618ad2e3100dd0100f73d2a3460584452b20a1d57de3049890f", + "children": [ + { + "circuit_id": "3f099a5ee10bf8020114a5662158786d1fa73fcc60aa7b9be8cddd156da344e3", + "children": [ + { + "circuit_id": "3bd7cbbb89d5d06348be86d324dca549b7e019dcc0b077b0fc0e2ef2530ee50a", + "children": [ + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + }, + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + } + ] + }, + { + "circuit_id": "3bd7cbbb89d5d06348be86d324dca549b7e019dcc0b077b0fc0e2ef2530ee50a", + "children": [ + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + }, + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "3f099a5ee10bf8020114a5662158786d1fa73fcc60aa7b9be8cddd156da344e3", + "children": [ + { + "circuit_id": "3bd7cbbb89d5d06348be86d324dca549b7e019dcc0b077b0fc0e2ef2530ee50a", + "children": [ + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + }, + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + } + ] + }, + { + "circuit_id": "3bd7cbbb89d5d06348be86d324dca549b7e019dcc0b077b0fc0e2ef2530ee50a", + "children": [ + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + }, + { + "circuit_id": "b5b5afdd9b5e245104258f7bb3266cad77513204cf13a49de3ef55a233ad123d", + "children": [] + } + ] + } + ] + } + ] + } + ] + } + ], + "aggregate_vk_hash": "0x1aa38b1dbfd4d8c0da738c020f821fb40b08e96414928ac06896fd0c482a3c27" + } + ], + "aggregate_vk_hash": "0x2f6fd2b234c2508f8572c3e85a6cf57c0b8d15f3df411ed7ac1deeada4744072" +} \ No newline at end of file diff --git a/axiom-query/data/production/all_max.tree b/axiom-query/data/production/all_max.tree new file mode 100644 index 00000000..3a25c77a --- /dev/null +++ b/axiom-query/data/production/all_max.tree @@ -0,0 +1,316 @@ +{ + "circuit_id": "e94efbee3e07ae4224ed1ae0a6389f5128d210ff7a2a743e459cff501e4379ab", + "children": [ + { + "circuit_id": "aaf2004f06b92db06ecf815585f0998265492686c07dccfcd3f64de4a20b5d75", + "children": [ + { + "circuit_id": "068ea0469095f39946198391fbe3922bbf38af01e16e15ad9414ee94d90bcba6", + "children": [] + }, + { + "circuit_id": "82e23ed3106ce397ed5992de1bc5932377743a38f757f662208bdb9bbd12f551", + "children": [ + { + "circuit_id": "1b27b8beba29e1877515de57289d6fc09945c140a3c81c1b28a6a81b6b4ce280", + "children": [ + { + "circuit_id": "6f1f29be179a848960f2e5d711b679de1a7f61addb541ccbd364ba46707bec4c", + "children": [] + }, + { + "circuit_id": "6f1f29be179a848960f2e5d711b679de1a7f61addb541ccbd364ba46707bec4c", + "children": [] + } + ] + }, + { + "circuit_id": "4f7652293244d2ba16f213685f56b78fcf96e38ded01317209aedd2ed5e26d11", + "children": [ + { + "circuit_id": "30fa0b2e0ac80815e8f6db0bd2e46a558726e55f5898d063df2b6b62278ed3f6", + "children": [ + { + "circuit_id": "f52860b9774f65757700d4c5d1cb535af33fd0aa86c7ff4259f1e25cb6dd12fd", + "children": [] + }, + { + "circuit_id": "f52860b9774f65757700d4c5d1cb535af33fd0aa86c7ff4259f1e25cb6dd12fd", + "children": [] + } + ] + }, + { + "circuit_id": "30fa0b2e0ac80815e8f6db0bd2e46a558726e55f5898d063df2b6b62278ed3f6", + "children": [ + { + "circuit_id": "f52860b9774f65757700d4c5d1cb535af33fd0aa86c7ff4259f1e25cb6dd12fd", + "children": [] + }, + { + "circuit_id": "f52860b9774f65757700d4c5d1cb535af33fd0aa86c7ff4259f1e25cb6dd12fd", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "708d992a07008f8148b26996b8bddeed6685c765d583c2b4b09ef986c3c5dd57", + "children": [ + { + "circuit_id": "bbea6439a2a44a864a1ef1ae16ca3be391ad391a8e7f3942bf50d98de67c1297", + "children": [ + { + "circuit_id": "52e2baae9d71a05cf8568e2aa3a908a8ed802348d09f24cf17e22667d087fabc", + "children": [] + }, + { + "circuit_id": "52e2baae9d71a05cf8568e2aa3a908a8ed802348d09f24cf17e22667d087fabc", + "children": [] + } + ] + }, + { + "circuit_id": "bbea6439a2a44a864a1ef1ae16ca3be391ad391a8e7f3942bf50d98de67c1297", + "children": [ + { + "circuit_id": "52e2baae9d71a05cf8568e2aa3a908a8ed802348d09f24cf17e22667d087fabc", + "children": [] + }, + { + "circuit_id": "52e2baae9d71a05cf8568e2aa3a908a8ed802348d09f24cf17e22667d087fabc", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "57337b417ce43a651631c4ae8f5d93eacbc7c6d2b37265102a28355ef2396981", + "children": [ + { + "circuit_id": "08ef7abf64edba8ab2d87509ea55523dbc436beecb2619ddf71958ccff0a93ec", + "children": [ + { + "circuit_id": "b32418a39c363d3f66e35f66f78b9ea2c229aa0c13b91c9fce5222f5eb336a9b", + "children": [] + }, + { + "circuit_id": "b32418a39c363d3f66e35f66f78b9ea2c229aa0c13b91c9fce5222f5eb336a9b", + "children": [] + } + ] + }, + { + "circuit_id": "08ef7abf64edba8ab2d87509ea55523dbc436beecb2619ddf71958ccff0a93ec", + "children": [ + { + "circuit_id": "b32418a39c363d3f66e35f66f78b9ea2c229aa0c13b91c9fce5222f5eb336a9b", + "children": [] + }, + { + "circuit_id": "b32418a39c363d3f66e35f66f78b9ea2c229aa0c13b91c9fce5222f5eb336a9b", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "5bd5d69c3ddfd79a56fc758a1bb7ddc68e095fae2692ff59f61566fd483c187a", + "children": [ + { + "circuit_id": "881a6156828dca8d2a1cb5a76721a14e9f93d6f78dfc9f9cf80f9ab701b72fb6", + "children": [ + { + "circuit_id": "c31808a3d314c9498fc53b728d8e901bd267e6c44e763a841254660d013f44a6", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "5dddd0c2f2a3dc9fbb4da1d2e59e30977132f08ed615813587e2d1cf07036b3d", + "children": [ + { + "circuit_id": "3dfb02ee54e16070ddb4478b5e50c9cd6c88fb60a7a87ec48a235d36d8aa842c", + "children": [ + { + "circuit_id": "3a23530420ebfe4b419bd9f912f801578833bb3341074815ef0d135bbb3b1b99", + "children": [] + }, + { + "circuit_id": "3a23530420ebfe4b419bd9f912f801578833bb3341074815ef0d135bbb3b1b99", + "children": [] + } + ] + }, + { + "circuit_id": "3dfb02ee54e16070ddb4478b5e50c9cd6c88fb60a7a87ec48a235d36d8aa842c", + "children": [ + { + "circuit_id": "3a23530420ebfe4b419bd9f912f801578833bb3341074815ef0d135bbb3b1b99", + "children": [] + }, + { + "circuit_id": "3a23530420ebfe4b419bd9f912f801578833bb3341074815ef0d135bbb3b1b99", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "f38b7e8a3d8ebbc1b2abdcb65547305a5365e83401ed11ba498725ee4e460b88", + "children": [] + } + ], + "aggregate_vk_hash": "0x1e8c66f5d9a172846d2b0ac24960639dfdaaec602ecdbcf8aa79f2b692ea106e" + }, + { + "circuit_id": "ddc653048a62ac040b26de56ce6685afa3cd95b99a6d3cba3f4d23e6d71244fe", + "children": [ + { + "circuit_id": "2b933bc26fd84fd144a5b7ac29722b9a1be10cc5bbd9462d5fa60f0663c309d2", + "children": [ + { + "circuit_id": "42c63049ef9d26ac8d6631dbd04dc509b89b419adae5c12f77d16d6e587d2054", + "children": [ + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + }, + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "42c63049ef9d26ac8d6631dbd04dc509b89b419adae5c12f77d16d6e587d2054", + "children": [ + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + }, + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + } + ] + } + ] + }, + { + "circuit_id": "2b933bc26fd84fd144a5b7ac29722b9a1be10cc5bbd9462d5fa60f0663c309d2", + "children": [ + { + "circuit_id": "42c63049ef9d26ac8d6631dbd04dc509b89b419adae5c12f77d16d6e587d2054", + "children": [ + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + }, + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "42c63049ef9d26ac8d6631dbd04dc509b89b419adae5c12f77d16d6e587d2054", + "children": [ + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + }, + { + "circuit_id": "2299cde2d28d6621e0f4221488e8006429e76ef987f1fd1ca33b8be31f95cb2a", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + }, + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + } + ] + } + ] + } + ] + } + ], + "aggregate_vk_hash": "0x2b885c5c6aa1a0c058d4c8580917746a7dd9ccd1d57ad7fdfddb80ffaa8861ca" + } + ], + "aggregate_vk_hash": "0x07a8cc51ad5eb676458a910857f638cda68cadaddecdc4ba5517217acd0fbbc3" +} \ No newline at end of file diff --git a/axiom-query/data/production/all_small.tree b/axiom-query/data/production/all_small.tree new file mode 100644 index 00000000..4aa5730a --- /dev/null +++ b/axiom-query/data/production/all_small.tree @@ -0,0 +1,59 @@ +{ + "circuit_id": "e94efbee3e07ae4224ed1ae0a6389f5128d210ff7a2a743e459cff501e4379ab", + "children": [ + { + "circuit_id": "b4d1978a47642b8e75ef96febc75d2c185553b4d7a6205ad553cd7dab058975f", + "children": [ + { + "circuit_id": "66b0c26ba69347aaf33ccbeedddb45b2546c187f4bb9889471fed75de87f39f1", + "children": [] + }, + { + "circuit_id": "e1b72c0d68965bac19f2bcee228ce79f2706b479fd18201795ee5c3d2bb5209b", + "children": [ + { + "circuit_id": "36dce255606d6725e9f1d0b2bb4d464501d92593a64a4fe103b44bc47fcbe45a", + "children": [] + }, + { + "circuit_id": "edd2aabdb850b9b37be8d023e5188bad64f719395b67555fe400256da0585bf0", + "children": [] + }, + { + "circuit_id": "5aa31d595da2f2de6d4e427c54a2404cd4732e1b2a5e96caaa3318302ce07a67", + "children": [] + }, + { + "circuit_id": "73ea602d51433cd943c6a6c1e6c44ad7898ae7f527f46644e3dcbafe0af30bfb", + "children": [] + }, + { + "circuit_id": "66d432f4e647b078f105d6c5cce306fe956bb3dafcc4e0afa4ba86369196346e", + "children": [] + }, + { + "circuit_id": "121a04b7eb32cc4a7e41483537903c8e2a0ff0715a5520a8c575a5bbb9323d06", + "children": [] + }, + { + "circuit_id": "c933a0b1f35be833896bf7a5d4c06f5de0e784f8c3198646dfe3c655d44684d5", + "children": [] + } + ], + "aggregate_vk_hash": "0x053b0dc911e5e702a54bd208a2773540ec8adbcc15f616c100acee5d543cd909" + }, + { + "circuit_id": "14b09226156c9961a1b943400e25850ae170f52f8542519cd33b76f47b6d8131", + "children": [ + { + "circuit_id": "21745f8186a53c3e64b826dbec6b31e2d3e6cdd6a0c652570f7be4ee3105dde3", + "children": [] + } + ] + } + ], + "aggregate_vk_hash": "0x136f2c238411b5a70ba1198ab2ba488f84bcfde2b1f48cbde51f63ec9327c1e7" + } + ], + "aggregate_vk_hash": "0x0101065876114de866aa867d320a1be1bd455dc47cd86d58792a2fcd625f508a" +} \ No newline at end of file