Aleo: Gizlilik Koruma Blok Zinciri'nin Yeni Atılımı
Aleo, gizlilik korumaya adanmış bir Blok Zinciri projesidir. Sıfır bilgi kanıtı teknolojisi (ZKP) aracılığıyla daha yüksek seviyede gizlilik ve ölçeklenebilirlik sağlamıştır. Projenin temel felsefesi, kullanıcıların kişisel verilerini korurken kimlik doğrulama ve veri işleme yapabilmelerini sağlamaktır.
Proje Genel Bakış
Gizlilik
Aleo'nun çekirdeği, işlemleri ve akıllı sözleşmelerin yürütülmesini gizliliği koruyarak mümkün kılan sıfır bilgi kanıtı (ZKPs) teknolojisidir. Kullanıcıların işlem detayları, gönderen ve 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 izin verir, bu da DeFi uygulamalarının gelişimi için oldukça uygundur. Ana bileşenler şunlardır:
Leo derleme dili: Rust'a dayalı olarak değiştirilmiştir, 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 hesaplamalar yapmayı sağlar, on-chain sadece sonuçları doğrular, böylece verimliliği artırır. snarkOS, verilerin ve hesaplamaların güvenliğini sağlar ve izin gerektirmeyen işlevlerin yürütülmesini destekler.
zkCloud: Güvenli, özel bir zincir dışı hesaplama ortamı sunar, kullanıcılar, organizasyonlar ve DAO'lar arasında programlama etkileşimini destekler.
Aleo ayrıca (IDE) ve (SDK) ile entegre geliştirme ortamı sunarak geliştiricilerin uygulama yazmalarını ve yayınlamalarını hızlandırır. Geliştiriciler, üçüncü taraflara bağımlı olmadan, Aleo'nun program kayıt defterinde uygulama dağıtabilir ve platform riskini azaltabilir.
Ölçeklenebilirlik
Aleo, off-chain işleme yöntemini benimsemiştir. İşlemler önce kullanıcı cihazında kanıt olarak hesaplanır, ardından yalnızca doğrulama sonuçları 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 Ethereum benzeri 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 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: AleoBFT, her bloğun oluşturulmasının ardından hemen onaylanmasını sağlar, düğüm stabilitesini ve kullanıcı deneyimini artırır.
Merkeziyetsiz Güvence: Blok üretimini coinbase oluşturmasından ayırarak, doğrulayıcılar blok üretmekten sorumlu olur, 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ın, token stake ederek doğrulayıcı olmalarını teşvik eder, böylece ağın merkeziyetsizleşme derecesini ve hesaplama gücünü artırır.
Aleo, geliştiricilerin gas kısıtlaması olmadan uygulamalar oluşturmasına olanak tanır, bu nedenle uzun süre çalışması gereken makine öğrenimi gibi uygulamalar için özellikle uygundur.
Son Gelişmeler
Aleo, 1 Temmuz'da teşvik test ağını başlatmayı planlıyor, işte bazı önemli güncellemeler:
ARC-100 teklifi kabul edildi: Bu teklif, uyum konuları, çevrimiçi fonların kilitlenmesi ve gecikmeli ulaşım gibi güvenlik önlemlerini kapsıyor, şu anda 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.
Token arzı: İlk arz miktarı 1,5 milyar token, ilk dolaşım arzı yaklaşık %10 ( belirlenecek ). Bu tokenlar esasen Coinbase görevlerinden ( 750 bin ) gelmektedir ve ilk altı ay içinde dağıtılacak, aynı zamanda stake etme, doğrulayıcıları çalıştırma ve doğrulama düğümleri için ödülleri de içerecektir.
Testnet Beta Sıfırlaması: Bu, son ağ sıfırlamasıdır, tamamlandığında yeni özellikler eklenmeyecek, ağ ana ağa benzer olacak.
Kodun dondurulması: Bir hafta önce tamamlandı.
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ı analizi
Aleo, son zamanlarda puzzle algoritmasını güncelledi. Yeni algoritma, zk proof sonucunun üretilmesine odaklanmak yerine, proof'tan önceki ara veriler olan witness'ı üretmeye odaklanıyor. İşte yeni algoritmanın kısa bir tanıtımı:
Konsens Süreci
Prover, puzzle'ları çözümlemek için çözümler oluşturur ve bunları ağa yayar.
Validator toplama işlemleri ve çözümü yeni blok için, çözüm sayısının konsensüs sınırını aşmamasını sağlar.
Solution'un geçerliliği, epoch_hash ve proof_target'in ağ gereksinimlerine uygun olup olmadığını ve blokta solution sayısının sınırlar içinde olup olmadığını kontrol etmeyi gerektirir.
Geçerli bir çözüm, konsensüs ödülleri kazanabilir.
Synthesis Puzzle çekirdek mekanizması
Her epoch'ta sabit bir EpochProgram oluşturulur, tüm proverlar tarafından ortaklaşa kullanılır.
Her puzzle hesaplaması nonce olarak adlandırılır ve madencilik ödülünü alan adres, epoch_hash ve rastgele sayı counter'ından oluşur.
EpochProgram, mevcut epoch_hash'tan üretilen rastgele sayıyı talimat setinden örnekleyerek oluşturur.
EpochProgram'un girişi için nonce'u rastgele tohum olarak kullanın.
EpochProgram'a karşılık gelen R1CS ve girişi birleştirerek, witness hesaplaması yapın.
Tüm witness'ları hesapladıktan sonra, bunları merkle ağacının yaprak düğümü dizisine dönüştür.
merkle root'u hesaplayın ve bunu solution'ın proof_target'ına dönüştürün, mevcut epoch gereksinimlerini karşılayıp karşılamadığını kontrol edin.
Gereksinimleri karşılıyorsa, çözümü gönderin ve yayınlayın.
Bu güncelleme, puzzle'ı proof üretiminden witness üretimine dönüştürüyor, her epoch içindeki solution hesaplama mantığı tutarlı, ancak farklı epochlar arasında büyük farklılıklar var. Yeni algoritma, daha önceki MSM ve NTT hesaplamaları için GPU optimizasyonunu terk etti, ayrıca witness üretim sürecinde seri yürütme bağımlılıkları olduğundan, paralelleştirme gerçekleştirmek büyük zorluklarla karşılaşıyor.
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.
10 Likes
Reward
10
7
Share
Comment
0/400
Cfrs2020
· 20h ago
#ALEO# Hiç ilanlara göz atmıyor musunuz? Ağustos ayında arc6 blok onaylanma süresi %90 azaldı, 9 Eylül'de ARC5 yürürlüğe girecek, işlem ücreti %90 düşüyor. Ekosistemi hazırlamak için.
View OriginalReply0
0xTherapist
· 21h ago
Gizlilik özgürlüktür
View OriginalReply0
tokenomics_truther
· 21h ago
Gizlilik, üretkenliktir.
View OriginalReply0
LuoGeMade1MillionDo
· 21h ago
Gizlilik Lideri blok zinciri aleo
View OriginalReply0
SchroedingerAirdrop
· 21h ago
Gizlilik altyapısının birileri tarafından yapılması gerekiyor.
Aleo gizlilik blok zinciri büyük güncelleme: Synthesis Puzzle algoritma analizi ve teşvik testnet başlatılıyor
Aleo: Gizlilik Koruma Blok Zinciri'nin Yeni Atılımı
Aleo, gizlilik korumaya adanmış bir Blok Zinciri projesidir. Sıfır bilgi kanıtı teknolojisi (ZKP) aracılığıyla daha yüksek seviyede gizlilik ve ölçeklenebilirlik sağlamıştır. Projenin temel felsefesi, kullanıcıların kişisel verilerini korurken kimlik doğrulama ve veri işleme yapabilmelerini sağlamaktır.
Proje Genel Bakış
Gizlilik
Aleo'nun çekirdeği, işlemleri ve akıllı sözleşmelerin yürütülmesini gizliliği koruyarak mümkün kılan sıfır bilgi kanıtı (ZKPs) teknolojisidir. Kullanıcıların işlem detayları, gönderen ve 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 izin verir, bu da DeFi uygulamalarının gelişimi için oldukça uygundur. Ana bileşenler şunlardır:
Leo derleme dili: Rust'a dayalı olarak değiştirilmiştir, 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 hesaplamalar yapmayı sağlar, on-chain sadece sonuçları doğrular, böylece verimliliği artırır. snarkOS, verilerin ve hesaplamaların güvenliğini sağlar ve izin gerektirmeyen işlevlerin yürütülmesini destekler.
zkCloud: Güvenli, özel bir zincir dışı hesaplama ortamı sunar, kullanıcılar, organizasyonlar ve DAO'lar arasında programlama etkileşimini destekler.
Aleo ayrıca (IDE) ve (SDK) ile entegre geliştirme ortamı sunarak geliştiricilerin uygulama yazmalarını ve yayınlamalarını hızlandırır. Geliştiriciler, üçüncü taraflara bağımlı olmadan, Aleo'nun program kayıt defterinde uygulama dağıtabilir ve platform riskini azaltabilir.
Ölçeklenebilirlik
Aleo, off-chain işleme yöntemini benimsemiştir. İşlemler önce kullanıcı cihazında kanıt olarak hesaplanır, ardından yalnızca doğrulama sonuçları 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 Ethereum benzeri 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 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: AleoBFT, her bloğun oluşturulmasının ardından hemen onaylanmasını sağlar, düğüm stabilitesini ve kullanıcı deneyimini artırır.
Merkeziyetsiz Güvence: Blok üretimini coinbase oluşturmasından ayırarak, doğrulayıcılar blok üretmekten sorumlu olur, 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ın, token stake ederek doğrulayıcı olmalarını teşvik eder, böylece ağın merkeziyetsizleşme derecesini ve hesaplama gücünü artırır.
Aleo, geliştiricilerin gas kısıtlaması olmadan uygulamalar oluşturmasına olanak tanır, bu nedenle uzun süre çalışması gereken makine öğrenimi gibi uygulamalar için özellikle uygundur.
Son Gelişmeler
Aleo, 1 Temmuz'da teşvik test ağını başlatmayı planlıyor, işte bazı önemli güncellemeler:
ARC-100 teklifi kabul edildi: Bu teklif, uyum konuları, çevrimiçi fonların kilitlenmesi ve gecikmeli ulaşım gibi güvenlik önlemlerini kapsıyor, şu anda 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.
Token arzı: İlk arz miktarı 1,5 milyar token, ilk dolaşım arzı yaklaşık %10 ( belirlenecek ). Bu tokenlar esasen Coinbase görevlerinden ( 750 bin ) gelmektedir ve ilk altı ay içinde dağıtılacak, aynı zamanda stake etme, doğrulayıcıları çalıştırma ve doğrulama düğümleri için ödülleri de içerecektir.
Testnet Beta Sıfırlaması: Bu, son ağ sıfırlamasıdır, tamamlandığında yeni özellikler eklenmeyecek, ağ ana ağa benzer olacak.
Kodun dondurulması: Bir hafta önce tamamlandı.
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ı analizi
Aleo, son zamanlarda puzzle algoritmasını güncelledi. Yeni algoritma, zk proof sonucunun üretilmesine odaklanmak yerine, proof'tan önceki ara veriler olan witness'ı üretmeye odaklanıyor. İşte yeni algoritmanın kısa bir tanıtımı:
Konsens Süreci
Prover, puzzle'ları çözümlemek için çözümler oluşturur ve bunları ağa yayar.
Validator toplama işlemleri ve çözümü yeni blok için, çözüm sayısının konsensüs sınırını aşmamasını sağlar.
Solution'un geçerliliği, epoch_hash ve proof_target'in ağ gereksinimlerine uygun olup olmadığını ve blokta solution sayısının sınırlar içinde olup olmadığını kontrol etmeyi gerektirir.
Geçerli bir çözüm, konsensüs ödülleri kazanabilir.
Synthesis Puzzle çekirdek mekanizması
Her epoch'ta sabit bir EpochProgram oluşturulur, tüm proverlar tarafından ortaklaşa kullanılır.
Her puzzle hesaplaması nonce olarak adlandırılır ve madencilik ödülünü alan adres, epoch_hash ve rastgele sayı counter'ından oluşur.
EpochProgram, mevcut epoch_hash'tan üretilen rastgele sayıyı talimat setinden örnekleyerek oluşturur.
EpochProgram'un girişi için nonce'u rastgele tohum olarak kullanın.
EpochProgram'a karşılık gelen R1CS ve girişi birleştirerek, witness hesaplaması yapın.
Tüm witness'ları hesapladıktan sonra, bunları merkle ağacının yaprak düğümü dizisine dönüştür.
merkle root'u hesaplayın ve bunu solution'ın proof_target'ına dönüştürün, mevcut epoch gereksinimlerini karşılayıp karşılamadığını kontrol edin.
Gereksinimleri karşılıyorsa, çözümü gönderin ve yayınlayın.
Bu güncelleme, puzzle'ı proof üretiminden witness üretimine dönüştürüyor, her epoch içindeki solution hesaplama mantığı tutarlı, ancak farklı epochlar arasında büyük farklılıklar var. Yeni algoritma, daha önceki MSM ve NTT hesaplamaları için GPU optimizasyonunu terk etti, ayrıca witness üretim sürecinde seri yürütme bağımlılıkları olduğundan, paralelleştirme gerçekleştirmek büyük zorluklarla karşılaşıyor.