İçeriğe geçBlockAssay

Yetki ve yükseltme tasarımı

P12-L03 · P12 · P12-M01

Kontrolü koruma, devretme ve kaldırma dengelerini açıklayın

ILLUSTRATIVE · needs_review

Ö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

SPECIFICATION_ONLY · ILLUSTRATIVE

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
Birincil kaynağı aç
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
Birincil kaynağı aç
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.

Gerekçeni sınama

P12-L03-Q1 · M kaldırıldı ama U kaldı. Hangi beyan uygundur?
P12-L03-Q2 · Bu kâğıt haritada 2-of-3 neyi kanıtlar?
P12-L03-Q3 · Uygulama/yönetici yolları neden incelenmeli?
P12-L03-Q4 · Korunan duraklatma rolü neyi açıklamalı?
P12-L03-Q5 · Hangi çift canlı kaldırma beyanını destekler?