↓ 19 callersMethodassert_membership* @brief Assert membership of a leaf in a Merkle tree, i.e., verify that the leaf value,
* leaf index, and the sibling path lead to the given root. S
barretenberg/cpp/src/barretenberg/vm2/simulation/gadgets/merkle_check.cpp:22