diff --git a/axiom-query/KEYGEN.md b/axiom-query/KEYGEN.md index de090aff..c9d4a41e 100644 --- a/axiom-query/KEYGEN.md +++ b/axiom-query/KEYGEN.md @@ -2,7 +2,7 @@ # Proving and Verifying Key Generation -To generate the exact proving and verifying keys we use in production on Ethereum Mainnet, you can do the following: +To generate the exact proving and verifying keys we use in production on Ethereum Mainnet and Base Mainnet, you can do the following: 1. Download the KZG trusted setup that we use with [this script](../trusted_setup_s3.sh). @@ -25,7 +25,9 @@ Additional details about the binary can be found [here](./src/bin/README.md). 3. Generate the proving and verifying keys for one of our production configurations. -We have multiple aggregation configurations that we use in production. These are specified by intent YAML files in the [`configs/production`](./configs/production/) directory. The configurations, ordered by the sum of generated proving key sizes, are: +We have multiple aggregation configurations that we use in production. These are specified by intent YAML files in the [`configs/production`](./configs/production/) directory. + +The configurations that we have generated and use on all chains, ordered by the sum of generated proving key sizes, are: - `all_small.yml` - `all_32_each_default.yml` @@ -33,6 +35,13 @@ We have multiple aggregation configurations that we use in production. These are - `all_large.yml` - `all_max.yml` +The following configurations in [`configs/production/base_specific`](./configs/production/base_specific) are enabled and used **only** on Base Mainnet: + +- `base_specific/all_32_each_rct_medium_st_depth_14.yml` +- `base_specific/all_128_each_default_st_depth_14.yml` +- `base_specific/all_large_st_depth_14.yml` +- `base_specific/all_max_st_depth_14.yml` + We will refer to one of these files as `$INTENT_NAME.yml` below. To generate all proving keys and verifying keys for the configuration corresponding to `$INTENT_NAME.yml`, run: ```bash @@ -44,7 +53,7 @@ where `$CIRCUIT_DATA_DIR` is the directory you want to store the output files. A Check that the top level `"circuit_id"` in `$INTENT_NAME.tree` equals `e94efbee3e07ae4224ed1ae0a6389f5128d210ff7a2a743e459cff501e4379ab`, _regardless of which `$INTENT_NAME` you used_. This is the circuit ID of the final Axiom Aggregation 2 circuit, which is the same for all configurations because Axiom Aggregation 2 is a universal aggregation circuit. The `aggregate_vk_hash` commits to the aggregation configuration and is used to distinguish between them. -⚠️ **Special Note:** The `all_max.yml` configuration is very large. The largest proving key generated is 200 GB. To run `axiom-query-keygen` on `all_max.yml`, you need a machine with at least 500 GB of RAM, or enough [swap](https://www.digitalocean.com/community/tutorials/how-to-add-swap-space-on-ubuntu-22-04) to make up the difference. +⚠️ **Special Note:** The `all_max.yml` and `all_max_st_depth_14` configurations are very large. The largest proving key generated is 200 GB. To run `axiom-query-keygen` on `all_max.yml`, you need a machine with at least 500 GB of RAM, or enough [swap](https://www.digitalocean.com/community/tutorials/how-to-add-swap-space-on-ubuntu-22-04) to make up the difference. 4. Rename and forge format the Solidity SNARK verifier file for the `AxiomV2QueryVerifier` smart contract: @@ -56,9 +65,16 @@ 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/). +5. Compare the summary `*.tree` JSONs with the ones we use in production [here](./data/production/proof_trees/). 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) +**Ethereum Mainnet** + +- The list we use in production on is provided [here](./data/production/aggregate_vk_hashes/eth_mainnet.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). + +**Base Mainnet** + +- The list we use in production on is provided [here](./data/production/aggregate_vk_hashes/base_mainnet.json) +- These aggregate vkey hashes are part of the constructor arguments of our `AxiomV2Query` smart contract on Base mainnet: see [logs](https://basescan.org/tx/0x8d71fee1e78bd62c43b5c79e16d04dae5e008e73ff0519a58c814dce88e7feda#eventlog). diff --git a/axiom-query/configs/production/base_specific/all_128_each_default_st_depth_14.yml b/axiom-query/configs/production/base_specific/all_128_each_default_st_depth_14.yml new file mode 100644 index 00000000..7e038431 --- /dev/null +++ b/axiom-query/configs/production/base_specific/all_128_each_default_st_depth_14.yml @@ -0,0 +1,326 @@ +AxiomAgg2: + k: 23 + force_params: + num_advice: 1 + num_lookup_advice: 1 + num_fixed: 1 + axiom_agg1_intent: + k: 22 + force_params: + num_advice: 13 + num_lookup_advice: 2 + num_fixed: 1 + intent_verify_compute: + k: 22 + core_params: + subquery_results_capacity: 128 + svk: "0100000000000000000000000000000000000000000000000000000000000000" + client_metadata: + version: 0 + numAdvicePerPhase: + - 4 + numLookupAdvicePerPhase: + - 1 + numRlcColumns: 0 + numFixed: 1 + numInstance: + - 2304 + numChallenge: + - 0 + maxOutputs: 128 + isAggregation: false + preprocessed_len: 13 + loader_params: + comp_loader_params: + max_height: 5 + shard_caps: + - 4000 + intent_keccak: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 20 + core_params: + capacity: 4000 + intent_subquery_agg: + k: 22 + deps: + - Header: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + max_extra_data_bytes: 32 + capacity: 132 + loader_params: + comp_loader_params: + note: intent_keccak + max_height: 5 + shard_caps: + - 4000 + - Account: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + capacity: 33 + max_trie_depth: 14 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 5 + shard_caps: + - 4000 + - comp_loader_params: + note: Header + max_height: 1 + shard_caps: + - 132 + - Storage: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + capacity: 33 + max_trie_depth: 14 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 5 + shard_caps: + - 4000 + - comp_loader_params: + note: Account + max_height: 2 + shard_caps: + - 33 + - Tx: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + chip_params: + max_data_byte_len: 8192 + max_access_list_len: 4096 + enable_types: + - true + - true + - true + capacity: 16 + max_trie_depth: 6 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 5 + shard_caps: + - 4000 + - comp_loader_params: + note: Header + max_height: 1 + shard_caps: + - 132 + - Receipt: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + chip_params: + max_data_byte_len: 1024 + max_log_num: 80 + topic_num_bounds: + - 0 + - 4 + capacity: 4 + max_trie_depth: 6 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 5 + shard_caps: + - 4000 + - comp_loader_params: + note: Header + max_height: 1 + shard_caps: + - 132 + - SolidityMapping: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + capacity: 32 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 5 + shard_caps: + - 4000 + - comp_loader_params: + note: Storage + max_height: 2 + shard_caps: + - 33 + - ResultsRoot: + Leaf: + k: 22 + core_params: + enabled_types: + - false + - true + - true + - true + - true + - true + - true + capacity: 128 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 5 + shard_caps: + - 4000 + - params_per_component: + axiom-query:ComponentTypeHeaderSubquery: + max_height: 1 + shard_caps: + - 132 + - 132 + axiom-query:ComponentTypeAccountSubquery: + max_height: 2 + shard_caps: + - 33 + - 33 + - 33 + - 33 + axiom-query:ComponentTypeStorageSubquery: + max_height: 2 + shard_caps: + - 33 + - 33 + - 33 + - 33 + axiom-query:ComponentTypeTxSubquery: + max_height: 3 + shard_caps: + - 16 + - 16 + - 16 + - 16 + - 16 + - 16 + - 16 + - 16 + axiom-query:ComponentTypeReceiptSubquery: + max_height: 5 + shard_caps: + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + axiom-query:ComponentTypeSolidityNestedMappingSubquery: + max_height: 2 + shard_caps: + - 32 + - 32 + - 32 + - 32 diff --git a/axiom-query/configs/production/base_specific/all_32_each_rct_medium_st_depth_14.yml b/axiom-query/configs/production/base_specific/all_32_each_rct_medium_st_depth_14.yml new file mode 100644 index 00000000..060ef5e7 --- /dev/null +++ b/axiom-query/configs/production/base_specific/all_32_each_rct_medium_st_depth_14.yml @@ -0,0 +1,265 @@ +AxiomAgg2: + k: 23 + force_params: + num_advice: 1 + num_fixed: 1 + num_lookup_advice: 1 + axiom_agg1_intent: + k: 22 + force_params: + num_advice: 13 + num_fixed: 1 + num_lookup_advice: 2 + intent_keccak: + Node: + child_intent: + Node: + child_intent: + Node: + child_intent: + Node: + child_intent: + Node: + child_intent: + Leaf: + core_params: + capacity: 4000 + k: 20 + k: 21 + num_children: 2 + k: 21 + num_children: 2 + k: 21 + num_children: 2 + k: 21 + num_children: 2 + k: 21 + num_children: 2 + intent_subquery_agg: + deps: + - Header: + Leaf: + core_params: + capacity: 130 + max_extra_data_bytes: 32 + k: 22 + loader_params: + comp_loader_params: + max_height: 5 + note: intent_keccak + shard_caps: + - 4000 + - Account: + Node: + child_intent: + Node: + child_intent: + Leaf: + core_params: + capacity: 24 + max_trie_depth: 14 + k: 21 + loader_params: + - comp_loader_params: + max_height: 5 + note: intent_keccak + shard_caps: + - 4000 + - comp_loader_params: + max_height: 1 + note: Header + shard_caps: + - 130 + k: 21 + num_children: 2 + k: 21 + num_children: 2 + - Storage: + Node: + child_intent: + Node: + child_intent: + Leaf: + core_params: + capacity: 16 + max_trie_depth: 14 + k: 21 + loader_params: + - comp_loader_params: + max_height: 5 + note: intent_keccak + shard_caps: + - 4000 + - comp_loader_params: + max_height: 2 + note: Account + shard_caps: + - 24 + k: 21 + num_children: 2 + k: 21 + num_children: 2 + - Tx: + Node: + child_intent: + Leaf: + core_params: + capacity: 16 + chip_params: + enable_types: + - true + - true + - true + max_access_list_len: 4096 + max_data_byte_len: 8192 + max_trie_depth: 6 + k: 21 + loader_params: + - comp_loader_params: + max_height: 5 + note: intent_keccak + shard_caps: + - 4000 + - comp_loader_params: + max_height: 1 + note: Header + shard_caps: + - 130 + k: 21 + num_children: 2 + - Receipt: + Node: + child_intent: + Node: + child_intent: + Node: + child_intent: + Leaf: + core_params: + capacity: 4 + chip_params: + max_data_byte_len: 1024 + max_log_num: 80 + topic_num_bounds: + - 0 + - 4 + max_trie_depth: 6 + k: 20 + loader_params: + - comp_loader_params: + max_height: 5 + note: intent_keccak + shard_caps: + - 4000 + - comp_loader_params: + max_height: 1 + note: Header + shard_caps: + - 130 + k: 21 + num_children: 2 + k: 21 + num_children: 2 + k: 21 + num_children: 2 + - SolidityMapping: + Node: + child_intent: + Leaf: + core_params: + capacity: 16 + k: 21 + loader_params: + - comp_loader_params: + max_height: 5 + note: intent_keccak + shard_caps: + - 4000 + - comp_loader_params: + max_height: 2 + note: Storage + shard_caps: + - 16 + k: 21 + num_children: 2 + - ResultsRoot: + Leaf: + core_params: + capacity: 128 + enabled_types: + - false + - true + - true + - true + - true + - true + - true + k: 22 + loader_params: + - comp_loader_params: + max_height: 5 + note: intent_keccak + shard_caps: + - 4000 + - params_per_component: + axiom-query:ComponentTypeAccountSubquery: + max_height: 2 + shard_caps: + - 24 + - 24 + axiom-query:ComponentTypeHeaderSubquery: + max_height: 1 + shard_caps: + - 130 + axiom-query:ComponentTypeReceiptSubquery: + max_height: 3 + shard_caps: + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + - 4 + axiom-query:ComponentTypeSolidityNestedMappingSubquery: + max_height: 1 + shard_caps: + - 16 + - 16 + axiom-query:ComponentTypeStorageSubquery: + max_height: 2 + shard_caps: + - 16 + - 16 + axiom-query:ComponentTypeTxSubquery: + max_height: 1 + shard_caps: + - 16 + - 16 + k: 22 + intent_verify_compute: + core_params: + client_metadata: + isAggregation: false + maxOutputs: 128 + numAdvicePerPhase: + - 4 + numChallenge: + - 0 + numFixed: 1 + numInstance: + - 2304 + numLookupAdvicePerPhase: + - 1 + numRlcColumns: 0 + version: 0 + preprocessed_len: 13 + subquery_results_capacity: 128 + svk: "0100000000000000000000000000000000000000000000000000000000000000" + k: 22 + loader_params: + comp_loader_params: + max_height: 5 + shard_caps: + - 4000 diff --git a/axiom-query/configs/production/base_specific/all_large_st_depth_14.yml b/axiom-query/configs/production/base_specific/all_large_st_depth_14.yml new file mode 100644 index 00000000..75ca23f5 --- /dev/null +++ b/axiom-query/configs/production/base_specific/all_large_st_depth_14.yml @@ -0,0 +1,282 @@ +AxiomAgg2: + k: 23 + force_params: + num_advice: 1 + num_lookup_advice: 1 + num_fixed: 1 + axiom_agg1_intent: + k: 22 + force_params: + num_advice: 13 + num_lookup_advice: 2 + num_fixed: 1 + intent_verify_compute: + k: 22 + core_params: + subquery_results_capacity: 128 + svk: "0100000000000000000000000000000000000000000000000000000000000000" + client_metadata: + version: 0 + numAdvicePerPhase: + - 4 + numLookupAdvicePerPhase: + - 1 + numRlcColumns: 0 + numFixed: 1 + numInstance: + - 2304 + numChallenge: + - 0 + maxOutputs: 128 + isAggregation: false + preprocessed_len: 13 + loader_params: + comp_loader_params: + max_height: 4 + shard_caps: + - 5000 + intent_keccak: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 20 + core_params: + capacity: 5000 + intent_subquery_agg: + k: 22 + deps: + - Header: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + max_extra_data_bytes: 32 + capacity: 132 + loader_params: + comp_loader_params: + note: intent_keccak + max_height: 4 + shard_caps: + - 5000 + - Account: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + capacity: 33 + max_trie_depth: 14 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 4 + shard_caps: + - 5000 + - comp_loader_params: + note: Header + max_height: 1 + shard_caps: + - 132 + - Storage: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + capacity: 33 + max_trie_depth: 14 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 4 + shard_caps: + - 5000 + - comp_loader_params: + note: Account + max_height: 2 + shard_caps: + - 33 + - Tx: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + chip_params: + max_data_byte_len: 32768 + max_access_list_len: 16384 + enable_types: + - true + - true + - true + capacity: 4 + max_trie_depth: 6 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 4 + shard_caps: + - 5000 + - comp_loader_params: + note: Header + max_height: 1 + shard_caps: + - 132 + - Receipt: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + chip_params: + max_data_byte_len: 2048 + max_log_num: 80 + topic_num_bounds: + - 0 + - 4 + capacity: 2 + max_trie_depth: 6 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 4 + shard_caps: + - 5000 + - comp_loader_params: + note: Header + max_height: 1 + shard_caps: + - 132 + - SolidityMapping: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + capacity: 32 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 4 + shard_caps: + - 5000 + - comp_loader_params: + note: Storage + max_height: 2 + shard_caps: + - 33 + - ResultsRoot: + Leaf: + k: 22 + core_params: + enabled_types: + - false + - true + - true + - true + - true + - true + - true + capacity: 128 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 4 + shard_caps: + - 5000 + - params_per_component: + axiom-query:ComponentTypeHeaderSubquery: + max_height: 1 + shard_caps: + - 132 + - 132 + axiom-query:ComponentTypeAccountSubquery: + max_height: 2 + shard_caps: + - 33 + - 33 + - 33 + - 33 + axiom-query:ComponentTypeStorageSubquery: + max_height: 2 + shard_caps: + - 33 + - 33 + - 33 + - 33 + axiom-query:ComponentTypeTxSubquery: + max_height: 2 + shard_caps: + - 4 + - 4 + - 4 + - 4 + axiom-query:ComponentTypeReceiptSubquery: + max_height: 3 + shard_caps: + - 2 + - 2 + - 2 + - 2 + - 2 + - 2 + - 2 + - 2 + axiom-query:ComponentTypeSolidityNestedMappingSubquery: + max_height: 2 + shard_caps: + - 32 + - 32 + - 32 + - 32 diff --git a/axiom-query/configs/production/base_specific/all_max_st_depth_14.yml b/axiom-query/configs/production/base_specific/all_max_st_depth_14.yml new file mode 100644 index 00000000..8c334e98 --- /dev/null +++ b/axiom-query/configs/production/base_specific/all_max_st_depth_14.yml @@ -0,0 +1,271 @@ +AxiomAgg2: + k: 23 + force_params: + num_advice: 1 + num_lookup_advice: 1 + num_fixed: 1 + axiom_agg1_intent: + k: 22 + force_params: + num_advice: 13 + num_lookup_advice: 2 + num_fixed: 1 + intent_verify_compute: + k: 22 + core_params: + subquery_results_capacity: 128 + svk: "0100000000000000000000000000000000000000000000000000000000000000" + client_metadata: + version: 0 + numAdvicePerPhase: + - 4 + numLookupAdvicePerPhase: + - 1 + numRlcColumns: 0 + numFixed: 1 + numInstance: + - 2304 + numChallenge: + - 0 + maxOutputs: 128 + isAggregation: false + preprocessed_len: 13 + loader_params: + comp_loader_params: + max_height: 4 + shard_caps: + - 4000 + intent_keccak: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 20 + core_params: + capacity: 4000 + intent_subquery_agg: + k: 22 + deps: + - Header: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + max_extra_data_bytes: 32 + capacity: 132 + loader_params: + comp_loader_params: + note: intent_keccak + max_height: 4 + shard_caps: + - 4000 + - Account: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + capacity: 33 + max_trie_depth: 14 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 4 + shard_caps: + - 4000 + - comp_loader_params: + note: Header + max_height: 1 + shard_caps: + - 132 + - Storage: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + capacity: 33 + max_trie_depth: 14 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 4 + shard_caps: + - 4000 + - comp_loader_params: + note: Account + max_height: 2 + shard_caps: + - 33 + - Tx: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 22 + core_params: + chip_params: + max_data_byte_len: 330000 + max_access_list_len: 131072 + enable_types: + - true + - true + - true + capacity: 1 + max_trie_depth: 6 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 4 + shard_caps: + - 4000 + - comp_loader_params: + note: Header + max_height: 1 + shard_caps: + - 132 + - Receipt: + Node: + k: 21 + num_children: 1 + child_intent: + Node: + k: 22 + num_children: 1 + child_intent: + Leaf: + k: 22 + core_params: + chip_params: + max_data_byte_len: 1024 + max_log_num: 400 + topic_num_bounds: + - 0 + - 4 + capacity: 1 + max_trie_depth: 6 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 4 + shard_caps: + - 4000 + - comp_loader_params: + note: Header + max_height: 1 + shard_caps: + - 132 + - SolidityMapping: + Node: + k: 21 + num_children: 2 + child_intent: + Node: + k: 21 + num_children: 2 + child_intent: + Leaf: + k: 21 + core_params: + capacity: 32 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 4 + shard_caps: + - 4000 + - comp_loader_params: + note: Storage + max_height: 2 + shard_caps: + - 33 + - ResultsRoot: + Leaf: + k: 22 + core_params: + enabled_types: + - false + - true + - true + - true + - true + - true + - true + capacity: 128 + loader_params: + - comp_loader_params: + note: intent_keccak + max_height: 4 + shard_caps: + - 4000 + - params_per_component: + axiom-query:ComponentTypeHeaderSubquery: + max_height: 1 + shard_caps: + - 132 + - 132 + axiom-query:ComponentTypeAccountSubquery: + max_height: 2 + shard_caps: + - 33 + - 33 + - 33 + - 33 + axiom-query:ComponentTypeStorageSubquery: + max_height: 2 + shard_caps: + - 33 + - 33 + - 33 + - 33 + axiom-query:ComponentTypeTxSubquery: + max_height: 2 + shard_caps: + - 1 + - 1 + - 1 + - 1 + axiom-query:ComponentTypeReceiptSubquery: + max_height: 0 + shard_caps: + - 1 + axiom-query:ComponentTypeSolidityNestedMappingSubquery: + max_height: 2 + shard_caps: + - 32 + - 32 + - 32 + - 32 diff --git a/axiom-query/data/production/aggregate_vk_hashes/base_mainnet.json b/axiom-query/data/production/aggregate_vk_hashes/base_mainnet.json new file mode 100644 index 00000000..c5eea387 --- /dev/null +++ b/axiom-query/data/production/aggregate_vk_hashes/base_mainnet.json @@ -0,0 +1,11 @@ +[ + "0x0101065876114de866aa867d320a1be1bd455dc47cd86d58792a2fcd625f508a", + "0x295c9bfd347ba130992af3febdb211441fb6ea8399dd1b35bdaa7414c7b1fec8", + "0x1ccbfbc12ad4576cd2d3c29edd3fd3a4e12383c722f0eae3b8e25273045a2ec8", + "0x2f6fd2b234c2508f8572c3e85a6cf57c0b8d15f3df411ed7ac1deeada4744072", + "0x07a8cc51ad5eb676458a910857f638cda68cadaddecdc4ba5517217acd0fbbc3", + "0x02be0b1d8f322d1fbe8cd2615dcc547fb56700bbe8d1059aee5345597e530610", + "0x09ebf0db0a145cde90efdc7425e532ff137725edb2643b2835914e17c79b2592", + "0x09de3fb8a1f0574d1a318f683f7f229127df434f14f444984c70650cf4f41502", + "0x0eb84f1a5cf040e4d89b2ee982fb8ffd33bbf463871b84ef43ebd3128f262152" +] diff --git a/axiom-query/data/production/aggregate_vk_hashes.json b/axiom-query/data/production/aggregate_vk_hashes/eth_mainnet.json similarity index 100% rename from axiom-query/data/production/aggregate_vk_hashes.json rename to axiom-query/data/production/aggregate_vk_hashes/eth_mainnet.json diff --git a/axiom-query/data/production/all_128_each_default.tree b/axiom-query/data/production/proof_trees/all_128_each_default.tree similarity index 100% rename from axiom-query/data/production/all_128_each_default.tree rename to axiom-query/data/production/proof_trees/all_128_each_default.tree diff --git a/axiom-query/data/production/all_32_each_default.tree b/axiom-query/data/production/proof_trees/all_32_each_default.tree similarity index 100% rename from axiom-query/data/production/all_32_each_default.tree rename to axiom-query/data/production/proof_trees/all_32_each_default.tree diff --git a/axiom-query/data/production/all_large.tree b/axiom-query/data/production/proof_trees/all_large.tree similarity index 100% rename from axiom-query/data/production/all_large.tree rename to axiom-query/data/production/proof_trees/all_large.tree diff --git a/axiom-query/data/production/all_max.tree b/axiom-query/data/production/proof_trees/all_max.tree similarity index 100% rename from axiom-query/data/production/all_max.tree rename to axiom-query/data/production/proof_trees/all_max.tree diff --git a/axiom-query/data/production/all_small.tree b/axiom-query/data/production/proof_trees/all_small.tree similarity index 100% rename from axiom-query/data/production/all_small.tree rename to axiom-query/data/production/proof_trees/all_small.tree diff --git a/axiom-query/data/production/proof_trees/base_specific/all_128_each_default_st_depth_14.tree b/axiom-query/data/production/proof_trees/base_specific/all_128_each_default_st_depth_14.tree new file mode 100644 index 00000000..2d44119c --- /dev/null +++ b/axiom-query/data/production/proof_trees/base_specific/all_128_each_default_st_depth_14.tree @@ -0,0 +1,765 @@ +{ + "circuit_id": "e94efbee3e07ae4224ed1ae0a6389f5128d210ff7a2a743e459cff501e4379ab", + "children": [ + { + "circuit_id": "19aa4713ce9f8636a856bcfb0b4b79ccfe922ecfed1e6a1877925fd535459ffd", + "children": [ + { + "circuit_id": "d0608445d7b3d8201db37ec00ac2fe66ee13b27bad3f2308f4e40e12d21a991f", + "children": [] + }, + { + "circuit_id": "88a07f62faa8afc060a6860da53263145a7938b5b4c4ead4cdedf2f00e68614e", + "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": "b48fc66e96cd488316395418515f05504b5778d7722b49d08aeeba6feea3f8ba", + "children": [ + { + "circuit_id": "b39c8099851cdd6b931fff06598f54a36e113e99870e8d5a5cc7ba37de347ade", + "children": [ + { + "circuit_id": "95cfaa46c3545d5dbb36b8e7e9f4d48279ac8215fa81e506b1ff7db27f599199", + "children": [] + }, + { + "circuit_id": "95cfaa46c3545d5dbb36b8e7e9f4d48279ac8215fa81e506b1ff7db27f599199", + "children": [] + } + ] + }, + { + "circuit_id": "b39c8099851cdd6b931fff06598f54a36e113e99870e8d5a5cc7ba37de347ade", + "children": [ + { + "circuit_id": "95cfaa46c3545d5dbb36b8e7e9f4d48279ac8215fa81e506b1ff7db27f599199", + "children": [] + }, + { + "circuit_id": "95cfaa46c3545d5dbb36b8e7e9f4d48279ac8215fa81e506b1ff7db27f599199", + "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": "0x29aac12e93fe796f1a9bda27a0726dcedaa70105e686a38b3df4e3e74330c349" + }, + { + "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": "0x10275afb349bf8b33762ec9682b40ae9dc13da2bd6d3cc66110d3232aa42f6c4" + } + ], + "aggregate_vk_hash": "0x09ebf0db0a145cde90efdc7425e532ff137725edb2643b2835914e17c79b2592" +} \ No newline at end of file diff --git a/axiom-query/data/production/proof_trees/base_specific/all_32_each_rct_medium_st_depth_14.tree b/axiom-query/data/production/proof_trees/base_specific/all_32_each_rct_medium_st_depth_14.tree new file mode 100644 index 00000000..90bc2156 --- /dev/null +++ b/axiom-query/data/production/proof_trees/base_specific/all_32_each_rct_medium_st_depth_14.tree @@ -0,0 +1,468 @@ +{ + "circuit_id": "e94efbee3e07ae4224ed1ae0a6389f5128d210ff7a2a743e459cff501e4379ab", + "children": [ + { + "circuit_id": "810ae3440f81a0447abaabd518cfb4b204fe2f7c48574f7d04590556598aecd3", + "children": [ + { + "circuit_id": "d0608445d7b3d8201db37ec00ac2fe66ee13b27bad3f2308f4e40e12d21a991f", + "children": [] + }, + { + "circuit_id": "bfef87372a80d123a330711bf8a3ccb31ba0742cff99d4202eed1a01a0d3b423", + "children": [ + { + "circuit_id": "e85cb3e0dda8e5d526c9acfae548bd1ee976317b97bdc404019bf2c8fb9cdadd", + "children": [] + }, + { + "circuit_id": "10dd287b989e94cf799abb2a642f708f7f503848fdb26453808d1fa47c8e0377", + "children": [ + { + "circuit_id": "83405955c9fb499222f8d2ef42114c181f4a6d1894e4b162c4cf7d5a59e16107", + "children": [ + { + "circuit_id": "8bf02a61f3c0d5e7a3fbf0039c0f11d50bc14ac03c79fc9687fff001e8eeac3a", + "children": [] + }, + { + "circuit_id": "8bf02a61f3c0d5e7a3fbf0039c0f11d50bc14ac03c79fc9687fff001e8eeac3a", + "children": [] + } + ] + }, + { + "circuit_id": "83405955c9fb499222f8d2ef42114c181f4a6d1894e4b162c4cf7d5a59e16107", + "children": [ + { + "circuit_id": "8bf02a61f3c0d5e7a3fbf0039c0f11d50bc14ac03c79fc9687fff001e8eeac3a", + "children": [] + }, + { + "circuit_id": "8bf02a61f3c0d5e7a3fbf0039c0f11d50bc14ac03c79fc9687fff001e8eeac3a", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "1f4528e863a39fd6cff3c87019090d474e671d0666990e11aa18d2a1988af050", + "children": [ + { + "circuit_id": "504917889a1f852b6835446f4d0fecd75d56db198932d32a51faab4b71203bfd", + "children": [ + { + "circuit_id": "153d3dbc2da2659590521395c9b165dd4e0cb94ba1c586182cbf9b14422c71fb", + "children": [] + }, + { + "circuit_id": "153d3dbc2da2659590521395c9b165dd4e0cb94ba1c586182cbf9b14422c71fb", + "children": [] + } + ] + }, + { + "circuit_id": "504917889a1f852b6835446f4d0fecd75d56db198932d32a51faab4b71203bfd", + "children": [ + { + "circuit_id": "153d3dbc2da2659590521395c9b165dd4e0cb94ba1c586182cbf9b14422c71fb", + "children": [] + }, + { + "circuit_id": "153d3dbc2da2659590521395c9b165dd4e0cb94ba1c586182cbf9b14422c71fb", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "a4d8c3bf71740ca1a969d597601f09fe9ff6564205a45d125fa4ea2071075a8e", + "children": [ + { + "circuit_id": "4801980de073b8013cbf72a7ce1b37985ad343d3e52de4b4c2b125c2bfed6941", + "children": [] + }, + { + "circuit_id": "4801980de073b8013cbf72a7ce1b37985ad343d3e52de4b4c2b125c2bfed6941", + "children": [] + } + ] + }, + { + "circuit_id": "85f9477d8e87af95ba59af9d5195abaee64fd1afca4ffcb3aeea65060c54d92b", + "children": [ + { + "circuit_id": "9c622cfaeaf7954b64adfedc6313263e30e2a7e26a6f71542873dd3a7081310f", + "children": [ + { + "circuit_id": "9251cb98917783aa19445722e9e4318d1a5a1779336b39b5447d177dddc32db7", + "children": [ + { + "circuit_id": "8ab1ad631ac2d9e70c7d49791c327d7a688b7d63c16f0bd509fc5a41db2c1fb6", + "children": [] + }, + { + "circuit_id": "8ab1ad631ac2d9e70c7d49791c327d7a688b7d63c16f0bd509fc5a41db2c1fb6", + "children": [] + } + ] + }, + { + "circuit_id": "9251cb98917783aa19445722e9e4318d1a5a1779336b39b5447d177dddc32db7", + "children": [ + { + "circuit_id": "8ab1ad631ac2d9e70c7d49791c327d7a688b7d63c16f0bd509fc5a41db2c1fb6", + "children": [] + }, + { + "circuit_id": "8ab1ad631ac2d9e70c7d49791c327d7a688b7d63c16f0bd509fc5a41db2c1fb6", + "children": [] + } + ] + } + ] + }, + { + "circuit_id": "9c622cfaeaf7954b64adfedc6313263e30e2a7e26a6f71542873dd3a7081310f", + "children": [ + { + "circuit_id": "9251cb98917783aa19445722e9e4318d1a5a1779336b39b5447d177dddc32db7", + "children": [ + { + "circuit_id": "8ab1ad631ac2d9e70c7d49791c327d7a688b7d63c16f0bd509fc5a41db2c1fb6", + "children": [] + }, + { + "circuit_id": "8ab1ad631ac2d9e70c7d49791c327d7a688b7d63c16f0bd509fc5a41db2c1fb6", + "children": [] + } + ] + }, + { + "circuit_id": "9251cb98917783aa19445722e9e4318d1a5a1779336b39b5447d177dddc32db7", + "children": [ + { + "circuit_id": "8ab1ad631ac2d9e70c7d49791c327d7a688b7d63c16f0bd509fc5a41db2c1fb6", + "children": [] + }, + { + "circuit_id": "8ab1ad631ac2d9e70c7d49791c327d7a688b7d63c16f0bd509fc5a41db2c1fb6", + "children": [] + } + ] + } + ] + } + ] + }, + { + "circuit_id": "ea8652328e30722d68151e69527cbed37f551580679ccfad4317183b26112852", + "children": [ + { + "circuit_id": "a23c6809734b3b707a34053e6c6eb4cbfd22bdb82277abbddae42356b2e4574c", + "children": [] + }, + { + "circuit_id": "a23c6809734b3b707a34053e6c6eb4cbfd22bdb82277abbddae42356b2e4574c", + "children": [] + } + ] + }, + { + "circuit_id": "7ceec06fb3fe568d6c5754965fc10eea9ff156f056ddd238e8c1709f6d3a95f5", + "children": [] + } + ], + "aggregate_vk_hash": "0x01d0f31b5b1480c815dfe9b24039fa0636f5568ba6b0de0fb4ab1941e6d4ba27" + }, + { + "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": "0x1eb72274b865d3990b2382e6466106a60be03da78e4fa2daf58e1df1aee6b64a" + } + ], + "aggregate_vk_hash": "0x02be0b1d8f322d1fbe8cd2615dcc547fb56700bbe8d1059aee5345597e530610" +} \ No newline at end of file diff --git a/axiom-query/data/production/proof_trees/base_specific/all_large_st_depth_14.tree b/axiom-query/data/production/proof_trees/base_specific/all_large_st_depth_14.tree new file mode 100644 index 00000000..583b78e5 --- /dev/null +++ b/axiom-query/data/production/proof_trees/base_specific/all_large_st_depth_14.tree @@ -0,0 +1,369 @@ +{ + "circuit_id": "e94efbee3e07ae4224ed1ae0a6389f5128d210ff7a2a743e459cff501e4379ab", + "children": [ + { + "circuit_id": "28b27e617502ae7f94b5f8503761241a74c67f2e10606f7e28e7135740b8b43b", + "children": [ + { + "circuit_id": "33b4bbd2a9b800f478e2ee1c6e348bd0429d8bb2e73811ccbd70e894c8111ff0", + "children": [] + }, + { + "circuit_id": "eb590d53615a1a28beba7cbd97d1ad67d7373592c7532f232526c587e4e2ab27", + "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": "704e38d5c3f5d0b50eea1a4b325c2841b19e242b2eae05588bc290c28d1306ee", + "children": [ + { + "circuit_id": "d1d991201e0b96ee016cfe4e190df0c9ea817617244bfce1d5b37a85de2378e9", + "children": [ + { + "circuit_id": "c7afc2e0fcc3f46a5505989c733f81ac54300a4dd3349fb1aec57dc87e279620", + "children": [] + }, + { + "circuit_id": "c7afc2e0fcc3f46a5505989c733f81ac54300a4dd3349fb1aec57dc87e279620", + "children": [] + } + ] + }, + { + "circuit_id": "d1d991201e0b96ee016cfe4e190df0c9ea817617244bfce1d5b37a85de2378e9", + "children": [ + { + "circuit_id": "c7afc2e0fcc3f46a5505989c733f81ac54300a4dd3349fb1aec57dc87e279620", + "children": [] + }, + { + "circuit_id": "c7afc2e0fcc3f46a5505989c733f81ac54300a4dd3349fb1aec57dc87e279620", + "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": "0x143c06e9f05cfda7a26cb3908940a721b6b7d36c8a844493d75394a590fc8298" + }, + { + "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": "0x12b8e2b10d75d11ffd2c32bfcdea7e6b83d86d7202cd274ed31e961e0c6a7e87" + } + ], + "aggregate_vk_hash": "0x09de3fb8a1f0574d1a318f683f7f229127df434f14f444984c70650cf4f41502" +} \ No newline at end of file diff --git a/axiom-query/data/production/proof_trees/base_specific/all_max_st_depth_14.tree b/axiom-query/data/production/proof_trees/base_specific/all_max_st_depth_14.tree new file mode 100644 index 00000000..733de6e5 --- /dev/null +++ b/axiom-query/data/production/proof_trees/base_specific/all_max_st_depth_14.tree @@ -0,0 +1,316 @@ +{ + "circuit_id": "e94efbee3e07ae4224ed1ae0a6389f5128d210ff7a2a743e459cff501e4379ab", + "children": [ + { + "circuit_id": "aaf2004f06b92db06ecf815585f0998265492686c07dccfcd3f64de4a20b5d75", + "children": [ + { + "circuit_id": "068ea0469095f39946198391fbe3922bbf38af01e16e15ad9414ee94d90bcba6", + "children": [] + }, + { + "circuit_id": "8867b35fff9debce96d50e1ee171c64ccc82f3456c4d81b25c09b2cf78c545eb", + "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": "f964a76c3b72d9f06a93b424c1dd4168528b09d15a4dfa86a16bfa739413aeec", + "children": [ + { + "circuit_id": "1e79ae670746ee44291ed7a185bed5414700db733992c6142f5aed8877f662eb", + "children": [ + { + "circuit_id": "4ffd89bf60c55bd00dfc402e49b5cf2c3191160018756e21ac8dc71b5ebacea0", + "children": [] + }, + { + "circuit_id": "4ffd89bf60c55bd00dfc402e49b5cf2c3191160018756e21ac8dc71b5ebacea0", + "children": [] + } + ] + }, + { + "circuit_id": "1e79ae670746ee44291ed7a185bed5414700db733992c6142f5aed8877f662eb", + "children": [ + { + "circuit_id": "4ffd89bf60c55bd00dfc402e49b5cf2c3191160018756e21ac8dc71b5ebacea0", + "children": [] + }, + { + "circuit_id": "4ffd89bf60c55bd00dfc402e49b5cf2c3191160018756e21ac8dc71b5ebacea0", + "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": "0x1c696780ae36d1129c7dababaea0671afac31041364fca98d3864bdbea2b19b4" + }, + { + "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": "0x2e790d8143e71a6c7393e24c21a91d2e1b7a6d1a285f20fd55411caf6f3e18c7" + } + ], + "aggregate_vk_hash": "0x0eb84f1a5cf040e4d89b2ee982fb8ffd33bbf463871b84ef43ebd3128f262152" +} \ No newline at end of file