Agda
type: MusicGroup
description: Agda may refer to: Agda (programming language), the programming language and theorem prover Agda (Golgafrinchan), the character in The Hitchhiker's Guide to the Galaxy by Douglas Adams Liten Agda,
popularity: 8
followers: 1115
additional property: CopyrightID
additional property: CopyrightChainExplorerURL
  type: PropertyValue
  value: https://explorer.copyrightchains.com/tx/0xc2b3ac607f2d05f5e7f99ff095e09c28066ebe1c856b2211bb3c5c03e9316db3
additional property: OTSHash
additional property: OTSBitcoinBlock
  type: PropertyValue
  value: 954342
additional property: OTSBitcoinBlockVerifyURL
  type: PropertyValue
  value: https://blockstream.info/api/block-height/954342
additional property: OTSProofURL
  type: PropertyValue
  value: https://artists.proofprofile.net/proofs/artist/83a2353c-cfd1-473a-8a62-89af72aca853.ots
additional property: OTSRecordURL
  type: PropertyValue
  value: https://artists.proofprofile.net/proofs/artist/83a2353c-cfd1-473a-8a62-89af72aca853.json
additional property: OTSVerificationAPI
  type: PropertyValue
  value: https://artists.proofprofile.net/api/v1/bot/ots/verify/artist/83a2353c-cfd1-473a-8a62-89af72aca853
additional property: OTSTimestamp
  type: PropertyValue
  value: 2026-06-19T03:22:39Z
additional property: OTSCanonicalRecord
additional property: OTSVerifyInstructions
  type: PropertyValue
  value: 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
subject of: OpenTimestamps Proof of Existence
  type: DigitalDocument
  encoding format: application/vnd.opentimestamps.ots
  description: Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xc2b3ac607f2d05f5e7f99ff095e09c28066ebe1c856b2211bb3c5c03e9316db3. Chain 2 (Bitcoin): anchored in block 954342 (2026-06-19T03:22:39Z). Bridge: the canonical record inside this Bitcoin proof contains the same CopyrightID. Verify: download https://artists.proofprofile.net/proofs/artist/83a2353c-cfd1-473a-8a62-89af72aca853.json and https://artists.proofprofile.net/proofs/artist/83a2353c-cfd1-473a-8a62-89af72aca853.ots, run `ots verify -f record.json proof.ots` (https://opentimestamps.org).
  date published: 2026-06-19T03:22:39Z
album: agda
  type: MusicAlbum
  date published: 2022-11-18
  track: fora do eixo
    type: MusicRecording
    duration: PT4M17S
    duration ms: 257500
    explicit: false
    by artist: Agda
    in album: agda
      type: MusicAlbum
      date published: 2022-11-18
    isrc code: BCME72200016
    additional property: CopyrightID
    additional property: CopyrightStatus
      type: PropertyValue
      value: registered
    additional property: CopyrightRegisteredAt
      type: PropertyValue
      value: 2026-06-25T08:20:17+00:00
    additional property: CopyrightChainExplorerURL
      type: PropertyValue
      value: https://explorer.copyrightchains.com/tx/0x6d2ab39e2ad1c828be7d5ae4115af26dc0921cbbb333477c9d81504720b67105
    additional property: OTSHash
    additional property: OTSBitcoinBlock
      type: PropertyValue
      value: 956304
    additional property: OTSBitcoinBlockVerifyURL
      type: PropertyValue
      value: https://blockstream.info/api/block-height/956304
    additional property: OTSVerificationAPI
      type: PropertyValue
      value: https://artists.proofprofile.net/api/v1/bot/ots/verify/track/BCME72200016
    additional property: OTSTimestamp
      type: PropertyValue
      value: 2026-07-02T03:55:08Z
    additional property: OTSVerifyInstructions
      type: PropertyValue
      value: 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
    subject of: OpenTimestamps Proof of Existence
      type: DigitalDocument
      encoding format: application/vnd.opentimestamps.ots
      description: Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x6d2ab39e2ad1c828be7d5ae4115af26dc0921cbbb333477c9d81504720b67105. Chain 2 (Bitcoin): anchored in block 956304 (2026-07-02T03:55:08Z), 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/BCME72200016.
      date published: 2026-07-02T03:55:08Z
    audio: fora do eixo
      type: AudioObject
      additional property: Tempo (BPM)
        type: PropertyValue
        value: 129.578
      additional property: Musical Key
        type: PropertyValue
        value: 0
      additional property: Mode (Major/Minor)
        type: PropertyValue
        value: 1
      additional property: Time Signature
        type: PropertyValue
        value: 5
      additional property: Danceability
        type: PropertyValue
        value: 0.634
      additional property: Energy
        type: PropertyValue
        value: 0.175
      additional property: Speechiness
        type: PropertyValue
        value: 0.056
      additional property: Acousticness
        type: PropertyValue
        value: 0.902
      additional property: Instrumentalness
        type: PropertyValue
        value: 0
      additional property: Liveness
        type: PropertyValue
        value: 0.354
      additional property: Valence (Positivity)
        type: PropertyValue
        value: 0.344
      additional property: Loudness (dB)
        type: PropertyValue
        value: -17.118
      additional property: Key Name
        type: PropertyValue
        value: C
      additional property: Mode Name
        type: PropertyValue
        value: Major