Sözlük
Sertifika, fold, atlama (skip), underwriter, hücre. Bunların birkaçı burada başka yerlerdekinden daha dar bir anlam taşır ve bir ikisi, çoğu zincirin karşılığı olmayan olayları adlandırır.
Bu protokolün kullandığı söz dağarcığı, kullandığı anlamıyla. Bu sözcüklerin birkaçı burada başka yerlerdekinden daha dar bir anlam taşır ve ikisi — atlama (skip) ve düşürme (drop) — çoğu zincirin karşılığı olmadığı için sözcüğü de olmayan olayları adlandırır.
Sertifika#
Zycord'daki tek işlem türü. Bir sertifika, okuduğu ve yazdığı durumu, artı onları birbirine bağlayan programı, kendisini yetkilendiren imzaları, bir underwriter'ı, bir TTL'yi ve iki ücret piyasasının her birinde bir teklifi taşır. Kendi girdilerini ve çıktılarını taşıdığı için, geçerli olup olmadığını denetlemek hiçbir durum gerektirmez.
Fold#
Defteri ilerleten belirlenimci döngü. Bir bloğun sertifikalarını bir tam sıra içinde dolaşır ve her biri için, bildirdiği okumaların hâlâ geçerli olup olmadığını denetler: geçerliyse yazmaları işler, değilse atlar. Fold, sıcak bir anahtar-değer çalışma kümesi üzerinde karşılaştırmalar, toplamalar ve yazmalar yapar — kod yürütme yok, imza doğrulama yok, yeniden yürütme yok ve eliptik eğri aritmetiği yok. Sistemin paralelleşmeyen tek aşamasıdır.
Atlama (skip)#
Bildirdiği okumalar artık geçerli olmayan bir sertifikanın başına gelen şey. Ücreti underwriter'ına fatura edilir ve blok geçerli kalır. Atlama (skip) bir başarısızlık değil, bir anlamdır: dahil edilme ile uygulanma farklı olaylardır ve bir blok üreticisinin kör olabilmesini sağlayan da budur — bayat bir sertifikayı dahil ederek asla geçersiz bir blok üretemez.
Düşürme (drop)#
Faturalandırılmayan bir olmayan-olay ve gerçekleştirimin teknik dokümanın söz dağarcığına eklediği terim. Teminatı çoktan tüketilmiş olarak uygulanmaya ulaşan bir sertifika düşürülür (drop): faturalandırılmaz, görüldü olarak işaretlenmez ve taze bir teminata karşı yeniden gönderilmekte serbesttir. Dolayısıyla dürüst kullanıcılar, kendi teminat hücrelerindeki yarışlar yüzünden hiçbir şey kaybetmez.
Underwriter#
Teminatlı fonları bir sertifika için karşılık veren taraf. Underwriter'ı olmayan hiçbir sertifika yoktur. Atlanmak bedava olmamalıdır, yoksa mempool boğulur — ama atlanan sertifika göndericinin bakiyesine hiç dokunmamıştır, dolayısıyla göndericiye fatura edilecek bir şey yoktur. Her çakışmaya bir sahip veren şey underwriter'dır. Era 0'da tek kip kendi kendini sigortalamadır: gönderici, yükümlülük altında olmayan bir hücreden küçük bir teminat iliştirir.
Hücre#
Bir slot'taki değer — 32 baytta big-endian saklanan işaretsiz 256 bitlik bir tam sayı. Sıfır yokluktur: hiç yazılmamış bir slot ile sıfır yazılmış bir slot aynı slot'tur. Bu bir kolaylık değil, bir uzlaşı gerekliliğidir: state root'u, onu üreten geçmişin değil, durumun bir işlevi olarak tutar.
One-shot adres (0x01)#
İmzalama yetkisi ilk borçlandırmasıyla kalıcı olarak yakılan bir adres. Yeni türetilmiş bir one-shot adrese ödeme yapmak, çekişmesiz hızlı yoldur ve ödeme başına taze bir tane türetmek, bir ödemeyi bir sonrakiyle ilişkilendirilemez kılan şeydir. Bunun bedeli, “bir kısmını harca”nın bir one-shot adresin yapabileceği bir şey olmamasıdır — bkz. cüzdan kuralı 1.
Kalıcı adres (0x02)#
Yeniden kullanılabilir bir adres. Harcanmış kaydına asla giremez, dolayısıyla hiçbir yakma-mağduriyeti yüzeyi yoktur. Satıcılar, bağış adresleri ve madencilik ödemeleri bunu kullanmak zorundadır; zycordd --payout başka hiçbir şeyi kabul etmez.
Harcanmış adres kaydı#
Yetkisi yakılmış one-shot adreslerin kalıcı uzlaşı kümesi. Harcanmış bir adres altındaki hücre değerleri, geri alma ufkundan (undo horizon) sonra budanabilir, ama kayıt girdisi asla budanmaz — adresin yeniden diriltilmesini engelleyen şey odur. Adres başına yaklaşık 33 bayt, sonsuza dek: protokolün dürüstçe kabul ettiği açık sorun; her nullifier kümesi tasarımıyla yapısal olarak paylaşılan bir sorun.
Geçerli ile uygulanabilir#
Alışılmış bir zincirin birbirine karıştırdığı iki yüklem. Geçerli olmak durumsuzdur, paraleldir ve herkes tarafından yalnızca sertifikanın baytlarından denetlenebilir. Uygulanabilir olmak durumludur, sıralıdır ve yalnızca defterdeki konuma göre belirlenir. Geçerli iki sertifika aynı slot için aynı girdi değerini bildirebilir; en fazla biri uygulanabilir olabilir.
Korumalı delta#
Bir sertifikanın bir slot üzerinde bir yüklem ileri sürdüğü — balance ≥ 10 — ama bunu değeri hesaplamanın içine okumadan yaptığı ve işaretli bir delta yazdığı bir erişim disiplini. Aynı slot'a yapılan korumalı borçlandırma ve alacaklandırmaların herhangi bir sayısı yer değiştirebilir, dolayısıyla bir atlama yalnızca gerçek bir bakiye aşımında olur, salt bakiye değiştiği için değil. Bu tek disiplin; transferleri, arz tavanlı basımları, ödenek yetkilerini ve kasa paylarını kapsar.
Saf delta#
Koruması olmayan işaretli bir delta. Asla çakışamaz ve asla atlanmaz. Bahşişler, sayaçlar, biriktiriciler, ödül dökümleri.
Tam okuma#
SLOAD tarzı disiplin: okuma, slot'un değerini hesaplamanın içine döndürür ve sertifikayı ona bağlar. Serbest mantık, yoğun slot'larda çakışmalar ve uygulama sıralayıcılarının alanı.
Epoch beacon#
Protokolün epoch başına bir kez yazdığı ayrılmış bir slot. Programlar zaman damgası ya da yükseklik gibi ortam değerlerini doğrudan okumamalıdır — bu, yürütmeyi bildirilen okumalardan başka bir şeyin işlevi hâline getirirdi — dolayısıyla beacon'ı da başka herhangi bir slot gibi, tercihen bir aralık korumasıyla okurlar. Bu bir proof of work çıktısıdır ve bir VRF gelene kadar yüksek değerli çekilişler için elverişsizdir.
Epoch#
2.880 blok — 30 saniyelik bloklarla yaklaşık bir gün. Sübvansiyonun kademe indirdiği, sıralı kapasite hedefinin kaydığı ve beacon'ın tazelendiği birim.
TTL#
Bir sertifikanın geçerli olabilmesi için işlenmiş olması gereken yükseklik. Uzlaşıyla 240 blokla (yaklaşık iki saat) sınırlanmıştır; seen set'i budanabilir tutan da budur. Görülmüş ya da süresi dolmuş bir sertifikayı dahil etmek bloğu geçersiz kılar — dolayısıyla bir imza en fazla bir kez faturalandırılabilir ve yalnızca imzalayanın imzalayarak kabul ettiği bir konumda.
Sıralı ve paralel gas#
Ücretler iki piyasaya ayrılır: biri kıt olan sıralı durum değişimi için, biri kıt olmayan paralel doğrulama için. Dolayısıyla bir imza denetimi, bir depolama yazmasıyla aynı açık artırmada yarışmaz; ağır kriptografiyi tasarım gereği ucuz kılan da budur.
Era#
Açılışın, zincir üzerinde ölçülen eşiklerle — blok yüksekliği ve sürdürülen hisse — tetiklenen bir aşaması; asla takvim tarihiyle ya da oyla değil. Era 0 madencilik ve yerel varlıklardır; içindeki iki yükseklik önce teminatları (40.320), sonra cEVM'i, sıralayıcıları ve zorunlu dahil etmeyi (80.640) devreye sokar; Era 1, teminatlı hisse arzın %1'ini sürdürür sürdürmez kontrol noktası kesinliğini ekler; Era 2 önermeyi bir hisse kuruluna taşır; Era S ise gizli ödemeleri ekler, ve ancak yayımlanmış denetimlerden sonra.
RandomX#
Sıradan donanımın rekabetçi kalması için genel amaçlı CPU'lara göre eniyilenmiş proof of work işlevi. Bu bir ayar değil, bir uzlaşı parametresidir: bir ağın pow_engine değerini hesaplayamayan bir ikili dosya, geri düşmek yerine başlamayı reddeder.
Hazine#
Protokol adresinin, blok 0'dan itibaren her blok sübvansiyonunun %3'ü alacaklandırılan kendi bakiye hücresi. Genesis'te anahtarı, adresi ve yeter sayısı yoktur ve Era 2'den önce, yani 5'te 3'lük bir anahtar kümesinin sert çatallanmayla sabitlenebileceği ana kadar açılamaz. Onu talep etmek üzere kamuya çıkan hiç kimse olmazsa, paralar hiç ihraç edilmez.
State root#
Bir yükseklikteki durumun tamamına yapılan taahhüt. Bir düğüm onu başlangıçta yeniden hesaplar ve saklanan değerle uyuşmazsa çalışmayı reddeder; ayrıca düğümler arasında üretim zamanlı bir ayrımsal koruma görevi de görür: bir blok dizisinden farklı köklere ulaşan iki gerçekleştirim, ikisinden birinde bir hata bulmuş demektir.
Her terim nerede bağlayıcı olarak tanımlanır#
Bu sayfa bir okuma yardımcısıdır. Bağlayıcı olan tanımlar belirtim ve altın vektörlerdedir; gerekçe teknik dokümanda, gerçekleştirimin kendi söz dağarcığı bölümü ise docs/ARCHITECTURE.md içindedir.