world_state.cpp

Go to the documentation of this file.

#include "barretenberg/world_state/world_state.hpp"
#include "barretenberg/aztec/aztec_constants.hpp"
#include "barretenberg/crypto/merkle_tree/append_only_tree/content_addressed_append_only_tree.hpp"
#include "barretenberg/crypto/merkle_tree/hash.hpp"
#include "barretenberg/crypto/merkle_tree/hash_path.hpp"
#include "barretenberg/crypto/merkle_tree/indexed_tree/indexed_leaf.hpp"
#include "barretenberg/crypto/merkle_tree/lmdb_store/lmdb_tree_store.hpp"
#include "barretenberg/crypto/merkle_tree/node_store/tree_meta.hpp"
#include "barretenberg/crypto/merkle_tree/response.hpp"
#include "barretenberg/crypto/merkle_tree/signal.hpp"
#include "barretenberg/crypto/merkle_tree/types.hpp"
#include "barretenberg/lmdblib/lmdb_helpers.hpp"
#include "barretenberg/world_state/fork.hpp"
#include "barretenberg/world_state/tree_with_store.hpp"
#include "barretenberg/world_state/types.hpp"
#include "barretenberg/world_state/world_state_stores.hpp"
#include <array>
#include <atomic>
#include <cstddef>
#include <cstdint>
#include <filesystem>
#include <memory>
#include <mutex>
#include <optional>
#include <ostream>
#include <stdexcept>
#include <tuple>
#include <unordered_map>
#include <utility>
#include <variant>
 
namespace bb::world_state {
 
using namespace bb::crypto::merkle_tree;
 
WorldState::WorldState(uint64_t thread_pool_size,
                       const std::string& data_dir,
                       const std::unordered_map<MerkleTreeId, uint64_t>& map_size,
                       const std::unordered_map<MerkleTreeId, uint32_t>& tree_heights,
                       const std::unordered_map<MerkleTreeId, index_t>& tree_prefill,
                       const std::vector<PublicDataLeafValue>& prefilled_public_data,
                       uint32_t initial_header_generator_point,
                       uint64_t genesis_timestamp)
    : _workers(std::make_shared<ThreadPool>(thread_pool_size))
    , _tree_heights(tree_heights)
    , _initial_tree_size(tree_prefill)
    , _forkId(CANONICAL_FORK_ID)
    , _initial_header_generator_point(initial_header_generator_point)
    , _genesis_timestamp(genesis_timestamp)
{
    // We set the max readers to be high, at least the number of given threads or the default if higher
    uint64_t maxReaders = std::max(thread_pool_size, DEFAULT_MIN_NUMBER_OF_READERS);
    create_canonical_fork(data_dir, map_size, prefilled_public_data, maxReaders);
    try {
        attempt_tree_resync();
    } catch (std::exception& e) {
        // We don't do anything with this. If any attept to re-sync failed it will be picked up later in TS land
    }
}
 
WorldState::WorldState(uint64_t thread_pool_size,
                       const std::string& data_dir,
                       const std::unordered_map<MerkleTreeId, uint64_t>& map_size,
                       const std::unordered_map<MerkleTreeId, uint32_t>& tree_heights,
                       const std::unordered_map<MerkleTreeId, index_t>& tree_prefill,
                       uint32_t initial_header_generator_point,
                       uint64_t genesis_timestamp)
    : WorldState::WorldState(thread_pool_size,
                             data_dir,
                             map_size,
                             tree_heights,
                             tree_prefill,
                             std::vector<PublicDataLeafValue>(),
                             initial_header_generator_point,
                             genesis_timestamp)
{}
 
WorldState::WorldState(uint64_t thread_pool_size,
                       const std::string& data_dir,
                       uint64_t map_size,
                       const std::unordered_map<MerkleTreeId, uint32_t>& tree_heights,
                       const std::unordered_map<MerkleTreeId, index_t>& tree_prefill,
                       const std::vector<PublicDataLeafValue>& prefilled_public_data,
                       uint32_t initial_header_generator_point,
                       uint64_t genesis_timestamp)
    : WorldState(thread_pool_size,
                 data_dir,
                 {
                     { MerkleTreeId::NULLIFIER_TREE, map_size },
                     { MerkleTreeId::PUBLIC_DATA_TREE, map_size },
                     { MerkleTreeId::ARCHIVE, map_size },
                     { MerkleTreeId::NOTE_HASH_TREE, map_size },
                     { MerkleTreeId::L1_TO_L2_MESSAGE_TREE, map_size },
                 },
                 tree_heights,
                 tree_prefill,
                 prefilled_public_data,
                 initial_header_generator_point,
                 genesis_timestamp)
{}
 
WorldState::WorldState(uint64_t thread_pool_size,
                       const std::string& data_dir,
                       uint64_t map_size,
                       const std::unordered_map<MerkleTreeId, uint32_t>& tree_heights,
                       const std::unordered_map<MerkleTreeId, index_t>& tree_prefill,
                       uint32_t initial_header_generator_point,
                       uint64_t genesis_timestamp)
    : WorldState(thread_pool_size,
                 data_dir,
                 map_size,
                 tree_heights,
                 tree_prefill,
                 std::vector<PublicDataLeafValue>(),
                 initial_header_generator_point,
                 genesis_timestamp)
{}
 
void WorldState::create_canonical_fork(const std::string& dataDir,
                                       const std::unordered_map<MerkleTreeId, uint64_t>& dbSize,
                                       const std::vector<PublicDataLeafValue>& prefilled_public_data,
                                       uint64_t maxReaders)
{
    // create the underlying stores
    auto createStore = [&](MerkleTreeId id) {
        auto name = getMerkleTreeName(id);
        std::filesystem::path directory = dataDir;
        directory /= name;
        std::filesystem::create_directories(directory);
        return std::make_shared<LMDBTreeStore>(directory, name, dbSize.at(id), maxReaders);
    };
    _persistentStores = std::make_unique<WorldStateStores>(createStore(MerkleTreeId::NULLIFIER_TREE),
                                                           createStore(MerkleTreeId::PUBLIC_DATA_TREE),
                                                           createStore(MerkleTreeId::ARCHIVE),
                                                           createStore(MerkleTreeId::NOTE_HASH_TREE),
                                                           createStore(MerkleTreeId::L1_TO_L2_MESSAGE_TREE));
 
    Fork::SharedPtr fork = std::make_shared<Fork>();
    fork->_forkId = _forkId++;
    {
        uint32_t levels = _tree_heights.at(MerkleTreeId::NULLIFIER_TREE);
        index_t initial_size = _initial_tree_size.at(MerkleTreeId::NULLIFIER_TREE);
        auto store = std::make_unique<NullifierStore>(
            getMerkleTreeName(MerkleTreeId::NULLIFIER_TREE), levels, _persistentStores->nullifierStore);
        auto tree = std::make_unique<NullifierTree>(std::move(store), _workers, initial_size);
        fork->_trees.insert({ MerkleTreeId::NULLIFIER_TREE, TreeWithStore(std::move(tree)) });
    }
    {
        uint32_t levels = _tree_heights.at(MerkleTreeId::NOTE_HASH_TREE);
        auto store = std::make_unique<FrStore>(
            getMerkleTreeName(MerkleTreeId::NOTE_HASH_TREE), levels, _persistentStores->noteHashStore);
        auto tree = std::make_unique<FrTree>(std::move(store), _workers);
        fork->_trees.insert({ MerkleTreeId::NOTE_HASH_TREE, TreeWithStore(std::move(tree)) });
    }
    {
        uint32_t levels = _tree_heights.at(MerkleTreeId::PUBLIC_DATA_TREE);
        index_t initial_size = _initial_tree_size.at(MerkleTreeId::PUBLIC_DATA_TREE);
        auto store = std::make_unique<PublicDataStore>(
            getMerkleTreeName(MerkleTreeId::PUBLIC_DATA_TREE), levels, _persistentStores->publicDataStore);
        auto tree = std::make_unique<PublicDataTree>(std::move(store), _workers, initial_size, prefilled_public_data);
        fork->_trees.insert({ MerkleTreeId::PUBLIC_DATA_TREE, TreeWithStore(std::move(tree)) });
    }
    {
        uint32_t levels = _tree_heights.at(MerkleTreeId::L1_TO_L2_MESSAGE_TREE);
        auto store = std::make_unique<FrStore>(
            getMerkleTreeName(MerkleTreeId::L1_TO_L2_MESSAGE_TREE), levels, _persistentStores->messageStore);
        auto tree = std::make_unique<FrTree>(std::move(store), _workers);
        fork->_trees.insert({ MerkleTreeId::L1_TO_L2_MESSAGE_TREE, TreeWithStore(std::move(tree)) });
    }
    {
        uint32_t levels = _tree_heights.at(MerkleTreeId::ARCHIVE);
        std::vector<bb::fr> initial_values{ compute_initial_block_header_hash(
            get_state_reference(WorldStateRevision::committed(), fork, true),
            _initial_header_generator_point,
            _genesis_timestamp) };
        auto store = std::make_unique<FrStore>(
            getMerkleTreeName(MerkleTreeId::ARCHIVE), levels, _persistentStores->archiveStore);
        auto tree = std::make_unique<FrTree>(std::move(store), _workers, initial_values);
        fork->_trees.insert({ MerkleTreeId::ARCHIVE, TreeWithStore(std::move(tree)) });
    }
    _forks[fork->_forkId] = fork;
}
 
void WorldState::copy_stores(const std::string& dstPath, bool compact) const
{
    auto copyStore = [&](const LMDBTreeStore::SharedPtr& store) {
        std::filesystem::path directory = dstPath;
        directory /= store->get_name();
        std::filesystem::create_directories(directory);
        store->copy_store(directory, compact);
    };
 
    std::for_each(_persistentStores->begin(), _persistentStores->end(), copyStore);
}
 
Fork::SharedPtr WorldState::retrieve_fork(const uint64_t& forkId) const
{
    std::unique_lock lock(mtx);
    auto it = _forks.find(forkId);
    if (it == _forks.end()) {
        throw std::runtime_error("Fork not found");
    }
    return it->second;
}
uint64_t WorldState::create_fork(const std::optional<block_number_t>& blockNumber)
{
    block_number_t blockNumberForFork = 0;
    if (!blockNumber.has_value()) {
        // we are forking at latest
        WorldStateRevision revision{ .forkId = CANONICAL_FORK_ID, .includeUncommitted = false };
        TreeMetaResponse archiveMeta = get_tree_info(revision, MerkleTreeId::ARCHIVE);
        blockNumberForFork = archiveMeta.meta.unfinalizedBlockHeight;
    } else {
        blockNumberForFork = blockNumber.value();
    }
    Fork::SharedPtr fork = create_new_fork(blockNumberForFork);
    std::unique_lock lock(mtx);
    uint64_t forkId = _forkId++;
    fork->_forkId = forkId;
    _forks[forkId] = fork;
    return forkId;
}
 
void WorldState::remove_forks_for_block(const block_number_t& blockNumber)
{
    // capture the shared pointers outside of the lock scope so we are not under the lock when the objects are destroyed
    std::vector<Fork::SharedPtr> forks;
    {
        std::unique_lock lock(mtx);
        for (auto it = _forks.begin(); it != _forks.end();) {
            if (it->second->_blockNumber == blockNumber) {
                forks.push_back(it->second);
                it = _forks.erase(it);
 
            } else {
                it++;
            }
        }
    }
}
 
void WorldState::delete_fork(const uint64_t& forkId)
{
    if (forkId == 0) {
        throw std::runtime_error("Unable to delete canonical fork");
    }
    // Retrieving the shared pointer here means we throw if the fork is not available, it also means we are not under a
    // lock when we destroy the object
    Fork::SharedPtr fork = retrieve_fork(forkId);
    {
        std::unique_lock lock(mtx);
        _forks.erase(forkId);
    }
}
 
Fork::SharedPtr WorldState::create_new_fork(const block_number_t& blockNumber)
{
    Fork::SharedPtr fork = std::make_shared<Fork>();
    fork->_blockNumber = blockNumber;
    {
        uint32_t levels = _tree_heights.at(MerkleTreeId::NULLIFIER_TREE);
        index_t initial_size = _initial_tree_size.at(MerkleTreeId::NULLIFIER_TREE);
        auto store = std::make_unique<NullifierStore>(
            getMerkleTreeName(MerkleTreeId::NULLIFIER_TREE), levels, blockNumber, _persistentStores->nullifierStore);
        auto tree = std::make_unique<NullifierTree>(std::move(store), _workers, initial_size);
        fork->_trees.insert({ MerkleTreeId::NULLIFIER_TREE, TreeWithStore(std::move(tree)) });
    }
    {
        uint32_t levels = _tree_heights.at(MerkleTreeId::NOTE_HASH_TREE);
        auto store = std::make_unique<FrStore>(
            getMerkleTreeName(MerkleTreeId::NOTE_HASH_TREE), levels, blockNumber, _persistentStores->noteHashStore);
        auto tree = std::make_unique<FrTree>(std::move(store), _workers);
        fork->_trees.insert({ MerkleTreeId::NOTE_HASH_TREE, TreeWithStore(std::move(tree)) });
    }
    {
        uint32_t levels = _tree_heights.at(MerkleTreeId::PUBLIC_DATA_TREE);
        index_t initial_size = _initial_tree_size.at(MerkleTreeId::PUBLIC_DATA_TREE);
        auto store = std::make_unique<PublicDataStore>(
            getMerkleTreeName(MerkleTreeId::PUBLIC_DATA_TREE), levels, blockNumber, _persistentStores->publicDataStore);
        auto tree = std::make_unique<PublicDataTree>(std::move(store), _workers, initial_size);
        fork->_trees.insert({ MerkleTreeId::PUBLIC_DATA_TREE, TreeWithStore(std::move(tree)) });
    }
    {
        uint32_t levels = _tree_heights.at(MerkleTreeId::L1_TO_L2_MESSAGE_TREE);
        auto store = std::make_unique<FrStore>(getMerkleTreeName(MerkleTreeId::L1_TO_L2_MESSAGE_TREE),
                                               levels,
                                               blockNumber,
                                               _persistentStores->messageStore);
        auto tree = std::make_unique<FrTree>(std::move(store), _workers);
        fork->_trees.insert({ MerkleTreeId::L1_TO_L2_MESSAGE_TREE, TreeWithStore(std::move(tree)) });
    }
    {
        uint32_t levels = _tree_heights.at(MerkleTreeId::ARCHIVE);
        auto store = std::make_unique<FrStore>(
            getMerkleTreeName(MerkleTreeId::ARCHIVE), levels, blockNumber, _persistentStores->archiveStore);
        auto tree = std::make_unique<FrTree>(std::move(store), _workers);
        fork->_trees.insert({ MerkleTreeId::ARCHIVE, TreeWithStore(std::move(tree)) });
    }
    return fork;
}
 
TreeMetaResponse WorldState::get_tree_info(const WorldStateRevision& revision, MerkleTreeId tree_id) const
{
    Fork::SharedPtr fork = retrieve_fork(revision.forkId);
    return std::visit(
        [=](auto&& wrapper) {
            Signal signal(1);
            TypedResponse<TreeMetaResponse> local;
 
            auto callback = [&](TypedResponse<TreeMetaResponse>& meta) {
                local = std::move(meta);
                signal.signal_level(0);
            };
 
            if (revision.is_historical()) {
                wrapper.tree->get_meta_data(revision.blockNumber, revision.includeUncommitted, callback);
            } else {
                wrapper.tree->get_meta_data(revision.includeUncommitted, callback);
            }
            signal.wait_for_level(0);
 
            if (!local.success) {
                throw std::runtime_error(local.message);
            }
            return local.inner;
        },
        fork->_trees.at(tree_id));
}
 
void WorldState::get_all_tree_info(const WorldStateRevision& revision, std::array<TreeMeta, NUM_TREES>& responses) const
{
    Fork::SharedPtr fork = retrieve_fork(revision.forkId);
 
    std::vector<MerkleTreeId> tree_ids{
        MerkleTreeId::NULLIFIER_TREE,        MerkleTreeId::NOTE_HASH_TREE, MerkleTreeId::PUBLIC_DATA_TREE,
        MerkleTreeId::L1_TO_L2_MESSAGE_TREE, MerkleTreeId::ARCHIVE,
    };
 
    Signal signal(static_cast<uint32_t>(tree_ids.size()));
    std::mutex mutex;
    std::unordered_map<MerkleTreeId, TypedResponse<TreeMetaResponse>> local;
 
    for (auto id : tree_ids) {
        const auto& tree = fork->_trees.at(id);
        auto callback = [&signal, &local, &mutex, id](TypedResponse<TreeMetaResponse>& meta) {
            {
                std::lock_guard<std::mutex> lock(mutex);
                local[id] = std::move(meta);
            }
            signal.signal_decrement();
        };
        std::visit(
            [&callback, &revision](auto&& wrapper) {
                if (revision.is_historical()) {
                    wrapper.tree->get_meta_data(revision.blockNumber, revision.includeUncommitted, callback);
                } else {
                    wrapper.tree->get_meta_data(revision.includeUncommitted, callback);
                }
            },
            tree);
    }
 
    signal.wait_for_level(0);
 
    for (auto tree_id : tree_ids) {
        auto& m = local[tree_id];
        if (!m.success) {
            throw std::runtime_error(m.message);
        }
        responses[tree_id] = std::move(m.inner.meta);
    }
}
 
StateReference WorldState::get_state_reference(const WorldStateRevision& revision) const
{
    return get_state_reference(revision, retrieve_fork(revision.forkId));
}
 
StateReference WorldState::get_initial_state_reference() const
{
    return get_state_reference(WorldStateRevision{ .forkId = CANONICAL_FORK_ID, .includeUncommitted = false },
                               retrieve_fork(CANONICAL_FORK_ID),
                               true);
}
 
StateReference WorldState::get_state_reference(const WorldStateRevision& revision,
                                               Fork::SharedPtr fork,
                                               bool initial_state)
{
    if (fork->_forkId != revision.forkId) {
        throw std::runtime_error("Fork does not match revision");
    }
 
    std::vector<MerkleTreeId> tree_ids{
        MerkleTreeId::NULLIFIER_TREE,
        MerkleTreeId::NOTE_HASH_TREE,
        MerkleTreeId::PUBLIC_DATA_TREE,
        MerkleTreeId::L1_TO_L2_MESSAGE_TREE,
    };
 
    Signal signal(static_cast<uint32_t>(tree_ids.size()));
    StateReference state_reference;
    std::unordered_map<MerkleTreeId, TypedResponse<TreeMetaResponse>> local;
    std::mutex state_ref_mutex;
 
    for (auto id : tree_ids) {
        const auto& tree = fork->_trees.at(id);
        auto callback = [&signal, &local, &state_ref_mutex, id](TypedResponse<TreeMetaResponse>& meta) {
            {
                std::lock_guard<std::mutex> lock(state_ref_mutex);
                local[id] = std::move(meta);
            }
            signal.signal_decrement();
        };
        std::visit(
            [&callback, &revision](auto&& wrapper) {
                if (revision.is_historical()) {
                    wrapper.tree->get_meta_data(revision.blockNumber, revision.includeUncommitted, callback);
                } else {
                    wrapper.tree->get_meta_data(revision.includeUncommitted, callback);
                }
            },
            tree);
    }
 
    signal.wait_for_level(0);
 
    for (auto tree_id : tree_ids) {
        auto& m = local[tree_id];
        if (!m.success) {
            throw std::runtime_error(m.message);
        }
        if (initial_state) {
            state_reference[tree_id] = std::make_pair(m.inner.meta.initialRoot, m.inner.meta.initialSize);
            continue;
        }
        state_reference[tree_id] = std::make_pair(m.inner.meta.root, m.inner.meta.size);
    }
 
    return state_reference;
}
 
fr_sibling_path WorldState::get_sibling_path(const WorldStateRevision& revision,
                                             MerkleTreeId tree_id,
                                             index_t leaf_index) const
{
    Fork::SharedPtr fork = retrieve_fork(revision.forkId);
 
    return std::visit(
        [leaf_index, revision](auto&& wrapper) {
            Signal signal(1);
            TypedResponse<GetSiblingPathResponse> local;
 
            auto callback = [&signal, &local](TypedResponse<GetSiblingPathResponse>& response) {
                local = std::move(response);
                signal.signal_level(0);
            };
 
            if (revision.is_historical()) {
                wrapper.tree->get_sibling_path(leaf_index, revision.blockNumber, callback, revision.includeUncommitted);
            } else {
                wrapper.tree->get_sibling_path(leaf_index, callback, revision.includeUncommitted);
            }
            signal.wait_for_level(0);
 
            if (!local.success) {
                throw std::runtime_error(local.message);
            }
            return local.inner.path;
        },
        fork->_trees.at(tree_id));
}
 
void WorldState::get_block_numbers_for_leaf_indices(const WorldStateRevision& revision,
                                                    MerkleTreeId tree_id,
                                                    const std::vector<index_t>& leafIndices,
                                                    std::vector<std::optional<block_number_t>>& blockNumbers) const
{
    Fork::SharedPtr fork = retrieve_fork(revision.forkId);
 
    std::visit(
        [&leafIndices, revision, &blockNumbers](auto&& wrapper) {
            Signal signal(1);
            TypedResponse<BlockForIndexResponse> local;
 
            auto callback = [&signal, &local](TypedResponse<BlockForIndexResponse>& response) {
                local = std::move(response);
                signal.signal_level();
            };
 
            if (revision.is_historical()) {
                wrapper.tree->find_block_numbers(leafIndices, revision.blockNumber, callback);
            } else {
                wrapper.tree->find_block_numbers(leafIndices, callback);
            }
            signal.wait_for_level(0);
 
            if (!local.success) {
                throw std::runtime_error(local.message);
            }
            blockNumbers = std::move(local.inner.blockNumbers);
        },
        fork->_trees.at(tree_id));
}
 
void WorldState::update_public_data(const PublicDataLeafValue& new_value, Fork::Id fork_id)
{
    Fork::SharedPtr fork = retrieve_fork(fork_id);
    if (const auto* wrapper =
            std::get_if<TreeWithStore<PublicDataTree>>(&fork->_trees.at(MerkleTreeId::PUBLIC_DATA_TREE))) {
        Signal signal;
        wrapper->tree->add_or_update_value(
            new_value,
            [&signal](const TypedResponse<AddIndexedDataResponse<PublicDataLeafValue>>&) { signal.signal_level(0); });
        signal.wait_for_level();
    } else {
        throw std::runtime_error("Invalid tree type for PublicDataTree");
    }
}
 
void WorldState::update_archive(const StateReference& block_state_ref,
                                const bb::fr& block_header_hash,
                                Fork::Id fork_id)
{
    if (is_same_state_reference(WorldStateRevision{ .forkId = fork_id, .includeUncommitted = true }, block_state_ref)) {
        append_leaves<fr>(MerkleTreeId::ARCHIVE, { block_header_hash }, fork_id);
    } else {
        throw std::runtime_error("Can't update archive tree: Block state does not match world state");
    }
}
 
std::pair<bool, std::string> WorldState::commit(WorldStateStatusFull& status)
{
    // NOTE: the calling code is expected to ensure no other reads or writes happen during commit
    Fork::SharedPtr fork = retrieve_fork(CANONICAL_FORK_ID);
    std::atomic_bool success = true;
    std::string message;
    Signal signal(static_cast<uint32_t>(fork->_trees.size()));
 
    {
        auto& wrapper = std::get<TreeWithStore<NullifierTree>>(fork->_trees.at(MerkleTreeId::NULLIFIER_TREE));
        commit_tree(
            status.dbStats.nullifierTreeStats, signal, *wrapper.tree, success, message, status.meta.nullifierTreeMeta);
    }
    {
        auto& wrapper = std::get<TreeWithStore<PublicDataTree>>(fork->_trees.at(MerkleTreeId::PUBLIC_DATA_TREE));
        commit_tree(status.dbStats.publicDataTreeStats,
                    signal,
                    *wrapper.tree,
                    success,
                    message,
                    status.meta.publicDataTreeMeta);
    }
 
    {
        auto& wrapper = std::get<TreeWithStore<FrTree>>(fork->_trees.at(MerkleTreeId::NOTE_HASH_TREE));
        commit_tree(
            status.dbStats.noteHashTreeStats, signal, *wrapper.tree, success, message, status.meta.noteHashTreeMeta);
    }
 
    {
        auto& wrapper = std::get<TreeWithStore<FrTree>>(fork->_trees.at(MerkleTreeId::L1_TO_L2_MESSAGE_TREE));
        commit_tree(
            status.dbStats.messageTreeStats, signal, *wrapper.tree, success, message, status.meta.messageTreeMeta);
    }
 
    {
        auto& wrapper = std::get<TreeWithStore<FrTree>>(fork->_trees.at(MerkleTreeId::ARCHIVE));
        commit_tree(
            status.dbStats.archiveTreeStats, signal, *wrapper.tree, success, message, status.meta.archiveTreeMeta);
    }
 
    signal.wait_for_level(0);
    return std::make_pair(success.load(), message);
}
 
void WorldState::rollback()
{
    // NOTE: the calling code is expected to ensure no other reads or writes happen during rollback
    Fork::SharedPtr fork = retrieve_fork(CANONICAL_FORK_ID);
    Signal signal(static_cast<uint32_t>(fork->_trees.size()));
    for (auto& [id, tree] : fork->_trees) {
        std::visit(
            [&signal](auto&& wrapper) {
                wrapper.tree->rollback([&signal](const Response&) { signal.signal_decrement(); });
            },
            tree);
    }
    signal.wait_for_level();
}
 
WorldStateStatusFull WorldState::sync_block(const StateReference& block_state_ref,
                                            const bb::fr& block_header_hash,
                                            const std::vector<bb::fr>& notes,
                                            const std::vector<bb::fr>& l1_to_l2_messages,
                                            const std::vector<crypto::merkle_tree::NullifierLeafValue>& nullifiers,
                                            const std::vector<crypto::merkle_tree::PublicDataLeafValue>& public_writes)
{
    validate_trees_are_equally_synched();
    rollback();
 
    Fork::SharedPtr fork = retrieve_fork(CANONICAL_FORK_ID);
    Signal signal(static_cast<uint32_t>(fork->_trees.size()));
    std::atomic_bool success = true;
    std::string err_message;
    auto decr = [&signal, &success, &err_message](const auto& resp) {
        // take the first error
        bool expected = true;
        if (!resp.success && success.compare_exchange_strong(expected, false)) {
            err_message = resp.message;
        }
 
        signal.signal_decrement();
    };
 
    {
        auto& wrapper = std::get<TreeWithStore<NullifierTree>>(fork->_trees.at(MerkleTreeId::NULLIFIER_TREE));
        NullifierTree::AddCompletionCallback completion = [&](const auto& resp) -> void {
            // take the first error
            bool expected = true;
            if (!resp.success && success.compare_exchange_strong(expected, false)) {
                err_message = resp.message;
            }
 
            signal.signal_decrement();
        };
        wrapper.tree->add_or_update_values(nullifiers, 0, completion);
    }
 
    {
        auto& wrapper = std::get<TreeWithStore<FrTree>>(fork->_trees.at(MerkleTreeId::NOTE_HASH_TREE));
        wrapper.tree->add_values(notes, decr);
    }
 
    {
        auto& wrapper = std::get<TreeWithStore<FrTree>>(fork->_trees.at(MerkleTreeId::L1_TO_L2_MESSAGE_TREE));
        wrapper.tree->add_values(l1_to_l2_messages, decr);
    }
 
    {
        auto& wrapper = std::get<TreeWithStore<FrTree>>(fork->_trees.at(MerkleTreeId::ARCHIVE));
        wrapper.tree->add_value(block_header_hash, decr);
    }
 
    {
        auto& wrapper = std::get<TreeWithStore<PublicDataTree>>(fork->_trees.at(MerkleTreeId::PUBLIC_DATA_TREE));
        PublicDataTree::AddCompletionCallback completion = [&](const auto& resp) -> void {
            // take the first error
            bool expected = true;
            if (!resp.success && success.compare_exchange_strong(expected, false)) {
                err_message = resp.message;
            }
 
            signal.signal_decrement();
        };
        wrapper.tree->add_or_update_values_sequentially(public_writes, completion);
    }
 
    signal.wait_for_level();
 
    // Check resulting state and commit if successful
    WorldStateStatusFull status;
    try {
        if (!success) {
            throw std::runtime_error("Failed to sync block: " + err_message);
        }
 
        if (!is_archive_tip(WorldStateRevision::uncommitted(), block_header_hash)) {
            throw std::runtime_error("Can't synch block: block header hash is not the tip of the archive tree");
        }
 
        if (!is_same_state_reference(WorldStateRevision::uncommitted(), block_state_ref)) {
            throw std::runtime_error("Can't synch block: block state does not match world state");
        }
 
        std::pair<bool, std::string> result = commit(status);
        if (!result.first) {
            throw std::runtime_error(result.second);
        }
    } catch (const std::exception& e) {
        // We failed, rollback any uncommitted state before leaving
        rollback();
        throw;
    }
 
    // Success return the status
    populate_status_summary(status);
    return status;
}
 
GetLowIndexedLeafResponse WorldState::find_low_leaf_index(const WorldStateRevision& revision,
                                                          MerkleTreeId tree_id,
                                                          const bb::fr& leaf_key) const
{
    Fork::SharedPtr fork = retrieve_fork(revision.forkId);
    Signal signal;
    TypedResponse<GetLowIndexedLeafResponse> low_leaf_info;
    auto callback = [&signal, &low_leaf_info](TypedResponse<GetLowIndexedLeafResponse>& response) {
        low_leaf_info = std::move(response);
        signal.signal_level();
    };
 
    if (const auto* wrapper = std::get_if<TreeWithStore<NullifierTree>>(&fork->_trees.at(tree_id))) {
        if (revision.is_historical()) {
            wrapper->tree->find_low_leaf(leaf_key, revision.blockNumber, revision.includeUncommitted, callback);
        } else {
            wrapper->tree->find_low_leaf(leaf_key, revision.includeUncommitted, callback);
        }
 
    } else if (const auto* wrapper = std::get_if<TreeWithStore<PublicDataTree>>(&fork->_trees.at(tree_id))) {
        if (revision.is_historical()) {
            wrapper->tree->find_low_leaf(leaf_key, revision.blockNumber, revision.includeUncommitted, callback);
        } else {
            wrapper->tree->find_low_leaf(leaf_key, revision.includeUncommitted, callback);
        }
 
    } else {
        throw std::runtime_error("Invalid tree type for find_low_leaf");
    }
 
    signal.wait_for_level();
 
    if (!low_leaf_info.success) {
        throw std::runtime_error(low_leaf_info.message);
    }
    return low_leaf_info.inner;
}
 
WorldStateStatusSummary WorldState::set_finalized_blocks(const block_number_t& toBlockNumber)
{
    // This will throw if it fails
    set_finalized_block(toBlockNumber);
    WorldStateStatusSummary status;
    get_status_summary(status);
    return status;
}
WorldStateStatusFull WorldState::unwind_blocks(const block_number_t& toBlockNumber)
{
    // Ensure no uncommitted state
    rollback();
 
    WorldStateRevision revision{ .forkId = CANONICAL_FORK_ID, .includeUncommitted = false };
    std::array<TreeMeta, NUM_TREES> responses;
    get_all_tree_info(revision, responses);
 
    // Get the set of unfinalized block numbers and unwind to the target block
    std::array<block_number_t, NUM_TREES> unfinalizedBlockNumbers{
        responses[NULLIFIER_TREE].unfinalizedBlockHeight,
        responses[NOTE_HASH_TREE].unfinalizedBlockHeight,
        responses[PUBLIC_DATA_TREE].unfinalizedBlockHeight,
        responses[L1_TO_L2_MESSAGE_TREE].unfinalizedBlockHeight,
        responses[ARCHIVE].unfinalizedBlockHeight
    };
 
    auto* const it = std::max_element(std::begin(unfinalizedBlockNumbers), std::end(unfinalizedBlockNumbers));
    block_number_t highestUnfinalizedBlock = *it;
 
    if (toBlockNumber >= highestUnfinalizedBlock) {
        throw std::runtime_error(format("Unable to unwind blocks to block number ",
                                        toBlockNumber,
                                        ", current pending block ",
                                        highestUnfinalizedBlock));
    }
 
    WorldStateStatusFull status;
    for (block_number_t blockNumber = highestUnfinalizedBlock; blockNumber > toBlockNumber; blockNumber--) {
        // This will throw if it fails
        unwind_block(blockNumber, status);
    }
    populate_status_summary(status);
    return status;
}
 
WorldStateStatusFull WorldState::remove_historical_blocks(const block_number_t& toBlockNumber)
{
    WorldStateRevision revision{ .forkId = CANONICAL_FORK_ID, .includeUncommitted = false };
    std::array<TreeMeta, NUM_TREES> responses;
    get_all_tree_info(revision, responses);
 
    // Get the set of historic block numbers and remove to the target block
    std::array<block_number_t, NUM_TREES> historicalBlockNumbers{ responses[NULLIFIER_TREE].oldestHistoricBlock,
                                                                  responses[NOTE_HASH_TREE].oldestHistoricBlock,
                                                                  responses[PUBLIC_DATA_TREE].oldestHistoricBlock,
                                                                  responses[L1_TO_L2_MESSAGE_TREE].oldestHistoricBlock,
                                                                  responses[ARCHIVE].oldestHistoricBlock };
    auto* const it = std::min_element(std::begin(historicalBlockNumbers), std::end(historicalBlockNumbers));
    block_number_t oldestHistoricBlock = *it;
    if (toBlockNumber <= oldestHistoricBlock) {
        throw std::runtime_error(format("Unable to remove historical blocks to block number ",
                                        toBlockNumber,
                                        ", blocks not found. Current oldest block: ",
                                        oldestHistoricBlock));
    }
    WorldStateStatusFull status;
    for (block_number_t blockNumber = oldestHistoricBlock; blockNumber < toBlockNumber; blockNumber++) {
        // This will throw if it fails
        remove_historical_block(blockNumber, status);
    }
    populate_status_summary(status);
    return status;
}
 
bool WorldState::set_finalized_block(const block_number_t& blockNumber)
{
    Fork::SharedPtr fork = retrieve_fork(CANONICAL_FORK_ID);
    Signal signal(static_cast<uint32_t>(fork->_trees.size()));
    std::array<Response, NUM_TREES> local;
    std::mutex mtx;
    for (auto& [id, tree] : fork->_trees) {
        std::visit(
            [&signal, &local, blockNumber, id, &mtx](auto&& wrapper) {
                wrapper.tree->finalize_block(blockNumber, [&signal, &local, &mtx, id](Response& resp) {
                    {
                        std::lock_guard<std::mutex> lock(mtx);
                        local[id] = std::move(resp);
                    }
                    signal.signal_decrement();
                });
            },
            tree);
    }
    signal.wait_for_level();
    for (auto& m : local) {
        if (!m.success) {
            throw std::runtime_error(m.message);
        }
    }
    return true;
}
bool WorldState::unwind_block(const block_number_t& blockNumber, WorldStateStatusFull& status)
{
    std::atomic_bool success = true;
    std::string message;
    Fork::SharedPtr fork = retrieve_fork(CANONICAL_FORK_ID);
    Signal signal(static_cast<uint32_t>(fork->_trees.size()));
    {
        auto& wrapper = std::get<TreeWithStore<NullifierTree>>(fork->_trees.at(MerkleTreeId::NULLIFIER_TREE));
        unwind_tree(status.dbStats.nullifierTreeStats,
                    signal,
                    *wrapper.tree,
                    success,
                    message,
                    status.meta.nullifierTreeMeta,
                    blockNumber);
    }
    {
        auto& wrapper = std::get<TreeWithStore<PublicDataTree>>(fork->_trees.at(MerkleTreeId::PUBLIC_DATA_TREE));
        unwind_tree(status.dbStats.publicDataTreeStats,
                    signal,
                    *wrapper.tree,
                    success,
                    message,
                    status.meta.publicDataTreeMeta,
                    blockNumber);
    }
 
    {
        auto& wrapper = std::get<TreeWithStore<FrTree>>(fork->_trees.at(MerkleTreeId::NOTE_HASH_TREE));
        unwind_tree(status.dbStats.noteHashTreeStats,
                    signal,
                    *wrapper.tree,
                    success,
                    message,
                    status.meta.noteHashTreeMeta,
                    blockNumber);
    }
 
    {
        auto& wrapper = std::get<TreeWithStore<FrTree>>(fork->_trees.at(MerkleTreeId::L1_TO_L2_MESSAGE_TREE));
        unwind_tree(status.dbStats.messageTreeStats,
                    signal,
                    *wrapper.tree,
                    success,
                    message,
                    status.meta.messageTreeMeta,
                    blockNumber);
    }
 
    {
        auto& wrapper = std::get<TreeWithStore<FrTree>>(fork->_trees.at(MerkleTreeId::ARCHIVE));
        unwind_tree(status.dbStats.archiveTreeStats,
                    signal,
                    *wrapper.tree,
                    success,
                    message,
                    status.meta.archiveTreeMeta,
                    blockNumber);
    }
    signal.wait_for_level();
    if (!success) {
        throw std::runtime_error(message);
    }
    remove_forks_for_block(blockNumber);
    return true;
}
bool WorldState::remove_historical_block(const block_number_t& blockNumber, WorldStateStatusFull& status)
{
    std::atomic_bool success = true;
    std::string message;
    Fork::SharedPtr fork = retrieve_fork(CANONICAL_FORK_ID);
    Signal signal(static_cast<uint32_t>(fork->_trees.size()));
    {
        auto& wrapper = std::get<TreeWithStore<NullifierTree>>(fork->_trees.at(MerkleTreeId::NULLIFIER_TREE));
        remove_historic_block_for_tree(status.dbStats.nullifierTreeStats,
                                       signal,
                                       *wrapper.tree,
                                       success,
                                       message,
                                       status.meta.nullifierTreeMeta,
                                       blockNumber);
    }
    {
        auto& wrapper = std::get<TreeWithStore<PublicDataTree>>(fork->_trees.at(MerkleTreeId::PUBLIC_DATA_TREE));
        remove_historic_block_for_tree(status.dbStats.publicDataTreeStats,
                                       signal,
                                       *wrapper.tree,
                                       success,
                                       message,
                                       status.meta.publicDataTreeMeta,
                                       blockNumber);
    }
 
    {
        auto& wrapper = std::get<TreeWithStore<FrTree>>(fork->_trees.at(MerkleTreeId::NOTE_HASH_TREE));
        remove_historic_block_for_tree(status.dbStats.noteHashTreeStats,
                                       signal,
                                       *wrapper.tree,
                                       success,
                                       message,
                                       status.meta.noteHashTreeMeta,
                                       blockNumber);
    }
 
    {
        auto& wrapper = std::get<TreeWithStore<FrTree>>(fork->_trees.at(MerkleTreeId::L1_TO_L2_MESSAGE_TREE));
        remove_historic_block_for_tree(status.dbStats.messageTreeStats,
                                       signal,
                                       *wrapper.tree,
                                       success,
                                       message,
                                       status.meta.messageTreeMeta,
                                       blockNumber);
    }
 
    {
        auto& wrapper = std::get<TreeWithStore<FrTree>>(fork->_trees.at(MerkleTreeId::ARCHIVE));
        remove_historic_block_for_tree(status.dbStats.archiveTreeStats,
                                       signal,
                                       *wrapper.tree,
                                       success,
                                       message,
                                       status.meta.archiveTreeMeta,
                                       blockNumber);
    }
    signal.wait_for_level();
    if (!success) {
        throw std::runtime_error(message);
    }
    remove_forks_for_block(blockNumber);
    return true;
}
 
bb::fr WorldState::compute_initial_block_header_hash(const StateReference& initial_state_ref,
                                                     uint32_t generator_point,
                                                     uint64_t genesis_timestamp)
{
    // NOTE: this hash operations needs to match the one in
    // noir-project/noir-protocol-circuits/crates/types/src/abis/block_header.nr
    return AppendOnlyHashPolicy::hash(
        { generator_point,
          // last archive - which, at genesis, is all 0s
          0, // root
          0, // next_available_leaf_index
          // state reference - the initial state for all the trees (accept the archive tree)
          initial_state_ref.at(MerkleTreeId::L1_TO_L2_MESSAGE_TREE).first,
          initial_state_ref.at(MerkleTreeId::L1_TO_L2_MESSAGE_TREE).second,
          initial_state_ref.at(MerkleTreeId::NOTE_HASH_TREE).first,
          initial_state_ref.at(MerkleTreeId::NOTE_HASH_TREE).second,
          initial_state_ref.at(MerkleTreeId::NULLIFIER_TREE).first,
          initial_state_ref.at(MerkleTreeId::NULLIFIER_TREE).second,
          initial_state_ref.at(MerkleTreeId::PUBLIC_DATA_TREE).first,
          initial_state_ref.at(MerkleTreeId::PUBLIC_DATA_TREE).second,
          0, // sponge_blob_hash
          // global variables
          0,                         // chain_id
          0,                         // version
          0,                         // block_number
          0,                         // slot_number
          bb::fr(genesis_timestamp), // timestamp
          0,                         // coinbase
          0,                         // fee_recipient
          0,                         // gas_fee.fee_per_da_gas
          0,                         // gas_fee.fee_per_l2_gas
          // total fees
          0,
          // total mana used
          0 });
}
 
bool WorldState::is_archive_tip(const WorldStateRevision& revision, const bb::fr& block_header_hash) const
{
    std::vector<std::optional<index_t>> indices;
 
    try {
        find_leaf_indices<fr>(revision, MerkleTreeId::ARCHIVE, { block_header_hash }, indices);
    } catch (std::runtime_error&) {
    }
 
    if (indices.empty() || !indices[0].has_value()) {
        return false;
    }
 
    TreeMetaResponse archive_state = get_tree_info(revision, MerkleTreeId::ARCHIVE);
    return archive_state.meta.size == indices[0].value() + 1;
}
 
void WorldState::get_status_summary(WorldStateStatusSummary& status) const
{
    WorldStateRevision revision{ .forkId = CANONICAL_FORK_ID, .includeUncommitted = false };
    std::array<TreeMeta, NUM_TREES> responses;
    get_all_tree_info(revision, responses);
    get_status_summary_from_meta_responses(status, responses);
}
 
void WorldState::get_status_summary_from_meta_responses(WorldStateStatusSummary& status,
                                                        std::array<TreeMeta, NUM_TREES>& metaResponses)
{
    TreeMeta& archive_state = metaResponses[MerkleTreeId::ARCHIVE];
    status.unfinalizedBlockNumber = archive_state.unfinalizedBlockHeight;
    status.finalizedBlockNumber = archive_state.finalizedBlockHeight;
    status.oldestHistoricalBlock = archive_state.oldestHistoricBlock;
    status.treesAreSynched = determine_if_synched(metaResponses);
}
 
void WorldState::populate_status_summary(WorldStateStatusFull& status)
{
    status.summary.finalizedBlockNumber = status.meta.archiveTreeMeta.finalizedBlockHeight;
    status.summary.unfinalizedBlockNumber = status.meta.archiveTreeMeta.unfinalizedBlockHeight;
    status.summary.oldestHistoricalBlock = status.meta.archiveTreeMeta.oldestHistoricBlock;
    status.summary.treesAreSynched =
        status.meta.messageTreeMeta.unfinalizedBlockHeight == status.summary.unfinalizedBlockNumber &&
        status.meta.noteHashTreeMeta.unfinalizedBlockHeight == status.summary.unfinalizedBlockNumber &&
        status.meta.nullifierTreeMeta.unfinalizedBlockHeight == status.summary.unfinalizedBlockNumber &&
        status.meta.publicDataTreeMeta.unfinalizedBlockHeight == status.summary.unfinalizedBlockNumber;
}
 
bool WorldState::is_same_state_reference(const WorldStateRevision& revision, const StateReference& state_ref) const
{
    return state_ref == get_state_reference(revision);
}
 
void WorldState::validate_trees_are_equally_synched()
{
    WorldStateRevision revision{ .forkId = CANONICAL_FORK_ID, .includeUncommitted = false };
    std::array<TreeMeta, NUM_TREES> responses;
    get_all_tree_info(revision, responses);
 
    if (!determine_if_synched(responses)) {
        throw std::runtime_error("World state trees are out of sync");
    }
}
 
bool WorldState::determine_if_synched(std::array<TreeMeta, NUM_TREES>& metaResponses)
{
    block_number_t blockNumber = metaResponses[0].unfinalizedBlockHeight;
    block_number_t finalizedBlockNumber = metaResponses[0].finalizedBlockHeight;
    for (size_t i = 1; i < metaResponses.size(); i++) {
        if (blockNumber != metaResponses[i].unfinalizedBlockHeight) {
            return false;
        }
        if (finalizedBlockNumber != metaResponses[i].finalizedBlockHeight) {
            return false;
        }
    }
    return true;
}
 
uint32_t WorldState::checkpoint(const uint64_t& forkId)
{
    Fork::SharedPtr fork = retrieve_fork(forkId);
    Signal signal(static_cast<uint32_t>(fork->_trees.size()));
    std::array<TypedResponse<CheckpointResponse>, NUM_TREES> local;
    std::mutex mtx;
    for (auto& [id, tree] : fork->_trees) {
        std::visit(
            [&signal, &local, id, &mtx](auto&& wrapper) {
                wrapper.tree->checkpoint([&signal, &local, &mtx, id](TypedResponse<CheckpointResponse>& resp) {
                    {
                        std::lock_guard<std::mutex> lock(mtx);
                        local[id] = std::move(resp);
                    }
                    signal.signal_decrement();
                });
            },
            tree);
    }
    signal.wait_for_level();
    for (auto& m : local) {
        if (!m.success) {
            throw std::runtime_error(m.message);
        }
    }
    // All trees have the same checkpoint depth; return it from the first tree's response
    return local[0].inner.depth;
}
 
void WorldState::commit_checkpoint(const uint64_t& forkId)
{
    Fork::SharedPtr fork = retrieve_fork(forkId);
    Signal signal(static_cast<uint32_t>(fork->_trees.size()));
    std::array<Response, NUM_TREES> local;
    std::mutex mtx;
    for (auto& [id, tree] : fork->_trees) {
        std::visit(
            [&signal, &local, id, &mtx](auto&& wrapper) {
                wrapper.tree->commit_checkpoint([&signal, &local, &mtx, id](Response& resp) {
                    {
                        std::lock_guard<std::mutex> lock(mtx);
                        local[id] = std::move(resp);
                    }
                    signal.signal_decrement();
                });
            },
            tree);
    }
    signal.wait_for_level();
    for (auto& m : local) {
        if (!m.success) {
            throw std::runtime_error(m.message);
        }
    }
}
 
void WorldState::revert_checkpoint(const uint64_t& forkId)
{
    Fork::SharedPtr fork = retrieve_fork(forkId);
    Signal signal(static_cast<uint32_t>(fork->_trees.size()));
    std::array<Response, NUM_TREES> local;
    std::mutex mtx;
    for (auto& [id, tree] : fork->_trees) {
        std::visit(
            [&signal, &local, id, &mtx](auto&& wrapper) {
                wrapper.tree->revert_checkpoint([&signal, &local, &mtx, id](Response& resp) {
                    {
                        std::lock_guard<std::mutex> lock(mtx);
                        local[id] = std::move(resp);
                    }
                    signal.signal_decrement();
                });
            },
            tree);
    }
    signal.wait_for_level();
    for (auto& m : local) {
        if (!m.success) {
            throw std::runtime_error(m.message);
        }
    }
}
 
void WorldState::commit_all_checkpoints_to(const uint64_t& forkId, uint32_t depth)
{
    Fork::SharedPtr fork = retrieve_fork(forkId);
    Signal signal(static_cast<uint32_t>(fork->_trees.size()));
    std::array<Response, NUM_TREES> local;
    std::mutex mtx;
    for (auto& [id, tree] : fork->_trees) {
        std::visit(
            [&signal, &local, id, &mtx, depth](auto&& wrapper) {
                auto callback = [&signal, &local, &mtx, id](Response& resp) {
                    {
                        std::lock_guard<std::mutex> lock(mtx);
                        local[id] = std::move(resp);
                    }
                    signal.signal_decrement();
                };
                wrapper.tree->commit_to_depth(depth, callback);
            },
            tree);
    }
    signal.wait_for_level();
    for (auto& m : local) {
        if (!m.success) {
            throw std::runtime_error(m.message);
        }
    }
}
 
void WorldState::revert_all_checkpoints_to(const uint64_t& forkId, uint32_t depth)
{
    Fork::SharedPtr fork = retrieve_fork(forkId);
    Signal signal(static_cast<uint32_t>(fork->_trees.size()));
    std::array<Response, NUM_TREES> local;
    std::mutex mtx;
    for (auto& [id, tree] : fork->_trees) {
        std::visit(
            [&signal, &local, id, &mtx, depth](auto&& wrapper) {
                auto callback = [&signal, &local, &mtx, id](Response& resp) {
                    {
                        std::lock_guard<std::mutex> lock(mtx);
                        local[id] = std::move(resp);
                    }
                    signal.signal_decrement();
                };
                wrapper.tree->revert_to_depth(depth, callback);
            },
            tree);
    }
    signal.wait_for_level();
    for (auto& m : local) {
        if (!m.success) {
            throw std::runtime_error(m.message);
        }
    }
}
 
WorldStateStatusFull WorldState::attempt_tree_resync()
{
    WorldStateRevision revision{ .forkId = CANONICAL_FORK_ID, .includeUncommitted = false };
    std::array<TreeMeta, NUM_TREES> responses;
    get_all_tree_info(revision, responses);
 
    // Get all historic block numbers
    std::array<block_number_t, NUM_TREES> historicalBlockNumbers{ responses[NULLIFIER_TREE].oldestHistoricBlock,
                                                                  responses[NOTE_HASH_TREE].oldestHistoricBlock,
                                                                  responses[PUBLIC_DATA_TREE].oldestHistoricBlock,
                                                                  responses[L1_TO_L2_MESSAGE_TREE].oldestHistoricBlock,
                                                                  responses[ARCHIVE].oldestHistoricBlock };
 
    // Get all unfinalized block numbers
    std::array<block_number_t, NUM_TREES> unfinalizedBlockNumbers{
        responses[NULLIFIER_TREE].unfinalizedBlockHeight,
        responses[NOTE_HASH_TREE].unfinalizedBlockHeight,
        responses[PUBLIC_DATA_TREE].unfinalizedBlockHeight,
        responses[L1_TO_L2_MESSAGE_TREE].unfinalizedBlockHeight,
        responses[ARCHIVE].unfinalizedBlockHeight
    };
 
    // Get all finalized block numbers
    std::array<block_number_t, NUM_TREES> finalizedBlockNumbers{ responses[NULLIFIER_TREE].finalizedBlockHeight,
                                                                 responses[NOTE_HASH_TREE].finalizedBlockHeight,
                                                                 responses[PUBLIC_DATA_TREE].finalizedBlockHeight,
                                                                 responses[L1_TO_L2_MESSAGE_TREE].finalizedBlockHeight,
                                                                 responses[ARCHIVE].finalizedBlockHeight };
 
    // Get the min and max of each set of block numbers
    auto historicBlockRange = std::minmax_element(std::begin(historicalBlockNumbers), std::end(historicalBlockNumbers));
 
    auto unfinalizedBlockRange =
        std::minmax_element(std::begin(unfinalizedBlockNumbers), std::end(unfinalizedBlockNumbers));
 
    auto finalizedBlockRange = std::minmax_element(std::begin(finalizedBlockNumbers), std::end(finalizedBlockNumbers));
 
    // We re-sync by
    // 1. Unwinding any blocks that are ahread of the lowest unfinalized block number
    // 2. Increasing finalized block numbers to the highest finalized block number
    // 3. Removing any historical blocks that are lower then the highest historic block number
 
    WorldStateStatusFull status;
    block_number_t blockToUnwind = *unfinalizedBlockRange.second;
    while (blockToUnwind > *unfinalizedBlockRange.first) {
        unwind_block(blockToUnwind, status);
        blockToUnwind--;
    }
 
    if (*finalizedBlockRange.first != *finalizedBlockRange.second) {
        set_finalized_block(*finalizedBlockRange.second);
    }
 
    block_number_t blockToRemove = *historicBlockRange.first;
    while (blockToRemove < *historicBlockRange.second) {
        remove_historical_block(blockToRemove, status);
        blockToRemove++;
    }
 
    populate_status_summary(status);
    return status;
}
 
} // namespace bb::world_state