Aleo: Gizlilik Koruma ve Ölçeklenebilirlik için Yenilikçi Blok Zinciri Projesi

Aleo, gizliliği korumaya odaklanan bir Blok Zinciri projesidir ve daha yüksek gizlilik ve ölçeklenebilirlik sağlamak için sıfır bilgi kanıtı teknolojisi (ZKP) kullanmaktadır. Projenin temel felsefesi, kullanıcıların kişisel verilerini ifşa etmeden kimlik doğrulama ve veri işleme yapabilmelerini sağlamaktır.

Proje Özeti

Gizlilik

Aleo'nun temel teknolojisi sıfır bilgi kanıtlarıdır (ZKPs), bu da işlemlerin ve akıllı sözleşmelerin gizliliği koruyarak gerçekleştirilmesini sağlar. Kullanıcıların işlem detayları, gönderici ve işlem miktarı gibi, varsayılan olarak gizlidir. Bu tasarım, yalnızca kullanıcı gizliliğini korumakla kalmaz, aynı zamanda gerektiğinde seçici ifşaya da izin verir, bu da merkeziyetsiz finans (DeFi) uygulamalarının gelişimi için son derece uygundur.

Aleo'nun ana bileşenleri şunlardır:

1. Leo derleme dili: Rust diline dayalı olarak geliştirilmiştir ve sıfır bilgi uygulamaları (ZKApps) geliştirmek için özel olarak tasarlanmıştır, geliştiricilerin kriptografi bilgisi gereksinimlerini azaltır.

2. snarkVM ve snarkOS: snarkVM, hesaplamaları zincir dışı olarak yürütmeyi sağlar, zincir üzerinde yalnızca hesaplama sonuçlarını doğrulayarak verimliliği artırır. snarkOS, verilerin ve hesaplamaların güvenliğini sağlar ve izinsiz işlevlerin yürütülmesine olanak tanır.

3. zkCloud: Güvenli, özel bir zincir dışı hesaplama ortamı sunar, kullanıcılar, organizasyonlar ve merkeziyetsiz özerk organizasyonlar (DAO) arasında programlama etkileşimini destekler.

Aleo ayrıca geliştiricilerin uygulamaları hızlı bir şekilde yazıp yayımlamalarını destekleyen bir Entegre Geliştirme Ortamı (IDE) ve Yazılım Geliştirme Kiti (SDK) sunmaktadır. Ayrıca, geliştiriciler Aleo'nun program kayıt defterinde uygulama dağıtabilir, üçüncü taraflara bağımlı olmadan, böylece platform riskini azaltır.

Ölçeklenebilirlik

Aleo, off-chain işleme yöntemi kullanıyor; işlemler öncelikle kullanıcı cihazında kanıt olarak hesaplanıyor, ardından yalnızca doğrulama sonuçları blok zincirine yükleniyor. Bu yöntem, işlem hızını ve sistemin ölçeklenebilirliğini büyük ölçüde artırarak Ethereum benzeri ağ tıkanıklığı ve yüksek maliyet sorunlarının önlenmesini sağlıyor.

Konsens Mekanizması

Aleo, doğrulayıcıların anlık nihaiyetini ve kanıtlayıcıların hesaplama gücünü birleştiren hibrit mimariye sahip bir konsensüs mekanizması olan AleoBFT'yi tanıttı. AleoBFT, ağın merkeziyetsizliğini artırmanın yanı sıra performansı ve güvenliği de güçlendirir.

1. Blok hızlı nihayetlik: AleoBFT, her blok oluşturulduktan sonra hemen onaylanmasını sağlar, bu da düğüm stabilitesini ve kullanıcı deneyimini artırır.

2. Merkeziyetsiz güvence: Blok üretimini coinbase oluşturulmasından ayırarak, doğrulayıcılar blokları üretmekle sorumlu, kanıtlayıcılar ise kanıt hesaplaması yaparak, azınlık varlıkların ağı tekelleştirmesini engeller.

3. Teşvik Mekanizması: Doğrulayıcılar ve kanıtlayıcılar blok ödüllerini paylaşır; kanıtlayıcıları token stake ederek doğrulayıcı olmaya teşvik eder, böylece ağın merkeziyetsizleşme derecesini ve hesaplama yeteneğini artırır.

Aleo, geliştiricilerin gas kısıtlamalarına tabi olmayan uygulamalar oluşturmasına olanak tanır, bu nedenle özellikle uzun süre çalışması gereken makine öğrenimi gibi uygulamalar için uygundur.

Son Gelişmeler

Aleo, 1 Temmuz'da teşvik test ağını başlatacak, işte bazı önemli güncellemeler:

1. ARC-100 teklifi kabul edildi: Bu teklif, uyumluluk, Aleo ağı üzerindeki fonların kilitlenmesi ve gecikmeli transfer gibi güvenlik önlemlerini içermektedir, şu anda ekip son düzenlemeleri yapmaktadır.

2. Doğrulayıcı Teşvik Programı: Bu program 1 Temmuz'da başlayacak ve yeni puzzle mekanizmasını doğrulamayı amaçlıyor. Program 15 Temmuz'a kadar sürecek ve bu süre zarfında 1 milyon Aleo puanı ödül olarak dağıtılacak.

3. Token Arzı: Başlangıç arzı 1.5 milyar token, başlangıçta dolaşım arzı yaklaşık %10'dur. Bu tokenler esas olarak görev ödüllerinden (75 milyon) gelmektedir ve ilk altı ay içinde dağıtılacaktır. Ayrıca, stake etme, doğrulayıcı çalıştırma ve doğrulama düğümleri için ödülleri de içermektedir.

4. Test Ağı Güncellemesi: Son ağ sıfırlaması ARC-41 ve yeni bulmaca özellikleri eklenerek tamamlanacaktır.

5. Kodun dondurulması: Bir hafta önce tamamlandı.

6. Doğrulayıcı düğüm genişletme planı: Başlangıçta doğrulayıcı düğüm sayısı 15'tir, hedef yıl içinde 50'ye çıkmak ve nihayetinde 500'e ulaşmaktır. Temsilci olmak için 10.000 token, doğrulayıcı olmak için 10.000.000 token gerekmektedir; bu miktarlar zamanla kademeli olarak azalacaktır.

Synthesis Puzzle algoritması analizi

Aleo'nun en son sürümündeki bulmaca algoritmasının çekirdeği Synthesis Puzzle olarak adlandırılmaktadır ve ana özellikleri şunlardır:

1. Her epoch'ta ortak bir EpochProgram üretilir.

2. Giriş ve EpochProgram kullanarak R1CS kanıt devresi inşa edin, R1CS ataması (şahit) oluşturun.

3. witness'i Merkle ağacının yaprak düğümü olarak kullanın, Merkle kökünü hesaplayın ve bunu solution'ın proof_target'ine dönüştürün.

4. Her bir puzzle hesaplaması nonce olarak adlandırılır ve madencilik ödülünü alan adres, epoch_hash ve rastgele sayı counter ile inşa edilir.

5. EpochProgram, mevcut epoch_hash'tan üretilen rastgele sayıları komut kümesinden örnekleyerek oluşturur.

6. EpochProgram'un girişi için nonce'u rastgele sayı tohumu olarak kullanın.

7. Witness hesaplandıktan sonra, 8 derinliğinde 8-ary Merkle ağacının yaprak düğüm dizisine dönüştürün.

8. Merkle kökünü hesaplayın ve bunu solution'ın proof_target'ına dönüştürün, mevcut epoch'un latest_proof_target'ını karşılayıp karşılamadığını kontrol edin.

9. Aynı epoch içinde EpochProgram'ın girdiğini güncellemek için iterasyon sayacı kullanarak birden fazla çözüm hesaplaması yapılabilir.

Bu güncelleme, puzzle'ı proof üretiminden witness üretimine dönüştürüyor. Her epoch içindeki tüm çözüm hesaplama mantığı tutarlı, ancak farklı epochlar arasındaki hesaplama mantığı oldukça farklı. Önceki test ağına kıyasla, yeni algoritma MSM ve NTT hesaplamalarını terk ediyor ve paralelleştirme yeni zorluklarla karşı karşıya. Bu değişiklik mevcut madencilik optimizasyon stratejileri üzerinde önemli bir etki yaratabilir ve madencilerin yeni algoritma özelliklerine yeniden uyum sağlaması gerekebilir.