Aleo: Gizlilik Koruma ve Ölçeklenebilirlik İçin Blok Zinciri İnovasyonu
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 verilerini korurken kimlik doğrulama ve veri işleme yapabilmelerini sağlamaktı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ği koruyarak gerçekleştirilebilir. Kullanıcıların işlem detayları varsayılan olarak gizlidir, aynı zamanda 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:
Leo Derleme Dili: Rust tabanlı olarak yeniden düzenlenmiş, sıfır bilgi uygulamaları (ZKApps) geliştirmek için özel olarak tasarlanmış, geliştiricilerin kriptografi bilgisi gereksinimlerini azaltmıştır.
snarkVM ve snarkOS: snarkVM, blok zinciri üzerinde yalnızca sonuçların doğrulanmasına izin vererek, dışarıda hesaplamaların gerçekleştirilmesine olanak tanır ve 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.
zkCloud: Kullanıcılar, organizasyonlar ve DAO'lar arasında programlama etkileşimini destekleyen güvenli, özel bir zincir dışı hesaplama ortamı sağlar.
Aleo ayrıca geliştiricilerin uygulama yazmasını ve yayınlamasını hızlandıran entegre geliştirme ortamı (IDE) ve yazılım geliştirme kiti (SDK) sunuyor. Geliştiriciler, üçüncü taraflara bağımlı olmadan uygulamaları Aleo'nun program kayıt defterine dağıtabilir, böylece platform riskini azaltır.
Ölçeklenebilirlik
Aleo, off-chain işlem yöntemi kullanmaktadı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 yöntem, işlem işleme hızını ve sistem ölçeklenebilirliğini büyük ölçüde artırmakta, ağ tıkanıklığı ve yüksek maliyet sorunlarını önlemektedir.
Konsens Mekanizması
Aleo, doğrulayıcıların anlık nihaiyetini 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ırmakla kalmaz, aynı zamanda performansı ve güvenliği de güçlendirir.
Blok hızlı nihai sonuç: Her bloğun oluşturulduktan sonra hemen onaylanmasını sağlamak, düğüm kararlılığını ve kullanıcı deneyimini artırır.
Merkeziyetsiz Güvence: Blok üretimini coinbase üretiminden ayırarak, doğrulayıcılar blokları üretmekle sorumludur, kanıtlayıcılar ise kanıt hesaplaması yapar, böylece azınlık varlıkların ağa hakim olmasını engeller.
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 gaz kısıtlamalarından muaf uygulamalar oluşturmasına olanak tanır, bu nedenle uzun süre çalışması gereken makine öğrenimi gibi uygulamalar için özellikle uygundur.
Proje Gelişimi
Aleo, 1 Temmuz'da teşvikli test ağını başlatacak, işte bazı önemli güncellemeler:
ARC-100 oylaması geçti: Uygunluk, ağ üzerindeki fonların kilitlenmesi ve gecikmeli hesaplanma gibi güvenlik önlemlerini içeren teklif onaylandı. Ekip son ayarlamaları yapıyor.
Doğrulayıcı Teşvik 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.000.000 Aleo puanı ödül olarak dağıtılacak.
İlk Arz ve Dolaşım Arzı: İlk arz miktarı 1.5 milyar token, ilk dolaşım arzı yaklaşık %10'dur. Bu tokenler esas olarak Coinbase görevlerinden gelmektedir ve ilk altı ay içinde dağıtılacaktır; ayrıca stake etme, doğrulayıcıları çalıştırma ve doğrulama düğümleri için ödülleri içermektedir.
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.
Kod dondurma: Bir hafta önce tamamlandı.
Doğrulayıcı Düğüm Genişleme Planı: Başlangıçta doğrulayıcı düğüm sayısı 15'tir, hedef yıl içinde 50'ye çıkmak 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.
Algoritma Güncellemesi Yorumu
Aleo'nun en son sürümünün algoritma çekirdeği Synthesis Puzzle olarak adlandırılmaktadır. Çekirdek, her bir epoch için sabit bir ortak EpochProgram oluşturur. Girdi ve EpochProgram için R1CS kanıt devresi inşa edilerek, ilgili R1CS ataması (yani witness) üretilir ve Merkle ağacının yaprak düğümü olarak kullanılır. Tüm yaprak düğümleri hesaplandıktan sonra Merkle kökü üretilir ve solution'ın proof_target'ine dönüştürülür.
Madenciliğin değişimi ve etkisi
Bu güncellemeden sonra, puzzle proof üretiminden witness üretimine dönüştü, her epoch içindeki tüm çözüm hesaplama mantığı tutarlıdır ancak farklı epoch'lar arasında hesaplama mantığı büyük farklılıklar göstermektedir. Yeni algoritma, önceki MSM ve NTT hesaplamalarını terk etti, aynı zamanda witness üretim süreci, epoch değişikliklerini takip eden bir programı yürütmekten kaynaklandığı için, içindeki talimatlar kısmi seri yürütme bağımlılıkları içerecektir ve paralelleştirme gerçekleştirmek önemli zorluklar sunmaktadır.
Bu değişiklik mevcut madencilik optimizasyon stratejilerini önemli ölçüde etkileyecek ve madencilerin yeni algoritma özelliklerine yeniden uyum sağlamalarını gerektirecek.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Aleo, gizlilik koruma Blok Zinciri'ni 1 Temmuz'da başlatacak olan teşvik Testnet'i tanıtacak.
Aleo: Gizlilik Koruma ve Ölçeklenebilirlik İçin Blok Zinciri İnovasyonu
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 verilerini korurken kimlik doğrulama ve veri işleme yapabilmelerini sağlamaktı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ği koruyarak gerçekleştirilebilir. Kullanıcıların işlem detayları varsayılan olarak gizlidir, aynı zamanda 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:
Leo Derleme Dili: Rust tabanlı olarak yeniden düzenlenmiş, sıfır bilgi uygulamaları (ZKApps) geliştirmek için özel olarak tasarlanmış, geliştiricilerin kriptografi bilgisi gereksinimlerini azaltmıştır.
snarkVM ve snarkOS: snarkVM, blok zinciri üzerinde yalnızca sonuçların doğrulanmasına izin vererek, dışarıda hesaplamaların gerçekleştirilmesine olanak tanır ve 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.
zkCloud: Kullanıcılar, organizasyonlar ve DAO'lar arasında programlama etkileşimini destekleyen güvenli, özel bir zincir dışı hesaplama ortamı sağlar.
Aleo ayrıca geliştiricilerin uygulama yazmasını ve yayınlamasını hızlandıran entegre geliştirme ortamı (IDE) ve yazılım geliştirme kiti (SDK) sunuyor. Geliştiriciler, üçüncü taraflara bağımlı olmadan uygulamaları Aleo'nun program kayıt defterine dağıtabilir, böylece platform riskini azaltır.
Ölçeklenebilirlik
Aleo, off-chain işlem yöntemi kullanmaktadı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 yöntem, işlem işleme hızını ve sistem ölçeklenebilirliğini büyük ölçüde artırmakta, ağ tıkanıklığı ve yüksek maliyet sorunlarını önlemektedir.
Konsens Mekanizması
Aleo, doğrulayıcıların anlık nihaiyetini 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ırmakla kalmaz, aynı zamanda performansı ve güvenliği de güçlendirir.
Blok hızlı nihai sonuç: Her bloğun oluşturulduktan sonra hemen onaylanmasını sağlamak, düğüm kararlılığını ve kullanıcı deneyimini artırır.
Merkeziyetsiz Güvence: Blok üretimini coinbase üretiminden ayırarak, doğrulayıcılar blokları üretmekle sorumludur, kanıtlayıcılar ise kanıt hesaplaması yapar, böylece azınlık varlıkların ağa hakim olmasını engeller.
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 gaz kısıtlamalarından muaf uygulamalar oluşturmasına olanak tanır, bu nedenle uzun süre çalışması gereken makine öğrenimi gibi uygulamalar için özellikle uygundur.
Proje Gelişimi
Aleo, 1 Temmuz'da teşvikli test ağını başlatacak, işte bazı önemli güncellemeler:
ARC-100 oylaması geçti: Uygunluk, ağ üzerindeki fonların kilitlenmesi ve gecikmeli hesaplanma gibi güvenlik önlemlerini içeren teklif onaylandı. Ekip son ayarlamaları yapıyor.
Doğrulayıcı Teşvik 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.000.000 Aleo puanı ödül olarak dağıtılacak.
İlk Arz ve Dolaşım Arzı: İlk arz miktarı 1.5 milyar token, ilk dolaşım arzı yaklaşık %10'dur. Bu tokenler esas olarak Coinbase görevlerinden gelmektedir ve ilk altı ay içinde dağıtılacaktır; ayrıca stake etme, doğrulayıcıları çalıştırma ve doğrulama düğümleri için ödülleri içermektedir.
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.
Kod dondurma: Bir hafta önce tamamlandı.
Doğrulayıcı Düğüm Genişleme Planı: Başlangıçta doğrulayıcı düğüm sayısı 15'tir, hedef yıl içinde 50'ye çıkmak 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.
Algoritma Güncellemesi Yorumu
Aleo'nun en son sürümünün algoritma çekirdeği Synthesis Puzzle olarak adlandırılmaktadır. Çekirdek, her bir epoch için sabit bir ortak EpochProgram oluşturur. Girdi ve EpochProgram için R1CS kanıt devresi inşa edilerek, ilgili R1CS ataması (yani witness) üretilir ve Merkle ağacının yaprak düğümü olarak kullanılır. Tüm yaprak düğümleri hesaplandıktan sonra Merkle kökü üretilir ve solution'ın proof_target'ine dönüştürülür.
Madenciliğin değişimi ve etkisi
Bu güncellemeden sonra, puzzle proof üretiminden witness üretimine dönüştü, her epoch içindeki tüm çözüm hesaplama mantığı tutarlıdır ancak farklı epoch'lar arasında hesaplama mantığı büyük farklılıklar göstermektedir. Yeni algoritma, önceki MSM ve NTT hesaplamalarını terk etti, aynı zamanda witness üretim süreci, epoch değişikliklerini takip eden bir programı yürütmekten kaynaklandığı için, içindeki talimatlar kısmi seri yürütme bağımlılıkları içerecektir ve paralelleştirme gerçekleştirmek önemli zorluklar sunmaktadır.
Bu değişiklik mevcut madencilik optimizasyon stratejilerini önemli ölçüde etkileyecek ve madencilerin yeni algoritma özelliklerine yeniden uyum sağlamalarını gerektirecek.