Aleo: Web3 Gizlilik Hesaplamalarının Yeni Dönemine Öncülük Ediyor

Aleo, kullanıcıların kişisel verilerini ifşa etmeden kimlik doğrulama ve veri işleme yapmalarını sağlamayı amaçlayan bir gizlilik odaklı blok zinciri projesidir. Bu, daha yüksek gizlilik ve ölçeklenebilirlik sağlamak için sıfır bilgi kanıtı teknolojisi (ZKP) kullanarak gerçekleştirilir.

Proje Özeti

Aleo'nun temeli sıfır bilgi kanıtları (ZKPs) teknolojisidir, bu sayede işlemler ve akıllı sözleşmelerin yürütülmesi gizliliği korurken gerçekleştirilebilir. 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şenler şunlardır:

1. Leo derleme dili: Rust'a dayalı olarak uyarlanmış, sıfır bilgi uygulamaları geliştirmek için özel olarak tasarlanmıştır (ZKApps), geliştiricilerin kriptografi bilgisi gereksinimlerini azaltmaktadır.

2. snarkVM ve snarkOS: snarkVM, sonuçları yalnızca doğrulamak için zincir dışı hesaplama yapmasına izin verir, verimliliği artırır. snarkOS, verilerin ve hesaplamaların güvenliğini sağlar ve izin gerektirmeyen işlevlerin yürütülmesini destekler.

3. zkCloud: Güvenli, özel bir zincir 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 yazmalarını ve yayımlamalarını destekleyen entegre geliştirme ortamı (IDE) ve yazılım geliştirme araç seti (SDK) sunmaktadır. Geliştiriciler, Aleo'nun program kayıt defterinde uygulamaları doğrudan dağıtarak platform riskini azaltabilirler.

Ölçeklenebilirlik

Aleo, off-chain işleme yöntemini benimsemektedir. İşlemler önce kullanıcı cihazında kanıt olarak hesaplanmakta, ardından yalnızca doğrulama sonuçları blok zincirine yüklenmektedir. Bu yöntem, işlem işleme 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 gücünü birleştiren hibrit mimariye sahip bir konsensüs mekanizması olan AleoBFT'yi tanıttı. AleoBFT, ağın merkeziyetsizliğini artırarak performansı ve güvenliği güçlendirir.

1. Blok Hızlı Nihai Sonuç: AleoBFT, her blok oluşturulduktan sonra hemen onaylanmasını sağlar, bu da düğüm kararlılığını ve kullanıcı deneyimini artırır.

2. Merkeziyetsiz Güvence: Blok üretimini ve coinbase oluşturmayı ayırarak, doğrulayıcılar blokları oluşturur, kanıtlayıcılar ise kanıt hesaplaması yapar, böylece 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, ağın merkeziyetsizliğini ve hesaplama gücünü artırır.

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

Son Gelişmeler

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

1. ARC-100 oylaması kabul edildi: Uygunluk, ağ üzerindeki fonların kilitlenmesi ve gecikmeli hesaplara aktarım gibi güvenlik önlemleri ile ilgili öneri kabul edildi, ekip son ayarlamaları yapıyor.

2. Doğrulayıcı Teşvik Programı: 1 Temmuz'dan 15 Temmuz'a kadar 1 milyon Aleo puanı ödül olarak dağıtılacaktır. Düğüm tarafından üretilen puan yüzdesi, ödül payını belirleyecektir, her doğrulayıcının ödül almak için en az 100 token kazanması gerekmektedir.

3. Token arzı: Başlangıç arzı 1.5 milyar token olup, başlangıçta dolaşımda olan arz yaklaşık %10'dur. Bu tokenler esasen Coinbase görevinden gelmektedir (7500000), ilk altı ay içinde dağıtılacak ve aynı zamanda staking, doğrulayıcı çalıştırma ve doğrulama düğümleri için ödülleri de içerecektir.

4. Testnet Beta sıfırlaması: Bu son ağ sıfırlaması, tamamlandıktan sonra yeni özellikler eklenmeyecek, ağ ana ağa benzer olacaktır.

5. Kod dondurma: Bir hafta önce tamamlandı.

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

Synthesis Puzzle algoritması analizi

Aleo'nun en son versiyonundaki puzzle algoritmasının çekirdeği Synthesis Puzzle olarak adlandırılmaktadır, başlıca özellikleri şunlardır:

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

2. Giriş ve EpochProgram için R1CS kanıt devresi oluşturarak, karşılık gelen R1CS atamasını (, yani tanık )'i üretin.

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

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

5. EpochProgram, mevcut epoch_hash'tan üretilen rastgele sayıyı komut setinden örnekleyerek oluşturur.

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

7. Witness hesaplandıktan sonra, Merkle ağacı yaprağı düğüm dizisine dönüştürülerek derinliği 8 olan 8'li K-ary Merkle ağacı oluşturulur.

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

9. Şartları yerine getirdiğinde çözümü gönder ve yayınla.

Bu güncelleme, puzzle'ın proof üretiminden witness üretimine geçmesini sağladı, her epoch içindeki çözüm hesaplama mantığı tutarlıdır, ancak farklı epochlar arasında hesaplama mantığı büyük farklılıklar göstermektedir. Yeni algoritma, önceki MSM ve NTT hesaplamalarını terk etti, ayrıca witness üretim sürecinde var olan seri bağımlılıklar nedeniyle, paralelleştirme gerçekleştirmek büyük zorluklarla karşı karşıyadır.

Genel olarak, Aleo bu yenilikçi algoritma ile Web3 gizlilik hesaplama alanındaki liderliğini daha da güçlendirdi ve gelecekteki gelişmeler için sağlam bir temel oluşturdu.