Verifier

Verify a laytime calculation yourself

Load a LayGrounded verification package and this page recomputes the claim from its stated facts, on your device, with the same published verifier a bank runs offline. It shows each figure as matching or not.

Nothing is uploaded. Your file is read in this browser tab. The only requests this page makes are for the verifier itself and, if you came from a share link, that link's package.
The figures come from the engine, not from us. The verifier is a deterministic program: the same facts and terms always give the same figures, and it reports any figure that does not follow.
You can check the checker. Before trusting it on your claim, run its published test cases here and compare the result with the conformance root in your package.

1. The verifier

Fetching the published verifier and checking its fingerprint…

2. The claim

Drop a verification package here, or choose the fileThe JSON downloaded from a bank pack, an audit file or the claim's audit room. It stays on this device.

3. The result

Load a package to see whether its figures follow from its facts.

4. Check the verifier itself

Runs the published test cases for this claim's rule set through the same verifier. Every case must pass, and the root it computes must equal the conformance root in your package.