Skip to content
SPEC-WALLET-0001ŞartnameYürürlüktesürüm 1.0.02 Ekim 2026

Kısaca ​

Bu belge, Tamga Network'e uyumlu her cüzdanın kendi içinde uyması gereken kuralları anlatır: anahtarlar, telefondaki kayıt, yedekleme, onay ekranı ve belge kopyaları. Okuru cüzdan geliştiricileridir; Tamga Wallet (ayrı depo) bu kuralların referans uygulamasıdır.

Ne zaman okunur

  • Önce Gizlilik ve Belge gösterme kavram sayfalarını okuyun.
  • Koda geçerken GUIDE-0005 bu kuralları @tamga-network/wallet-core ile nasıl karşılayacağınızı gösterir.
  • Cüzdanın kurumla ve doğrulayıcıyla (verifier)Gösterilen belgeyi denetleyen taraf: imza, belge verenin güven listesindeki kaydı, durum ve politika. Relying party diye de anılır. konuştuğu protokoller burada değil: SPEC-PROTO-0001 ve SPEC-PROTO-0002.

Sade anlatım

Belgeye bağlı anahtarlar telefonun güvenli donanımında üretilir ve oradan hiç çıkmaz; bu yüzden yedeklenmez, telefon değişince belgeler kurumdan yeniden alınır. Kişi her paylaşımda neyin kime gittiğini görür ve onaylar; gereğinden fazla isteyen siteye ayrı bir uyarı çıkar. Cüzdan aynı belgenin birkaç kopyasını tutar: aynı siteye hep aynı kopyayı, farklı sitelere farklı kopyaları gösterir; böylece siteler kişiyi birbiriyle eşleştiremez. "Tamga ile giriş yap"ta her site için ayrı bir takma ad kullanılır. Kişi isterse cüzdanı sıfırlayıp verilerini hem Tamga servislerinden hem telefondan siler.


Kapsam ​

Cüzdanın iç tasarımı: anahtar yönetimi, yerel depo, yedekleme ve kurtarma, onay yüzeyi, belge kopyalarının kullanımı, şema önbelleği.

Protokoller SPEC-PROTO-0001 ve SPEC-PROTO-0002'dedir. WIA (Wallet Instance Attestation)Cüzdan sağlayıcısının imzaladığı, cüzdan kurulumunun gerçek olduğunu bildiren kısa ömürlü beyan; belge veren, belgeyi vermeden önce denetler. ve key attestationCüzdan sağlayıcısının, belge anahtarının güvenli donanımda üretildiğini ve tutulduğunu bildiren kısa ömürlü beyanı.ADR-0025'tedir; bu kanıtları cüzdan sağlayıcısı (wallet provider)Cüzdanı sunan ve cüzdan ile anahtar kanıtlarını imzalayan kuruluş. Tamga Wallet ağın ilk cüzdanıdır. verir.


1. Çözülen Gerilim — Anahtar Yedeklenebilir mi? ​

Bu bölüm dokümanın en önemli kısmıdır çünkü iki mevcut tasarım kararı çelişiyordu.

1.1 Çelişki ​

SPEC-CRED-0001 §3 diyor ki:

Anahtar cihazın secure element'inde üretilir (Secure Enclave/StrongBox), asla dışa aktarılamaz → belge devredilemez.

Proje notlarındaki yedekleme tasarımı ise şunu ima ediyordu:

24 kelime tohum + zorunlu PIN; sunucuda şifreli yedek (sunucu çözemez).

Eğer tohum cüzdanı kullanılabilir hâlde geri getiriyorsa, belge sahibi (holder)Belgeyi cüzdanında tutan ve kime göstereceğine karar veren kişi. anahtarını da geri getiriyor demektir. Ama belge sahibi anahtarı güvenli bölgeden çıkamıyorsa, tohum onu geri getiremez.

İkisi aynı anda doğru olamaz.

1.2 Neden anahtar tohumdan türetilemez ​

Cazip seçenek şudur: belge sahibi anahtarlarını tohumdan türet, yazılımda tut, her yerde geri getirilebilsin.

Bu seçenek reddedilmiştir çünkü holder bindingBelgeyi yalnız belge sahibinin cihazındaki bir anahtara bağlamak; kopyalanan belge gösterilemez.'in tamamını çürütür:

Sonuç
Tohum → belge sahibi anahtarı türetilebilirTohum paylaşılabilir
Tohum paylaşılabilirBelge devredilebilir
Belge devredilebilirSPEC-CRED-0001 §3'teki açık geri gelir

O dokümanın kendi ifadesiyle: "bir öğrenci belgesini arkadaşının cüzdanına aldırır" saldırısı, belge verilirken kapatılıp kurtarma anında yeniden açılmış olur. Arka kapı, ön kapıdan daha tehlikelidir çünkü kimse oraya bakmaz.

1.3 Karar ​

Değişmez WL1: Belge sahibi anahtarları seed'den türetilmez ve cihazın güvenli bölgesinden asla çıkmaz.

Değişmez WL2: Yedek, belgeleri ve manifestoyu taşır; belge sahibi anahtarlarını taşımaz. Dolayısıyla yeni cihazda geri yüklenen bir belge sunulamaz — belgenin yeniden verilmesi gerekir.

Bu, kabul edilmiş bir kullanıcı deneyimi bedelidir. Alternatifi, sistemin temel güvenlik özelliğini kaybetmektir.

1.3b Değerlendirilen üçüncü yol (review R10) ​

Karar iki seçenek arasında verilmişti; bir üçüncüsü vardır ve açıkça reddedilmesi gerekir: platform senkronlu anahtarlar (iCloud Keychain / Google Password Manager tarzı, donanım destekli ama cihazlar arası taşınabilir anahtar sınıfları).

Değerlendirme
ArtıCihaz değişiminde belgelerin yeniden verilmesi gerekmez; kullanıcı deneyimi en iyi
Eksi 1Güven, Tamga'dan Apple/Google'a kayar — anahtarın nereye gittiğini onlar belirler
Eksi 2Aynı hesaptaki başka bir cihaz anahtarı alır → "belge devredilemez" ilkesi (WL1) hesap düzeyinde delinir
Eksi 3EUDI ARF bu sınıfı W3 (sertifikalı WSCD) saymaz; devlet aşaması devlet uyumu riske girer

Reddedildi. Ama genişleme aşamasında, W2 seviyesi için isteğe bağlı bir "kolay kurtarma" kipi olarak yeniden değerlendirilebilir — kullanıcı bilinçli olarak düşük güvence seçiyorsa. Şu an ürün karmaşıklığına değmiyor.

1.4 Tohumun gerçek rolü ​

Tohum, sanılandan dar bir iş yapar:

Tohum neyi kurtarırNeyi kurtarmaz
Cüzdan kimliği (yedeğin şifre çözme anahtarı)Belge sahibi anahtarları
Belgelerin kendisi (okunabilir, sunulamaz)Sunum yeteneği
Manifest: hangi kurumdan hangi tip—
Ayarlar, dil, sunum kaydı—

Manifest kritiktir: yeni cihazda kullanıcıya "şu 4 belgeyi yeniden iste" diye tek dokunuşluk bir liste sunar. Kurtarma acısını ortadan kaldırmaz ama yönetilebilir kılar.


2. Anahtar Mimarisi ​

2.1 Anahtar türleri ​

AnahtarNeredeDışa aktarılabilirÖmür
Belge sahibi anahtarları (bir alımda N adet)Secure Enclave / StrongBoxHayırBelge ömrü
Yedek şifreleme anahtarıTohumdan türetilirTohum olarakKalıcı
Cüzdan örnek anahtarıGüvenli bölgeHayırKurulum ömrü

2.2 Cüzdan güvence seviyeleri ​

PM-ASSUR-0001 Eksen A'nın cüzdan tarafındaki bileşeni:

SeviyeAnahtar deposuFaz
W1Yazılım (güvenli bölge yok)Desteklenmez
W2Cihaz güvenli bölgesi (Secure Enclave / StrongBox)ilk aşama asgarisi
W3Sertifikalı WSCDDevlet aşaması

Değişmez WL3: W1 cüzdan desteklenmez. Güvenli bölgesi olmayan bir cihazda Tamga Wallet kurulmaz — kullanıcıya açık bir uyarıyla reddedilir.

2.3 PIN ​

PIN, güvenli bölgedeki anahtara erişimin kullanıcı doğrulaması koşuludur; anahtarı şifrelemez (onu donanım yapar).

KuralDeğer
UzunlukEn az 6 hane
BiyometriPIN'in yerine değil, yanında (geri düşüş PIN'dir)
Deneme5 hatalı → 30 sn gecikme; 10 → cüzdan kilitlenir, tohum gerekir
Sunum onayıHer sunumda PIN veya biyometri zorunlu

Son satır önemlidir: Sunum, kullanıcının bilinçli eylemi olmalıdır. Açık bir cüzdanın arka planda sessizce sunum yapması engellenir.


3. Yerel Depo ​

┌──────────────────────────────────────┐
│ Güvenli bölge (donanım)              │
│   holder anahtarları — çıkamaz       │
├──────────────────────────────────────┤
│ Şifreli yerel veritabanı             │
│   credentials    SD-JWT dizeleri     │
│   batch_state    kopya defteri       │
│   verifier_map   yapışkan eşleme     │
│   schema_cache   Type Metadata       │
│   presentation_log  sunum geçmişi    │
│   settings                           │
└──────────────────────────────────────┘

Değişmez WL4: presentation_log otomatik olarak ya da bir sunucuya hiçbir koşulda çıkmaz; yalnız kişinin kendi başlattığı, kendi parolasıyla şifreli dışa aktarmada (AB TS10, ADR-0027) cihazdan çıkar — yedeğe de girmez (SPEC-PROTO-0002/PV8). Yedeğe girse, cihaz değişiminde sunucuya şifreli olarak da olsa yüklenir ve bir davranış profili merkezîleşmiş olur.

Kullanıcı bu kaydı görebilir ve silebilir.


4. Belge kopyalarının yönetimi ​

Bu bölüm SPEC-PROTO-0001 Açık Konu 1 ve SPEC-CRED-0002 Açık Konu 3'ü kapatır.

4.1 Yapışkan kopya kuralı ​

Değişmez WL5: Bir doğrulayıcıya her zaman aynı kopya sunulur. Farklı doğrulayıcılara farklı kopyalar sunulur.

verifier_map: (verifier_id, vct) → copy_index

Gerekçe, iki yönlü bir mantıktır:

YönNeden
Aynı doğrulayıcıya aynı kopyaDoğrulayıcı zaten kim olduğunu biliyor (başvuru isimli). Farklı kopya sunmak korelasyon kazandırmaz, yalnızca kopya harcar.
Farklı doğrulayıcıya farklı kopyaİki doğrulayıcı iş birliği yaparsa cnf ve idx üzerinden eşleştirme yapamaz (SPEC-CRED-0003 §9.4).

verifier_id, x509_hashHAIP'teki client kimliği biçimi: kimlik, relying party'nin erişim sertifikasının base64url SHA-256 özetidir. client identifier'ıdır (SPEC-PROTO-0002 §2.1) — kararlı ve doğrulanabilir bir anahtar.

4.2 Tutarlı açıklama seti ​

Değişmez WL6: Aynı doğrulayıcıya aynı vct için yapılan tekrar sunumlarda, cüzdan aynı açıklama setini kullanır.

Sebep SPEC-SCHEMA-0002 Güvenlik Notları'ndadır: değişen set, hangi alanların gizlendiği hakkında bilgi verir. İlk sunumda 8 alan, ikincisinde 6 alan açıklanırsa, doğrulayıcı ikisi arasındaki farkı çıkarabilir.

Doğrulayıcı daha az alan isterse cüzdan fazlasını sunmaz — kesişim değil, yeni isteğin kendisi geçerlidir; ama kullanıcıya "bu doğrulayıcıya daha önce şu alanları vermiştiniz" bilgisi gösterilir.

4.3 Tükenme ​

Kalan kopyaCüzdan davranışı
3Sessiz — ayarlarda görünür
2Kullanıcıya bildirim: "Öğrenci belgeniz için 2 kullanım kaldı"
0, bilinen doğrulayıcıYapışkan eşleme sayesinde mevcut kopya kullanılır — sorun yok
0, yeni doğrulayıcıKullanıcıya seçim: (a) yenile, (b) mevcut bir kopyayı yeniden kullan — korelasyon uyarısıyla

Değişmez WL7: Kullanıcı eylemi olmadan yenileme yalnızca ADR-0023 AR1–AR4 koşullarında yapılır. Yenileme belirteci olan kurum belgeleri, kurumun ilan ettiği eşikte, uygulama önde ve kilit açıkken, rastgele gecikmeyle yenilenir; kimlik ve iletişim belgelerinde yenileme kullanıcı eylemidir. Kullanıcı ayarlardan kapatabilir.

4.4 Diploma — ilk aşama ​

SPEC-PROTO-0001 §8.5 uyarınca diploma ilk aşamada tek kopya verilir. Yapışkan eşleme yine uygulanır (tek kopya her doğrulayıcıya gider) ve idx korelasyonu kabul edilmiş risktir — kullanıcıya cüzdan içinde de gösterilir, yalnızca pilot sözleşmesinde değil.


5. Onay Yüzeyi ​

5.1 Sunum onay ekranı ​

Asgari içerik, bu sırayla:

  1. Kim istiyor — doğrulayıcının güven listesindeki (trust list)Bir ülkenin kök sertifikalarını, belge verenlerini ve kayıtlı relying party'lerini taşıyan imzalı liste. Bugün Tamga'da güven bu listelere dayanır; ortak defter sonra gelir. kayıtlı adı + kayıtlı mı işareti
  2. Ne için — purpose metni (SPEC-API-0001 §4.1)
  3. Ne paylaşılacak — alan alan liste, değerleriyle
  4. Ne paylaşılmayacak — gizli kalan alanların adları (değerleri değil)
  5. Onayla / Reddet

Dördüncü madde alışılmadıktır ve bilinçlidir: kullanıcının selective disclosureBir belgeden yalnız doğrulayıcının istediği alanların gösterilmesi, fazlasının değil.'ın çalıştığını görmesi gerekir. "Not ortalamanız paylaşılmayacak" satırı, ürünün değerini tek bakışta anlatır.

5.2 Aşırı talep uyarısı ​

SPEC-PROTO-0002 Açık Konu 1'i kapatır.

Üç seviye, üç farklı görsel ağırlık:

DurumSunum
Kayıtlı + scope içindeNormal ekran, uyarı yok
Kayıtlı + scope dışı alan varScope dışı alanlar listede ayrı bir blokta, farklı renkte, "bu doğrulayıcı bu alanları istemeye yetkili değil" başlığıyla. Onay düğmesi 3 saniye gecikmeli etkinleşir.
Kayıtsız doğrulayıcıAkışı kesen ayrı ekran: "Bu doğrulayıcı Tamga'da kayıtlı değil. Kim olduğunu doğrulayamıyoruz." → Devam / İptal

Uyarı yorgunluğu önlemi: Uyarı yalnızca gerçekten anormal durumda çıkar. Normal akışta hiçbir uyarı yoktur. Uyarıyı her sunuma koyarsak görünmez olur.

Değişmez WL8: Aşırı talep uyarısı, onay düğmesinin yanındaki bir metin değildir; ayrı bir görsel blok ve gecikmeli düğme gerektirir.

5.3 Tekrarlayan farklı sorgular ​

SPEC-PROTO-0002 Güvenlik Notları: bir doğrulayıcı farklı sorgular göndererek kullanıcının hangi belgelere sahip olduğunu haritalayabilir.

Cüzdan, aynı doğrulayıcıdan 24 saat içinde 3'ten fazla farklı sorgu gelirse kullanıcıyı bilgilendirir: "Bu doğrulayıcı bugün 4 farklı belge sordu."

5.4 Site başına takma ad (ADR-0031) ​

"Tamga ile giriş yap" hesap anahtarı olarak belge değeri değil, site başına takma ad (pseudonym)Cüzdanın her web sitesi için ayrı türettiği kararlı hesap kimliği; iki site aynı kişiyi eşleştiremez. kullanır (ARF (Architecture and Reference Framework)Rolleri, mimariyi, güven modelini ve kuralları anlatan belge seti. Tamga ARF, AB ARF'sinin düzenini izler. Topic 11).

AdımCüzdan ne yapar
TohumKimlik belgesiyle birlikte gelen urn:tamga:id:PseudonymSeed:1 belgesini doğrular (kimlik belgesiyle aynı imzacı, kopya 0'ın anahtarı) ve tohumu güvenli depoya koyar (Keychain / Keystore; mağaza derlemesinde donanım korumalı). Tohum belge listesinde görünmez, hiçbir DCQL sorgusuna önerilmez (PS3).
İstekDCQL'de format: "tamga-pseudonym" sorgusu (meta.mode: single / multiple). Belge sorgusu yoksa istek yalnız takma adla girişe (belgesiz) karşılık gelir.
Onay ekranı"Bu siteye özel takma adın" kartı: yeni mi, daha önce kullanılan mı (değer gösterilmez). multiple sitede kullanıcı mevcut takma adlarından birini ya da yenisini seçer. Takma ad yalnız güven listesinde kayıtlı siteye verilir.
TüretmePIN/biyometri onayından sonra: k = HKDF-SHA256(tohum, "tamga-pseudonym-v1|" + site + "|" + sıra) → P-256 anahtar; takma ad = açık anahtarın RFC 7638 parmak izi. Site = asıl RP'nin kayıtlı client_id'si (aracıda asıl RP; ADR-0017 K7). Anahtar yalnız bellekte, imzadan sonra silinir.
Sunumvp_token'da takma ad sorgusunun id'siyle tamga-pseudonym+jwt: başlıkta açık anahtar, gövdede aud = client_id, nonce, rp, bu işlem için yeni WIA ve PoP.
Takma adlarımAyarlar: site adı, oluşturulma / son kullanım, kullanıcının verdiği ad (siteye gitmez), sil. Silinen sıra o sitede bir daha türetilmez; yeniden kayıt yeni sıra açar. Günlüğe yalnız site adı ve olay yazılır, takma ad değeri yazılmaz.

Yeni telefonda kimlik yeniden doğrulanınca aynı tohum gelir → aynı takma adlar → sitelerdeki hesaplar tanınır. Taşıma dosyası (§7.5) tohumu ve anahtarı taşımaz (LX2).


6. Şema Önbelleği ​

ARCH-0003/CMP8'in uygulaması.

KuralDeğer
Ne zaman çekilirKurulumda ve yeni bir tip belge alındığında
NasılToplu — ilgili tüm Type Metadata + extends zinciri
Ne zaman çekilmezSunum anında
GeçerlilikSüresiz — vct#integrity içeriği tanımlar (SPEC-SCHEMA-0001 §7.1)

Değişmez WL9: Cüzdan sunum anında schemas.tamga.network'e istek yapmaz. Yaparsa, şema sunucusu "kim hangi tip belgeyi ne zaman kullandı" bilgisini toplar.

Önbellekte olmayan bir tip sunulmak istenirse: kullanıcıya "bu belge tipi henüz doğrulanamıyor, internet bağlantısı gerekiyor" denir ve çekim kullanıcı onayıyla yapılır.


7. Yedekleme ve Kurtarma ​

7.1 Yedek içeriği ​

şifreli_yedek = AES-GCM(
    anahtar = HKDF(seed),
    içerik  = {
        manifest:    [{ issuer, vct, alındığı_tarih }],
        credentials: [SD-JWT dizeleri],
        settings:    { dil, bildirimler }
    }
)

Yedekte olmayanlar: belge sahibi anahtarları (WL1), presentation_log (WL4), verifier_map.

verifier_map neden yok: yeni cihazda zaten yeni kopyalar alınacak, eski eşleme anlamsız. Ayrıca hangi doğrulayıcılara sunum yapıldığını taşır — WL4 ile aynı gerekçe.

7.2 Sunucu tarafı ​

Yedek, Tamga barındırmalı bir depoya yüklenebilir. Sunucu çözemez — anahtar tohumdan türer ve tohum sunucuya gitmez.

Sunucunun gördüğüGörmediği
Şifreli blob boyutuİçerik
Yükleme zamanıHangi belgeler
Cüzdan örnek tanımlayıcısıKullanıcı kimliği

7.3 Cihaz değişimi akışı ​

1. Yeni cihaza kur
2. Seed gir + yeni PIN belirle
3. Yedeği indir, çöz
4. Manifest gösterilir:
     ┌──────────────────────────────────────────┐
     │ 4 belgeniz yeniden alınmalı              │
     │                                          │
     │ ☑ Diploma — İstanbul Bilgi Üniv.         │
     │ ☑ Öğrenci Belgesi — İstanbul Bilgi Üniv. │
     │ ☐ Sürücü Belgesi — (devlet aşaması)               │
     │                                          │
     │ [ Seçilenleri yeniden iste ]             │
     └──────────────────────────────────────────┘
5. Her biri için OID4VCI akışı (SPEC-PROTO-0001)
     → yeni holder anahtarları, yeni cnf, yeni idx

Kullanıcıya açıkça söylenir: eski belgeler görüntülenebilir ama sunulamaz; belgelerin yeniden verilmesi gerekir. Bunu gizlemek, sunum anında başarısızlıkla karşılaşmaktan kötüdür.

7.4 Tohum kaybı ​

Tohum ve cihaz kaybedilirse kurtarma yoktur. Kullanıcı her kuruma yeniden başvurur ve kimliğini kurumun kendi prosedürüyle kanıtlar (SPEC-PROTO-0001 §11 — yüz yüze bağlama).

Bu bir felaket değildir: belgeler zaten kurumda yeniden üretilebilir verilerdir. Kaybedilen şey erişim, veri değil.

Değişmez WL10: Tamga hiçbir koşulda kullanıcı adına kurtarma anahtarı tutmaz. Tutsaydı, tüm cüzdanları açabilecek bir merkez oluşurdu.

7.5 AB TS10 taşıma dosyası ​

Cüzdan, AB TS10 biçiminde bir taşıma dosyası üretir (Ayarlar → Yeni telefona taşı):

  • İçerik: MigrationData, yani yeniden alınacak belgelerin listesi (listOfCredentials: vct, kurum, kurum adresi). Cihaza bağlı olmayan belge yoktur.
  • Şifreleme: kişinin parolasıyla JWE PBES2-HS256+A128KW + A128GCM (TS10 §5).
  • Paylaşım: paylaşım menüsüyle kişinin seçtiği yere gider; Tamga'ya gitmez.
  • Yeni cüzdanda: kişi dosyayı açar, liste "yeniden al" düğmeleriyle kurum sayfasına bağlanır (WL2).

Belge değerleri, kopyalar ve anahtarlar dosyaya girmez. İşlem günlüğü dosyaya girer (ADR-0027); içe aktarmada kişiye günlüğün geri yüklenip yüklenmeyeceği sorulur. Günlük ayrıca tek başına şifreli dosya olarak dışa aktarılabilir (TS10 §4.1).

7.6 Cüzdanı sıfırla ve verilerimi sil ​

Ayarlar → Cüzdanı sıfırla ve verilerimi sil (mağaza kuralları: uygulama içinden silme; KVKK md. 7). Sıra:

  1. Kimlik servisi — kimlik servisinden alınmış her belge için alan açmadan sunum (SD-JWT VC + KB-JWT; aud = servis, nonce = servisin /nonce'ı) → POST {id}/erasure. Servis belgeyi kendi imzasından ve sahipliği cnf anahtarından tanır; kaydı ve olay satırlarını siler, bütün kopyaları iptal eder, uzaktan kimlik doğrulama sağlayıcısındaki oturumu ve görüntüleri sildirir (SPEC-ID-0003 §9.1).
  2. Cüzdan sağlayıcısı — birim anahtarıyla imzalı POST {wp}/units/delete: birim iptal (WIA bitleri), sonra kayıt (açık anahtar, sürüm, cihaz kanıtı bilgisi) silinir (ADR-0025).
  3. Cihaz — bütün belgeler ve anahtarlar, takma ad tohumu, günlük, PIN (WL1: kurtarma yok).

Ağ yoksa 3 yine yapılır; 1–2 yapılamazsa kişiye söylenir ve e-posta yolu gösterilir. Kurumların (belge veren, doğrulayıcı) tuttuğu veri kurumdadır; yol TS7 silme talebidir (Geçmiş → "Verilerimi silmesini iste").


8. Değişmezler ​

#Değişmez
WL1Belge sahibi anahtarları seed'den türetilmez; güvenli bölgeden çıkmaz.
WL2Yedek belgeleri ve manifestoyu taşır; anahtarları taşımaz — cihaz değişiminde belgelerin yeniden verilmesi gerekir.
WL3W1 (yazılım anahtarlı) cüzdan desteklenmez.
WL4presentation_log sunucuya ve otomatik olarak hiçbir koşulda çıkmaz, sunucu yedeğine girmez; yalnız kişinin başlattığı, kişinin parolasıyla şifreli dışa aktarmada (TS10) cihazdan çıkar (ADR-0027).
WL5Bir doğrulayıcıya her zaman aynı kopya; farklı doğrulayıcıya farklı kopya.
WL6Aynı doğrulayıcı + aynı vct için disclosure seti tutarlıdır.
WL7Kullanıcı eylemi olmadan yenileme yalnızca ADR-0023 AR1–AR4 koşullarında yapılır.
WL8Aşırı talep uyarısı ayrı görsel blok + gecikmeli düğme gerektirir.
WL9Sunum anında şema sunucusuna istek yapılmaz.
WL10Tamga kullanıcı adına kurtarma anahtarı tutmaz.
WL11Her sunum PIN veya biyometri onayı gerektirir.
WL12Geçiş kartı jetonu (tamga-pass+jwt) kişisel veri taşımaz: yalnızca iss (opak pass_id), aud, iat, exp (≤ 60 s), jti; belge içeriği ve claim'ler QR'a girmez (ADR-0012).
WL13Geçiş kartı yalnızca güven listesinde kayıtlı bir RP/terminal grubu için üretilir ve kayıt anında verilen rıza süreli (≤ 6 ay) ve kapsamlıdır; kullanıcı rızayı istediği an geri alır (grant silinir). WL11'in tek istisnasıdır.
WL14Her geçiş kartı gösterimi presentation_log'a yazılır (WL4 kapsamında, cihazda); Göster ekranı canlı saat ve süre gösterir.
WL15Site takma ad anahtarları belge sahibi anahtarı değildir: yalnız ADR-0031 tohumundan site ve sıra başına türetilir, kalıcı saklanmaz; tohum yalnız cihazın güvenli deposunda durur, yedeğe, taşıma dosyasına ve hiçbir sunuma girmez.

Güvenlik ve Mahremiyet Notları ​

Kurtarma, holder binding'in en zayıf noktasıdır. §1.2'deki muhakeme tekrarlanmalıdır: kolay kurtarma isteyen her tasarım önerisi, "bu, belgeyi devredilebilir kılar mı?" sorusundan geçmelidir. Cevap evet ise reddedilir.

Yedek boyutu bir sinyaldir. Sunucu, blob boyutundan kaç belge olduğunu tahmin edebilir. Azaltma: yedek sabit boyutlu bloklara doldurulur (padding).

Yapışkan eşleme bir liste tutar. verifier_map, kullanıcının hangi doğrulayıcılara sunum yaptığını içerir — presentation_log kadar hassastır ve aynı kurallara tabidir (cihazda kalır, yedeğe girmez).

PIN kilitlenmesi bir DoS yüzeyidir. Cihazı ele geçiren biri 10 kez yanlış PIN girip cüzdanı kilitleyebilir. Kabul edilmiş risk — alternatifi kaba kuvvet saldırısına açık bırakmak.


Açık Konular ​

  1. Yeni cihazda belgelerin yeniden verilmesi, kurumun hâlâ o kişiyi tanımasını gerektiriyor. Mezun 10 yıl sonra cihaz değiştirirse üniversite ne yapacak? Kurumsal süreç sorusu → PM-GTM-0001.
  2. W3 (sertifikalı WSCD) devlet aşamasında nasıl tespit edilecek — cihaz attestation'ı mı, ayrı donanım mı? → SPEC-WALLET-0002
  3. Yedeğin sabit boyutlu doldurulması ne kadar maliyetli? Ölçülmeli.
  4. Çoklu cihaz (tablet + telefon) destekleniyor mu? Şu an hayır — her cihaz ayrı belge sahibi anahtarı demek, dolayısıyla her cihaz için ayrı belge verme. Toplu alım bunu kısmen çözebilir ama tasarlanmadı.
  5. verifier_map kullanıcıya gösterilmeli mi? Şeffaflık açısından evet, ama "hangi işverenlere başvurdunuz" listesi telefonu eline geçirene de görünür.

İlgili Dokümanlar ​

SPEC-CRED-0001 · SPEC-CRED-0002 · SPEC-CRED-0003 · SPEC-PROTO-0001 · SPEC-PROTO-0002 · SPEC-SCHEMA-0001 · SPEC-SCHEMA-0002 · SPEC-API-0001 · ARCH-0003 · PM-ASSUR-0001 · PM-GOV-0001 · INVARIANTS


Durum ​

Yürürlükte — sürüm 1.0.0 (2026-10-02).