Aleo: Web3 Gizlilik Devrimine Öncülük Eden Blok Zinciri Projesi
Aleo, gizlilik korumaya adanmış bir Blok Zinciri projesidir. Temel teknolojisi sıfır bilgi kanıtlarına (ZKP) dayanmaktadır ve daha yüksek düzeyde gizlilik ve ölçeklenebilirlik sağlamayı hedeflemektedir. Projenin temel prensibi, kullanıcıların kişisel bilgilerini ifşa etmeden kimlik doğrulama ve veri işleme yapabilmelerini sağlamaktır.
Proje Özeti
Gizlilik
Aleo'nun temel teknolojisi sıfır bilgi kanıtıdır, bu da işlemlerin ve akıllı sözleşmelerin gizliliği koruyarak gerçekleştirilmesine olanak tanır. Kullanıcıların işlem detayları, gönderen ve işlem tutarı 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 izin verir, bu da merkeziyetsiz finans uygulamalarının gelişimi için son derece uygundur.
Aleo'nun ana bileşenleri şunlardır:
Leo Programlama Dili: Rust diline dayanan bir uyarlama olup, sıfır bilgi uygulamaları geliştirmek için özel olarak tasarlanmıştır ve geliştiricilerin kriptografi bilgisine olan gereksinimini azaltmaktadır.
snarkVM ve snarkOS: snarkVM, off-chain hesaplamaların gerçekleştirilmesine izin verir, on-chain sadece hesaplama sonuçlarını doğrular, böylece verimliliği artırır. snarkOS, verilerin ve hesaplamaların güvenliğini sağlar ve izinsiz fonksiyonların gerçekleştirilmesine izin verir.
zkCloud: Kullanıcılar, organizasyonlar ve merkeziyetsiz otonom organizasyonlar 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ınlamasını destekleyen entegre geliştirme ortamı ve yazılım geliştirme araç seti sunmaktadır. Ayrıca, geliştiriciler Aleo'nun program kayıt defterinde uygulama dağıtarak üçüncü taraflara bağımlılık duymadan platform riskini azaltabilirler.
Ölçeklenebilirlik
Aleo, zincir dışı işleme yöntemini benimsemiştir; işlemler öncelikle kullanıcı cihazında kanıt olarak hesaplanır ve ardından yalnızca doğrulama sonuçları blok zincirine yüklenir. Bu yöntem, işlem 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 Mekanizması
Aleo, doğrulayıcıların anlık nihaiyetini ve kanıtlayıcıların hesaplama gücünü birleştiren karma bir mimari 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 doğruluk: AleoBFT, her blok üretildikten sonra hemen onaylanmasını sağlar, bu da düğüm stabilitesini ve kullanıcı deneyimini artırır.
Merkeziyetsiz Güvence: Blok üretimi ile token oluşturumunu ayırarak, doğrulayıcılar blok üretiminden sorumludur, kanıtlayıcılar ise kanıt hesaplaması yapar, böylece azınlık varlıkların ağı tekelleştirmesini önler.
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 kaynak kısıtlaması olmayan uygulamalar oluşturmasına olanak tanır, 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:
ARC-100 Oylama Geçti: Uygunluk ile ilgili, Aleo ağındaki fonların kilitlenmesi ve gecikmeli olarak hesaplara geçiş gibi güvenlik önlemlerini içeren öneri kabul edildi. Ekip nihai ayarlamaları yapıyor.
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 devam edecek ve bu süre zarfında 1.000.000 Aleo puanı ödül olarak dağıtılacak.
Başlangıç Arzı ve Dolaşımdaki Arz: Başlangıç arzı 1.5 milyar token olup, başlangıçta dolaşımda olan arz yaklaşık %10'dur. Bu tokenler esasen görev ödüllerinden (75 milyon) gelmektedir ve ilk altı ay içinde dağıtılacaktır; aynı zamanda staking, doğrulayıcı çalıştırma ve doğrulama düğümlerinin ödüllerini de içermektedir.
Test Ağı Sıfırlama: Bu, son ağ sıfırlamasıdır, tamamlandıktan sonra yeni işlevler eklenmeyecek, ağ ana ağa benzer hale gelecektir. Sıfırlama, yeni işlevler eklemek ve puzzle mekanizmasını güncellemek içindir.
Kod Dondurma: Kod dondurma bir hafta önce tamamlandı.
Doğrulayıcı Düğüm Genişleme Planı: İlk doğrulayıcı düğüm sayısı 15'tir, hedef yıl içinde 50'ye ve nihayetinde 500'e ulaşmaktır. Delegatör 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 Algoritma Analizi
Aleo'nun en son sürümünün algoritma çekirdeği Synthesis Puzzle olarak adlandırılmaktadır. Bu çekirdek, her bir epoch için sabit bir ortak EpochProgram üretmekte, giriş ve EpochProgram için R1CS kanıt devreleri inşa ederek, karşılık gelen R1CS atamasını (yani witness) üretmekte ve bunu Merkle ağacının yaprak düğümü olarak kullanmaktadır. Tüm yaprak düğümleri hesaplandıktan sonra Merkle root oluşturulmakta ve çözümün proof_target'ine dönüştürülmektedir.
Synthesis Puzzle'ın detaylı süreci aşağıdaki gibidir:
Her bir puzzle hesaplaması nonce olarak adlandırılır ve madencilik ödülünü alan adres, epoch_hash ve rastgele sayı counter ile oluşturulur.
Her epoch'ta, tüm prover'ların hesapladığı EpochProgram aynıdır ve mevcut epoch_hash'tan üretilen rastgele sayılar talimat setinden örneklenir.
EpochProgram'un girişi için rastgele sayı tohumu olarak nonce kullanın.
EpochProgram'a karşılık gelen R1CS ve girişi birleştirerek witness hesaplaması yapın.
Tüm witness'ları Merkle ağacının yaprak düğüm dizisine dönüştür.
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.
Aynı epoch içinde EpochProgram'ın girdiğini güncellemek için counter'ı yineleyerek birden fazla çözüm hesaplaması yapılabilir.
Algoritma Güncellemelerinin Etkisi
Bu güncelleme ile 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ığında büyük farklılıklar vardır. Yeni algoritma, önceki sürümde bulunan MSM ve NTT hesaplamalarını ortadan kaldırdı; bu, mevcut GPU optimizasyon stratejilerini etkileyebilir. Ayrıca, 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 bazı seri yürütme bağımlılıkları olabilir. Bu nedenle, paralelleştirme sağlamak büyük zorluklarla karşılaşabilir.
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, Web3 sıfır bilgi devrimini yönlendiren gizli blok zinciri testnet'ini başlattı.
Aleo: Web3 Gizlilik Devrimine Öncülük Eden Blok Zinciri Projesi
Aleo, gizlilik korumaya adanmış bir Blok Zinciri projesidir. Temel teknolojisi sıfır bilgi kanıtlarına (ZKP) dayanmaktadır ve daha yüksek düzeyde gizlilik ve ölçeklenebilirlik sağlamayı hedeflemektedir. Projenin temel prensibi, kullanıcıların kişisel bilgilerini ifşa etmeden kimlik doğrulama ve veri işleme yapabilmelerini sağlamaktır.
Proje Özeti
Gizlilik
Aleo'nun temel teknolojisi sıfır bilgi kanıtıdır, bu da işlemlerin ve akıllı sözleşmelerin gizliliği koruyarak gerçekleştirilmesine olanak tanır. Kullanıcıların işlem detayları, gönderen ve işlem tutarı 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 izin verir, bu da merkeziyetsiz finans uygulamalarının gelişimi için son derece uygundur.
Aleo'nun ana bileşenleri şunlardır:
Leo Programlama Dili: Rust diline dayanan bir uyarlama olup, sıfır bilgi uygulamaları geliştirmek için özel olarak tasarlanmıştır ve geliştiricilerin kriptografi bilgisine olan gereksinimini azaltmaktadır.
snarkVM ve snarkOS: snarkVM, off-chain hesaplamaların gerçekleştirilmesine izin verir, on-chain sadece hesaplama sonuçlarını doğrular, böylece verimliliği artırır. snarkOS, verilerin ve hesaplamaların güvenliğini sağlar ve izinsiz fonksiyonların gerçekleştirilmesine izin verir.
zkCloud: Kullanıcılar, organizasyonlar ve merkeziyetsiz otonom organizasyonlar 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ınlamasını destekleyen entegre geliştirme ortamı ve yazılım geliştirme araç seti sunmaktadır. Ayrıca, geliştiriciler Aleo'nun program kayıt defterinde uygulama dağıtarak üçüncü taraflara bağımlılık duymadan platform riskini azaltabilirler.
Ölçeklenebilirlik
Aleo, zincir dışı işleme yöntemini benimsemiştir; işlemler öncelikle kullanıcı cihazında kanıt olarak hesaplanır ve ardından yalnızca doğrulama sonuçları blok zincirine yüklenir. Bu yöntem, işlem 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 Mekanizması
Aleo, doğrulayıcıların anlık nihaiyetini ve kanıtlayıcıların hesaplama gücünü birleştiren karma bir mimari 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 doğruluk: AleoBFT, her blok üretildikten sonra hemen onaylanmasını sağlar, bu da düğüm stabilitesini ve kullanıcı deneyimini artırır.
Merkeziyetsiz Güvence: Blok üretimi ile token oluşturumunu ayırarak, doğrulayıcılar blok üretiminden sorumludur, kanıtlayıcılar ise kanıt hesaplaması yapar, böylece azınlık varlıkların ağı tekelleştirmesini önler.
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 kaynak kısıtlaması olmayan uygulamalar oluşturmasına olanak tanır, 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:
ARC-100 Oylama Geçti: Uygunluk ile ilgili, Aleo ağındaki fonların kilitlenmesi ve gecikmeli olarak hesaplara geçiş gibi güvenlik önlemlerini içeren öneri kabul edildi. Ekip nihai ayarlamaları yapıyor.
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 devam edecek ve bu süre zarfında 1.000.000 Aleo puanı ödül olarak dağıtılacak.
Başlangıç Arzı ve Dolaşımdaki Arz: Başlangıç arzı 1.5 milyar token olup, başlangıçta dolaşımda olan arz yaklaşık %10'dur. Bu tokenler esasen görev ödüllerinden (75 milyon) gelmektedir ve ilk altı ay içinde dağıtılacaktır; aynı zamanda staking, doğrulayıcı çalıştırma ve doğrulama düğümlerinin ödüllerini de içermektedir.
Test Ağı Sıfırlama: Bu, son ağ sıfırlamasıdır, tamamlandıktan sonra yeni işlevler eklenmeyecek, ağ ana ağa benzer hale gelecektir. Sıfırlama, yeni işlevler eklemek ve puzzle mekanizmasını güncellemek içindir.
Kod Dondurma: Kod dondurma bir hafta önce tamamlandı.
Doğrulayıcı Düğüm Genişleme Planı: İlk doğrulayıcı düğüm sayısı 15'tir, hedef yıl içinde 50'ye ve nihayetinde 500'e ulaşmaktır. Delegatör 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 Algoritma Analizi
Aleo'nun en son sürümünün algoritma çekirdeği Synthesis Puzzle olarak adlandırılmaktadır. Bu çekirdek, her bir epoch için sabit bir ortak EpochProgram üretmekte, giriş ve EpochProgram için R1CS kanıt devreleri inşa ederek, karşılık gelen R1CS atamasını (yani witness) üretmekte ve bunu Merkle ağacının yaprak düğümü olarak kullanmaktadır. Tüm yaprak düğümleri hesaplandıktan sonra Merkle root oluşturulmakta ve çözümün proof_target'ine dönüştürülmektedir.
Synthesis Puzzle'ın detaylı süreci aşağıdaki gibidir:
Her bir puzzle hesaplaması nonce olarak adlandırılır ve madencilik ödülünü alan adres, epoch_hash ve rastgele sayı counter ile oluşturulur.
Her epoch'ta, tüm prover'ların hesapladığı EpochProgram aynıdır ve mevcut epoch_hash'tan üretilen rastgele sayılar talimat setinden örneklenir.
EpochProgram'un girişi için rastgele sayı tohumu olarak nonce kullanın.
EpochProgram'a karşılık gelen R1CS ve girişi birleştirerek witness hesaplaması yapın.
Tüm witness'ları Merkle ağacının yaprak düğüm dizisine dönüştür.
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.
Aynı epoch içinde EpochProgram'ın girdiğini güncellemek için counter'ı yineleyerek birden fazla çözüm hesaplaması yapılabilir.
Algoritma Güncellemelerinin Etkisi
Bu güncelleme ile 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ığında büyük farklılıklar vardır. Yeni algoritma, önceki sürümde bulunan MSM ve NTT hesaplamalarını ortadan kaldırdı; bu, mevcut GPU optimizasyon stratejilerini etkileyebilir. Ayrıca, 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 bazı seri yürütme bağımlılıkları olabilir. Bu nedenle, paralelleştirme sağlamak büyük zorluklarla karşılaşabilir.