AleoBFT hakkında bilinmesi gerekenler - Aleoyu oluşturan mutabakat algoritması

• genel bakış
• Fikir birliği için yeni hibrit mimari olan AleoBFT hakkında bilinmesi gerekenler
• AleoBFT, her blok için anlık kesinliği garanti eder
• AleoBFT, ağın tamamen merkezsiz kalmasını sağlar
• AleoBFT, kanıtlayıcıları Aleo ekosisteminin zaman içinde kanıtlanabilirliğini ölçeklendirmeye teşvik ediyor
• AleoBFT Çekirdek Yapısı
• sonsöz

2022'yi kapatırken, Zero-Knowledge Proofs Aleo teknolojisini kullanan tipik bir gizlilik halka açık blok zinciri , bağış toplama anlaşmalarından biri olan 200 milyon $'ı toplayarak büyük bir başarı elde etti. Sadece bu da değil, Aleo ayrıca bir dizi Teşvik Edilmiş Tesnet başlatırken kullanıcılara ulaşma stratejisini de hızlandırdı. programları ve 2021'den 50.000 kat daha yüksek, saniyede 1 milyardan fazla Kanıt elde etme. 

Aleo'nun 2022'de neler başardığına dair daha iyi bir genel bakış için okuyucular, TraderH4.com'da "Aleo'nun 2022'sine Geri Dönmek" makalesine de bakabilir. Bu makale çerçevesinde TraderH4, Aleo'yu aynı segmentteki diğer Layer 1 projelerinden farklı kılan mutabakat algoritmasının derinliklerine inecektir.

genel bakış

Aleo, uygulamalarında zkSNARK kullanan şirket sayısı arttıkça daha başarılı oluyor. Prova yapmak zor olduğu için Aleo'nun tasarımı, uygulamaların provayı hesaplamaları işlemek için özel donanım ve yazılım kullanan üçüncü taraf "kanıt servislerine" yaptırmasına izin verir. zkSNARK, bir uygulama geliştiricinin bazı temel CPU'larda yapabileceğinden daha hızlı, daha ucuz ve daha verimlidir . 

Hizmet kanıtları için bile gelecek için en büyük sınırlayıcı faktörlerden biri, "doğru uygulama yürütmenin sıfır bilgi kanıtı oluşturmanın pahalı olabileceği"dir. Uygulamayı doğrudan çalıştırmaktan çok daha fazlası. Bu, zkSNARK'ın henüz en iyi teknoloji olmadığını kanıtlıyor.

Sıfır bilgi kanıtlarının yaygınlaşması ve Aleo'nun başarılı olması için zkSNARK kanıtlama donanımı, yazılımı ve bilgisinin yayılması gerekiyor. Aleo hem fikir birliği mekanizmasını tasarladı hem de bunu kanıtlamak için ZPrize yarışmasına sponsor oldu. 

Bitcoin gibi geleneksel PoW madenciliği nispeten basittir ve donanım metalaştırılır. Madenciler, ASIC'lerde SHA-256 işlevlerini kullanır ve karlarını en üst düzeye çıkarmak için kendilerini ucuz enerji kaynaklarının yanında konumlandırmaya çalışır. Avantaj elde etmenin pek çok yaratıcı yolu yoktur. 

Aleo'da düzeltme, kanıtlayıcıların büyük avantajlar elde etmesi için daha fazla fırsat sunan daha zengin bir tasarım alanı olan zkSNARK'ın daha derinden anlaşılmasını gerektirir. 

Aleo, blok başına daha geçerli çözümleri kabul etmesi ve dolayısıyla ödülleri "kazanan ya da kaybeden" çerçevesini takip etmek yerine daha fazla düzelticiye dağıtması bakımından Bitcoin'den farklıdır. Bir ispatlayıcının varlığı diğer herkesi ezerse, ispatlayıcı katılımını ve merkeziyetçilikten uzaklaşmayı azaltacak ve bu da maliyetleri daha yüksek tutacaktır. 

Böylece Aleo, zkSNARK çalışma kanıtı eklentisini ticarileştirmek için iki şey yaptı: AleoBFT ve ZPrize. Bu bölümde AleoBFT'ye dalacağız. 

Fikir birliği için yeni hibrit mimari olan AleoBFT hakkında bilmeniz gereken her şey

AleoBFT, Proof of Stake (PoS) ile Proof of Succinct Work (kendisi Gerekli Çalışma Kanıtı'nın bir alt kümesidir) olarak adlandırılan belirli bir Proof of Work (PoW) türünü birleştirir.  

AleoBFT üç şey yapmak üzere tasarlanmıştır: protokolü güvenli hale getirmek, uygulamanın zkSNARK problem çözme ihtiyaçlarını karşılamak için yeterli sayıda deneyimli doğrulayıcı olduğundan emin olmak ve daha fazla insanı ağın daha verimli ve daha ucuz olduğunu  kanıtlamaya katılmaya teşvik etmek.

Testnet 3 sırasında Aleo, mutabakat modellerini doğrulayıcılar için hibrit bir mimariye dönüştüreceklerini ve bunun AleoBFT olduğunu söyledi.

AleoBFT, doğrulayıcılardan gelen yeni blokların anlık kesinliğini doğrulayıcıların bilgi işlem gücüyle birleştirerek madeni para tabanı arzını ağa getirir. AleoBFT'nin tasarımı, doğrulayıcıları bloklar oluşturarak ağı sürdürmeye teşvik eder ve kanıtlayıcıları kavram kanıtını Aleo ekosistemine genişletmeye teşvik eder. AleoBFT'nin bu konsensüs algoritmasında birçok

AleoBFT, her blok için anlık kesinliği garanti eder

İşlemler, doğrulayıcılar her blok için fikir birliği oluşturduktan ve fikir birliğine vardıktan sonra onaylanır. Bu yaklaşım, doğrulayıcılar için çatallanma sorunlarını çözer ve düğüm kararlılığını artırır. Ayrıca bu, Aleo'daki geliştiriciler için sorunsuz bir uygulama deneyimi oluşturur. Ve kullanıcılar için bu, cüzdanlarda, tarayıcılarda, gezginlerde ve uygulamalarda hızlı onaylar sağlayarak UI/UX'i geliştirir. Sonuç olarak, bu garanti diğer ekosistemlerle birlikte çalışabilirliği çok daha basit hale getirir.

AleoBFT, ağın tamamen merkezsiz kalmasını sağlar

Testnet 2'nin işaret ettiği gibi, blok üretimi, sıfır bilgi şifrelemesi için özel donanım geliştiren bir avuç provacının ardından oldukça merkezi hale geldi. ZPrize oyun alanını düzleştirmeye yardımcı olurken, bazı varlıkların ağa hakim olacağı ve kullanıcılar için merkezileşme ve sansür riski oluşturacağı gerçeği devam ediyor.

AleoBFT'yi kullanarak Aleo, blok üretiminin rolünü madeni para tabanı üretiminden ayırabilir. Doğrulayıcılar blok oluşturmaktan sorumludur ve doğrulayıcılar artık ispatları istedikleri ölçekte hesaplayabilirler. AleoBFT, ağda en az 1 milyon Aleo Kredisi biriktirerek kanıtlayıcıları doğrulayıcı olmaya teşvik etmek için tasarlanmıştır. Bu, düzelticilerin konsensüsteki tüm düzelticilerin temsilcisi haline gelerek sansür direncini sürdürebilmelerini sağlar.

AleoBFT, kanıtlayıcıları Aleo ekosisteminin zaman içinde kanıtlanabilirliğini ölçeklendirmeye teşvik ediyor 

AleoBFT'de kanıtlayıcılar, her blokta madeni para tabanı ödülünün bir payı karşılığında ağda yerleşir ve madeni para tabanı kanıtı (PoSW) oluşturur. Bu yeni modelle, düzeltme uzmanları artık sıfır bilgi kanıtlarının temel alt bileşenlerini hesaplıyor. Yani, çok skalalı çarpma (MSM) ve hızlı Fourier dönüşümü (FFT) ve her blok ödülünden ispat yüzdelerini kazanın.

Kanıtlayıcı için AleoBFT, her durumda bir "kazanan-kazanan" etkisi için rekabet etmeden sıfır bilgi kanıtları oluşturmak için herhangi bir ölçekte herhangi bir donanım parçasının çalışmasına izin verir. Bu nedenle, Testnet 2'den farklı olarak bu süreç, sanal donanım üzerinde çalışan doğrulayıcıların bile katılabileceği ve madeni para bazında ödüller kazanabileceği anlamına gelir. Bu coinbase ödülleri, provacıları zaman içinde token biriktirdikçe doğrulayıcı olmaya teşvik etmek için kanıtlayıcılar ve doğrulayıcılar arasında paylaşılır. Katılımcılara daha geniş bir ödül dağıtımını teşvik ederek, bu yeni mekanizmaların Aleo ağını ölçeklendirerek Aleo geliştiricileri ve kullanıcıları için çok daha büyük bir kavram kanıtı elde edeceğine inanıyoruz.

AleoBFT Çekirdek Yapısı

AleoBFT'nin PoS kısmıyla ilgili ayrıntılar hala açıklanıyor, ancak ekip bunun DiemBFT'ye dayalı olacağını söyledi. Aleo, kanıt kümelerinin AleoBFT'de blok oluşturmadığını, bunun yerine şunlar olabileceğini yazdı:

• Göstericiler belirli bir blok için kanıtlar oluşturur ve sundukları hedefe yönelik kanıtların sayısına bağlı olarak madeni para tabanı ödülünün (toplam blok ödülünün bir alt kümesi) orantılı paylarını kazanırlar.
• Doğrulayıcılar, bu tür kanıtlardan oluşan bloklar önermek için Aleo kredileriyle katkıda bulunur ve doğrulama için toplam blok ödülünden bir pay alır. 
• Doğrulayıcı, bloktaki ispatların doğru olup olmadığını kontrol eder (kanıtın içeriğinin bilgisinden bağımsız olarak) ve blok ödülünün bir kısmını alır. 

Dan Boneh altında kriptografi eğitimi de almış olan Ali Yahya, oyun teorisi (PoS) ve kriptografi (PoSW) kombinasyonunun neden yeniden anlamlı olduğunu bana açıkladı. Ali Yahya dedi ki:

"İşlemlerin dahil edilmesi konusunda hemfikir olarak, bunu kriptografik olarak yapamazsınız, bu nedenle bir oyun teorisi yaklaşımı kullanmanız gerekir. Sırayla yapmak istediğiniz işlemleriniz olduğunda, geri kalan her şey kriptografik olarak yapmanız gereken bir şey.” Başka bir deyişle, mümkün olduğunda kriptografiyi ve yapamadığınız zaman oyun teorisini kullanın. 

AleoBFT'nin ispat kısmı, Aleo'nun orijinal mutabakat algoritması olan Proof of Succinct Work'e (PoSW) dayanmaktadır. PoSW hakkında anlaşılması gereken en önemli şey, özellikle Ethereum ve yeni zincirler, Proof of Work'ü çevresel nedenlerle kullanmaktan kaçınırken, Proof of Succinct Work'teki "işin" SHA'dan farklı olarak gerçekten yararlı olduğudur. -256. 

Aslında PoSW, Assimakis Katis (en başından beri Aleo'nun akıl hocası) ve Joe Bonneau (başka bir Boneh mezunu) tarafından 2020'de önerilen bir fikir olan Gerekli Çalışma Kanıtı'na dayanmaktadır ve burada derecelerin oluşturulması Kanıtlar, kullanılan PoW'un ayrılmaz bir parçasıdır. Nakamoto'nun fikir birliği, aksi takdirde boşa gidecek olan enerjiyi kullanarak verimli kanıtlar yaratıyor. Blok zincirlerini güvence altına almak için enerji harcamanız gerekiyorsa, bu enerjiyi kanıtlara harcayın. Aleo bunu iki şekilde yapacaktır:

• Doğrudan: zkSNARK oluşturmak, herhangi birinin herhangi bir bilgiyi ifşa etmeden bir şeyi kanıtlamasına izin vermek için kullanışlıdır. 
• Dolaylı: Aleo, zkSNARK'ın oluşturulmasını teşvik ederek kanıt için daha iyi mimarilerin geliştirilmesini hızlandırmayı umuyor. 

Zero Knowledge Podcast'te Howard, "amacın, madencileri bu tür hesaplamaları ticari ve yaygın hale getirmek için SNARK için donanım hızlandırması geliştirmeye teşvik etmek olduğunu" söyledi. Bunu yapmanın bir yolu, madencilerin her zaman kanıtlayacak bir şeyleri olduğundan emin olmaktır.

sonsöz

Yukarıda, Aleo'yu aynı segmentteki diğer Katman 1 blockchain projelerinden ayıran AleoBFT konsensüs algoritması hakkında ayrıntılı bilgiler bulunmaktadır. Aleo'nun geliştirme potansiyeli hakkında daha fazla bilgi edinmek için lütfen TraderH4'ün Web Sitesindeki "Güncellenmiş Aleo'nun 2023 yol haritası" makalesini okuyun. 

• Stablecoin dijital para biriminin Çin kripto para birimlerini nasıl etkilediğine dair uzman görüşü?
• Sanat endüstrisini değiştirmek için NFT'nin daha iyi güvenliğe ihtiyacı var