HAIP we Token Status List: yzarlamazdan ýokary ynamlylyk

HAIP (OpenID4VC High Assurance Interoperability Profile) 1.0 OpenID4VCI, OpenID4VP, SD-JWT VC we ISO mdoc-yň açyk goýan köp saýlawlaryndan ýokary ynamlylyk talap edilýän ulanyş üçin bir toplum kesgitleýär. Her tarapyň haýsy formatlary, algoritmleri, müşderi belgilerini, şifrleme usullaryny we tassyklamalary goldamalydygy şu toplumda ýazylan. Token Status List bolsa bu toplumyň daýanýan ýatyryş usulydyr. Her resminama uly, gol çekilen we gysylan bit sanawyndaky bir orna salgylanýar we barlaýjylar bu sanawy öňünden ýükleýär. Şonuň üçin resminamany barlamak ony beren edara resminamanyň nirede we haçan görkezilendigini hiç haçan aýtmaýar.

HAIP 1.0 2025-nji ýylyň 24-nji dekabrynda Final boldy. Token Status List taslamasy 21-nji wersiýasyna ýetdi (2026-njy ýylyň 21-nji iýuny). Taslamanyň ady indi "Token Status List (TSL)" we tekst RFC Editor nobatynda garaşýar.

HAIP esasy spesifikasiýalaryň açyk goýan nämesini kesgitleýär?

OpenID4VP-a harpma-harp eýerýän iki önüm hem biri-biri bilen düşünişip bilmezligi mümkin. Mysal üçin, biri haýyşlara x509_san_dns bilen gol çekýän bolsa, beýlekisi diňe DID kabul edip biler, ýa-da biri jogaby şifrleýän bolsa, beýlekisi şifrlemezligi mümkin. HAIP bu boşluklary üç akym we iki format üçin ýapýar. Akymlar resminama bermek, gönükdirme bilen görkezmek we brauzeriň Digital Credentials API-si bilen görkezmekdir. Esasy düzgünler şulardyr:

Tamga-nyň profilleri bu düzgünleriň hemmesine eýerýär we birnäçe ýerde has hem öňe gidýär. Rugsat berilýän ýeke-täk gol algoritmi ES256 we her resminama enjama bagly bolany üçin KB-JWT hemişe talap edilýär. Protokolyň jikme-jikliklerini OpenID4VCI we OpenID4VP we DCQL ýazgylarynda düşündirdik.

Haýsy HAIP düzgünleri Tamga-nyň dizaýnyny üýtgetdi?

HAIP talaplaryny bir-birden öz düzgünlerimiz bilen deňeşdirenimizde, olaryň ikisiniň öň ýapylan kararlara degýändigini gördük. Şonuň üçin ikisi hem ADR-0034 bilen çözüldi we taslama ýolbaşçylygy bu ADR-i 2026-njy ýylyň 1-nji oktýabrynda tassyklady.

Barlaýjynyň şahsyýeti indi x509_hash. HAIP §5 bu barada aýdyň: "For signed requests, the Verifier MUST use, and the Wallet MUST accept the Client Identifier Prefix x509_hash". ADR-den öň Tamga barlaýjylary x509_san_dns:<domen> ulanýardy we ynam sanawyndaky ýazgylar hem şu setir boýunça saklanýardy. Üýtgeşmeden soň düzgünler şeýle:

• barlaýjynyň client_id bahasy giriş sertifikatyndan hasaplanýar we hiç bir sazlama faýlyna elde ýazylmaýar;
• gapjyk diňe x509_hash kabul edýär we heş ýaprak sertifikata gabat gelmese haýyşy ret edýär; jogap salgysynyň sertifikatyň SAN meýdanyndaky domende bolmagyny hem talap etmegini dowam etdirýär;
• sertifikat her täzelenende heş üýtgeýändigi üçin her barlaýjy ýazgysy hemişelik dns_name göterýär; nusgalary aýyrmak, saýta mahsus lakamlar, geçiş kartlary we görkeziş žurnaly ýaly täzelemeden täsirlenmeli däl zatlaryň hemmesi şu ada baglanýar.

Munuň iş ýüzündäki netijesi ädimleriň belli bir tertipde ädilmelidigidir. Sertifikat täzelenende ilki täze sertifikat hasaba alyş çeşmesine girizilýär we ynam sanawy täzeden çap edilýär. Barlaýjy täze sertifikata diňe şondan soň geçýär. Ir geçse, gapjyklar tanamaýan client_id-ni görýär we haýyşy ret edýär.

Gapjyk tassyklamasynyň subýekti umumy. HAIP §4.4.1 boýunça tassyklamadaky sub "MUST be a value that is shared by all Wallet instances using the present type of wallet implementation" we PAR-daky client_id hem şu bahadyr. Tordaky gapjyklaryň biri bolan Tamga Wallet-iň üpjün edijisi öň bu meýdana her amalda täzeden döredilýän açaryň barmak yzyny ýazýardy. Indi gapjyk önüminiň belgisini ýazýar. Gurnamalar ýene-de diňe her amalda täze döredilýän cnf açary we biri-birine baglanyşdyryp bolmaýan täze ýagdaý ýazgysy bilen tapawutlandyrylýar. Şeýlelikde edaranyň ýazga alýan maglumaty gapjyk önümini görkezýär we telefon barada hiç zat aýtmaýar.

Token Status List ýagdaýy nähili kodlaýar?

Resminama sanawdaky ornuny görkezýän salgy göterýär, bitler bolsa sanawda bolýar:

"status": {
  "status_list": { "idx": 48213, "uri": "https://status.tamga.network/3f9a2c" }
}

{ "alg": "ES256", "typ": "statuslist+jwt", "kid": "sl-2026-a", "x5c": ["MIIB…"] }
{
  "iss": "https://issuer.tamga.network/example-university",
  "sub": "https://status.tamga.network/3f9a2c",
  "iat": 1791446400,
  "exp": 1791468000,
  "ttl": 120,
  "status_list": { "bits": 2, "lst": "eNrt…" }
}

sub bahasy resminamadaky uri bilen birmeňzeş bolmaly. Şol bir resminamanyň mdoc nusgasy şol bir idx bahasyny ulanýar, ýöne sanawyň CWT görnüşine (application/statuslist+cwt) salgylanýar we bu görnüş öz aýdyň däl salgysynda ýerleşýär. Iki görnüş hem şol bir bitleri göterýär we şol bir çap edilişde gol çekilýär (ADR-0048). lst meýdany taslamanyň kesgitleýän üç ädimi bilen düzülýär. Ilki her resminama üçin bits sany bit baýt massiwine ýazylýar we her baýt iň kiçi derejeli bitden başlap doldurylýar. Soňra massiw ZLIB formatynda DEFLATE bilen gysylýar we netije base64url bilen kodlanýar.

Kiçijik bir mysal alalyň. Edaranyň 16 ýazgyly we bits: 2 bolan sanawynda 1-nji indeks ýatyrylan, 2-nji indeks togtadylan we 6-njy indeks ýatyrylan bolsun:

byte 0 = idx 3..0  → 00 10 01 00 → 0x24
byte 1 = idx 7..4  → 00 01 00 00 → 0x10
byte 2 = idx 11..8 → 0x00
byte 3 = idx 15..12 → 0x00

zlib(level 9), base64url → eNpTEWBgAAAAxAA1

bits: 2 bolan sanawda idx indeksini okamak üçin idx >> 2 belgili baýt alynýar we (idx & 3) × 2 bit saga süýşürilýär. idx 48213 üçin bu 12053-nji baýtyň 2-nji we 3-nji bitlerine gabat gelýär. bits: 1 bolan sanawda bolsa idx >> 3 belgili baýtyň idx & 7-nji bitine seredilýär. Sanawyň ululygy hem kynçylyk döretmeýär. Tamga sanawynda azyndan 100 000 ýazgy bolýar we bu sanaw gysylmadyk ýagdaýda iki bit bilen 25 000 baýt, bir bit bilen 12 500 baýt tutýar. Bu ýazgy üçin geçiren synagymyzda zlib 9-njy derejede ähli ýazgylary güýjünde bolan sanawy 46 baýta, şol sanawyň 200 sany dargynyk ýatyrylyşly görnüşini bolsa 439 baýta gysdy.

Tamga-da ýagdaý bahalary näme aňladýar?

Taslama bits üçin 1, 2, 4 ýa-da 8 bahasyna rugsat berýär. Tamga bu bahany paketleriň 0.6.0 wersiýasyndan bäri resminama görnüşine görä kesgitleýär (ADR-0048). Şahsyýet hyzmatynyň resminamalaryny ÝB-niň adamy tanadýan maglumatlar üçin goýan düzgünine laýyklykda togtadyp bolmaýar. Şonuň üçin bu resminamalaryň sanawlary bir bit ulanýar, ýagny resminama ýa güýjünde, ýa-da ýatyrylan we ýatyrylyş hemişelik. Edaralaryň sanawlary bolsa iki bit ulanýar, sebäbi togtatmagyň aýratyn baha mätäçligi bar. Diplom barada derňew başlan edara derňew dowam edýärkä diplomy wagtlaýyn togtatmak isläp biler. Edara sanawlarynda hem 0x02 diňe shemasy togtatmaga rugsat berýän görnüşler üçin ýazylýar (suspension_allowed, häzir diplom). Başga görnüşde togtatma bahasy görülse, sanaw bozuk hasaplanýar we ret edilýär. Dört ýa-da sekiz bit sanawy hiç hili peýda bermezden iki ýa-da dört esse ulaldardy. Barlaýjy 0x00-dan başga her bahany ret hökmünde bahalandyrýar, ýöne "togtadylan" we "ýatyrylan" netijelerini ulanyja aýratynlykda görkezýär.

Ýagdaý sanawy yzarlaýyş kanalyna öwrülmekden nähili gaçýar?

Ýagdaý sanawynyň gizlinligi märekeden gelýär. Sanawy ýükleýän barlaýjy onuň islendik ýazgysyny barlaýan bolup biler. Tamga-nyň düzgünleri bu märekäniň hakykatdan hem emele gelmegini üpjün edýär. Şol düzgünleriň adamyň nukdaýnazaryndan düşündirişini Yzarlamasyz ýatyrylyş ýazgysynda tapyp bilersiňiz.

• Uly sanawlar. Her sanawda azyndan 100 000 ýazgy bolýar we ýazgylaryň 80%-i paýlananda täze sanaw açylýar. Ulanylmaýan orunlar hem güýjündäki resminamalar bilen şol bir 0x00 bahasyny göterýändigi üçin daşyndan seredýän adam näçe ornuň ulanylýandygyny görüp bilmeýär.
• Tötänleýin indeksler. idx sanawyň sygymynyň içinden tötänleýin saýlanýar. Yzygiderli belgi, awarding_date gizlin galsa-da, hasaba alyş tertibini we takmynan senäni açyp görkezerdi. HAIP hem her resminamanyň özüne degişli, gaýtalanmaýan we çaklap bolmaýan ornunyň bolmagyny talap edýär.
• Manysyz salgylar. Sanawyň salgysy her görkezişde görünýändigi üçin ol hem maglumat meýdany hasaplanýar. /sl/2026-engineering ýaly salgy ýyly we fakulteti açyp görkezerdi. Şonuň üçin Tamga-da sanaw belgileri tötänleýin setirlerden ybarat we haýsy belginiň nämä gabat gelýändigini diňe edara bilýär.
• Diňe görnüşe görä bölmek. Täze sanaw öňki sanaw dolanda açylýar. Sanawlar hiç haçan ýyla ýa-da bölüme görä bölünmeýär.
• Nusgalar indeksi paýlaşmaýar. Bukjadaky on nusganyň her biriniň öz tötänleýin indeksi bar. Şonuň üçin iki barlaýjy görkezişleri idx arkaly biri-birine baglanyşdyryp bilmeýär.

Bu usulyň gurluşyndan gelýän bir çägi bar we biz ony açyk ýazýarys. Kiçi edarada märeke şol edaranyň öz beren resminamalarynyň sany ýalydyr, sebäbi iss meýdany edarany eýýäm ady bilen görkezýär.

Gizlinligiň beýleki ýarysy sanawyň haçan ýüklenýändigi bilen bagly. Barlaýjy sanawy her barlagda täzeden ýükläp alsa, edara şol pursat kimdir biriniň öz resminamalarynyň birini barlaýandygyny bilerdi. Haýyşyň gelen IP salgysy hem köplenç munuň kimdigini aýdardy. Şonuň üçin Tamga barlaýjylary sanawlary belli aralyklarda öňünden ýükleýär we barlagy keşden geçirýär. @tamga-network/verifier muny adaty ýagdaýda edýär we her barlagda ýüklemek diňe aç-açan işjeňleşdirilende işleýär. Taslamanyň islege bagly aggregation_uri meýdany edaranyň ähli ýagdaý sanawlaryny bir salgyda sanaýar. Öňünden ýüklemegi aňsatlaşdyrýandygy üçin Tamga bu meýdany ulanmagy maslahat berýär.

Sanaw näçe ýygy çap edilýär we nusga näçe wagt güýjünde?

Her çap ediliş ilki ýagdaý serwerine ýazylýar, soňra çap edilişiň heşi ýazga geçirilýär. Häzir bu ýazgy ynam sanawyny çap edijiniň ýakor žurnalynda saklanýar, kitaby (ledger) ulanmak bolsa soňky tapgyryň işi (näme üçin entek blokçeýn ýok). Barlaýjy tokeniň heşiniň ýazgydaky heş bilen gabat gelýändigini we wersiýa belgisiniň yza gitmeýändigini barlaýar. Şeýlelikde edara ýatyran resminamasyny güýjünde görkezmek üçin sanawyny sessiz-üýnsüz köne wersiýa gaýtaryp bilmeýär.

Barlap bilmese barlaýjy nähili netijä gelýär?

Ýatyrylyş barlagy Tamga-nyň barlag tertibinde D1–D6 ädimleri bilen geçirilýär. Barlaýjy ilki status.status_list meýdanyny okaýar we tokeni öňünden ýüklenen keşden alýar. Tokeniň goluny ynam sanawynda şol edara üçin hasaba alnan ýagdaý açary bilen barlaýar. Soňra sub bahasyny, sanawyň täzeligini we ýazga alnan heşi barlaýar we iň soňunda bitleri okaýar. Sanawy ýükläp bolmadyk bolsa ýa-da exp möhleti geçen bolsa, netije INDETERMINATE bolýar we onuň ýanynda STATUS_UNREACHABLE ýa-da STATUS_STALE ýaly sebäp görkezilýär. "Bu diplom ýatyryldy" bilen "häzir barlap bilemok" adam barada dürli kararlara getirýär, şonuň üçin olar dürli görkezilmeli. Onlaýn bolmadyk wagty barlaýjy keşdäki token we iň soňky belli ýazgy bilen işi dowam etdirip biler. Bu ýagdaýda iň soňky sinhronlaşdyrmanyň wagtyny görkezýär we netijäni "onlaýn däl barlandy" diýip belleýär.

Nol bilimli ýaş subutnamalary indeksi bolmadyk ýeke-täk ýagdaýdyr. Subutnama sanawda orny kesgitläp biljek hiç bir maglumaty açmaýandygy üçin ýagdaý "degişli däl" diýip habar berilýär. Şonuň üçin nol bilimli subutnama diňe gysga ömürli nusgalar bilen hödürlenýär. Bu nusgalar iň köp 24 sagat güýjünde we resminama ýatyrylanda täzelenmeýär (ADR-0044). Paketleriň 0.4.0 wersiýasyndan bäri şeýle işleýär. Nusgalar ýagdaý sanawynda ýazgy göterenok, gapjyk olary adamdan soramazdan täzeleýär we olaryň gysga ömri ýatyrylyş barlagynyň ornuny tutýar. Şeýle nusga esaslanmaýan nol bilimli subutnamany barlaýjy diňe onuň syýasaty muňa aç-açan rugsat berse kabul edýär (ADR-0032).

Köp berilýän soraglar

HAIP kanunmy?

Ýok. HAIP OpenID Foundation-yň çap eden spesifikasiýasydyr. Ýewropanyň sanly şahsyýet ekoulgamy dürli öndürijileriň gapjyklary, edaralary we barlaýjylary bilelikde işläp bilsin diýip şu spesifikasiýa daýanýar.

Näme üçin barlaýjy edaradan "bu resminama heniz güýjündemi" diýip soramaýar?

Maglumat edil şu soragyň özi bilen syzardy. Edara haýsy resminamanyň, haçan we köplenç kim tarapyndan barlanandygyny bilerdi. Ýagdaý sanawy ulanylanda barlaýjy her kesiň ýagdaýynyň nusgasyny elinde saklaýar we hiç kimden hiç zat soramaýar.

Togtatma öz-özünden gutarýarmy?

Ýok. Togtadylan resminama edara bitleri täzeden güýjünde bahasyna gaýtarýança ýa-da resminamany ýatyrýança togtadylan bolup galýar. Barlaýjy diňe şol pursatdaky bahany okaýar.

Barlaýjy on nusganyň şol bir adama degişlidigini bilip bilermi?

Ýagdaý sanawyna seredip bilip bilmez. Her nusganyň öz tötänleýin indeksi bar we nusgalaryň arasyndaky gabat gelme edaranyň maglumatlar binýadynda galýar. Resminama ýatyrylanda on indeksiň hemmesi şol bir meýilleşdirilen çap edilişde üýtgeýär we şol aralykda üýtgän beýleki ýazgylaryň hemmesi bilen bilelikde görünýär.