Büyük bir Arbitrum güncellemesini ayrıştırma: BOLD ile izinsiz doğrulama

Yazar: @francescoweb3; çeviri: Huohuo/yerel blockchain

**Arbitrum giderek merkezi olmaktan çıkıyor: izinsiz doğrulama için BOLD kullanılıyor. **BALD gibi bir isimle bu bir hafta olmayabilir ama bu, Arbitrum'un tasarımında büyük bir güncelleme.

BOLD, Sınırlı Likidite Gecikmesi anlamına gelir ve adından da anlaşılacağı gibi, Arbitrum'a izinsiz doğrulama yetenekleri sağlayan bir "ihtilaf protokolü"dür.

**1. Neden BOLD'a ihtiyacınız var? **

Basit bir ifadeyle, tüm iyimser Toplamalar durumlarını Ethereum'a yerleştirir. **İşlemin geçerli olduğundan nasıl emin olurlar? Sözde dolandırıcılık kanıtı sistemi aracılığıyla. **

Pratikte bu, doğrulayıcılar adı verilen bir dizi varlık aracılığıyla gerçekleşir. Bu doğrulayıcılar, L2'nin durumu hakkında açıklamalar yayınlar ve akıllı sözleşmeler aracılığıyla bu ifadelerin doğru olduğunu onaylar.

Ardından, diğer doğrulayıcıların bu iddialara fiilen itiraz edebileceği 7 günlük bir meydan okuma süresi (veya soğuma süresi) vardır ve bir tutarsızlık olması durumunda anlaşmazlık çözüm süreci başlatılır.

Bir iddia onaylanırsa, L2 durumu doğru kabul edilir ve Ethereum'da ödeme tamamlanır.

Arbitrum ve Ethereum arasındaki yerel köprü için yaklaşık 7 günlük bir gecikmeye neden olan dolandırıcılık kanıtı yoluyla doğrulama işlemidir.

Anlaşmazlık protokolü, tarafların bir L2 işleminin geçerli sonucunu belirlemek için Ethereum'a dolandırıcılık kanıtları sunmasını içerir.

**Sorun nedir? Şu anda, dolandırıcılık kanıtları yoluyla doğrulama hem Arbitrum One hem de Nova'da izin alınması gerekmektedir. **

Bunun nedeni, anlaşmazlık protokolünü hizmet reddi saldırılarından korumaktır. Kötü niyetli bir doğrulayıcı, iddiaların onaylanmasını önlemek için para harcamaya devam ederse, Ethereum'a L2 para çekme işlemleri engellenir ve yeterli paraları olduğu sürece bu süreç neredeyse uzun bir süre devam edebilir.

Buna gecikme saldırısı denir ve "herhangi bir sonucun onaylanmasını engellemeye veya geciktirmeye çalışarak" Toplama protokolünün ilerlemesini durdurmaya çalışır. Bu saldırı, doğrulayıcıların hileli kanıtlar sunmasını önlemek için tasarlanmıştır, böylece L2 durumu onaylanamaz ve Ethereum'a yerleştirilemez.

Gerçekten de izinsiz doğrulamaya geçiş, BOLD gibi saldırıları geciktirmeye dirençli bir protokol gerektirir.

BOLD, izin gerektirmeyen yeni bir L2 doğrulama yöntemidir.

Arbitrum'un şunları yapmasını sağlar:

Zincirin güvenliğini ve canlılığını garanti edin

Durum yerleşimindeki gecikmeyi en aza indirin

Dürüst olmayan tarafların maliyetleri dürüst taraflara artırmasını önleyin.

Aslında BOLD, gecikme saldırılarına karşı bağışık olan "sabit, 7 günlük ek gecikmeli onay" sağlayarak Arbitrum zincirinin dağıtılmasına yardımcı olabilir.

Bunu, tek bir dürüst doğrulayıcının bile herhangi bir sayıda kötü niyetli iddia içeren bir anlaşmazlığı kazanabileceği verimli "hepsinden herkese anlaşmazlıkları" mümkün kılarak başarır.

Bu nedenle BOLD, birden çok taraf arasındaki anlaşmazlıkları önceki bire bir zorluklara dayanmadan tek bir süreçte verimli bir şekilde çözebilir.

BOLD, belirli bir bildiriyi destekleyen tüm taraflardan "bir takım olarak" birlikte savaşmalarını ister.

Bu nedenle, BOLD'daki herhangi bir ihtilaf, belirli bir pay sahibi veya varlıkla değil, L2 durumunun "belirleyici" yürütülmesiyle ilgilidir.

Bu, bir durumla aynı fikirde olan herkesin, tek bir tutarsızlık noktası bulmadan önce onu haklı çıkarabileceği anlamına gelir.

Bu nedenle, BOLD'daki anlaşmazlıklar tüm ekibin bir parçası olarak yürütüldüğünden, ekip adına kararlaştırılan herhangi bir eylem her dürüst ekip üyesi tarafından desteklenir.

Doğru bir L2 durumunun deterministik doğası, kötü niyetli taraflar işlem yürütme kanıtlarını taklit edemediğinden, dürüst tarafların katılmaları halinde her zaman kazanacağı anlamına gelir. Bu tasarım daha verimlidir, çünkü her bir taraf "tarafın kasıtlı olarak meydan okumada başarısız olacağından endişe etmeden, kendi konumunu temsil etmesi için diğerlerine sessizce güvenebilir".

BOLD'un derinlemesine anlaşılması

BOLD protokolü, farklı taraflar arasında bir meydan okuma protokolü olarak görülmek yerine, katılımcıların amacının kazanan olarak doğru kenarı seçmek olduğu "uçlar" arasında bir rekabet olarak anlaşılmalıdır.

Arka planda bu süreç nasıl işliyor?

1. "Edge", meydan okuma protokolündeki ana veri yapısıdır.
2. BOLD'un amacı, doğru hesaplamalara karşılık gelen kenarları doğrulamak ve yanlış kenarların onaylanmasını önlemektir.
3. BOLD, bir kenarın durumunu izler, ancak bir kenarı belirli bir tarafa bağlamaz.
4. Kenarlar, doğru uygulamayla ilişkilerine göre sınıflandırılır.
5. Protokol, kenarın hangi kategoriye ait olduğunu bilmez, ancak dürüst katılımcılar anlayabilir.
6. Bir kenarın "Başlangıç Geçmişi Taahhüdü" ve "Bitiş Tarihi Taahhüdü" vardır.
7. Bir kenar, hem başlangıcı hem de sonu doğruysa kanıtlanabilir, yalnızca başlangıcı doğruysa sapkındır ve her ikisi de yanlışsa ilgisizdir.
8. Protokolü gerekçelendirmek için: 8.1 Güvenlik Teoremi: Herhangi bir sınırdan sapma doğrulanamaz. 8.2 Tamamlanma Zamanı Teoremi: Dürüst kenarlar, bazı son tarihlerden önce doğrulanabilir.

BOLD altyapısı

2. Sonuç

BOLD, doğrulayıcı sonuçlara bağlı olarak optimum bir gecikme sağlar ve ayrıca dürüst tarafların ihtiyaç duyduğu işi, düşman tarafça el konulan faydalar açısından doğrusal olarak sınırlar.