Aleo: Web3 gizlilik devrimini yönlendiren Blok Zinciri projesi
Aleo, daha yüksek gizlilik ve ölçeklenebilirlik sağlamak için sıfır bilgi kanıtı teknolojisini (ZKP) kullanan, gizlilik korumaya adanmış bir Blok Zinciri projesidir. Projenin temel prensibi, kullanıcıların kişisel verilerini ifşa etmeden kimlik doğrulama ve veri işleme yapabilmeleridir.
Proje Özeti
Gizlilik
Aleo'nun temeli, işlemlerin ve akıllı sözleşmelerin gizliliği koruyarak gerçekleştirilmesini sağlayan sıfır bilgi kanıtları (ZKP'ler) teknolojisidir. 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 DeFi uygulamalarının gelişimi için son derece uygundur. Ana bileşenleri şunlardır:
Leo derleme dili: Rust diline dayanan, sıfır bilgi uygulamaları (ZKApps) geliştirmek için özel olarak tasarlanmış, geliştiricilerin kriptografi bilgisi gereksinimlerini azaltan bir dildir.
snarkVM ve snarkOS: snarkVM, zincir dışı hesaplamaların gerçekleştirilmesine olanak tanır, zincir üzerinde yalnızca hesaplama sonuçlarının doğrulanmasıyla verimliliği artırır. snarkOS, verilerin ve hesaplamaların güvenliğini sağlar ve izinsiz işlevlerin gerçekleştirilmesine izin verir.
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 geliştiricilerin uygulamaları hızlı bir şekilde yazıp yayınlamalarını destekleyen entegre geliştirme ortamı (IDE) ve yazılım geliştirme araç seti (SDK) sunmaktadır. Ayrıca, geliştiriciler uygulamaları Aleo'nun program kayıt defterine dağıtabilir, üçüncü taraflara bağımlı olmadan platform riskini azaltabilir.
Ölçeklenebilirlik
Aleo, off-chain işleme yöntemini benimsemiştir; işlemler önce kullanıcı cihazında kanıt hesaplanır, ardından yalnızca doğrulama sonuçları Blok Zinciri'ne 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 bir karma mimari konsensüs mekanizması olan AleoBFT'yi tanıttı. AleoBFT, ağın merkeziyetsizliğini artırmanın yanı sıra performansı ve güvenliği de güçlendirir.
Blok hızlı nihai sonuç: AleoBFT, her blok oluşturulduktan sonra hemen onaylanmasını sağlar, bu da düğüm istikrarını ve kullanıcı deneyimini artırır.
Merkeziyetsiz Güvence: Blok üretimini coinbase oluşturmadan ayırarak, doğrulayıcılar blok üretiminden 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ı, tokenleri stake ederek doğrulayıcı olmaya teşvik eder, böylece ağın merkeziyetsizliğini ve hesaplama yeteneğini artırır.
Aleo, geliştiricilerin gas kısıtlaması olmayan uygulamalar oluşturmasına izin verir, bu nedenle özellikle uzun süreli çalıştırma gerektiren makine öğrenimi gibi uygulamalar için uygundur.
Son Gelişmeler
Aleo, 1 Temmuz'da teşvik test ağını başlatmayı planlıyor, aşağıda bazı önemli güncellemeler var:
ARC-100 oylaması kabul edildi: ARC-100 ("Aleo Geliştiricileri ve Operatörleri için Uyumluluk En İyi Uygulamaları" önerisi) oylaması sona erdi ve kabul edildi. Ekip son ayarlamaları yapıyor.
Doğrulayıcı Teşvik Programı: Bu program 1 Temmuz'da başlayacak ve yeni puzzle mekanizmasını doğrulamayı amaçlayacak. Program 15 Temmuz'a kadar sürecek ve bu süre zarfında 1.000.000 Aleo puanı ödül olarak dağıtılacak. Düğüm tarafından üretilen puanların yüzdesi, ödül payını belirleyecektir. Her doğrulayıcının ödül alabilmesi için en az 100 token kazanması gerekmektedir.
İlk Arz ve Dolaşım Arzı: İlk arz miktarı 1.5 milyar token, ilk dolaşım arzı ise yaklaşık %10'dur. Bu tokenlar esas olarak Coinbase görevlerinden (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üğümleri için ödülleri de içermektedir.
Testnet Beta sıfırlama: Bu son ağ sıfırlaması, tamamlandıktan sonra yeni özellikler eklenmeyecek, ağ ana ağa benzer hale gelecektir. Sıfırlama, ARC-41 ve yeni bulmaca işlevini eklemek içindir.
Kod Dondurma: 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 bunu 50'ye çıkarmak ve nihayetinde 500'e ulaşmaktır. Temsilci olmak için 10.000 jeton, doğrulayıcı olmak için 10.000.000 jeton gereklidir, bu miktarlar zamanla kademeli olarak azalacaktır.
Synthesis Puzzle algoritması güncellemesi
Aleo, en son Synthesis Puzzle olarak adlandırılan puzzle algoritmasının en son sürümünü güncelledi. Yeni algoritma, zk proof sonuçlarının üretilmesine odaklanmaktan ziyade, proof'tan önceki ara verilerin witness'ını üretmeye odaklanıyor. İşte algoritmanın ana özellikleri ve süreci:
Her epoch'ta, mevcut epoch_hash tarafından üretilen rastgele sayıdan komut setinden örneklenen ortak bir EpochProgram oluşturulur.
Alınan madencilik ödüllerinin adresi, epoch_hash ve rastgele sayı counter'ı kullanılarak oluşturulan nonce'u, EpochProgram'ın girişi için rastgele sayı tohumu olarak kullanın.
EpochProgram'a karşılık gelen R1CS ve girdileri birleştirerek, tanık hesaplaması yapın.
Hesaplanan witness'ı Merkle ağacının yaprak düğümü dizisine dönüştürün ve derinliği 8 olan 8'li K-ary Merkle ağacını oluşturun.
Merkle kökünü hesapla ve bunu solution'ın proof_target'ına dönüştür, mevcut epoch'un latest_proof_target'ını karşılayıp karşılamadığını kontrol et.
Eğer şartlar sağlanıyorsa, solution'ı gönderin ve yayınlayın.
Bu güncelleme, puzzle'ın proof üretiminden witness üretimine geçişini sağladı. Her epoch içindeki tüm çö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 etti. Ayrıca witness üretim sürecinde bazı seri yürütme bağımlılıkları bulunduğundan, paralelleştirme gerçekleştirmek önemli bir zorlukla karşı karşıya.
Genel olarak, Aleo'nun bu algoritma güncellemesi, gizlilik koruma ve ölçeklenebilirlik konusundaki avantajlarını daha da güçlendirdi ve Web3 gizlilik devrimine yeni bir ivme kazandırdı. Projenin sürekli gelişimi ve mükemmelleşmesi ile Aleo, Blok Zinciri gizlilik koruma alanında giderek daha önemli bir rol oynaması bekleniyor.
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.
14 Likes
Reward
14
4
Repost
Share
Comment
0/400
GateUser-fc4fde9d
· 23h ago
Birkaç yıl önce pişirilmiş soğuk pilavı ısıtan aptal.
Aleo, Web3 gizlilik devrimini yönlendiriyor: zk-SNARKs, blok zincirinin gizliliğini ve ölçeklenebilirliğini güçlendiriyor.
Aleo: Web3 gizlilik devrimini yönlendiren Blok Zinciri projesi
Aleo, daha yüksek gizlilik ve ölçeklenebilirlik sağlamak için sıfır bilgi kanıtı teknolojisini (ZKP) kullanan, gizlilik korumaya adanmış bir Blok Zinciri projesidir. Projenin temel prensibi, kullanıcıların kişisel verilerini ifşa etmeden kimlik doğrulama ve veri işleme yapabilmeleridir.
Proje Özeti
Gizlilik
Aleo'nun temeli, işlemlerin ve akıllı sözleşmelerin gizliliği koruyarak gerçekleştirilmesini sağlayan sıfır bilgi kanıtları (ZKP'ler) teknolojisidir. 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 DeFi uygulamalarının gelişimi için son derece uygundur. Ana bileşenleri şunlardır:
Leo derleme dili: Rust diline dayanan, sıfır bilgi uygulamaları (ZKApps) geliştirmek için özel olarak tasarlanmış, geliştiricilerin kriptografi bilgisi gereksinimlerini azaltan bir dildir.
snarkVM ve snarkOS: snarkVM, zincir dışı hesaplamaların gerçekleştirilmesine olanak tanır, zincir üzerinde yalnızca hesaplama sonuçlarının doğrulanmasıyla verimliliği artırır. snarkOS, verilerin ve hesaplamaların güvenliğini sağlar ve izinsiz işlevlerin gerçekleştirilmesine izin verir.
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 geliştiricilerin uygulamaları hızlı bir şekilde yazıp yayınlamalarını destekleyen entegre geliştirme ortamı (IDE) ve yazılım geliştirme araç seti (SDK) sunmaktadır. Ayrıca, geliştiriciler uygulamaları Aleo'nun program kayıt defterine dağıtabilir, üçüncü taraflara bağımlı olmadan platform riskini azaltabilir.
Ölçeklenebilirlik
Aleo, off-chain işleme yöntemini benimsemiştir; işlemler önce kullanıcı cihazında kanıt hesaplanır, ardından yalnızca doğrulama sonuçları Blok Zinciri'ne 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 bir karma mimari konsensüs mekanizması olan AleoBFT'yi tanıttı. AleoBFT, ağın merkeziyetsizliğini artırmanın yanı sıra performansı ve güvenliği de güçlendirir.
Blok hızlı nihai sonuç: AleoBFT, her blok oluşturulduktan sonra hemen onaylanmasını sağlar, bu da düğüm istikrarını ve kullanıcı deneyimini artırır.
Merkeziyetsiz Güvence: Blok üretimini coinbase oluşturmadan ayırarak, doğrulayıcılar blok üretiminden 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ı, tokenleri stake ederek doğrulayıcı olmaya teşvik eder, böylece ağın merkeziyetsizliğini ve hesaplama yeteneğini artırır.
Aleo, geliştiricilerin gas kısıtlaması olmayan uygulamalar oluşturmasına izin verir, bu nedenle özellikle uzun süreli çalıştırma gerektiren makine öğrenimi gibi uygulamalar için uygundur.
Son Gelişmeler
Aleo, 1 Temmuz'da teşvik test ağını başlatmayı planlıyor, aşağıda bazı önemli güncellemeler var:
ARC-100 oylaması kabul edildi: ARC-100 ("Aleo Geliştiricileri ve Operatörleri için Uyumluluk En İyi Uygulamaları" önerisi) oylaması sona erdi ve kabul edildi. Ekip son ayarlamaları yapıyor.
Doğrulayıcı Teşvik Programı: Bu program 1 Temmuz'da başlayacak ve yeni puzzle mekanizmasını doğrulamayı amaçlayacak. Program 15 Temmuz'a kadar sürecek ve bu süre zarfında 1.000.000 Aleo puanı ödül olarak dağıtılacak. Düğüm tarafından üretilen puanların yüzdesi, ödül payını belirleyecektir. Her doğrulayıcının ödül alabilmesi için en az 100 token kazanması gerekmektedir.
İlk Arz ve Dolaşım Arzı: İlk arz miktarı 1.5 milyar token, ilk dolaşım arzı ise yaklaşık %10'dur. Bu tokenlar esas olarak Coinbase görevlerinden (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üğümleri için ödülleri de içermektedir.
Testnet Beta sıfırlama: Bu son ağ sıfırlaması, tamamlandıktan sonra yeni özellikler eklenmeyecek, ağ ana ağa benzer hale gelecektir. Sıfırlama, ARC-41 ve yeni bulmaca işlevini eklemek içindir.
Kod Dondurma: 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 bunu 50'ye çıkarmak ve nihayetinde 500'e ulaşmaktır. Temsilci olmak için 10.000 jeton, doğrulayıcı olmak için 10.000.000 jeton gereklidir, bu miktarlar zamanla kademeli olarak azalacaktır.
Synthesis Puzzle algoritması güncellemesi
Aleo, en son Synthesis Puzzle olarak adlandırılan puzzle algoritmasının en son sürümünü güncelledi. Yeni algoritma, zk proof sonuçlarının üretilmesine odaklanmaktan ziyade, proof'tan önceki ara verilerin witness'ını üretmeye odaklanıyor. İşte algoritmanın ana özellikleri ve süreci:
Her epoch'ta, mevcut epoch_hash tarafından üretilen rastgele sayıdan komut setinden örneklenen ortak bir EpochProgram oluşturulur.
Alınan madencilik ödüllerinin adresi, epoch_hash ve rastgele sayı counter'ı kullanılarak oluşturulan nonce'u, EpochProgram'ın girişi için rastgele sayı tohumu olarak kullanın.
EpochProgram'a karşılık gelen R1CS ve girdileri birleştirerek, tanık hesaplaması yapın.
Hesaplanan witness'ı Merkle ağacının yaprak düğümü dizisine dönüştürün ve derinliği 8 olan 8'li K-ary Merkle ağacını oluşturun.
Merkle kökünü hesapla ve bunu solution'ın proof_target'ına dönüştür, mevcut epoch'un latest_proof_target'ını karşılayıp karşılamadığını kontrol et.
Eğer şartlar sağlanıyorsa, solution'ı gönderin ve yayınlayın.
Bu güncelleme, puzzle'ın proof üretiminden witness üretimine geçişini sağladı. Her epoch içindeki tüm çö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 etti. Ayrıca witness üretim sürecinde bazı seri yürütme bağımlılıkları bulunduğundan, paralelleştirme gerçekleştirmek önemli bir zorlukla karşı karşıya.
Genel olarak, Aleo'nun bu algoritma güncellemesi, gizlilik koruma ve ölçeklenebilirlik konusundaki avantajlarını daha da güçlendirdi ve Web3 gizlilik devrimine yeni bir ivme kazandırdı. Projenin sürekli gelişimi ve mükemmelleşmesi ile Aleo, Blok Zinciri gizlilik koruma alanında giderek daha önemli bir rol oynaması bekleniyor.