Zincir dışında bir araya getirilir.
Paralel doğrulanır.
Sırayla işlenir.
Her büyük blok zinciri, her düğümün her işlemi küresel bir duruma karşı yeniden yürütmesini ister. Zycord yürütmeyi zincirin dışına çıkarır: işlem, zincirin dışında sunucular arasında bir araya getirilir, okuduğu ve yazdığı her şeyle birlikte eksiksiz gelir, herhangi bir makine onu yalnızca baytlardan denetler ve tek bir döngü sonucu işler.
İşlem bir sertifikadır
“Bunu yürüt” demez. “Şunu okudum, bunu yazdım, kanıtı da burada” der. Herkes yeniden hesaplayıp karşılaştırır.
program, reads üzerinde yeniden yürütüldüğünde tam olarak writes çıkıyor. Disk yok, geçmiş yok.reads hâlâ duruma uyuyor mu?İki eylem, iki aşama
Tasarımın tamamı bu iki soruyu ayırmaktan ibarettir — ve her birini en ucuz olduğu yerde yanıtlamaktan.
Geçerli mi?
Yalnızca sertifikaya bakılarak yanıtlanır. Herhangi bir makinede, aynı anda binlercesi.
- Kurallı imzalar doğrulanıyor
- Yeniden yürütme, yazmalarla örtüşüyor
- Aralık kanıtları kapanıyor (korumalı ray)
- Geçersiz: bloğa hiç girmez
Uygulanabilir mi?
Sertifikanın bloktaki konumunda, baytlar durum tablosuyla karşılaştırılarak yanıtlanır.
- Okumalar hâlâ örtüşüyor → yazmalar işlenir
- Bayat okumalar → atlama (skip), underwriter'ın ücretini yakar
- Hücre zaten harcanmış → atlama
- Blok her durumda geçerli kalır
Akış, doğuştan deftere
Sunucular arasında oluşturma
İsteği cüzdan açar. Yoğun her sözleşmenin kendi sıralayıcısı vardır — sıradan bir uygulama sunucusu — ve bu sıralayıcı durumun bir kopyasını tutar, kimin önce hareket edeceğini sıraya koyar ve her sertifikayı bir öncekinin yazmalarına zincirler. İki sözleşmeye dokunan bir işlem, iki sıralayıcı tarafından birlikte oluşturulur ve zincire tek bir bölünmez sertifika olarak ulaşır.
Underwriter imzalar
Teminatlı fonları olan bir underwriter, taze duruma karşı denetler, birlikte imzalar ve atlama (skip) riskini üstlenir. Göndericiden ücreti bant dışında tahsil eder ve fiilen bir ön onay satar. Aracı istemeyen herkes kendi teminatıyla kendi kendinin underwriter'ı olur — her zaman elinin altında, izin istemeden.
Ağ alır ve paralel doğrular
Her düğüm, aktarmadan önce geçerliliği baytlardan denetler. Örneklemede, VRF ile çekilen bir kurul her sertifikayı doğrular; herhangi bir düğüm her şeyi denetleyebilir ve çöpe tanıklık eden bir underwriter'ı cezalandırmak için tek bir mesaj yeterlidir.
Proposer sıralar
Bir PoS kurulu geçerli sertifikaları seçer ve bloğu bir araya getirir. Hiçbir şey yürütmez ve hiçbir uygulama durumu tutmaz. Yalnızca TTL penceresi içinde görülen kimlikleri hatırlar. Zorunlu kuyruktaki sertifikalar F blok içinde dahil edilmek zorundadır.
Sıralı fold
(underwriter, seq, id) ölçütüne göre sıralar — sırayı proposer seçmez. Her sertifika için: okumalar duruma uyuyor mu? Denetim noktaları her 32 blokta bir kesinleştirir.
Kim ne yapar
Ağın güvenliği için hiçbir rol zorunlu değildir. Hepsi ortadan kaybolursa, zorunlu kuyruk sistemi ayakta tutar.
Cüzdan
- Yapar
- Sertifikayı oluşturur, okuma ve yazmaları bildirir, imzalar
- Görür
- Okuması gereken açık durumu
- Güvenir
- Hiç kimseye
Sıralayıcı
- Yapar
- Yoğun bir sözleşmeyi zincir dışında sıraya koyar, yığınları tek bir sertifikaya paketler
- Şunun için güvenilir
- Yalnızca canlılık. Yalan söylerse sertifika atlanır ve teminat öder
- Yakalar
- Kendi uygulamasının MEV'ini, açıkça
Underwriter
- Yapar
- Birlikte imzalar ve atlama (skip) riskini bir teminatla üstlenir
- Görür
- Hücreler canlı mı harcanmış mı — gizli değeri asla
- Kaybeder
- Yalnızca baytlarda kanıtlanabilir bir kusur için (çelişkili imza)
Doğrulayan düğüm
- Yapar
- Geçerliliği baytlardan denetler, aktarır, eşitler
- İhtiyaç duyar
- Çekirdeklere. Duruma yalnızca işleyecekse
- Maliyet
- Ağ büyüdükçe düşer, çünkü bir dilim doğrular
Proposer (PoS)
- Yapar
- Geçerli sertifikaları sıralar, fold'u çalıştırır, bloğu önerir
- Görür
- Baytları, anlamı değil
- Kazanır
- Sübvansiyon + uygulananlardan öncelik ücreti
Zorunlu kuyruk
- Yapar
- İzinsiz bir çıkış: teminat yatır, F blok içinde dahil edil, uygulanması güvence altında
- Maliyet
- Gecikme ve mahremiyet
- Güvence verir
- Hiçbir işletmeci bir hapishane değildir
Sıralı yola dokunmadan mahremiyet
Açık bir çizge üzerinde, tek kullanımlık bir adresle Gizli İşlemler. Değeri gizler. Alıcıyla bağı erteler. Monero değildir ve makale bunu söyler.
Açık kalan ne
- Bir ödemenin gerçekleştiği ve onu kimin underwrite ettiği
- Harcama anında hangi çıktının harcandığı
- Açık ray ile korumalı ray arasındaki her geçiş, değeri açıkta olmak üzere
- Ücretler, coinbase, sözleşmelere yapılan ödemeler
Korumalı havuz bir çit, bir alarm değil
Fold hiçbir zaman eğri aritmetiği yapmaz. 32 baytlık taahhüdü saklar ve eşitlik için karşılaştırır. Bütün ağır kriptografi — aralık kanıtları, denge denklemi — paralel aşamada doğrulanır ve ucuz piyasada ödenir.
Makalenin kabul ettiği ödünleşim
Mahremiyet ve sansüre direnç aynı sertifikada bir arada bulunmaz. Özel kip (birlikte imzalı), sizi geri çevirebilecek bir işletmeciye sahiptir. İzinsiz kip (kendi kendine underwrite edilmiş ya da zorunlu) teminat cüzdanınızı açık eder. Her underwriter tarafından geri çevrilen biri, harcama hakkını korur ve aynı hamlede mahremiyetini yitirir.
Neden halka imzaları yok
Bir halka, başkalarının çıktılarına gönderme yapar — bu, geçerliliği geçmişin bir işlevi hâline getirir ve durumsuz doğrulamayı öldürür. Zycord bu özellikten vazgeçmez, dolayısıyla mahremiyeti Monero'nunkinden bir gözden kaçırma nedeniyle değil, bir karar gereği daha zayıftır.
Ağ: iki gas piyasası
Her şeyi tek bir açık artırmada ücretlendiren bir zincir, bir kanıt doğrulamasını bir durum yazmasıyla yarıştırır. Burada her kaynağın kendi fiyatı vardır.
Paralel gas
Doğrulamanın bedelini öder: imzalar, yeniden yürütme, baytlar, ağır kanıtlar, kuantum sonrası şemalar.
Sıralı gas
Fold'un bedelini öder: okumaları, yazmaları, kiralamaları denetlemek. Her düğümün sırayla çalıştırdığı tek döngü.
Atlama ücreti yakılır, asla ödenmez
Atlanan bir sertifika proposer'a ödeme yapsaydı, bloğu bir araya getiren kişi çakışma imal ederek kâr ederdi. Yakmak teşviki tersine çevirir: bir atlama yer kaplar ve hiçbir şey kazandırmaz, dolayısıyla geliri en üst düzeye çıkarmak, uygulanmayı en üst düzeye çıkarmak demektir.
Ağa yukarıdan bakış
Birbiriyle örtüşmeyen dört katman: kim sıraya koyar, kim underwrite eder, kim doğrular, kim sıralar. Her biri farklı bir kaynakla ölçeklenir.
Uygulama başına sıralayıcılar
Sıradan web2: websocket'ler, kuyruklar, otomatik ölçekleme. Yoğun sözleşmeleri sıraya koyar ve yığınları GPU'ların iyi doğruladığı biçime paketlerler. Veriyi hiçbir zaman emanet almazlar — durum her zaman yalnızca zincirden yeniden kurulabilir.
Underwriter piyasası
Teminatlı underwriter'lar ön onay satar: “saniyeler içinde uygulanır ya da teminatım öder”. Çelişkili imza, baytlardaki bir kanıtla cezalandırılır; yavaşlık yalnızca itibara mal olur. Gecikme hiçbir zaman el koymaya dönüşmez.
Doğrulama kurulları
Sertifika başına VRF ile çekilir ve geçersiz bir sertifikanın kaçması ihmal edilebilir olacak şekilde boyutlandırılır. Herhangi bir tam düğüm her şeyi denetleyebilir. Cezalandırmak için tek bir mesaj yeter.
PoS kurulu + fold
Blokları önerir, fold'u çalıştırır, denetim noktalarını kesinleştirir. Zorunlu kuyruk, F blok içinde dahil edilmeyi zorunlu kılar ve uygulanmayı güvence altına alır — ağın, yazarı da dahil olmak üzere herhangi bir işletmeciden sağ çıkmasını sağlayan düzenek.