Bazı kararları otomatikleştirmek kolaydır.

Ne kadar çok yargıç çekersen, panelin bütün havuzun eğildiği tarafı ıskalama olasılığı o kadar küçülür.

Havuz kendi içinde ne kadar hemfikirse, istikrarlı bir sonuç o kadar az yargıç ister.

Hayır. Rastgele panellerin ilan edilen havuzla aynı tarafa yönelme eğiliminde olduğu anlamına gelir. Doğruluk ayrı — ve deneysel — bir sorudur.

Havuzun bilinen bir payı panel çekilmeden önce ele geçirilmişse, makale en kötü durum hatasını tam olarak hesaplar. Dayanıklılık varsayılmaz; ölçülür.

Hayır, temsilî. Gerçek GenVM sözleşmeleri korumalı alanda çalışan Python sınıflarıdır; ama mekanizma — her yapay zekâ işlemi için çağrı başına ilan edilen ölçüt — tam olarak whitepaper'da tanımlandığı gibidir.

Kendi yeniden çalıştırmaları, dürüstçe, karşıt hükme varıyor. Bu hile değil, görüş ayrılığıdır: asla cezalandırılmaz ve Güvenilirlik bölümünün matematiği tam da bunu soğurmak için kurulmuştur.

Sözleşme geliştiricisi — hem de her çağrı için ayrı ayrı. Aynı sözleşmedeki farklı çağrılar farklı ölçütler ilan edebilir.

Yapay zekâ çağrılarının ve web okumalarının tek bir doğru çıktısı yoktur: iki doğru özet bile sözcükleriyle ayrışır. Belirlenimci kod ise bugün de bayt bayt denetlenir.

Kararların çoğu ucuza çözülür. Yargıç eklemenin sırası, faydanın maliyeti geçtiği andır.

Riske giren tutar yeterince büyükse ya da kanıt yeterince zayıfsa — bir bakışa daha para ödemeye değdiğinde.

Satın aldıkları şey farklı: yeniden değerlendirmek aynı yanıta kanıt ekler; yeni yanıt üretmek yanıtın kendisini değiştirir. Makale, para harcamadan önce ikisini de fiyatlandırır.

Makalenin gösterdiği bu değil. Kural, bir planlayıcının kıstası; ağın ona uyması, doğru itirazı birinin kendi hesabına da değerli bulmasına bağlı. Teşvikler bölümünün incelediği tam da bu.

İki kaynak: işlem ücretleri ve sabit bir eğri üzerinde %9'dan %4'e azalan ihraç (bir tavan; yakımlar onu ancak düşürür). DAO yalnızca ücretlerden beslenir; geliri gerçek kullanımı izler.

Dürüst hata ile suistimalin fiyatı ayrı ayrı konur. Oylamayı kaybetmek yalnızca ücret ölçeğinde tutar yakar; ana paraya asla dokunmaz. Uzun süre çevrimdışı kalmak %1, kanıtlanmış sahtekârlık liderde %5 slashing demektir; başarısız itiraz ise teminatını yitirir. Görüş ayrılığı soğurulur; suistimal cezalandırılır.

Hayır; makale de bunu söylüyor. İçbükey ağırlık yalnızca yoğunlaşmayı yumuşatır; stake'i bölmeyi asıl durduran, her kimliğin 42.000 GEN'in tamamını kilitlemesi, kendi düğümünü çalıştırması ve kendi slashing riskini üstlenmesi zorunluluğudur.

Evet. 42 GEN ve üzerini delege et; ödüller kendiliğinden bileşik büyür. Kıyaslanacak komisyon da yok: paylaşımı protokol sabitler ve aynı doğrulayıcının altındaki her GEN — öz stake de delege de — aynı oranda kazanır.

Kazanma ihtimali, ödül, riske attığı teminat, itirazın maliyeti ve sonuçta şahsen nesi varsa o.

Koşullara bağlı olarak, evet. Makale, ödüllerin nasıl ayarlanacağını gösteriyor: kişisel teşvikler, sistemin bir panele daha gerçekten ihtiyacı olduğu anları izlesin diye.

İtiraz edebilen çoğaldı mı seçimler birbirine dolanır: bekleyen olur, yarışan olur, aynı işe iki kez emek verilir. Mekanizmanın üçüne de fiyat biçmesi gerekir.

Daha büyük teminat paneli finanse eder ve spam'i caydırır; ama sermayeyi de bağlar: getiri hesabı bire bir aynı kalırken, itirazı karşılayabilenlerin çevresi keskin biçimde daralabilir.

Katmanlı bir model: kanonik bir durum grafiği, ona karşı denetlenen TLA+ belirtimleri ve her geçişi sabitlenmiş bir revizyonun Solidity koduna bağlayan bir eşleme.

Hayır. Sabitlenmiş bir revizyonun açıkça tanımlanmış modeli hakkında, açıkça sayılmış özellikleri kanıtlar. İddiaları denetlenebilir kılan tam da bu sınırlamadır.

Protokol evrilmeye devam ediyor. Her revizyon aynı özelliklere karşı yeniden denetlenir; sessiz kayma böylece canlı ortam kazası değil, başarısız bir denetim olarak görünür.

Evet: yukarıdaki yarış durumu ile bozulan üç kural. Hepsi uygulamada doğrulandı ve geliştirici ekibe bildirildi.