THE REGULAYER SPECIMEN BUNDLE
A real sealed record, made by the real product, for you to attack.

Contents
  regulayer-specimen.txt   the sealed file
  receipt.seal.json        its receipt: fingerprints, witnessed time,
                           Ed25519 signature. No content, no filename.
  verify_seal.py           the offline verifier (needs Python 3 and the
                           cryptography package)
  freetsa_cacert.pem       the pinned certificate of the public time
                           authority that witnessed the seal
  LICENSE.txt              the terms the source in this bundle is read
                           under. Reading is allowed. Redistribution and
                           derivative works are not.

What this bundle does and does not check
  Offline, it proves two things: the signature is valid, and the file is
  byte-for-byte the file that was sealed. The witnessed-time token is
  present in the receipt but is reported as not checked, because the code
  that checks it is licensed software and is not published. To have the
  witnessed time checked as well, use the free verifier in your browser.

Verify it
  In any browser, no install:  https://regulayer.com/verify
  Offline:
    python3 verify_seal.py regulayer-specimen.txt receipt.seal.json \
      --key PRPNP3f1sSCjuwrS8YYhn4CZjIBcF1YrmBPrKlqQEQY=

Then break it
  Change one character of regulayer-specimen.txt and verify again.
  Every verifier refuses it. That refusal is the product.

The signing key above belongs to the copy of The Sealer that made this
bundle. Every customer's Sealer generates its own key, on their machine.

Regulayer, LLC. Patent pending. hello@regulayer.com
