HAL may refer to: Aviation Halali Airport (IATA airport code: HAL) Halali, Oshikoto, Namibia Hawaiian Airlines (former ICAO airline code: HAL) HAL Airport, Bengaluru, India Hindustan Aeronautics
1. Compute SHA-256 of OTSCanonicalRecord value → must equal OTSHash 2. Open OTSProofURL → extract Bitcoin block number → must equal OTSBitcoinBlock 3. GET OTSBitcoinBlockVerifyURL → returns the Bitcoin block hash at height OTSBitcoinBlock; GET https://blockstream.info/api/block/{that hash} → its timestamp must match OTSTimestamp 4. Read CopyrightID inside OTSCanonicalRecord → must equal the CopyrightID above 5. GET OTSVerificationAPI → pre-computed 6-check result from server 6. If all match: this entity was registered on CopyrightChains at OTSTimestamp, independently verifiable on Bitcoin Note: an OTS proof may carry multiple Bitcoin attestations; OTSBitcoinBlock is the earliest confirmed one — a later attestation inside the proof corroborates it and is not a mismatch
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x84b40f5af5eec9b74abf8012d292857c3a0a459e92408b97fed12bdfba8efd9a. Chain 2 (Bitcoin): anchored in block 954066 (2026-06-17T08:11:48Z). Bridge: the canonical record inside this Bitcoin proof contains the same CopyrightID. Verify: download https://artists.proofprofile.net/proofs/artist/5a95e783-a6c2-45ff-8965-3fdc11f3ab60.json and https://artists.proofprofile.net/proofs/artist/5a95e783-a6c2-45ff-8965-3fdc11f3ab60.ots, run `ots verify -f record.json proof.ots` (https://opentimestamps.org).
テレビ朝日系土曜ナイトドラマ「先生を消す方程式。」オリジナル・サウンドトラック