Aleo: Gizlilik ve ölçeklenebilirliği ön planda tutan Blok Zinciri projesi

Aleo, gizlilik korumaya odaklanan bir blok zinciri projesidir ve daha yüksek düzeyde 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 verileri korurken 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 koruma koşuluyla gerçekleştirilmesine olanak tanıyan sıfır bilgi kanıtı (ZKPs) teknolojisidir. Kullanıcıların işlem detayları varsayılan olarak gizlidir ve gerektiğinde seçici ifşaya izin verir. Ana bileşenler şunlardır:

1. Leo derleyici dili: Sıfır bilgi uygulamaları (ZKApps) geliştirmek için özel olarak tasarlanmış bir dildir.

2. snarkVM ve snarkOS: snarkVM, zincir dışı hesaplamaların gerçekleştirilmesine izin verir, zincir üzerinde yalnızca sonuçları doğrular; snarkOS, verilerin ve hesaplamaların güvenliğini sağlar.

3. zkCloud: Güvenli, özel bir zincir dışı hesaplama ortamı sağlar.

Aleo ayrıca geliştiricilerin uygulamaları hızlı bir şekilde yazıp yayınlamalarını destekleyen IDE ve SDK sunmaktadır. Geliştiriciler, Aleo'nun program kayıt defterinde doğrudan uygulama dağıtabilir.

Ölçeklenebilirlik

Aleo, zincir dışı işlem yöntemi kullanır, işlemler önce kullanıcı cihazında kanıt hesaplanır, ardından yalnızca doğrulama sonuçları blok zincirine yüklenir. Bu, işlem işleme hızını ve sistemin ölçeklenebilirliğini büyük ölçüde artırı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, karma bir mimariye sahip bir 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ı nihai: Her blok oluşturulduktan sonra hemen onaylanmasını sağlamak.

2. Merkeziyetsiz Güvence: Blok üretimini coinbase oluşturmasından ayırmak.

3. Teşvik Mekanizması: Doğrulayıcılar ve kanıtlayıcılar blok ödüllerini paylaşır.

Aleo, geliştiricilerin uzun süre çalışması gereken uygulamalar için gaz sınırlaması olmayan uygulamalar oluşturmasına izin verir.

Son Gelişmeler

1. ARC-100 oylaması geçti: Uygunluk ve güvenlik önlemleriyle ilgili öneri kabul edildi.

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

3. Token Arzı: İlk arz miktarı 1.5 milyar, ilk dolaşım yaklaşık %10.

4. Testnet Beta sıfırlama: Bu son ağ sıfırlamasıdır, ARC-41 ve yeni bulmaca işlevi eklenmiştir.

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

6. Doğrulama Düğümü Genişletme Planı: İlk 15, yıl içinde 50'ye çıkarılması hedefleniyor, nihai olarak 500'e ulaşılması bekleniyor.

Synthesis Puzzle algoritması analizi

Aleo, en son puzzle algoritmasını güncelledi, artık zk proof üretimine odaklanmıyor, bunun yerine tanık üretimine yöneliyor. Yeni algoritmanın çekirdeği Synthesis Puzzle olarak adlandırılıyor, ana adımlar şöyle:

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

2. EpochProgram'un girdi olarak nonce'u rastgele sayı tohumu olarak kullanın.

3. EpochProgram'un karşılık gelen R1CS'sini ve girdisini birleştirerek, tanık hesaplayın.

4. witness'i 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. proof_target'ın mevcut epoch gereksinimlerini karşılayıp karşılamadığını doğrulayın.

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

Bu güncelleme, puzzle hesaplamalarının her bir epoch içinde tutarlı kalmasını sağlarken, farklı epochlar arasında büyük farklılıklar yaratmaktadır. MSM ve NTT hesaplamalarının kaldırılması ve kısmi seri yürütme bağımlılıklarının eklenmesi, GPU optimizasyonu ve paralelleştirme uygulamaları için yeni zorluklar getirmiştir.