Aleo: Gizlilik Koruma ve Ölçeklenebilirlikte Blok Zinciri Öncüsü
Aleo, blok zinciri gizlilik koruma ve ölçeklenebilirliğini artırmaya adanmış yenilikçi bir projedir. Sıfır bilgi kanıtı teknolojisini kullanarak, Aleo, kullanıcıların kişisel bilgilerini korurken kimlik doğrulama ve veri işleme işlemlerini gerçekleştirmelerine olanak tanır.
Proje Özeti
Gizlilik Koruma
Aleo'nun temel teknolojisi sıfır bilgi kanıtları (ZKPs)'dır, bu da işlem ve akıllı sözleşmelerin yürütülmesi sürecinde kullanıcı gizliliğini korur. Varsayılan olarak, işlem ayrıntıları, gönderici ve miktar gibi, gizlidir. Bu tasarım yalnızca kullanıcı gizliliğini korumakla kalmaz, aynı zamanda gerektiğinde seçici ifşaya da destek verir, bu da DeFi uygulamalarının gelişimi için son derece uygundur.
Aleo'nun ana bileşenleri şunlardır:
Leo programlama dili: Rust'tan uyarlanmış, sıfır bilgi uygulamaları (ZKApps) geliştirmek için özel olarak tasarlanmıştır ve geliştiricilerin kriptografi bilgisi gereksinimlerini azaltmaktadır.
snarkVM ve snarkOS: snarkVM, off-chain hesaplama yürütülmesini destekler, on-chain yalnızca sonucu doğrular, verimliliği artırır. snarkOS, verilerin ve hesaplamaların güvenliğini garanti eder, izin gerektirmeyen işlevlerin yürütülmesini destekler.
zkCloud: Güvenli, özel bir zincir dışı hesaplama ortamı sunar ve taraflar arasında programlama etkileşimini destekler.
Aleo ayrıca geliştiricilerin uygulamaları hızlı bir şekilde yazmasını ve yayımlamasını kolaylaştıran entegre geliştirme ortamı (IDE) ve yazılım geliştirme araç seti (SDK) sunmaktadır. Geliştiriciler, üçüncü taraflara bağımlı olmadan doğrudan Aleo'nun program kayıt defterinde uygulama dağıtabilir, bu da platform riskini azaltır.
Ölçeklenebilirlik
Aleo, off-chain işlem yöntemini benimsemiştir; işlemler önce 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 işleme hızını ve sistemin ölçeklenebilirliğini önemli ö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 nihaiyetini ve kanıtlayıcıların hesaplama yeteneğini birleştiren karma 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üçlendirdi.
Blok hızlı nihai: AleoBFT, her blok oluşturulduktan sonra hemen onaylanmasını sağlar, bu da düğüm stabilitesini ve kullanıcı deneyimini artırır.
Merkeziyetsiz Güvence: Blok üretimi ile coinbase üretimini ayırarak, doğrulayıcılar blok üretiminden, kanıtlayıcılar ise kanıt hesaplamasından sorumludur; bu da azınlık varlıkların ağı tekelleştirmesini engeller.
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, ağın merkeziyetsizliğini ve hesaplama kapasitesini artırır.
Aleo, geliştiricilerin gas kısıtlaması olmayan uygulamalar oluşturmasına olanak tanır, bu nedenle makine öğrenimi gibi uzun süreli çalışması gereken uygulamalar için özellikle uygundur.
Son Gelişmeler
Aleo, 1 Temmuz'da teşvik test ağını başlatacak, işte bazı önemli güncellemeler:
ARC-100 teklifi onaylandı: Uygunluk, fon kilitleme ve gecikmeli ödeme gibi güvenlik önlemlerini içeren teklif onaylandı, ekip son ayarlamaları yapıyor.
Doğrulayıcı Teşvik Programı: 1-15 Temmuz tarihleri arasında yürütülecek ve 1.000.000 Aleo puanı ödül olarak dağıtılacaktır. Ödül dağılımı, düğüm tarafından üretilen puan yüzdesine dayanmaktadır ve her bir doğrulayıcının ödül almak için en az 100 token kazanması gerekmektedir.
Token Arzı: Başlangıç arzı 1,5 milyar token, başlangıçta dolaşım arzı yaklaşık %10'dur. Bu token'lar esas olarak Coinbase görevi (7500000)'den gelmektedir ve ilk altı ay içinde dağıtılacaktır; ayrıca staking, doğrulayıcıları çalıştırma ve doğrulama düğümleri için ödülleri de içermektedir.
Test Ağı Güncellemesi: Testnet Beta son bir sıfırlama yapacak ve ARC-41 ile yeni bulmaca işlevini ekleyecek. Sıfırlamadan sonra, ağ ana ağa benzer hale gelecek ve yeni işlevler eklenmeyecek.
Kod donması: Bir hafta önce tamamlandı.
Doğrulayıcı Düğüm Genişlemesi: 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.
Synthesis Puzzle algoritması analizi
Aleo'nun en son duyurduğu puzzle algoritması Synthesis Puzzle olarak adlandırılmakta olup, temelinde her epoch için sabit bir EpochProgram oluşturma bulunmaktadır. Girdi ve EpochProgram için R1CS kanıt devresi inşa edilerek, karşılık gelen R1CS ataması ( yani witness ) üretilir ve bu, Merkle ağacının yaprak düğümü olarak kullanılır. Tüm yaprak düğümleri hesaplandıktan sonra, Merkle kökü oluşturulur ve solution'ın proof_target'ine dönüştürülür.
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'ından oluşur.
Her epoch'ta, tüm prover'lar aynı EpochProgram'ı hesaplar ve mevcut epoch_hash'tan üretilen rastgele sayı, talimat kümesinden örnekleme yoluyla elde edilir.
EpochProgram'un girdisini oluşturmak için nonce'u rastgele sayı tohumu olarak kullanın.
EpochProgram'a karşılık gelen R1CS ve input'u birleştirerek witness hesaplaması yapılır.
Tüm witness'ları hesapladıktan sonra, bunları Merkle ağacının yaprak düğümü dizisine dönüştürün.
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.
Eğer şartlar yerine getiriliyorsa, reward address, epoch_hash ve counter'ı çözüm olarak gönderin ve yayınlayın.
Aynı epoch içinde EpochProgram'ın girdisini güncelleyerek counter'ı yineleyerek birden fazla çözüm hesaplaması yapılabilir.
Bu güncelleme, puzzle'ı proof üretiminden witness üretimine dönüştürüyor. Her epoch içindeki çözüm hesaplama mantığı tutarlı, ancak farklı epochlar arasındaki hesaplama mantığı büyük farklılıklar gösteriyor. Yeni algoritma, önceki MSM ve NTT hesaplamalarını terk ediyor ve GPU optimizasyonu için yeni zorluklar getiriyor. Witness üretim süreci, epoch'a bağlı olarak değişen programı yürütmeyi içerdiğinden, içindeki talimatların bazıları seri yürütme bağımlılıkları taşımakta ve paralelleştirme gerçekleştirmek büyük bir zorlukla karşı karşıya.
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.
13 Likes
Reward
13
7
Share
Comment
0/400
BankruptcyArtist
· 5h ago
Vay canına, sonunda gizlilik tasarımına sahip projeler sırası geldi!
Aleo, teşvik testnet'ini başlattı; gizlilik odaklı Blok Zinciri yeni bir sayfa açıyor.
Aleo: Gizlilik Koruma ve Ölçeklenebilirlikte Blok Zinciri Öncüsü
Aleo, blok zinciri gizlilik koruma ve ölçeklenebilirliğini artırmaya adanmış yenilikçi bir projedir. Sıfır bilgi kanıtı teknolojisini kullanarak, Aleo, kullanıcıların kişisel bilgilerini korurken kimlik doğrulama ve veri işleme işlemlerini gerçekleştirmelerine olanak tanır.
Proje Özeti
Gizlilik Koruma
Aleo'nun temel teknolojisi sıfır bilgi kanıtları (ZKPs)'dır, bu da işlem ve akıllı sözleşmelerin yürütülmesi sürecinde kullanıcı gizliliğini korur. Varsayılan olarak, işlem ayrıntıları, gönderici ve miktar gibi, gizlidir. Bu tasarım yalnızca kullanıcı gizliliğini korumakla kalmaz, aynı zamanda gerektiğinde seçici ifşaya da destek verir, bu da DeFi uygulamalarının gelişimi için son derece uygundur.
Aleo'nun ana bileşenleri şunlardır:
Leo programlama dili: Rust'tan uyarlanmış, sıfır bilgi uygulamaları (ZKApps) geliştirmek için özel olarak tasarlanmıştır ve geliştiricilerin kriptografi bilgisi gereksinimlerini azaltmaktadır.
snarkVM ve snarkOS: snarkVM, off-chain hesaplama yürütülmesini destekler, on-chain yalnızca sonucu doğrular, verimliliği artırır. snarkOS, verilerin ve hesaplamaların güvenliğini garanti eder, izin gerektirmeyen işlevlerin yürütülmesini destekler.
zkCloud: Güvenli, özel bir zincir dışı hesaplama ortamı sunar ve taraflar arasında programlama etkileşimini destekler.
Aleo ayrıca geliştiricilerin uygulamaları hızlı bir şekilde yazmasını ve yayımlamasını kolaylaştıran entegre geliştirme ortamı (IDE) ve yazılım geliştirme araç seti (SDK) sunmaktadır. Geliştiriciler, üçüncü taraflara bağımlı olmadan doğrudan Aleo'nun program kayıt defterinde uygulama dağıtabilir, bu da platform riskini azaltır.
Ölçeklenebilirlik
Aleo, off-chain işlem yöntemini benimsemiştir; işlemler önce 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 işleme hızını ve sistemin ölçeklenebilirliğini önemli ö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 nihaiyetini ve kanıtlayıcıların hesaplama yeteneğini birleştiren karma 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üçlendirdi.
Blok hızlı nihai: AleoBFT, her blok oluşturulduktan sonra hemen onaylanmasını sağlar, bu da düğüm stabilitesini ve kullanıcı deneyimini artırır.
Merkeziyetsiz Güvence: Blok üretimi ile coinbase üretimini ayırarak, doğrulayıcılar blok üretiminden, kanıtlayıcılar ise kanıt hesaplamasından sorumludur; bu da azınlık varlıkların ağı tekelleştirmesini engeller.
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, ağın merkeziyetsizliğini ve hesaplama kapasitesini artırır.
Aleo, geliştiricilerin gas kısıtlaması olmayan uygulamalar oluşturmasına olanak tanır, bu nedenle makine öğrenimi gibi uzun süreli çalışması gereken uygulamalar için özellikle uygundur.
Son Gelişmeler
Aleo, 1 Temmuz'da teşvik test ağını başlatacak, işte bazı önemli güncellemeler:
ARC-100 teklifi onaylandı: Uygunluk, fon kilitleme ve gecikmeli ödeme gibi güvenlik önlemlerini içeren teklif onaylandı, ekip son ayarlamaları yapıyor.
Doğrulayıcı Teşvik Programı: 1-15 Temmuz tarihleri arasında yürütülecek ve 1.000.000 Aleo puanı ödül olarak dağıtılacaktır. Ödül dağılımı, düğüm tarafından üretilen puan yüzdesine dayanmaktadır ve her bir doğrulayıcının ödül almak için en az 100 token kazanması gerekmektedir.
Token Arzı: Başlangıç arzı 1,5 milyar token, başlangıçta dolaşım arzı yaklaşık %10'dur. Bu token'lar esas olarak Coinbase görevi (7500000)'den gelmektedir ve ilk altı ay içinde dağıtılacaktır; ayrıca staking, doğrulayıcıları çalıştırma ve doğrulama düğümleri için ödülleri de içermektedir.
Test Ağı Güncellemesi: Testnet Beta son bir sıfırlama yapacak ve ARC-41 ile yeni bulmaca işlevini ekleyecek. Sıfırlamadan sonra, ağ ana ağa benzer hale gelecek ve yeni işlevler eklenmeyecek.
Kod donması: Bir hafta önce tamamlandı.
Doğrulayıcı Düğüm Genişlemesi: 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.
Synthesis Puzzle algoritması analizi
Aleo'nun en son duyurduğu puzzle algoritması Synthesis Puzzle olarak adlandırılmakta olup, temelinde her epoch için sabit bir EpochProgram oluşturma bulunmaktadır. Girdi ve EpochProgram için R1CS kanıt devresi inşa edilerek, karşılık gelen R1CS ataması ( yani witness ) üretilir ve bu, Merkle ağacının yaprak düğümü olarak kullanılır. Tüm yaprak düğümleri hesaplandıktan sonra, Merkle kökü oluşturulur ve solution'ın proof_target'ine dönüştürülür.
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'ından oluşur.
Her epoch'ta, tüm prover'lar aynı EpochProgram'ı hesaplar ve mevcut epoch_hash'tan üretilen rastgele sayı, talimat kümesinden örnekleme yoluyla elde edilir.
EpochProgram'un girdisini oluşturmak için nonce'u rastgele sayı tohumu olarak kullanın.
EpochProgram'a karşılık gelen R1CS ve input'u birleştirerek witness hesaplaması yapılır.
Tüm witness'ları hesapladıktan sonra, bunları Merkle ağacının yaprak düğümü dizisine dönüştürün.
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.
Eğer şartlar yerine getiriliyorsa, reward address, epoch_hash ve counter'ı çözüm olarak gönderin ve yayınlayın.
Aynı epoch içinde EpochProgram'ın girdisini güncelleyerek counter'ı yineleyerek birden fazla çözüm hesaplaması yapılabilir.
Bu güncelleme, puzzle'ı proof üretiminden witness üretimine dönüştürüyor. Her epoch içindeki çözüm hesaplama mantığı tutarlı, ancak farklı epochlar arasındaki hesaplama mantığı büyük farklılıklar gösteriyor. Yeni algoritma, önceki MSM ve NTT hesaplamalarını terk ediyor ve GPU optimizasyonu için yeni zorluklar getiriyor. Witness üretim süreci, epoch'a bağlı olarak değişen programı yürütmeyi içerdiğinden, içindeki talimatların bazıları seri yürütme bağımlılıkları taşımakta ve paralelleştirme gerçekleştirmek büyük bir zorlukla karşı karşıya.