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

Aleo, gizliliğe odaklanan bir Blok Zinciri projesidir ve daha yüksek gizlilik ve ölçeklenebilirlik sağlamak için sıfır bilgi kanıtı teknolojisini kullanmaktadı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 Genel Görünümü

Gizlilik

Aleo'nun temeli sıfır bilgi kanıtı teknolojisidir, bu da işlemlerin ve akıllı sözleşmelerin yürütülmesinin gizliliği koruyarak gerçekleşmesini sağlar. Kullanıcıların işlem detayları varsayılan olarak gizlenirken, gerektiğinde seçici olarak ifşa edilmesine izin verir, bu da DeFi uygulamalarının gelişimi için son derece uygundur. Ana bileşenler şunlardır:

1. Leo derleyici dili: Sıfır bilgi uygulamaları geliştirmek için özel olarak tasarlanmıştır, geliştiricilerin kriptografi bilgisi gereksinimlerini azaltır.

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

3. zkCloud: Güvenli, özel bir zincir dışı hesaplama ortamı sunar, çoklu taraflı programlama etkileşimini destekler.

Aleo ayrıca hızlı uygulama geliştirme ve dağıtımını destekleyen entegre geliştirme ortamı ve yazılım geliştirme araç seti sunmaktadır.

Ölçeklenebilirlik

Aleo, zincir dışı işleme yöntemini benimser. İşlemler öncelikle kullanıcı cihazında kanıt olarak hesaplanır ve ardından yalnızca doğrulama sonuçları Blok Zinciri'ne yüklenir. Bu, işlem işleme hızını ve sistemin ölçeklenebilirliğini büyük ölçüde artırır, ağ tıkanıklığını ve yüksek maliyetleri önler.

Konsens Mekanizması

Aleo, doğrulayıcıların anlık nihaiyetini ve kanıtlayıcıların hesaplama gücünü birleştiren, karma bir mimariye sahip bir konsensüs mekanizması olan AleoBFT'yi tanıttı. Ana özellikler:

1. Blok hızlı nihai kesinlik: Her bir blok oluşturulduktan sonra hemen onaylanmasını sağlamak.

2. Merkeziyetsiz güvence: Blok üretimini ve coinbase üretimini 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şarak ağ işletimine katılımı teşvik eder.

Aleo, gas kısıtlaması olmadan uygulama geliştirilmesine izin verir ve makine öğrenimi gibi uzun süreli uygulamalar için uygundur.

Son Gelişmeler

1. ARC-100 teklifi kabul edildi: uyum ve güvenlik önlemlerini içeriyor, son ayarlamalar yapılıyor.

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

3. Başlangıç Tedariki ve Dolaşım: Başlangıç tedarik miktarı 1.5 milyar token, başlangıçta dolaşım yaklaşık %10.

4. Test Ağı Beta Sıfırlaması: ARC-41 ve yeni bulmaca işlevi eklendi.

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

6. Doğrulayıcı Düğüm Genişlemesi: İlk 15 düğüm, hedef yıl içinde 50'ye çıkarılacak, nihai olarak 500'e ulaşılacak.

Synthesis Puzzle algoritması güncellemesi

Yeni algoritma artık zk proof sonuçlarının üretilmesine odaklanmıyor, MSM ve NTT hesaplamalarını kaldırdı ve bunun yerine tanık üretimine odaklanıyor. Ana süreç:

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

2. EpochProgram girişi oluşturmak için nonce'u rastgele tohum olarak kullanın.

3. R1CS ve girişi birleştirerek, tanık hesaplayın.

4. witness'ı Merkle ağacı yaprak düğümüne dönüştür.

5. Merkle kökünü hesaplayın ve proof_target'a dönüştürün.

6. Koşulları sağlıyorsa çözümü gönderin ve yayınlayın.

Bu güncelleme, puzzle'ın proof üretiminden witness üretimine geçişini sağladı; her epoch içinde hesaplama mantıksal olarak tutarlı ancak farklı epochlar arasında oldukça büyük farklılıklar var. Yeni algoritmanın GPU optimizasyonu zorluklar getiriyor, paralelleştirme gerçekleştirmek belirli bir zorluk taşıyor.