Merhaba arkadaşlar, Herkese merhaba! Kanalıma sıcak bir şekilde hoş geldiniz, Atlas Bey ile iletişime geçin. Bugünün makalesi, hem kullanıcılar hem de yatırımcılar tarafından çok fazla desteğe sahip, benzersiz ve çok umut verici bir projeye ayrılacak ve bu, Aleo . Ve daha kesin olmak gerekirse, bu sayıda

Bu proje ile ilgili en son haberleri inceleyeceğiz . Bu makaleyi sonuna kadar okumanızı tavsiye ederim, çünkü: Bilgi ilginç ve güvenilir ve bunu ilk öğrenen sizsiniz canım. O zaman hadi gidelim!

☯️Ekibin Talebi:

Aleo Testnet 3'ün ikinci aşamasını duyurmaktan mutluluk duyuyoruz! Bu sürümde, testnet 3 için orijinal yol haritamızda açıklanan , kullanıcı tanımlı programların devreye alınması ve yürütülmesi ve zkSNARK doğrulama donanımının geliştirilmesini sağlayacak bir bulmaca gibi birçok temel özelliği devreye alacağız.

Ee arkadaşlar şimdi anladınız: Yayın oldukça ilgi çekici olacak :)

Anı biraz daha derinleştirmek için temel bilgilerle başlamanızı öneririm…

☯️ Aleo nedir?

Aleo, ölçeklenebilir ve özel merkezi olmayan uygulamaları etkinleştirmek için sıfır bilgili kriptografi kullanan yeni bir 1. seviye blok zinciridir .

‌ Aleo ekibi, mimarilerinde (programların) bir zincirde yürütülmediğini anlayın; bunun yerine, kullanıcılar programı çevrimdışı yürütür ve gizliliği koruyan bir şekilde doğru yürütmeyi kanıtlayan zkSNARK'ları (kısa sıfır bilgi kanıtları) zincire gönderir.

Zincirin gerçekleştirdiği bir sonraki adım, programın çalışma zamanından (bağımsız) bir zamanda (bağımsız) kısa provaları kontrol etmektir.

Ama! Her şey yolunda gitseydi, proje çoktan borsaya kote olurdu.

‌ Plan, küçük bir hata dışında %100 iyi işliyor: sıfır bilgiyle programın doğru yürütüldüğüne dair bir kanıt oluşturmak, programı doğrudan yürütmekten çok daha pahalı olabilir. Birçok yararlı uygulama için (ödemeler gibi), bu ek yük, cep telefonu veya dizüstü bilgisayar gibi yaygın bir cihazda kontrol edilirken bile yönetilebilir.

Makine öğrenimi, oyunlar veya kimlik doğrulama gibi hesaplama açısından daha yoğun uygulamalar kullandığımızda, standart cihazlardaki doğrulama yükü engelleyici olabilir

Ve bu da, bu kullanım durumlarını ulaşılamaz hale getirir.

Tabii ki o an yeterince keyifli değil ama devam edeceğim çünkü:

‌Bununla birlikte, Aleo'nun tasarımı, müşterilerin , daha büyük hesaplamalar için zkSNARK'ları hesaplamaya yardımcı olacak daha fazla bilgi işlem kaynağına sahip olabilecek bir üçüncü taraf "doğrulama hizmetine" kanıt oluşturma konusunda dış kaynak kullanıp kullanmamayı seçmesine olanak tanır .

Örneğin:

​​çok çekirdeğe sahip işlemciler, büyük miktarlarda RAM ve hatta doğrulama için özel donanımlar gibi.

Ancak o zaman sorun, daha iyi kanıt mimarilerinin geliştirilmesini teşvik edici hale gelir. Bu son sorunu çözmek, Aleo'nun yeni mutabakat algoritması AleoBFT'nin geliştirilmesinin arkasındaki temel motivasyonlardan biridir. AleoBFT, üst düzeyde, blok onayı için anında kesinlik elde etmek için kanıt kanıtını kullanan ve ayrıca kanıt oluşturmak için daha hızlı yöntemlerin geliştirilmesini ödüllendiren bir iş kanıtı madeni para tabanı bulmacası kullanan hibrit bir mimaridir.

Aboneler biz de yanınızdayız bu şifrenin detaylarına daha net bir şekilde dalacağız. Yani…

☯️Coinbase Puzzle HAKKINDA?

‌ Coinbase bulmacası, sıfır bilgi kanıtları oluşturmak için daha hızlı yazılım ve donanım geliştirmeyi yönlendirmek için tasarlanmış bir çalışma kanıtı bulmacasıdır.

Yani ?

Bunu başarmak için madeni para tabanlı bulmacamızın iki benzersiz özelliği vardır (ilk olarak bunlara odaklanacağız).

Eşsiz özellikler:

‌_Cryptographic_Function:

⚡️Bitcoin veya Ethereum'da bulacağınız geleneksel PoW'un aksine, para tabanı bulmacası, zkSNARK doğrulamasının ana alt bileşenleri için "yararlı" algoritmalar için verimli prosedürlerin oluşturulmasını gerektirir.

‌ _Feature_Economy:

⚡️her bloğun yalnızca bir geçerli bulmaca çözümü içerebildiği geleneksel PoW'un aksine, bozuk para tabanlı bulmacamız blok başına birden fazla geçerli çözümü kabul ederek kazananın hepsini almasını önler ve kanıt ödüllerinin daha geniş bir dağılımına yol açar.

Arkadaşlar şimdi dikkatimizi %100 bulmacanın kriptografik kısmına göre tasarımına çevirmemiz gerekiyor, yani:

☯️Bulmaca tasarımı?

İlk dikkatimizi çekeceğimiz şey: Hızlı zkSNARK Tasarım Kılavuzu.

⚡️Modern zkSNARK'larda kanıt oluşturma süresine, iki alt bileşeni doğrulama zamanı hakimdir: polinom GİB ve polinom taahhüt şeması.

Yani bu coinbase bulmacası, bu alt bileşenlerin hızlanmasını etkili bir şekilde uyarır.

İki adımdan oluşan protokol akışına bakarsak şunu fark ederiz:

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

‌ (1) Çözüm üretme (Prover)

Bir çözüm varyantı oluşturmak için, doğrulayıcı (tek seferlik bir öğeden) rastgele bir polinom üretir ve çarpar ve ardından bir polinom taahhüdü şeması (bizim durumumuzda KZG10 şeması) kullanarak elde edilen çarpım polinomunu düzeltir. Ortaya çıkan bu taahhüt daha sonra hashlenir ve bu hash hedef karmaşıklıkla eşleşirse, toplayıcıya gönderilebilecek geçerli bir çözümdür (verimli toplama için bir puan kanıtıyla birlikte).

Öyle bile olsa , ortaya çıkan bulmaca 2 grup elemanı ve 1 alan elemanı, bir adres ve bir sıfırdan oluşur ve D alanı çarpma ve eşleştirmelerinde kontrol edilebilir, burada D, üretilen polinomun derecesidir.

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

‌ (2) Geçerli çözümlerin toplanması (BFT Lideri)

Geçerli bir bulmaca çözümü herkes tarafından doğrulanabilse de, her bir bulmaca çözümünün zincire eklenmesi durumu artıracaktır.

Bu aşamada bundan kaçınmak için bu madeni para tabanı bulmacası, BFT liderinin geçerli çözümler toplamasını sağlar. Ekip, bunun nasıl yapıldığının ayrıntılarına girmeyecek, ancak genel sonuç, ağ depolamanın n + 1 dizi öğesinin maliyetine bağlı olduğu ve 1 dizi öğesinin önemli bir gelişme olduğu. Bir yan fayda olarak, bulmaca kontrolü de daha hızlıdır.

Pekala arkadaşlar, bu kadar bilgiden sonra, her şeyi özetlemeyi öneriyorum. Yani..

☯️ÖZET:

Tartışmamıza dayanarak, AleoBFT , proof-of-stake kesinliği ile güçlü bir work of work teşvik mekanizmasını birleştiren yeni bir mutabakat mekanizmasıdır. Durumumuzu ele alırsanız, madeni para tabanı bulmacası, zkSNARK kanıtının hızlanmasını teşvik eder. Bu çalışmayı faydalı buluyorum çünkü doğrudan Aleo'da başka herhangi bir programın çalıştırılmasına aktarılıyor.

Buna dayanarak, bu mekanizma ile maliyetleri ve uygulama gecikmesini azaltarak Aleo kullanıcılarına fayda sağlayacak güçlü bir doğrulama ekosistemini teşvik etmeyi umuyoruz (kesinlikle harika, katılıyorum)

Motivasyonel teşvik?

Ve son olarak en sabırlı olanlar için güzel bir haber hazırladım. Test ağının bu aşamasından itibaren teşvik edilecektir. Ve bu da herhangi bir şey olabilir (bu yüzden bu test ağını geçmenizi tavsiye ederim)

Arkadaşlar, bununla ilgili her şeyi yapacağım. Size hizmet etmekten memnun oldum. Bir sonraki sayıda görüşmek üzere!

Aleo:

Web sitesi | Twitter | Anlaşmazlık | GitHub