Aleo: Gizlilik Koruma Blok Zinciri Yenilikçisi

Aleo, gizlilik korumaya adanmış bir Blok Zinciri projesidir ve daha yüksek gizlilik ve ölçeklenebilirlik sağlamak için sıfır bilgi kanıtı teknolojisini (ZKP) kullanmaktadır. Projenin temel felsefesi, kullanıcıların kişisel verileri ifşa etmeden kimlik doğrulama ve veri işleme yapabilmelerini sağlamaktır.

Bu makalede Aleo'nun proje özeti ve en son gelişmeleri tanıtılacak ve piyasanın dikkatini çeken puzzle algoritması güncellemesi detaylı bir şekilde ele alınacaktır.

Proje Genel Görünümü

Gizlilik

Aleo'nun temeli, işlemlerin ve akıllı sözleşmelerin gizliliği koruyarak gerçekleştirilmesini sağlayan sıfır bilgi kanıtları (ZKP'ler) teknolojisidir. Kullanıcıların işlem detayları, gönderici ve işlem miktarı gibi, varsayılan olarak gizlidir. Bu tasarım, yalnızca kullanıcı gizliliğini korumakla kalmaz, aynı zamanda gerektiğinde seçici ifşaya da olanak tanır; bu, DeFi uygulamalarının gelişimi için oldukça uygundur. Ana bileşenleri şunlardır:

1. Leo Derleme Dili: Rust diline dayalı olarak geliştirilmiştir, sıfır bilgi uygulamaları (ZKApps) geliştirmek için özel olarak tasarlanmıştır ve geliştiricilerin kriptografi bilgisi gereksinimlerini azaltmıştır.

2. snarkVM ve snarkOS: snarkVM, off-chain hesaplamaların gerçekleştirilmesine ve on-chain yalnızca hesaplama sonuçlarının doğrulanmasına olanak tanıyarak verimliliği artırır. snarkOS, verilerin ve hesaplamaların güvenliğini sağlar ve izin gerektirmeyen işlevlerin gerçekleştirilmesine izin verir.

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

Aleo ayrıca geliştiricilerin uygulamaları hızlı bir şekilde yazıp 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ı dağıtabilir ve üçüncü taraflara bağımlı olmadan platform riskini azaltabilirler.

Ölçeklenebilirlik

Aleo, off-chain işleme yöntemini benimsemiştir; işlemler önce kullanıcı cihazında kanıtları hesaplar ve ardından yalnızca doğrulama sonuçları blok zincirine yüklenir. Bu yöntem, işlemlerin işlenme hızını ve sistemin ölçeklenebilirliğini büyük ölçüde artırarak ağ tıkanıklığı ve yüksek maliyet sorunlarını önler.

Konsensüs Mekanizması

Aleo, doğrulayıcıların anlık nihai belirlenmesi ve kanıtlayıcıların hesaplama gücünü birleştiren hibrid bir mimari konsensüs mekanizması olan AleoBFT'yi tanıttı. AleoBFT, ağın merkeziyetsizliğini artırmakla kalmayıp, aynı zamanda performans ve güvenliği de güçlendirir.

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

2. Merkeziyetsiz Güvence: Blok üretimini coinbase oluşturulmasından ayırarak, doğrulayıcılar blok oluşturma, kanıtlayıcılar ise kanıt hesaplama ile sorumlu olur, böylece azınlık varlıkların ağı tekelleştirmesi engellenir.

3. Teşvik Mekanizması: Doğrulayıcılar ve kanıtlayıcılar blok ödüllerini paylaşır; kanıtlayıcıları, tokenleri stake ederek doğrulayıcı olmaya teşvik eder, böylece ağın merkeziyetsizliğini ve hesaplama kapasitesini artırır.

Aleo, geliştiricilerin gas kısıtlamalarına tabi olmayan uygulamalar oluşturmasına izin verir, bu nedenle özellikle uzun süre çalışması gereken makine öğrenimi gibi uygulamalar için uygundur.

Son Gelişmeler

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

1. ARC-100 Oyu Geçti: ARC-100 ("Aleo Geliştiricileri ve Operatörleri için Uyum En İyi Uygulamaları" önerisi, uyum konuları, Aleo ağı üzerindeki fonların kilitlenmesi ve gecikmeli hesaplara geçiş gibi güvenlik önlemlerini kapsar) oylaması sona erdi ve kabul edildi. Ekip son ayarlamaları yapıyor.

2. Doğrulayıcı Teşvik Programı: Bu program 1 Temmuz'da başlayacak ve yeni puzzle mekanizmasını doğrulamayı amaçlıyor. Program 15 Temmuz'a kadar sürecek ve bu süre zarfında 1 milyon Aleo puanı ödül olarak dağıtılacak. Düğüm tarafından üretilen puan yüzdesi, ödül payını belirleyecektir; her doğrulayıcının ödül alabilmesi için en az 100 token kazanması gerekecek. Detaylar henüz kesinleşmedi.

3. İlk arz ve dolaşımdaki arz: İlk arz miktarı 1.5 milyar jeton olup, ilk dolaşımdaki arz miktarı yaklaşık %10'dur (henüz kesinleşmemiştir). Bu jetonlar esas olarak Coinbase görevlerinden (75 milyon) gelmekte olup, ilk altı ay içinde dağıtılacaktır ve aynı zamanda staking, doğrulayıcı çalıştırma ve doğrulama düğümleri için ödülleri içermektedir.

4. Testnet Beta Sıfırlama: Bu son ağ sıfırlamasıdır, tamamlandıktan sonra yeni özellikler eklenmeyecek, ağ ana ağa benzer olacaktır. Sıfırlama, ARC-41 ve yeni puzzle işlevini eklemek içindir.

5. Kod Donması: Kod donması 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 50'ye çıkarılmak ve nihayetinde 500'e ulaşmaktır. Temsilci 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 Algoritma Analizi

Aleo, yakın zamanda en son sürüm olan puzzle algoritmasını güncelledi. Yeni algoritma, artık zk proof sonuçlarının üretilmesine odaklanmıyor, MSM ve NTT hesaplamalarını kaldırdı ve bunun yerine proof'tan önceki ara veri witness'ının üretilmesine odaklanıyor. İşte en son algoritmanın kısa bir tanıtımı:

Konsens Süreci

1. Prover, bulmacayı çözerek çözümleri oluşturur ve ağa yayar.

2. Validator toplama işlemleri ve çözüm, bir sonraki yeni blok için, çözüm sayısının konsensüs sınırını aşmamasını garanti eder.

3. Çözümün geçerliliği, epoch_hash'in validator tarafından korunan latest_epoch_hash ile uyumlu olduğunun doğrulanmasını, hesaplanan proof_target'in ağdaki validator tarafından korunan latest_proof_target ile uyumlu olmasını ve bu blokta bulunan çözüm sayısının konsensüs sınırını aşmamasını gerektirir.

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

Synthesis Puzzle Temel Mekanizması

1. 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.

2. Her epoch'ta, ağdaki tüm prover'ların hesaplaması gereken EpochProgram aynıdır ve mevcut epoch_hash'tan üretilen rastgele sayı, talimat kümesinden örneklenir.

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

4. EpochProgram'a karşılık gelen R1CS ve girdi ile witness hesaplaması yapın.

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

6. Merkle kökünü hesaplayın ve bunu çözümü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 girdisini güncellemek için counter'ı yineleyerek birden fazla çözüm hesaplaması yapılabilir.

Madencilik Değişiklikleri ve Etkileri

Bu güncellemeden sonra, puzzle, proof üretiminden witness üretimine geçiyor; her epoch içindeki tüm solution hesaplama mantığı tutarlı, ancak farklı epoch'lar arasındaki hesaplama mantığı oldukça farklı. Yeni algoritma, önceki MSM ve NTT hesaplamalarını terk etti ve GPU optimizasyonunun etkisini azalttı. Witness üretim süreci, epoch'a bağlı olarak değişen bir programın yürütülmesini içerdiğinden, içindeki talimatların kısmi seri yürütme bağımlılıkları vardır ve paralelleştirme gerçekleştirmek belirli bir zorluk taşımaktadır.

Bu değişiklik mevcut madencilik stratejilerini ve donanım avantajlarını etkileyebilir, bu da madencilik katılımcılarının yeni algoritma gereksinimlerine yeniden uyum sağlaması gerektiği anlamına gelir. Aynı zamanda, bu yeni katılımcılar için daha adil bir rekabet ortamı sunabilir ve ağın merkeziyetsizleşme derecesini artırabilir.