In automated theorem proving, PhoX is a proof assistant based on higher-order logic which is eXtensible. The user gives PhoX an initial goal and guides it through subgoals and evidence to prove that g
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 0x5739388121547f7764df228360dd8800654b3f4c03435a768a17d8fe3af09a52. Chain 2 (Bitcoin): anchored in block 953407 (2026-06-12T19:24:56Z). Bridge: the canonical record inside this Bitcoin proof contains the same CopyrightID. Verify: download https://artists.proofprofile.net/proofs/artist/ca1babec-8738-422e-b084-f5eaed1494a5.json and https://artists.proofprofile.net/proofs/artist/ca1babec-8738-422e-b084-f5eaed1494a5.ots, run `ots verify -f record.json proof.ots` (https://opentimestamps.org).
1. Confirm isrcCode identifies the recording in the pre-2022 source corpus and cc-db-prod record 2. GET OTSVerificationAPI → server-side canonical-record, hash, and attestation checks must pass 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. Confirm CopyrightID is the CopyrightChains transaction hash 5. If all match: the cc-db-prod record is independently anchored on Bitcoin at OTSTimestamp 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 0xe14142ef9c2631713357310a8ca185bdd0b39ee85a2f8549779c268919fbd13c. Chain 2 (Bitcoin): anchored in block 956634 (2026-07-04T10:04:33Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USBQU1400054.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xc1e6f63aa3d9f1c4eb577b1057e3b988e7a04263ba23a82eae57a992d073877c. Chain 2 (Bitcoin): anchored in block 958211 (2026-07-15T23:24:33Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USBQU1400055.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xa7590910f8eef4a2f88aff44509fa578dab363b06fe33775d63f8f0dde3d40cc. Chain 2 (Bitcoin): anchored in block 956422 (2026-07-03T01:01:38Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USBQU1400058.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x5e06c5c6f1bf483e3a7f417c80f9d5fda4010cc8a1c572f6682abc57788791bc. Chain 2 (Bitcoin): anchored in block 958340 (2026-07-17T00:53:26Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USBQU1400059.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xd755b876df9d1a16cdca010150acc53a0fe524ca1ccaff7024e85cc8bc748aa3. Chain 2 (Bitcoin): anchored in block 958480 (2026-07-18T02:58:58Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USBQU1400061.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xb0bbf540ede3a02aa690f7c13235bca387f712fb18b03938d4bc4b060ac3d670. Chain 2 (Bitcoin): anchored in block 956634 (2026-07-04T10:04:33Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USBQU1400062.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x694393499dc89e3580602a151b4cd34af5859903e29eecb5bcb13656b7233870. Chain 2 (Bitcoin): anchored in block 956725 (2026-07-05T01:12:41Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USBQU1400064.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x68746e124cb5403fe08949aa682b27bf4791872f97ce1121cbb636d756093721. Chain 2 (Bitcoin): anchored in block 958349 (2026-07-17T02:28:59Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USBQU1400065.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xc67aa33e9621cc12d1eb569327f62a2cb823ff55dee97f9eef89c630bb542baf. Chain 2 (Bitcoin): anchored in block 959107 (2026-07-22T07:19:23Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USBQU1400132.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x320103dfa9d7823c8b8c7947680a6ef1e296d4f5f750ad4b570bbb58f28efea8. Chain 2 (Bitcoin): anchored in block 956822 (2026-07-05T18:48:28Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USBQU1400133.
Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x76bf8ebb623ba7256276f590e4b077f506186ac0522721d91b59230984cb2f39. Chain 2 (Bitcoin): anchored in block 959087 (2026-07-22T02:05:55Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/USBQU1400134.