# Validation System ### Merkle Tree Bitcoin uses a Transactions Merkle Tree to save all the transactions of a block. Similar to Bitcoin's Transactions Merkle Tree, BTC Layer2 will use additional Merkle Trees: the State Merkle Tree, the Ordinals Merkle Tree, the Transaction Merkle Tree, and the Receipt Merkle Tree. These will save the computed results from the Computing Engine, and will be used for decentralized query and verification. ### Merkle Proof For new Bitcoin protocols such as BRC-20, the BTC Layer2 computing engine will compute and save the Merkle Proof to verify the new protocol state. This is very important, as the state of all new protocols is verifiable, and the verification is based on BTC Layer2's decentralized nodes, using immutable Merkle Tree technology. --- # Agent Instructions: Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter: ``` GET https://ligo-whitepaper.gitbook.io/ligo-layer-2-whitepaper/ligo-btc-layer2-architecture/validation-system.md?ask= ``` The question should be specific, self-contained, and written in natural language. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.