Cardano'nun Ouroboros'unun Akran Değerlendirmesi

Kısa süre önce bir youtube sunumunda sunulan Cardano'nun Ouroboros uzlaşma algoritmasını gözden geçirme fırsatı buldum. Orijinal kağıt burada bulunabilir. Cardano ve Ouroboros'un arkasındaki pazarlama, ilk "göz önüne alınarak gözden geçirilen", hisse senedinin fikir birliği algoritması "provably secure" kanıtıdır. Üzerinde, karşı üretken değişiklikler içeren, Yetki verilen Proof of Steake (DPOS) kopyası var. Aslında, kağıtları, "πDPoS" terimini önceki çalışmalarımdan herhangi birini belirtmeden veya tanımadan 17 kez söyler.

Blok Aralığı
Blok aralığı, bir işlemin ilk bloğa dahil edilene kadar gecikmeyi belirler. Bu, protokol üzerine kurulmuş merkezi olmayan uygulamaların yanıt verme oranının alt sınırıdır. Steem ve BitShares gibi uygulamalar, düşük gecikme süresi ve sonluktaki kesin kesinliği olmadığı sürece gerçekten uygun değildir.

Tersinmezlik
Bir işlemin serbest bırakılması için yeni / daha uzun bir çatal geri alınması ne kadar sürecektir. Geri döndürülemezlik çok adımlı işlemler için çok önemlidir. Ödeme onaylanıncaya kadar mal göndermek istemezsiniz. Ticaret yapamazsın. Merkezi olmayan bir değişim, geri dönüşsüz olana kadar önemli gecikme süresi olan bir platform üzerinde geçerli değildir.

Ouroboros, Ademi Merkezi Olmayan Uygulamalara Uygun değil
Oroboros'un güvenli bir tanımla "daha güvenilir" olduğunu varsayarsak, pratik olarak az bir değer taşır çünkü güvenlik tamamen pratikte taviz verir. Kurşun geçirmez bir yelek "provably" güvenli "iddia gibi olurdu, ancak 400 kilo ağırlığında. Bir noktada sistem tasarımının diğer faktörleri öncelik taşır.

Maalesef, güvenli olduğu kanıtlanmış olduğunu varsayalım. Aksine rağmen, tasarımında hatalı varsayımlar yüzünden Ouroboros'un çok daha az güvende olduğunu göstereceğim. Diğer bir deyişle, Ouroboros, gerçek kurşunları durdurmayan 400 kiloluk mermi yelektir.

Menşe ispat belgesi bileşenlerinin (diğer bir deyişle Ouroboros)
Delege Edilmiş Bahis Kalıpları algoritması iki kısma ayrılmıştır:

Bir dizi blok üreticisinin seçilmesi
Üreticileri zaman aralıklarına planlama
Blok üreticilerini seçme süreci, tipik olarak, devredilebilen hissenin kanıtından türetilmektedir. Blok üreticilerinin kümesi periyodik olarak güncellenir. BitShares'de bu, her bakım aralığında (1 saat) olur, Steem ve EOS'da her tur olur (N blokta N, setteki üreticiler sayısı olarak tanımlanır). Ouroboros'ta Charles Hoskinson'a göre protokolü açıkladığı bir röportajda her 5 günde bir olur.

Programa eklenebilecek bir dizi üretici var. En konsensüsün zinciri, kaçırılan en az blok ve dolayısıyla en uzun zincir olacaktır. Oroboros'larda buna zincirin "yoğunluğu" derler, ancak kavram aynıdır.

Blok Üreticileri Seçme
Ouroboros göre çok para kazanmak için bir yapımcı olmak isteyen herkes olabilir. Bu, Steam'in her sette (aka dakikada bir) 1 üretici seçmesiyle benzerdir. Oysa buhar, her 21 zaman aralığının 1'ini bu şekilde zamanlarken Ouroboros, bu matematiksel dağılımla tüm zaman dilimlerini zamanlar. Ouroboros durumunda, sadece kendilerine devredilen en az% 1 hisseye sahip olanlar üreticiler için uygun ancak Steem'in herhangi bir alt limiti yoktur.

Blok Üreticileri Yuvalara Zamanlama
Steem ve Ouroboros'un sistemi arasındaki en büyük fark, Steam'in pseudorandom karıştırma ile deterministik planlama kullanması ve Ouroboros, rastgele seçilen paydaşlar komitesinin yarattığı kanıtlanabilir bir rassallığın kaynağından örneklem kullanmasıdır. Oroboros, program çizelgesini kontrol etmek için blok içeriklerini manipüle eden üreticiler tarafından üreticinin programının manipüle edilmemesini sağlamak için güvenilir bir rasgelelik kaynağı ihtiyacına çok güçlü bir odak sağlar.

Rastlantılıkla giderilen güvenlik endişeleri
Blokci güvenliği kalbi, her doğrulama penceresinde farklı olasılıkla eşleşmeyen varlık gruplarının blok ürettiğini biliyor. Geri döndürülemez kalma süresi, potansiyel üreticilerin 2/3 + çoğunluğunu elde etmenin ne kadar sürdüğüne bağlı.

Üreticilere daimi bir bağımlılık var. Bu, Ouroboros isminin (kendi kuyruğunu yiyen bir yılan) kaynağıdır. Ouroboros tasarımının odağı, 2/3 + dürüst üreticilerin müdahale olmadan programlanabilmesini sağlamaktır. Bu nedenle üreticiler grubunu günlerce kilitleyip, hiçbir partinin canı cayarlaşamayacağı kanıtlanabilir bir rastlantısallık ile programlamalarını istiyorlar.