Verify
Verification material
Everything needed to check a Waxseal record without Waxseal: the commitment specification, test vectors, a second implementation that uses only the Python standard library, and the fingerprints of every contract release. The compiled contracts, the SDK and the Python program are tested against the same vectors.
Files
| File | Contents | Size | SHA-256 |
|---|---|---|---|
| COMMITMENT_FORMAT.md | Specification of every value Waxseal derives, byte for byte. | 8.7 KB | 1373272a6e054e6d63389fe282c0db947e608478f8c7f9ecf672a1fe4ab23e69 |
| vectors.json | Test vectors: bidder ids, commitments, description hashes, clock schedules. | 19.5 KB | eae462d20782bbf241701022200a735858cf19e926e2d9a09f62a133c86344f1 |
| waxseal_verify.py | Independent verifier, Python standard library only, written from the specification. | 15.0 KB | db280baaf4cfe502c52dec30f119a7f511b70813b8a04f8ffe7733044b5905f6 |
| releases.json | SHA-256 of every circuit verifier key of every contract release. Append only. | 2.5 KB | 43986bc19dcf62cdccd68e8e92a8bd128544e9a8e955d26c7d5ab106180a9fc8 |
| tsa-roots.pem | Roots for checking the RFC 3161 time stamps with OpenSSL (DigiCert, USERTrust for Sectigo). | 4.6 KB | 751abb3b861f8f1fb3c5708578ea57051aa3dceff38cc5b76f9a155c56f6ac8f |
| EVIDENCE.md | What a tender record establishes, and what it does not prove. | 15.5 KB | bebdced04b8fd9ed5889a3e5841e60b1c2efd4028658fb35e650bfb4e06d71d0 |
The same files are in the public repository; the hashes let you check that what you downloaded is what was published with this version of the site.
Run it
# check the independent implementation against the vectors python3 waxseal_verify.py selftest --vectors vectors.json # recompute a commitment from an opening a bidder gave you python3 waxseal_verify.py opening --file waxseal-opening.json # hash a tender description and compare with the contract python3 waxseal_verify.py metadata description.json --expect <hash from the verifier> # check an independent time stamp (statement and .tsr from the verification report) python3 waxseal_verify.py anchor --statement statement.json --tsr response.tsr openssl ts -verify -data statement.json -in response.tsr -CAfile tsa-roots.pem
Verify a tender online · Commitment format · Records in evidence