// Copyright 2023, Offchain Labs, Inc.
// For license information, see https://github.com/offchainlabs/bold/blob/main/LICENSE
// SPDX-License-Identifier: BUSL-1.1
//
pragma solidity ^0.8.17;

import "../challengeV2/libraries/MerkleTreeAccumulatorLib.sol";
import "../challengeV2/libraries/UintUtilsLib.sol";

contract MerkleTreeAccess {
    function mostSignificantBit(
        uint256 x
    ) external pure returns (uint256) {
        return UintUtilsLib.mostSignificantBit(x);
    }

    function leastSignificantBit(
        uint256 x
    ) external pure returns (uint256) {
        return UintUtilsLib.leastSignificantBit(x);
    }

    function root(
        bytes32[] memory me
    ) external pure returns (bytes32) {
        return MerkleTreeAccumulatorLib.root(me);
    }

    function appendCompleteSubTree(
        bytes32[] memory me,
        uint256 level,
        bytes32 subtreeRoot
    ) external pure returns (bytes32[] memory) {
        return MerkleTreeAccumulatorLib.appendCompleteSubTree(me, level, subtreeRoot);
    }

    function appendLeaf(
        bytes32[] memory me,
        bytes32 leaf
    ) external pure returns (bytes32[] memory) {
        return MerkleTreeAccumulatorLib.appendLeaf(me, leaf);
    }

    function maximumAppendBetween(
        uint256 startSize,
        uint256 endSize
    ) external pure returns (uint256) {
        return MerkleTreeAccumulatorLib.maximumAppendBetween(startSize, endSize);
    }

    function verifyPrefixProof(
        bytes32 preRoot,
        uint256 preSize,
        bytes32 postRoot,
        uint256 postSize,
        bytes32[] memory preExpansion,
        bytes32[] memory proof
    ) external pure {
        return MerkleTreeAccumulatorLib.verifyPrefixProof(
            preRoot, preSize, postRoot, postSize, preExpansion, proof
        );
    }

    function verifyInclusionProof(
        bytes32 rootHash,
        bytes32 leaf,
        uint256 index,
        bytes32[] memory proof
    ) external pure {
        MerkleTreeAccumulatorLib.verifyInclusionProof(rootHash, leaf, index, proof);
    }
}