P12-L03 · P12 · P12-M01
Kontrolü koruma, devretme ve kaldırma dengelerini açıklayın
Ön koşullar: P12-L02
Öğrenme hedefleri
- Kontrolü koruma, devretme ve kaldırma dengelerini açıklayın
- Korunan her kontrolü eşleyin ve önerilen yetki kaldırmanın neleri kaldırıp kaldırmadığını açıklayın.
Neden önemli
Proxy yöneticisi, ayrı basım rolü veya duraklatma yetkisi kalıyorsa “vazgeçildi” eksik kontrol açıklamasıdır. İzin haritası etkilenen işlevi ve ilgili tüm yolları gerektirir.
Açıklama
Yetenek envanteri oluşturun: basım, yakım, duraklatma, kara liste veya aktarım kısıtları, metaveri güncellemesi, ücret değişimi ve uygulama yükseltmesi. Bazı yetenekler bulunmayabilir; yokluk eksik arayüz düğmesi değil, uygulama kanıtı gerektirir. Her yolu kullanabilen rol veya yetkiyi, delegasyon/kurtarma yolunu ve değiştirme koşullarını belirtin.
Yetki kaldırma belirli yetenekle sınırlıdır. Token sahiplik yetkisini kaldırmak proxy yükseltme yöneticisini veya başka ayrıcalıklı rolü kendiliğinden kaldırmaz. Standart proxy yuvaları belirli uygulama/yönetici alanlarını bulmaya yardımcıdır; özel tasarımlar kendi kanıtını gerektirir. Çoklu imza ve gecikme düzenlemeleri yürütme koşullarını değiştirebilir; bağımsız imzacıları kanıtlamaz veya tüm ele geçirilme riskini gidermez.
Önerilen her korunan kontrolün pratik sonucunu ve neden var olduğunu açıklayın. Her devir veya kaldırmada kalan yolları ve gereken doğrulamayı listeleyin. Geri döndürülemez görünen beyanı güvenlik puanına dönüştürmeyin. Ders rol değiştirmez veya işlem yürütmez.
Terimler
Yetenek: belirli yoldan erişilebilen ayrıcalıklı eylem.
Rol kaldırma: tek yetkilendirme ilişkisinin kaldırılması.
Yükseltme yolu: uygulama davranışını değiştirebilen mekanizma.
Kalan kontrol: belirtilen değişimden sonra kalan yetenek.
Tarihsel örnek
ILLUSTRATIVE Cedar haritası: basım rolü M; duraklatma rolü P; proxy yöneticisi U; metaveri düzenleyicisi D. Önerilen değişim M’yi kaldırıp P, U, D’yi korur. U, 24 saat gecikmeli 2-of-3 olarak tanımlanır; imzacı bağımsızlığı ve dağıtılmış uygulama kanıtlanmamıştır.
Görsel özellikler
Önerilen M kaldırması öncesi/sonrası M, P, U, D düğümlü sözleşme izinleri haritası. U/P/D’yi düz korunan yollar olarak tutun;2-of-3/24h ifadelerini doğrulanmamış tasarım varsayımları olarak açıklayın.
Başlık: Kurgusal role özgü kaldırma; korunan yükseltme ve duraklatma yolları görünür kalır.
SPECIFICATION_ONLY — görsel henüz üretilmemiş veya bağımsız olarak incelenmemiştir.
Kanıtın gösterdikleri
Kurgusal harita önerilen basım rolü kaldırmasının belirtilen üç yeteneği bıraktığını açıkça gösterir. 2-of-3 ve gecikme yalnızca tasarım iddiasıdır.
Kanıtın göstermedikleri
Dağıtılmış rol durumu, doğrulanmış çoklu imza, gerçek kaldırma, kalıcı arz garantisi veya bağımsız imzacı kanıtı yoktur. Önerilen uygulama izin verirse U davranışı değiştirebilir.
Yaygın hatalar
M kaldırmasına “tüm kontrol kaldırıldı” demek; çoklu imza etiketini bağımsız insan kanıtı saymak; gecikmeyi denetim saymak; metaveri veya ücret yollarını yok saymak.
Uygulamalı alıştırma
Önce/sonra yetenek satırları üretin ve “Cedar tüm yetkilerden vazgeçmiştir ve değişemez” ifadesini yeniden yazın. Canlı yetki kaldırma iddiasından önce gereken iki kontrolü belirtin.
Açıklamalı düzeltmeyi göster
Önce: M basım, P duraklatma, U yükseltme, D metaveri. Önerilen değişim sonrası: varsayımla M kaldırılır; P/U/D korunur. Düzeltilmiş açıklama: “Örnek tasarım duraklatma, yükseltme ve metaveri kontrollerini koruyarak basım rolünün kaldırılmasını önerir; canlı yetkilendirme durumu veya işlem doğrulanmamıştır.” Sabit blokta kesin uygulama/rol depolamasını ve kaldırma makbuzunu kontrol edin, sonra kalan yükseltme/delegasyon yollarını inceleyin. 2-of-3/24h beyanı gerçek sözleşme ve imzacı politikası kanıtı gerektirir.
Kontrol listesi
- Önemli her ayrıcalıklı yolun envanterini çıkarın.
- Role özgü kaldırmayı ve kalan kontrolü açıklayın.
- İmzacı ve gecikme varsayımlarının sınırlarını belirtin.
- Tasarım iddialarını dağıtılmış durumdan ayrı tutun.
Özet
Kontrol açıklaması yeteneğe özgüdür; tek kaldırılmış rol değişmez veya yetkisiz varlık kanıtlamaz.
Özet
- Yetki kaldırmanın kapsamı vardır.
- Yükseltme ve delegasyon yolları kontrolü koruyabilir.
- Çoklu imza etiketi imzacı bağımsızlığını kanıtlamaz.
Sonraki ders
P12-L04
Araçlar
Adı belirtilen BlockAssay aracını yalnızca kanıt okuma bağlamı olarak kullanın. Bu ders araç çıktısı, hesap oturumu veya erişim hakkı oluşturmaz. Çevrimdışı alıştırmadır; hiçbir şeyi imzalamayın, dağıtmayın, onaylamayın veya fonlamayın.
Kaynaklar ve iddia sınırları
- PROXY: ERC-1967 proxy depolama yuvaları — Standartlaştırılmış uygulama/yönetici yuvaları; tek rolden vazgeçmek tüm yükseltme yollarının devre dışı olduğunu kanıtlamaz. Sınır: Yalnızca mekanizma belgeleri; özgün örnek değerler belirtilmiş varsayımlardır, gözlem değildir. Tarihsel kayıtların ayrı sabitlenmiş kaynak geçmişi ve açık veri toplama boşlukları vardır.
- ERC20: ERC-20 standardı — Token arayüzü ve harcama izni anlamı; standart ihraççı kimliğini veya güvenli izinleri kanıtlamaz. Sınır: Yalnızca mekanizma belgeleri; özgün örnek değerler belirtilmiş varsayımlardır, gözlem değildir. Tarihsel kayıtların ayrı sabitlenmiş kaynak geçmişi ve açık veri toplama boşlukları vardır.
Kanıt sınıfları
ILLUSTRATIVE — tamamen kurgusal çevrimdışı girdiler; güncel gözlem yok.
Gözlem tarihi
null — gerçek gözlem yok
İçerik sürümü
1
İnceleme tarihi
null
İnceleme durumu
needs_review
Görsel özellikler
P12-L03-V01
Kontrolü koruma, devretme ve kaldırma dengelerini açıklayın
Kurgusal role özgü kaldırma; korunan yükseltme ve duraklatma yolları görünür kalır.
Önerilen M kaldırması öncesi/sonrası M, P, U, D düğümlü sözleşme izinleri haritası. U/P/D’yi düz korunan yollar olarak tutun;2-of-3/24h ifadelerini doğrulanmamış tasarım varsayımları olarak açıklayın.
Önerilen M kaldırması öncesi/sonrası M, P, U, D düğümlü sözleşme izinleri haritası. U/P/D’yi düz korunan yollar olarak tutun;2-of-3/24h ifadelerini doğrulanmamış tasarım varsayımları olarak açıklayın.
390 px boyutunda gözlemleri, varsayımları, boşlukları ve sonucu üst üste yerleştirin; tam kimlikleri ve eksiksiz metin karşılığını koruyun. Geniş tablolar kendi alanında kaydırılır.
Düzyazı RTL yönünü izleyebilir; kimlikler, miktarlar ve zaman eksenleri LTR kalır. Bağımlılık yönünü koruyun.
P12-L03-ILLUSTRATIVE-v1
Kaynaklar ve iddia sınırları
PROXY · PRIMARY_DOCUMENTATION
ERC-1967 proxy depolama yuvaları
- Desteklenen iddia
- Standartlaştırılmış uygulama/yönetici yuvaları; tek rolden vazgeçmek tüm yükseltme yollarının devre dışı olduğunu kanıtlamaz.
- Doğrulama sınırı
- Yalnızca mekanizma belgeleri; özgün örnek değerler belirtilmiş varsayımlardır, gözlem değildir. Tarihsel kayıtların ayrı sabitlenmiş kaynak geçmişi ve açık veri toplama boşlukları vardır.
- Kontrol tarihi
- 2026-10-02
https://eips.ethereum.org/EIPS/eip-1967
ERC20 · PRIMARY_DOCUMENTATION
ERC-20 standardı
- Desteklenen iddia
- Token arayüzü ve harcama izni anlamı; standart ihraççı kimliğini veya güvenli izinleri kanıtlamaz.
- Doğrulama sınırı
- Yalnızca mekanizma belgeleri; özgün örnek değerler belirtilmiş varsayımlardır, gözlem değildir. Tarihsel kayıtların ayrı sabitlenmiş kaynak geçmişi ve açık veri toplama boşlukları vardır.
- Kontrol tarihi
- 2026-10-02
https://eips.ethereum.org/EIPS/eip-20
Veri kaynağı
id: P12-L03-ILLUSTRATIVE-v1
dataStatus: ILLUSTRATIVE
observedAt: null
source: Original offline scenario in realOrHistoricalExample
scope: Fictional stipulated labels and values. No wallet, deployment, transaction, token launch or production observation.