Biliyorum biliyorum. Çok sayıda kripto projesi var, birçok fikir birliği var: emek ve mülkiyete dayalı, altın, petrol, pişmiş turtalar (bir tane var, evet, evet). Birinden daha ne istiyoruz? *Constellation projesinin "hafif" teknik belgelerinin çevirisini okuduktan sonra tartışmayı önerdiğim konu budur (). Elbette bu, algoritmanın tam bir açıklaması değil, ancak Habr topluluğunun fikriyle ilgileniyorum, böyle bir fikir birliğinin "olması" için bir yer var mı yoksa gereksiz mi?
Çok fazla mektup yok, bu yüzden sadece "vay be, kripto hakkında olabildiğince çok şey" yazmak istiyorsanız lütfen bundan kaçının. Dağıtık sistemler alanındaki yeni gelişmelerle ilgileniyorsanız ve yorumlarda paylaşacak bir şeyleriniz varsa lütfen cat'e bakın.
Not: Ben teknolojinin yazarı değilim, özün tamamen aktarıldığını garanti edemem, bu nedenle varsa değişiklik içeren yorumları almaktan memnuniyet duyarım.
Eşzamanlıdan eşzamansız fikir birliğine evrim
Düğümler, doğrulamayı "kolaylaştırmak" veya daha anlaşılır bir şekilde fikir birliğine ulaşmak için düğümlerin sorumluluklarını dinamik olarak ayarlayan deterministik bir süreç (bittorrent gibi DHT'lerde kullanılanla aynı) kullanılarak seçilir. 3 düğümden oluşan grupları seçiyoruz ve bir düğümün birden fazla blokta kolaylaştırıcı olabilmesi için fikir birliği turlarını paralel olarak yürütüyoruz. Bu, işlemleri eşzamansız olarak işlememize olanak tanır; bu, esasen aynı anda birden fazla blok zincirinin oluşturulduğu anlamına gelir. Süreç, zamanla tek bir zincir oluşturan düğümlerin aksine, birçok iplikten oluşan bir örümcek ağı gibidir. Eşzamansız veya paralel işleme, ölçeklenebilir programlamanın temelidir çünkü tüm bilgisayar kaynaklarının kullanılmasına olanak tanır ve genel bilgi işlemi hızlandırır. Bu ağa bilgisayar biliminde yönlendirilmiş döngüsel olmayan grafik veya DAG adı verilir.
Birden fazla paralel blok zincirimizin olduğu bir DAG'nin çarpımsal etkisine karşı doğrusal bir blok zincirinin kanal genişliği.
DAG'a karşı doğrusal blok zincirinin geometrik uygulaması. Siyah noktalar bloklardır, beyaz noktalar ise düğümlerdir
Her konsensüs turunda 3 düğüm kullanıyoruz çünkü bu bize durum hakkında muhakeme yapmak için bazı ilginç matematiksel süreçler sağlıyor ve veriler üzerinde bağlantılı üçgenler şeklinde bir "yüzey düzlemi" oluşturuyor. Protokol daha sonra gereksiz veya tutarsız veri içermeyen ve mümkün olan en küçük üçgenlere sahip en uygun yüzeyi bir araya getirmek için üçgenleri kullanır. Algoritmik olarak bu, bir grafiğin "minimum kesimine" benzer ve matematiksel olarak bir türev veya optimizasyon fonksiyonuna (fonksiyonun yüzey boyunca geçebileceği en kısa yolu bulduğu) benzer. Bu en kısa yol, verilerin (işlemlerin) bir DAG'da en iyi şekilde depolanmasına eşdeğerdir. Etkinliğin yüzeyinin pürüzsüz ve çatışmalardan arınmış olması için çatışan üçgen "karolar".
Çatışma tespiti/yönetilmesinin geometrik uygulaması. Çakışan bir blok ek bir yüzey döşemesi oluşturur. Düz (=çatışmasız) bir etkinlik yüzeyi sağlamak için ek yüzey döşemelerini kaldırıyoruz.
İtibara dayalı fikir birliği
Optimum merkezi olmayan bir p2p itibar sisteminde, her düğüm diğer düğümlere olan güvenini bağımsız olarak belirleyebilmelidir. Sistemimiz, küresel bir puan verirken geçişli ilişkileri veya bir düğümün diğer düğümlerle sahip olduğu ilişkileri içeren özel bir model kullanır. “Sadece şirketiniz kadar iyisiniz.” Nihai sonuç, $DAG veya normal kanaldaki tüm düğümlerde geçişli güvene veya itibara dayalı bir "çarpıklık" veya eğimdir. Bu, bir "yüzey düzlemi" boyunca silme yapan ve hangi "üçgen döşemelerin" silineceğini ve hangilerinin bırakılacağını seçen bir fırça veya peynir rendesi olarak düşünülebilir. Çatışma mantığı aslında “üçgen döşemeleri” bu şekilde ortadan kaldırır.
Çelişkili bir döşemeye sahip bir DAG, peynir rendesine benzer bir eğim olan "kavisli" bir alandan geçiyor ve çakışan döşemeyi kaldıracak veya "silecek".
Kısmi/tam düğüm ölçeklendirmesi
Ağ teorisinde, tipik olarak optimal tahsis "ölçeksiz" olarak bilinir ve bu, birçok küçük çevresel düğümü yöneten büyük merkezi düğümlerle hiyerarşik bir düzenleme olarak tanımlanabilir. Bu dağılım doğada ve her şeyden önce internette görülebilir. Constellation bu mimariyi "ölçeklendirmek" veya Grafiğimizin verimini veya genişliğini artırmak için kullanır.
Hiyerarşik bölümlemenin etkisi. Bant genişliğini artırarak daha fazla düğüm ekleyebiliriz
Hylochain - Kanal tabanlı uygulama desteği
Uygulama desteğine yaklaşımımız “merkezi olmayan akıllı sözleşme platformu” olarak düşünülebilir. Constellation, uygulamadaki tüm mantığı çalıştıran ve uygulamadaki tüm verileri işleyen merkezi bir ağ yerine, uygulama verilerini ev sistemindeki tüm verileri yayınlayan bir televizyon istasyonu gibi düşünebileceğimiz “ev kanalları” ile koordine ediyor. Her personel kanalı, veri üreticilerinin uçtan uca kimlik doğrulaması ve bileşik personel sistemlerinin geçişli doğrulaması yoluyla oracle sorununu çözmek için kendi doğrulama mantığını uygulayabilir. Durum kanalı ağları, uygulamalar için paralel destek sağlayarak akıllı sözleşme ağındaki geleneksel eşzamanlı fikir birliğiyle sınırlanan benimseme sürelerini hızlandırır.
$DAG ağı üzerinden "uyumlu" olan iki standart kanal. Hibrit $DAG + Kanal düğümleri dağıtılarak her ikisi de $DAG ile "entegre" oldukları için etkileşime girebilir veya yorumlanabilirler.
Hylochain olarak adlandırılmasının nedeni, uygulama desteğine yönelik yaklaşımımızın MapReduce arayüzünü oluşturmak için Recursion Schemes fonksiyonel programlama modelini kullanmasıdır. Özellikle, Hilomorfizm ve Metamorfizma yineleme şemaları, cebirsel veri türlerini akıllı sözleşmelere yönelik işlem kodlarının doğrulandığı şekilde doğrulayarak yerel kanallar üzerinden doğrulanabilir sorgular ve akış bağlantıları oluşturmak için entegre edilebilir. Sonuçta veri mühendislerinin aşina olduğu ve mevcut büyük veri teknolojisiyle uyumlu, işlevsel bir MapReduce arayüzü ortaya çıkıyor.
Hilomorfik ve Metamorfik kontrast için standart kanallardır. Metamorfik durumda, iki normal kanaldan gelen veriler metakanaldaki bir bloğa gönderilir. Gilo'da, bir kanalın önceki durumunu alıp onu diğer iki kanalı sorgulamak (belirli bir soru sormak) için kullanırız ve ardından sorgu sonucunu bir blokta saklarız.
Tokenomik ve Hylochain ile bağlantısı
Yerel bir kanal oluşturulduktan sonra $DAG kanalına entegre edilebilir, ancak bu ACI veya Uygulama Zinciri Arayüzü kullanılarak yapılabilir. Bu arayüz, konfigürasyon bilgilerini ve kanalın kendisiyle ilişkilendirilmiş bir ortak anahtarı içeren basit bir JSON nesnesidir. Açık anahtarı normal bir kanalla ilişkilendirmemizin nedeni, normal kanal verileri için aracılık mekanizması oluşturmaktır. Normal kanal dağıtıldığında, geliştiriciler $DAG ağından gelen ödemelerin düğümler ve operatörler arasında nasıl dağıtılacağını kendileri yapılandırırlar.
Bilgiye erişim veya bilgi değişikliği satın alma akışı. Talep $DAG'a gönderilir, fonlar kanal hesabına gönderilir, sonuç alıcıya gönderilir ve işlem sağlama toplamı $DAG ağına gönderilir ve bu ağ daha sonra fonları normal kanala aktarır.
Kaynak: habr.com