İçeriğe geçBlockAssay

Donanım cüzdanları ve hesap ayrımı

P03-L06 · P03 · P03-M02

Ayrım iş akışı tasarlamak ve kalan risklerini belirtmek

ILLUSTRATIVE · needs_review

Ön koşullar: P03-L05

Öğrenme hedefleri

  • Ayrım iş akışı tasarlamak ve kalan risklerini belirtmek
  • Kimlik bilgileri vermeden rol ayrımı tasarlamak.
  • Kalan onay, kurtarma ve arayüz risklerini belirlemek.

EN kaynak master · P03-L06 · needs_review

Yalnızca çevrimdışı/salt okunur çalışma. Gizli bilgiler, parolalar veya kimlik doğrulama kodları vermeyin. Cüzdan bağlantısı, gerçek onay, canlı yetki iptali, işlem imzası, transfer, fon veya alım satım yoktur. Görseller yalnızca spesifikasyondur.

Neden önemli

İmzalama rollerini ayırmak rutin olarak açığa çıkan yetkiyi azaltabilir; ancak fayda gerçek yeteneklere ve ortak bağımlılıklara bağlıdır. Donanım cihazı evrensel güvenlik hükmü değildir.

Açıklama

Anahtarları istenen eylemden ayırın

Üretici dokümantasyonu donanım içinde imzalamayı ve güvenilir ekranı kontrol etmeyi anlatır [HW]. Bu mekanizma açıklamasıdır; desteklenen her talebin güvenli veya tam anlaşılır olduğunun kanıtı değildir. Anahtarları cihaz içinde tutmak, bilerek veya yanlışlıkla kabul edilen zararlı yetkilendirmenin sonuçlarını kaldırmaz.

Rolleri kâğıt üzerinde tasarlayın

Öğretim verisi salt izleme rolü, etkileşim rolü ve rezerv imzalama rolü kullanır. Her birinin gereken görevlerini listeleyin: herkese açık inceleme, uygulama etkileşimi veya seyrek yetkilendirme. Ekranı bakiye gösteriyor diye rolün bir eylemi yapabildiğini varsaymayın. Alıştırmada hesap oluşturulmaz, fon taşınmaz.

İki imzalama rolünün tek kurtarma yeteneğini paylaştığı A tasarımını, öğretim verisinin ayrı yetenekler verdiği B tasarımıyla karşılaştırın. Etiketlerin veya adreslerin ayrımı, mutlaka aksaklık alanlarını ayırmaz. Ortak kurtarma yeteneği açığa çıkarsa öğretim verisinin iki rolü aynı gizli bilgiye bağlıdır. BIP-39 kurtarma türetme mekanizmasını açıklar [BIP39]; her cüzdanın türetmesi veya bağımsızlığı hakkında garanti değildir.

Kalan riskleri adlandırın

B tasarımında bile güvenilmeyen istem etkileşim rolünden aşırı izin isteyebilir. İnceleme başarısız olursa rezerv rolü de zararlı etkileri yetkilendirebilir. Ekran desteği, firmware/yazılım kökeni, fiziksel kullanım ve gizli yedeklerin işlenmesi ayrı bağımlılıklardır. Öğretim verisi gerçek ürün veya güncel firmware değerlendirmesi sağlamaz.

Sıfır risk iddiası yerine bağımlılık matrisi kullanın. Kart iki rolün kurtarma yeteneğini paylaşıp paylaşmadığını belirtmiyorsa ilişkiyi UNKNOWN işaretleyin. Belirlemek için öğrenciden yedek girmesini asla istemeyin. Sınıf alıştırması için gizli bilgilerden arındırılmış mimari beyan yeterlidir.

Sınırları belirli faydayı belirtin

OBSERVED: verilen rol/yetenek satırları. INFERRED: belirtilen ortak bağımlılığın ayrım modelini nasıl etkilediği. UNKNOWN: gerçek cihazlar, yedekler ve operasyonel davranış. INSUFFICIENT EVIDENCE: ‘donanım güvenliği garanti eder’. Ayrım, varsayımlarla değerlendirilecek iş akışı tasarımıdır; kişiye özel finansal yönlendirme veya gerçek bakiyeleri aktarma talimatı değildir.

Terimler

  • Salt izleme: verilmiş imzalama yeteneği olmayan gözlem rolü.
  • İmzalama rolü: yetenekle sınırlı yetkilendirme işlevi.
  • Aksaklık alanı: birkaç rolü etkileyebilen ortak bağımlılık.
  • Güvenilir ekran: kendi destek sınırları olan cihaz içi inceleme yüzeyi.

Tarihsel örnek

ILLUSTRATIVE kâğıt tasarımlar. Roller WATCH/INTERACT/RESERVE. WATCH yalnızca herkese açık bulucular içerir. A tasarımı: INTERACT ve RESERVE aynı verilmiş RECOVERY-CAP-A yer tutucusunu kullanır. B tasarımı: ayrı yer tutucu yetenekler CAP-B/C; gerçek gizli bilgi yok. İkisinde de cihaz inceleme adımı var; çözümleme/görüntüleme kapsamı UNKNOWN. Bakiye veya gerçek hesap sunulmamıştır.

Görsel özellikler

Türlendirilmiş görüntüler/yetkilendirir/ortak kurtarma bağlantıları içeren cüzdan rol grafiği. A tasarımı tek gizli bağımlılık düğümü paylaşır; B tasarımı verilen tanım altında ayırır. İkisine de kalan istem/ekran/köken risklerini ekleyin; yeşil ‘garantili güvenli’ rozeti asla kullanmayın.

Kanıtın gösterdikleri

İki örnekleyici tasarımda verilen rol atamaları ve ortak bağımlılık farklılıkları.

Kanıtın göstermedikleri

Gerçek hesap bağımsızlığı, zararlı imzalamaya karşı bağışıklık, güvenli firmware, kurtarma doğruluğu veya garantili koruma.

Yaygın hatalar

  • Farklı adresleri bağımsız gizli bilgiler varsaymak.
  • Donanımın her zararlı yetkilendirmeyi önlediğini varsaymak.
  • Mimari ayrımı kanıtlamak için yedek toplamak.

Uygulamalı alıştırma

A/B için rol/yetenek matrisi oluşturup üç kalan risk listeleyin. İzleme rolünün ne yapabildiğini değerlendirin. Gizli bilgi istemeden veya gerçek transfer önermeden sınırları belirli fayda ifadesi yazın.

Yalnızca sunulan çevrimdışı malzemeyi kullanarak tablo ve sınırları belirtilmiş sonuç teslim edin. Editoryal süre dağılımı: çalışma 12 dk, alıştırma 8 dk, düzeltme/quiz 10 dk.

Açıklamalı düzeltmeyi göster

WATCH sunulan herkese açık bulucuları inceleyebilir; verilmiş imzalama yeteneği yoktur. A, iki imzalama rolü için tek kurtarma bağımlılığı paylaşır; bu yüzden adres etiketleri tek başına o aksaklık alanını ayırmaz. B ayrı yetenekler verir ve bu belirli bağımlılığı ayırır; ancak zararlı istemler, inceleme boşlukları ve köken sorunları kalır. Donanım güvenliği garantileri INSUFFICIENT EVIDENCE; gerçek uygulamalar UNKNOWN durumundadır.

Ölçüt: doğru kapsam, kaynak kökeni, gerekçe, açık sınırlamalar ve güvenli çevrimdışı kullanım; her biri bir puan. Uydurulmuş gözlemler veya desteklenmeyen kimlik atfı, puandan bağımsız olarak düzeltme gerektirir. Yalnızca öğrenme amaçlıdır.

Kontrol listesi

  • Rol etiketlerinden önce görevleri tanımlayın.
  • Görüntülemeyi yetkilendirmeden ayırın.
  • Ortak bağımlılıkları gizli bilgi olmadan kaydedin.
  • Kalan inceleme/köken risklerini listeleyin.
  • Faydaları koşullu ve çevrimdışı tutun.

Özet

Rol ayrımı yetenekleri ve bağımlılıkları izlemelidir. Donanım yalıtımı belirli güvenlik mekanizmasını destekler; yetkilendirme, yedek ve arayüz riskleri kalır.

Özet

  • Ayrım iş akışı tasarlamak ve kalan risklerini belirtmek
  • Kimlik bilgileri vermeden rol ayrımı tasarlamak.
  • Kalan onay, kurtarma ve arayüz risklerini belirlemek.

Sonraki ders

P03-L07 — ön koşullar ve düzeltme gözden geçirildikten sonra.

Araçlar

Yetkili katalogda NONE. Sunulan çevrimdışı veriler yeterlidir; ürün satın almak veya cüzdan işlemi yapmak gerekmez.

Kaynaklar ve iddia sınırları

Dokümantasyon, mekanizmaları açıklar. Tarihsel kayıtlar, beyan edilen kaynak sınıfını korur. Kaynak incelemesi, bağımsız editoryal kabul değildir.

Görsel özellikler

P03-L06-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Ayrım iş akışı tasarlamak ve kalan risklerini belirtmek

ILLUSTRATIVE gizli bilgilerden arındırılmış çevrimdışı kartlar; canlı ekran değil

Türlendirilmiş görüntüler/yetkilendirir/ortak kurtarma bağlantıları içeren cüzdan rol grafiği. A tasarımı tek gizli bağımlılık düğümü paylaşır; B tasarımı verilen tanım altında ayırır. İkisine de kalan istem/ekran/köken risklerini ekleyin; yeşil ‘garantili güvenli’ rozeti asla kullanmayın.

Türlendirilmiş görüntüler/yetkilendirir/ortak kurtarma bağlantıları içeren cüzdan rol grafiği. A tasarımı tek gizli bağımlılık düğümü paylaşır; B tasarımı verilen tanım altında ayırır. İkisine de kalan istem/ekran/köken risklerini ekleyin; yeşil ‘garantili güvenli’ rozeti asla kullanmayın.

390px genişlikte alt alta kartlar/metin eşdeğeri; 768px/masaüstü görüntüleme kabulü bekleniyor

RTL yönünde metin; tanımlayıcılar LTR olarak yalıtılır; olgusal bağlantı yönleri korunur

FIX-P03-L06

Kaynaklar ve iddia sınırları

HW · PRIMARY_DOCUMENTATION

Trezor donanım cüzdanı dokümantasyonu

Desteklenen iddia
Cihaz içinde yalıtılmış imzalama ve güvenilir ekran; üretici açıklaması, güvenlik garantisi değil.
Doğrulama sınırı
Birincil kaynak, ilgili mekanizma veya kaynağı belirtilmiş açıklama için incelenmiştir; örnekleyici verilerin gerçekliğini doğrulamaz.
Kontrol tarihi
2026-10-01
Birincil kaynağı aç
https://trezor.io/learn/basics/what-is-a-hardware-wallet

BIP39 · PRIMARY_DOCUMENTATION

BIP-39 mnemonik seed spesifikasyonu

Desteklenen iddia
İsteğe bağlı ek parolayla mnemonikten seed türetme; öğretim verisi gerçeklik doğrulaması değil.
Doğrulama sınırı
Birincil kaynak, ilgili mekanizma veya kaynağı belirtilmiş açıklama için incelenmiştir; örnekleyici verilerin gerçekliğini doğrulamaz.
Kontrol tarihi
2026-10-01
Birincil kaynağı aç
https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki

Veri kaynağı

id: FIX-P03-L06

dataStatus: ILLUSTRATIVE

source: Original embedded offline cards; no real observations

observedAt: null

timeBasis: SIM/T markers are fictional order, not UTC timestamps

Gerekçeni sınama

P03-L06-Q1 · WATCH bakiye gösterdiği için harcayabilir mi?
P03-L06-Q2 · A tasarımının kurtarma alanları tam bağımsız mı?
P03-L06-Q3 · Donanım zararsız yetkilendirmeleri garanti eder mi?
P03-L06-Q4 · Bu sınıfta ortak kurtarma nasıl kanıtlanır?
P03-L06-Q5 · B'nin faydası tüm risklerin kaldırılması demek mi?