Çok önemli bir belge. Bu "hedefi" tek tek gözden geçirelim. Hızlı slotlar ve hızlı finallikle başlayacağız. Slot süresini kademeli olarak azaltacağımızı düşünüyorum, örneğin. "Bir anda sqrt(2)" formülünü seviyorum (12 -> 8 -> 6 -> 4 -> 3 -> 2, ancak son iki adım daha spekülatif ve yoğun araştırmaya dayanıyor). Burada daha hızlı ya da yavaş gitmek mümkün; Ama en önemli olan, slot süresini, güvenli olduğundan emin olduğumuzda azalttığımız bir parametre olarak görmemizdir; blob hedefine benzer şekilde. Hızlı slotlar yol haritasının en üstündeki kendi şeritlerinde yer alıyor ve pek bir şeye bağlanmıyor gibi görünüyor. Bunun nedeni, yol haritasının geri kalanının slot süresinden oldukça bağımsız olmasıdır: slot süresi 2 saniye mi 32 saniye olursa olsun, yaklaşık aynı şeyleri yapmamız gerekir Ama birkaç kavşak alanı var. Bunlardan biri p2p iyileştirmeleri. @raulvk son zamanlarda Ethereum için optimize edilmiş bir p2p katmanı üzerinde çalışıyor; bu katman, bant genişliği/gecikme dengesi sınırını büyük ölçüde iyileştirmek için silinme kodlaması kullanıyor. Kabaca olarak: günümüz tasarımında, her düğüm birkaç eşten tam bir blok gövdesi alır ve ilk bloku alır almaz onu kabul edip yeniden yayınlayabilir. Eğer "genişlik" (blok gönderen eş sayısı) düşükse, bir kötü eş blok aldığınızda büyük gecikme yaşayabilir. Genişlik yüksekse, gereksiz veri yükü çok fazladır. Silme kodlamasında, k-of-n düzenini seçebilirsiniz, örneğin: her bloğu 8 parçaya bölerek herhangi 4 tane ile tam bloğu yeniden oluşturabilirsiniz. Bu, yüksek genişliğin yedek faydalarının çoğunu sağlar, üstelik yük olmadan. Bu mimarinin yüzde 95'lik blok yayılım süresini büyük ölçüde azaltabileceğini gösteren istatistiklerimiz var, böylece kısa slotları güvenlik tavizi olmadan mümkün kılabilir hale getirebilir (protokol karmaşıklığı artıyor, ancak burada performans artışı ile kod satırları oranı oldukça avantajlı) Bir diğer kesişim alanı ise ePBS, FOCIL ve hızlı onay kuralı ile gelen daha karmaşık slot yapısıdır. Bunların önemli avantajları var, ancak güvenli gecikme maksimumunu slot/3'ten slot/5'e düşürüyorlar. Kayıpları en aza indirmek için işleri daha iyi hale getirmeye yönelik devam eden araştırmalar var (ayrıca not edin: slot süresi sadece slot gecikmesi değil, aynı zamanda ZK ispatlayıcı gecikmesinin sabit maliyet kısmı tarafından da daha düşük sınırlandırılıyor), ancak burada bazı takaslar var. Bunu telafi etmek için araştırdığımız bir yol, her slotta sadece ~256-1024 rastgele seçilmiş doğrulama yapıcısının imza attığı bir mimariye geçmek. Bir çatal seçimi (kesinleştirme) fonksiyonu için bu tamamen yeterlidir. Daha az imza sayısı, toplama aşamasını kaldırmamıza olanak tanır ve slotları kısaltır. Hızlı finallik daha karmaşık (nihai protokol bence mevcut Gasper'dan daha basit ama değişim yolu karmaşıktır). Günümüzde finale ortalama 16 dakika (12 saniye slotu * 32 aralık dönemi * 2,5 dönem) sürer. Amaç, slotları ve finality'yi ayırmak, yani her ikisini ayrı ayrı düşünmemize izin verin ve sonuçlandırmak için tek turlu bir nihai BFT algoritması (Minimmit varyantı) kullanmayı hedefliyoruz. Yani endgame finali zamanı örneğin olabilir. 6-16 saniye. Bu çok müdahaleci bir değişiklik seti olduğundan, plan her değişiklikteki en büyük adımı kriptografi değişimi ile bir paketlemek, özellikle kuantum sonrası hash tabanlı imzalara ve maksimum STARK dostu bir hash (son Poseidon2 saldırılarına üç olası yanıt vardır: (i) tur sayısını artırmak veya Monolit katmanı gibi diğer karşı önlemler uygulamak, (ii) Poseidon1'e geri dönmek, ki bu Poseidon2'den bile daha lindy'dir ve kusurları yoktur, (iii) BLAKE3 veya diğer maksimum ucuz "konvansiyonel" hash kullanırlar. Hepsi araştırılıyor). Ayrıca, bu değişikliklerin çoğunu parça parça uygulamak üzere bir plan var, örneğin. "1-dönem kesinliği" demek, mevcut uzlaşmayı FFG tarzı kesinleştirmeden Minimmit tarzı nihai tamamlamaya geçiş yapmak için ayarlamamız anlamına gelir. Olası bir finallik zaman yörüngesi şudur: 16 dakika (bugün) -> 10m40s (8 saniyelik slotlar) -> 6m24s (tek dönem finali) -> 1m12s (8 slotlu dönemler, 6 saniyelik slotlar) -> 48s (4 saniyelik slotlar) -> 16 saniye (minimmit) -> 8s (daha agresif parametrelerle minimmit) Artımlı yaklaşımın ilginç bir sonucu, slotları kuantum dirençli hale getirmenin nihai kuantum dirençli hale getirmekten çok daha erken bir yol olmasıdır; bu yüzden kuantum bilgisayarlar aniden ortaya çıkarsa kesinlik garantisini kaybederiz, ancak zincir devam eder. Özet: Hem slot süresi hem de kesinlik süresinin kademeli olarak azalmasını bekleyin ve bu değişikliklerin, Ethereum'un slot yapısı ve uzlaşmasının bileşen olarak değiştirilerek daha temiz, basit, kuantum dirençli, kanıtlayıcı dostu, uçtan uca resmi olarak doğrulanmış bir alternatifle "Theseus gemisi" tarzı bir şekilde iç içe geçilmesini bekleyin.