Aleo: Gizlilik Blok Zinciri'nin Yeni Yönü

Aleo, kullanıcıların kişisel verileri ifşa etmeden kimlik doğrulama ve veri işleme yapabilmelerini sağlamak amacıyla, daha yüksek bir gizlilik ve ölçeklenebilirlik seviyesine ulaşmak için sıfır bilgi kanıtı (ZKP) teknolojisini kullanan gizliliğe odaklanan bir Blok Zinciri projesidir.

Proje Özeti

Gizlilik

Aleo'nun çekirdeği, işlemlerin ve akıllı sözleşmelerin uygulanmasını gizliliği korurken gerçekleştiren sıfır bilgi kanıtı teknolojisidir. Kullanıcıların işlem ayrıntıları varsayılan olarak gizlidir, ancak gerektiğinde seçici olarak açıklamaya izin verir, bu da DeFi uygulamalarının gelişimi için son derece uygundur. Ana bileşenler şunları içerir:

1. Leo derleme dili: Sıfır bilgi uygulamaları ( ZKApps ) geliştirmek için özel olarak tasarlanmış bir dildir ve geliştiricilerin kriptografi bilgisine olan gereksinimlerini azaltır.

2. snarkVM ve snarkOS: snarkVM, zincir dışı hesaplamaların gerçekleştirilmesine olanak tanır, zincir üzerinde yalnızca sonuçları doğrular, verimliliği artırır. snarkOS, verilerin ve hesaplamaların güvenliğini sağlar ve izin gerektirmeyen işlevlerin gerçekleştirilmesine destek verir.

3. zkCloud: Güvenli, özel bir blok zinciri dışı hesaplama ortamı sağlar, kullanıcılar, organizasyonlar ve DAO'lar arasında programlama etkileşimini destekler.

Aleo ayrıca geliştiricilerin uygulamaları hızlı bir şekilde 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ı olmadan platform riskini azaltarak uygulamaları Aleo'nun program kayıt defterine dağıtabilirler.

Ölçeklenebilirlik

Aleo, işlemleri zincir dışı işleme yöntemi ile gerçekleştirir, işlemler önce kullanıcı cihazında kanıt hesaplanır, ardından yalnızca doğrulama sonuçları Blok Zincirine yüklenir. Bu yöntem, işlem işleme hızını ve sistem ölçeklenebilirliğini büyük ölçüde artırarak, ağ tıkanıklığı ve yüksek maliyet sorunlarının önüne geçer.

Konsens Mekanizması

Aleo, doğrulayıcıların anlık nihaiyetini ve kanıtlayıcıların hesaplama yeteneğini birleştiren, karma bir mimari konsensüs mekanizması olan AleoBFT'yi tanıttı. AleoBFT, ağın merkeziyetsizliğini artırır, performansı ve güvenliği güçlendirir.

1. Blok hızlı kesinliği: Her blok oluşturulduktan sonra hemen onaylanmasını sağlar, düğüm istikrarını ve kullanıcı deneyimini artırır.

2. Merkeziyetsiz Güvence: Blok üretimi ve coinbase oluşturulmasını ayırarak, 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, ağın merkeziyetsizliğini ve hesaplama kapasitesini artırır.

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

Son Gelişmeler

Aleo, 1 Temmuz'da teşvik test ağını başlatacak, önemli bilgiler şunlardır:

1. ARC-100 oylaması geçti, ekip son ayarlamaları yapıyor.

2. Doğrulayıcı teşvik programı 1 Temmuz'da başlayacak, 15 Temmuz'a kadar sürecek ve ödül olarak 1.000.000 Aleo puanı dağıtılacak.

3. Başlangıç arzı 1.5 milyar token, başlangıçta dolaşım arzı yaklaşık %10'dur.

4. Testnet Beta son ağ sıfırlamasını tamamladı, ARC-41 ve yeni bulmaca özelliği eklendi.

5. Kod dondurma bir hafta önce tamamlandı.

6. Doğrulayıcı düğüm genişletme planı: İlk 15 düğüm, yıl içinde 50'ye çıkarılması hedefleniyor, sonunda 500'e ulaşması planlanıyor.

Synthesis Puzzle algoritması analizi

Aleo en son Synthesis Puzzle olarak adlandırılan puzzle algoritmasını güncelledi. Yeni algoritma artık zk proof oluşturmasına odaklanmıyor, bunun yerine ara verileri witness oluşturmaya odaklanıyor. Algoritmanın ana akış süreci aşağıdaki gibidir:

1. Her epoch'ta ortak bir EpochProgram oluşturulur.

2. nonce( kullanarak madencilik ödül adresi, epoch_hash ve rastgele sayı counter'ı ) olarak girdi olarak kullanın.

3. EpochProgram ve girişi kullanarak R1CS kanıt devresi inşa et, tanık (witness) oluştur.

4. witness'i Merkle ağacının yaprak düğümü olarak al, Merkle kökünü hesapla.

5. Merkle kökünü çözümün proof_target'ine çevirin, mevcut epoch gereksinimlerini karşılayıp karşılamadığını doğrulayın.

6. Gereksinimleri karşılıyorsa çözümü gönderin ve yayınlayın.

Bu güncelleme, puzzle'ın proof üretiminden witness üretimine geçmesini sağladı, her epoch içindeki hesaplama mantığı tutarlı ancak farklı epochlar arasında büyük farklılıklar var. Yeni algoritma, önceki MSM ve NTT hesaplamalarını kaldırdı, paralel uygulama zorluğunu artırdı. Bu değişiklik, madencilik stratejileri ve verimlilik üzerinde önemli bir etki yaratacak.