How to use Local Merkle Proof Workbench
- Supply the expected sha-256 root (verifying) and what to do using the supported input described beside the controls.
- Review the selected options and the declared scope, then run the local merkle proof workbench.
- Read the result and unresolved findings before downloading or sharing a report. The original input is not changed.
Example: Local Merkle Proof Workbench
Build an ordered SHA-256 Merkle tree from exact local files and verify an inclusion proof against an explicitly supplied root.. This example uses synthetic public data and the named local fixture files.
Options
- Ordered files
- File order is part of the tree. Keep the order with the saved tree and proof; changing a position changes what the proof describes.
- Root and proof
- For verification, supply the intended root separately and the exact file. Tree size, index and sibling order must agree with the proof convention.
Supported inputs and limits
Where your input is processed
This tool processes your input in this browser. Your text and files are not uploaded to UseFreeTools. Check this tool's limits for anything it may save on your device.
A proof relates bytes to a particular root
The domain-separated tree hashes leaves and parent nodes differently and preserves file order. A successful inclusion check connects the selected file bytes and position to the supplied tree root. You still need an independent reason to trust that root; the proof does not identify a publisher or supply a trusted timestamp.
Questions about Local Merkle Proof Workbench
What does inclusion prove?
That the exact selected bytes occupy the claimed position in the tree described by the supplied root.
Is a tree root trusted automatically?
No. Obtain or confirm it through an independent trusted channel.
Can files be reordered?
Order affects the tree. Rebuild the tree and proofs when the intended order changes.