Aleo: Gizlilik ve Ölçeklenebilirlik Blok Zinciri Öncüsü

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

Bu yazıda Aleo'nun proje özeti ve son gelişmeleri tanıtılacak ve yeni algoritması Synthesis Puzzle hakkında ayrıntılı bir inceleme yapılacaktır.

Proje Özeti

Gizlilik

Aleo'nun temeli sıfır bilgi kanıtı teknolojisidir, bu sayede işlemler ve akıllı sözleşmelerin yürütülmesi gizliliğin korunması şartıyla gerçekleştirilebilir. Kullanıcıların işlem detayları varsayılan olarak gizlidir, aynı zamanda seçici ifşaya izin verir, bu da DeFi uygulamalarının gelişimi için oldukça uygundur. Ana bileşenler şunlardır:

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

2. snarkVM ve snarkOS: snarkVM, off-chain hesaplamaların yürütülmesine olanak tanır, on-chain 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 yürütülmesine olanak tanır.

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

Aleo ayrıca geliştiricilerin uygulamaları hızlı bir şekilde yazmasını ve yayınlamasını destekleyen entegre bir geliştirme ortamı ve yazılım geliştirme araç seti sunmaktadır. Geliştiriciler, üçüncü taraflara bağımlı olmadan uygulamaları Aleo'nun program kayıt defterinde dağıtabilir, bu da platform riskini azaltır.

Ölçeklenebilirlik

Aleo, off-chain işleme yöntemini benimsemektedir; işlemler öncelikle kullanıcı cihazında kanıt olarak hesaplanır ve ardından yalnızca doğrulama sonucu Blok Zinciri'ne 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çmektedir.

Konsensüs Mekanizması

Aleo, doğrulayıcıların anlık nihai sonuçlarını ve kanıtlayıcıların hesaplama gücünü birleştiren hibrit mimaride 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ği: Her bloğun oluşturulduktan sonra hemen onaylanmasını sağlamak, düğüm stabilitesini ve kullanıcı deneyimini artırır.

2. Merkeziyetsiz garanti: Blok üretimi ile coinbase oluşturmayı 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 yeteneğini artırır.

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

En 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 yönelik güvenlik önlemleriyle ilgili teklif onaylandı, ekip son ayarlamaları yapıyor.

2. Doğrulayıcı Teşvik Programı: 1-15 Temmuz tarihleri arasında çalışacak ve ödül olarak 1.000.000 Aleo puanı dağıtılacak. Düğüm tarafından üretilen puan yüzdesi, ödül payını belirleyecek; her doğrulayıcının ödül alabilmesi için en az 100 token kazanması gerekiyor.

3. Token Arzı: İlk arz miktarı 1.5 milyar tokendir, ilk dolaşım arzı yaklaşık %10'dur. Bu tokenler esasen görev ödüllerinden gelmektedir ve ilk altı ay içinde dağıtılacaktır, ayrıca staking, doğrulayıcı çalıştırma ve doğrulama düğümlerinin ödüllerini de 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 hale gelecektir.

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 bulunmaktadır, hedef yıl içinde bunu 50'ye çıkarmak ve nihayetinde 500'e ulaşmaktır. Temsilci olmak için 10.000 token, doğrulayıcı olmak için 10.000.000 token gerekmektedir, bu miktarlar zamanla kademeli olarak azalacaktır.

Synthesis Puzzle algoritması yorumu

Aleo en son puzzle algoritmasını güncelledi, artık zk proof sonuçlarının üretilmesine odaklanmıyor, bunun yerine proof'tan önceki ara veriler olan witness'ların üretilmesine yöneliyor. Aşağıda yeni algoritma Synthesis Puzzle hakkında kısa bir tanıtım yer almaktadır:

Konsens Süreci

1. Prover, çözümleri oluşturmak için puzzle hesaplar ve bunları ağa yayınlar.

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şmadığından emin olun.

3. Solution'un geçerliliği, epoch_hash ve proof_target'in ağın gereksinimlerini karşılayıp karşılamadığını kontrol etmeyi gerektirir, ayrıca blokta yer alan solution sayısının sınırlı aralıkta olduğundan emin olunmalıdır.

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

Synthesis Puzzle detaylı süreç

1. Her puzzle hesabı nonce olarak adlandırılır ve madencilik ödülünü alan adres, epoch_hash ve rastgele bir sayı counter ile inşa edilir.

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

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

4. EpochProgram'a karşılık gelen R1CS ve girişi birleştirerek, tanık hesaplaması yapın.

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

6. Merkle kökünü hesaplayın ve bunu solution'ın proof_target'ına dönüştürün, mevcut epoch'un gereksinimlerini karşılayıp karşılamadığını kontrol edin.

7. Eğer gereksinimler karşılanıyorsa, gerekli olan reward address, epoch_hash ve counter'ı solution olarak gönderin ve yayınlayın.

Madenciliğin değişimi ve etkisi

Yeni algoritma, bulmacayı kanıt üretiminden tanık üretimine dönüştürüyor; her epoch içindeki tüm çözüm hesaplama mantığı tutarlıdır, ancak farklı epochlar arasındaki hesaplama mantığı büyük farklılıklar gösterir. Bu güncelleme, daha önceki optimizasyon odaklı MSM ve NTT hesaplamalarını bir kenara bırakırken, tanık üretim sürecinde var olan seri yürütme bağımlılıkları nedeniyle paralelleştirme önemli zorluklarla karşı karşıyadır.

Genel olarak, Aleo'nun bu algoritma güncellemesi, gizlilik ve ölçeklenebilirlik konusundaki avantajlarını daha da güçlendirdi ve Web3 gizlilik devrimine yeni bir ivme kazandırdı. Projenin sürekli gelişimiyle birlikte, Aleo'nun blok zinciri alanında giderek daha önemli bir rol oynaması bekleniyor.