Aleo: Gizlilik ve ölçeklenebilirlik için yenilikçi Blok Zinciri projesi

Aleo, gizlilik korumaya odaklanan bir Blok Zinciri projesidir ve daha yüksek gizlilik ve ölçeklenebilirlik sağlamak için sıfır bilgi kanıtı teknolojisini kullanır. 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 temeli, işlemlerin ve akıllı sözleşmelerin gizliliği koruyarak yürütülmesini sağlayan sıfır bilgi kanıtı teknolojisidir. Kullanıcıların işlem detayları varsayılan olarak gizlidir, aynı zamanda gerektiğinde seçici ifşaya izin verir, bu da DeFi uygulamalarının geliştirilmesi için son derece uygundur. Ana bileşenleri şunlardır:

1. Leo derleyici dili: Rust diline dayalı olarak geliştirilen, sıfır bilgi uygulamaları geliştirmek için özel olarak tasarlanmış, geliştiricilerin kriptografi bilgisi gereksinimlerini azaltmaktadır.

2. snarkVM ve snarkOS: snarkVM, off-chain hesaplamaların yürütülmesine izin verir, on-chain yalnızca hesaplama sonuçlarını doğrular ve bu sayede verimliliği artırır. snarkOS, verilerin ve hesaplamaların güvenliğini sağlar ve izinsiz işlevlerin yürütülmesine izin verir.

3. zkCloud: Kullanıcılar, organizasyonlar ve DAO'lar arasında programlama etkileşimlerini destekleyen güvenli, özel bir zincir dışı hesaplama ortamı sağlar.

Aleo ayrıca geliştiricilerin uygulamaları hızla yazıp yayınlamalarını destekleyen entegre bir geliştirme ortamı ve yazılım geliştirme araç seti sunmaktadır. Geliştiriciler, üçüncü taraflara bağımlı kalmadan platform riskini azaltarak Aleo'nun program kayıt defterine uygulama dağıtabilirler.

Ölçeklenebilirlik

Aleo, zincir dışı işleme yöntemini benimsemiştir; işlemler önce kullanıcı cihazında kanıt olarak hesaplanır, ardından yalnızca doğrulama sonuçları blok zincirine yüklenir. Bu yöntem, işlem hızını ve sistemin ölçeklenebilirliğini büyük ölçüde artırmakta, ağ tıkanıklığı ve yüksek maliyet sorunlarından kaçınmaktadır.

Konsensüs Mekanizması

Aleo, doğrulayıcıların anlık nihaiyetini ve kanıtlayıcıların hesaplama yeteneğini birleştiren hibrit mimaride bir konsensüs mekanizması olan AleoBFT'yi tanıttı. AleoBFT, ağın merkezileşmemişlik derecesini artırmakla kalmaz, aynı zamanda performansı ve güvenliği de güçlendirir.

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

2. Merkeziyetsiz güvence: Blok üretimini coinbase oluşturmasından ayırarak, doğrulayıcılar blokları üretmekle sorumludur, kanıtlayıcılar ise kanıt hesaplaması yapar, böylece azınlık varlıkların ağı tekelleştirmesini önler.

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 merkeziyetsizlik düzeyini ve hesaplama kapasitesini artırır.

Aleo, geliştiricilerin gas kısıtlaması 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şvikli test ağına başlayacak, işte bazı önemli güncellemeler:

1. ARC-100 oylaması kabul edildi: Uyum konuları, çevrimiçi fonların kilitlenmesi ve gecikmeli hesaplara geçiş gibi güvenlik önlemlerini içeren öneri kabul edildi. Ekip son ayarlamaları yapıyor.

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

3. Token arzı: Başlangıç arzı 1.5 milyar tokendir, başlangıçta dolaşım arzı yaklaşık %10'dur. Bu tokenlar esasen görev ödüllerinden gelmektedir ve ilk altı ay içinde dağıtılacaktır, ayrıca stake etme, doğrulayıcıları çalıştırma ve doğrulama düğümlerinin ödüllerini de içermektedir.

4. Test Ağı Güncellemesi: Bu son ağ sıfırlamasıdır, tamamlandıktan sonra yeni özellikler eklenmeyecek, ağ ana ağa benzer hale gelecektir. Sıfırlama, ARC-41 ve yeni puzzle özelliğini eklemek içindir.

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 bunu 50'ye çıkarmak ve nihayetinde 500'e ulaşmaktır. Delegatör 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ı güncellemesi

Aleo, yakın zamanda puzzle algoritmasının en son sürümünü güncelledi. Yeni algoritma, artık zk proof sonuçlarının üretilmesine odaklanmıyor, bunun yerine proof'tan önceki ara verilerin witness olarak üretilmesine odaklanıyor.

Konsens Süreci

1. Hesaplayıcı, puzzle'ı hesaplayarak çözümler oluşturur ve bunları ağa yayınlar.

2. Doğrulayıcılar, bir sonraki yeni blok için işlem ve çözümü birleştirir, çözüm sayısının konsensüs sınırını aşmadığından emin olur.

3. Çözümün geçerliliği, epoch_hash ve proof_target'in ağda tutulan en son değerlerle uyumlu olup olmadığının doğrulanmasını gerektirir; ayrıca bu blokta yer alan çözüm sayısı, konsensüs sınırından daha az olmalıdır.

4. Geçerli bir çözüm, konsensüs ödülü alabilir.

Synthesis Puzzle çekirdek süreç

1. Her puzzle hesaplaması nonce olarak adlandırılır ve madencilik ödülünü alan adres, epoch_hash ve rasgele sayı counter ile oluşturulur.

2. Her epoch'ta, ağdaki tüm hesaplayıcıların hesaplaması gereken EpochProgram aynıdır ve mevcut epoch_hash'tan üretilen rastgele sayılar komut setinden örneklenir.

3. EpochProgram'un girişi için rastgele sayı tohumunu oluşturmak üzere nonce kullanın.

4. EpochProgram'a karşılık gelen R1CS ve girişi birleştirerek, tanık hesaplaması yapın.

5. Tüm witness'leri hesapladıktan sonra, bunları merkle ağacının yaprak düğüm dizisine dönüştürün.

6. merkle root'u 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.

7. Aynı epoch içinde, EpochProgram'ın girdiğini güncelleyerek iterasyon sayacı ile birden fazla çözüm hesaplaması yapılabilir.

Bu güncelleme, puzzle'ın proof üretiminden witness üretimine geçişini sağlıyor; her epoch içindeki tüm solution hesaplama mantığı tutarlı, ancak farklı epochlar arasındaki hesaplama mantığı önemli ölçüde farklı. Yeni algoritma, önceki MSM ve NTT hesaplamalarını terk ediyor; ayrıca witness üretim sürecinde bazı seri yürütme bağımlılıkları bulunduğundan, paralelleştirme belirli zorluklar barındırıyor.