pub fn load_keys_to_data_source(&self) -> anyhow::Result<InMemoryDataSource> {
        let mut data_source = InMemoryDataSource::new();
        for base_circuit_type in BaseLayerCircuitType::as_iter_u8() {
            data_source
                .set_base_layer_vk(self.load_base_layer_verification_key(base_circuit_type)?)
                .unwrap();
        }

        for circuit_type in ZkSyncRecursionLayerStorageType::as_iter_u8() {
            data_source
                .set_recursion_layer_vk(self.load_recursive_layer_verification_key(circuit_type)?)
                .unwrap();
        }
        data_source
            .set_recursion_tip_vk(self.load_recursive_layer_verification_key(
                ZkSyncRecursionLayerStorageType::RecursionTipCircuit as u8,
            )?)
            .unwrap();

        data_source
            .set_recursion_layer_node_vk(self.load_recursive_layer_verification_key(
                ZkSyncRecursionLayerStorageType::NodeLayerCircuit as u8,
            )?)
            .unwrap();

        for circuit in 1..MAX_COMPRESSION_CIRCUITS {
            data_source
                .set_compression_vk(self.load_compression_verification_key(circuit)?)
                .unwrap();
        }

        data_source
            .set_compression_for_wrapper_vk(self.load_compression_for_wrapper_vk(5)?)
            .unwrap();

        Ok(data_source)
    }
Loads all the verification keys into the Data Source.
Keys are loaded from the default 'base path' files.
prover/crates/lib/keystore/src/keystore.rs