First PR for batching query circuits. It provides:
The gadget for Merkle-path verification that also locates predecessor and successor nodes in the BST
A refactoring of universal query circuit logic in 2 components, universal_query_hash_gadget and universal_query_value_gadget, which will then be employed distinctly in the new batching circuits
First PR for batching query circuits. It provides:
universal_query_hash_gadget
anduniversal_query_value_gadget
, which will then be employed distinctly in the new batching circuits