Ethereum Lean əsaslı konsensus yoxlaması layihəsini irəlilədir
Ethereum Lean əsaslı konsensus yoxlaması layihəsini irəlilədir
Google-da bizi seçinWEEX Perspektivi
- Əsas növbəti məsələ bu yoxlanılmış spesifikasiyanın tədqiqat səviyyəsində təhlükəsizlik aləti olaraq qalacağı, yoxsa istehsalat müştərilərinin hazırlanması və yenilənmələrin sınağına daha sıx inteqrasiya olunacağıdır.
- Bazarlar həmçinin işin gələcək Ethereum dəyişikliklərini nə dərəcədə geniş əhatə etdiyini, xüsusilə yenilənmələr Gloas-dakı ePBS kimi daha mürəkkəb konsensus xüsusiyyətləri əlavə etdikcə, izləməlidir.
- Praktik siqnal qısamüddətli ticarət təsiri deyil, Ethereum-un çoxmüştərili arxitekturada uzunmüddətli şəbəkə səviyyəli problem olan müştəri şərhləri arasındakı uyğunsuzluq riskini daha da azalda bilib-bilməyəcəyidir.
Ethereum-un tədqiqat qrupu bildirib ki, Lean 4 teorem isbatlama dilində icraolunan Ethereum konsensus spesifikasiyası yaradan Etheorem layihəsi qarşıdakı üç hard fork versiyası — Fulu, Gloas və Heze — üçün bütün test vektorlarından keçərək yeni mərhələyə çatıb.
Tədqiqat yeniləməsinə görə, layihə Ethereum-un konsensus məntiqini yoxlamaq üçün ənənəvi kod testindən deyil, formal yoxlamadan istifadə edir. Məqsəd məntiqi zəiflikləri erkən aşkar etmək və fərqli müştəri tətbiqlərinin qaydaları fərqli şərh etməsi nəticəsində zəncirin parçalanması ehtimalını azaltmaqdır.
Ən son irəliləyiş vəziyyət keçidləri və fork seçimi daxil olmaqla əsas sahələri əhatə edir. Komanda bildirib ki, məntiq Lean nüvəsi tərəfindən müstəqil şəkildə yoxlanılır və bu, çərçivəni gələcək Ethereum yenilənmələri üçün daha yüksək təminatlı baza qatına çevirir. Elan spesifikasiyanın artıq istehsalat müştəriləri tərəfindən birbaşa qəbul edilib-edilmədiyini bildirməyib və göstərilən fork əhatəsindən əlavə tətbiq qrafikini açıqlamayıb.
Bu iş Ethereum-un dizayn kompromisində məlum zəif nöqtəni hədəfləyir. Ethereum tək dominant kod bazasına deyil, müstəqil hazırlanmış bir neçə müştəriyə əsaslanır; bu, dayanıqlılığı artırır, lakin tətbiqlər protokol dəyişikliklərini səhv başa düşərsə və ya uyğunsuz kodlaşdırarsa, fərqlənmə üçün də imkan yaradır.
Bu risk ekosistem üzrə aktual mühəndislik məsələsi olaraq qalır. Son illərdə Ethereum-un daha geniş inkişaf səyləri, xüsusilə qarşıdakı yenilənmələr texniki baxımdan daha mürəkkəbləşdikcə, uzunmüddətli protokol dayanıqlığının bir hissəsi kimi müştəri müxtəlifliyinə, konsensusun möhkəmləndirilməsinə və formal yoxlamaya getdikcə daha çox diqqət yetirib.
Niyə Vacibdir
Bu yeniləmə istifadəçi yönümlü funksiya buraxılışından çox Ethereum-un təhlükəsizlik infrastrukturuna fokuslandığı üçün əhəmiyyətlidir. Konsensus spesifikasiyasının riyazi olaraq yoxlanılmış sistemdə formallaşdırılması yenilənmələrin etibarlılığını gücləndirə və validatorlara, yekunlaşmaya və şəbəkə koordinasiyasına təsir edən konsensus xətalarının ehtimalını azalda bilər.
Bu, həm də əsas blokçeynlərin protokol riskini idarəetmə üsulunda daha geniş dəyişimi göstərir. Ethereum daha təkmil funksiyalar əlavə etdikcə, yazılı spesifikasiyalarla real dünyadakı müştəri davranışı arasındakı fərqi azaltmaq üçün daha yüksək təminatlı yoxlama üsulları daha vacib ola bilər.
Bu məzmun yalnız ümumi məlumat məqsədilə təqdim olunur və maliyyə, investisiya, hüquqi və ya vergi məsləhəti hesab edilməməlidir. Burada qeyd olunan hər hansı tədbir, mükafat, onlayn kampaniya və ya əlaqəli məlumat hər hansı kriptoaktivin alınması, satılması, treydinqi və ya digər əməliyyatların aparılması üçün tövsiyə, təşviq və ya dəvət kimi qiymətləndirilməməlidir. Kriptoaktivlər yüksək dəyişkənliyə malikdir və maliyyə itkisinə səbəb ola bilər. WEEX-in xidmətləri, məhsulları və əlaqəli tədbirlərinin əlçatanlığı regiondan asılı olaraq dəyişə bilər. İştirakınızın yerli qanunvericilik və tənzimləyici tələblərə uyğun olmasını təmin etmək sizin məsuliyyətinizdir.
WEEX Perspektivi haqqında
WEEX Perspektivi Web3, süni intellekt və qlobal bazarlardakı ən son yenilikləri əhatə edən kripto analitika və məlumat mərkəzidir. Müstəqil araşdırmalar və ətraflı təhlillərlə bazar trendlərini və ticarət imkanlarını qabaqlayın.
Ən son məqalələr
Daha çoxuAlbukerkenin kripto ATM qadağası kripto sahibliyini deyil, köşkləri hədəfləyir
Şəhər və yerli media məlumatlarına görə, Albukerkenin O-26-49 qərarı fiziki kripto köşklərini və kassir vasitəsilə həyata keçirilən virtual valyuta əməliyyatlarını qadağan edir; onlayn kripto sahibliyi və pul kisələri arasında köçürmələr isə icazəli olaraq qalır.
Tiencin məhkəməsi Çyan Çjımin işi üzrə 61 800 BTC üçün bildiriş müddəti açdı
Təqdim olunan məlumata görə, Tiencin İkinci Orta Xalq Məhkəməsi 61 800-dən çox BTC-ni əhatə edən müsadirə ərizəsini qəbul edib və altı aylıq bildiriş müddəti açıb. Bununla yanaşı, Birləşmiş Krallıqda ayrıca mülki bərpa və əmlakın dondurulması prosesi də davam edir.
Pirate Chain-in v6.0.14 bərpa planı son ARRR əməliyyatlarını geri qaytara bilər
Təqdim olunan hesabata görə, Pirate Chain icazəsiz ARRR emissiyasından sonra v6.0.14 versiyasını məcburi edib. Təklif olunan geri qaytarma müəyyən tarixdən sonrakı blokları silə, bununla da bəzi legitim son əməliyyatları ləğv edə bilər.
Coinkite Coldcard toxum yaratma qüsuru ilə bağlı Ontarioda məhkəmə iddiası ilə üzləşib
Təqdim olunan qısa xəbərə görə, Coinkite Coldcard cihazlarında toxum yaratma qüsurları iddiası üzrə Ontarioda irəli sürülən kollektiv iddia ilə üzləşib. Sonrakı mənbə parçaları problemin bir neçə Coldcard modelinin müəyyən proqram təminatı versiyalarına təsir etdiyini və toxum yaradılması ilə əlaqəl...
-- qiyməti
