Aleo: Özelik ve ölçeklenebilirliği bir arada sunan Blok Zinciri yeni oyuncusu
Aleo, gizlilik korumaya odaklanan bir Blok Zinciri projesidir ve daha yüksek gizlilik ve ölçeklenebilirlik sağlamak için sıfır bilgi kanıtı teknolojisini kullanır. Projenin temel felsefesi, kullanıcıların kişisel verilerini ifşa etmeden kimlik doğrulama ve veri işleme yapabilmelerini sağlamaktır.
Proje Özeti
Gizlilik
Aleo'nun çekirdeği, işlemlerin ve akıllı sözleşmelerin gizliliği korurken gerçekleştirilmesini sağlayan sıfır bilgi kanıtları (ZKPs) teknolojisidir. Kullanıcıların işlem detayları varsayılan olarak gizlidir, ancak gerektiğinde seçici ifşaya izin verir. Ana bileşenleri şunlardır:
Leo derleyici dili: Sıfır bilgi uygulamaları (ZKApps) geliştirmek için özel olarak tasarlanmış bir dildir, geliştiricilerin kriptografi bilgisi gereksinimlerini azaltır.
snarkVM ve snarkOS: snarkVM, zincir dışı hesaplamaların yapılmasına izin verir, zincir üzerinde yalnızca sonuçların doğrulanmasını sağlar; snarkOS, verilerin ve hesaplamaların güvenliğini garanti eder.
zkCloud: Güvenli, gizli bir zincir dışı hesaplama ortamı sağlar, taraflar arasında programlama etkileşimini destekler.
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çları sunmaktadır. Geliştiriciler, uygulamaları doğrudan Aleo'nun program kayıt defterine dağıtarak platform riskini azaltabilirler.
Ölçeklenebilirlik
Aleo, dışarıda işleme yöntemini benimsemiştir, işlemler önce kullanıcı cihazında kanıt olarak hesaplanır, ardından sadece 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, ağ tıkanıklığı ve yüksek maliyet sorunlarını ortadan kaldırır.
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 yalnızca ağın merkeziyetsizliğini artırmakla kalmaz, aynı zamanda performans ve güvenliği de güçlendirir. Özellikleri şunlardır:
Blok hızlı nihai sonuç: Her blok oluşturulduktan sonra hemen onaylanmasını sağlamak.
Merkeziyetsiz Güvence: Blok üretimi ile coinbase oluşturumunu ayırarak, 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ı token yatırımı yaparak doğrulayıcı olmaya teşvik eder.
Aleo, geliştiricilerin gas kısıtlaması olmayan uygulamalar oluşturmasına olanak tanır, özellikle makine öğrenimi gibi uzun süreli çalışması gereken uygulamalar için uygundur.
Son Gelişmeler
Aleo, 1 Temmuz'da teşvik test ağını başlatmayı planlıyor, işte bazı önemli güncel bilgiler:
ARC-100 teklifi kabul edildi, ekip son ayarlamaları yapıyor.
Doğrulayıcı teşvik programı 1 Temmuz'da başlayacak, 15 Temmuz'a kadar sürecek ve ödül olarak 1.000.000 Aleo puanı dağıtılacaktır.
Başlangıç arzı 1.5 milyar token, başlangıçta dolaşım arzı yaklaşık %10.
Testnet Beta sıfırlama işlemi tamamlandıktan sonra, ağ ana ağa benzer hale gelecektir.
Kod dondurma bir hafta önce tamamlandı.
Doğrulayıcı düğüm genişletme planı: İlk 15 düğüm, hedef yıl içinde 50'ye çıkarılacak, nihayetinde 500'e ulaşılacak.
Synthesis Puzzle algoritması yorumlama
Aleo, en son Synthesis Puzzle adı verilen puzzle algoritmasının en son versiyonunu güncelledi. Yeni algoritma, zk proof sonuçlarının üretilmesine odaklanmaktan ziyade, proof'tan önceki ara veriler olan witness'leri üretmeye odaklanıyor. Algoritmanın akış süreci şöyle:
Her epoch'ta ortak bir EpochProgram oluşturulur.
nonce( kullanarak madencilik ödül adresi, epoch_hash ve rastgele sayı counter ile )'i girdi olarak oluşturun.
EpochProgram ve girdiye göre R1CS kanıt devresini inşa et, tanık oluştur.
witness'i Merkle ağacının yaprak düğümü haline dönüştürün, Merkle kökünü hesaplayın.
Merkle root'u solution'ın proof_target'ine dönüştürün, mevcut epoch'un zorluk 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'ın proof üretiminden witness üretimine geçmesini sağladı, her epoch içindeki hesaplama mantığı tutarlı, ancak farklı epochlar arasında büyük farklılıklar var. Yeni algoritma, önceki MSM ve NTT hesaplamalarını terk etti, paralel uygulamanın zorluğunu artırdı ve mevcut madencilik optimizasyon stratejilerini etkileyebilir.
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, teşvik testnet'ini başlattı, sıfır bilgi blok zinciri ana ağa ilerliyor.
Aleo: Özelik ve ölçeklenebilirliği bir arada sunan Blok Zinciri yeni oyuncusu
Aleo, gizlilik korumaya odaklanan bir Blok Zinciri projesidir ve daha yüksek gizlilik ve ölçeklenebilirlik sağlamak için sıfır bilgi kanıtı teknolojisini kullanır. Projenin temel felsefesi, kullanıcıların kişisel verilerini ifşa etmeden kimlik doğrulama ve veri işleme yapabilmelerini sağlamaktır.
Proje Özeti
Gizlilik
Aleo'nun çekirdeği, işlemlerin ve akıllı sözleşmelerin gizliliği korurken gerçekleştirilmesini sağlayan sıfır bilgi kanıtları (ZKPs) teknolojisidir. Kullanıcıların işlem detayları varsayılan olarak gizlidir, ancak gerektiğinde seçici ifşaya izin verir. Ana bileşenleri şunlardır:
Leo derleyici dili: Sıfır bilgi uygulamaları (ZKApps) geliştirmek için özel olarak tasarlanmış bir dildir, geliştiricilerin kriptografi bilgisi gereksinimlerini azaltır.
snarkVM ve snarkOS: snarkVM, zincir dışı hesaplamaların yapılmasına izin verir, zincir üzerinde yalnızca sonuçların doğrulanmasını sağlar; snarkOS, verilerin ve hesaplamaların güvenliğini garanti eder.
zkCloud: Güvenli, gizli bir zincir dışı hesaplama ortamı sağlar, taraflar arasında programlama etkileşimini destekler.
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çları sunmaktadır. Geliştiriciler, uygulamaları doğrudan Aleo'nun program kayıt defterine dağıtarak platform riskini azaltabilirler.
Ölçeklenebilirlik
Aleo, dışarıda işleme yöntemini benimsemiştir, işlemler önce kullanıcı cihazında kanıt olarak hesaplanır, ardından sadece 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, ağ tıkanıklığı ve yüksek maliyet sorunlarını ortadan kaldırır.
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 yalnızca ağın merkeziyetsizliğini artırmakla kalmaz, aynı zamanda performans ve güvenliği de güçlendirir. Özellikleri şunlardır:
Blok hızlı nihai sonuç: Her blok oluşturulduktan sonra hemen onaylanmasını sağlamak.
Merkeziyetsiz Güvence: Blok üretimi ile coinbase oluşturumunu ayırarak, 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ı token yatırımı yaparak doğrulayıcı olmaya teşvik eder.
Aleo, geliştiricilerin gas kısıtlaması olmayan uygulamalar oluşturmasına olanak tanır, özellikle makine öğrenimi gibi uzun süreli çalışması gereken uygulamalar için uygundur.
Son Gelişmeler
Aleo, 1 Temmuz'da teşvik test ağını başlatmayı planlıyor, işte bazı önemli güncel bilgiler:
ARC-100 teklifi kabul edildi, ekip son ayarlamaları yapıyor.
Doğrulayıcı teşvik programı 1 Temmuz'da başlayacak, 15 Temmuz'a kadar sürecek ve ödül olarak 1.000.000 Aleo puanı dağıtılacaktır.
Başlangıç arzı 1.5 milyar token, başlangıçta dolaşım arzı yaklaşık %10.
Testnet Beta sıfırlama işlemi tamamlandıktan sonra, ağ ana ağa benzer hale gelecektir.
Kod dondurma bir hafta önce tamamlandı.
Doğrulayıcı düğüm genişletme planı: İlk 15 düğüm, hedef yıl içinde 50'ye çıkarılacak, nihayetinde 500'e ulaşılacak.
Synthesis Puzzle algoritması yorumlama
Aleo, en son Synthesis Puzzle adı verilen puzzle algoritmasının en son versiyonunu güncelledi. Yeni algoritma, zk proof sonuçlarının üretilmesine odaklanmaktan ziyade, proof'tan önceki ara veriler olan witness'leri üretmeye odaklanıyor. Algoritmanın akış süreci şöyle:
Her epoch'ta ortak bir EpochProgram oluşturulur.
nonce( kullanarak madencilik ödül adresi, epoch_hash ve rastgele sayı counter ile )'i girdi olarak oluşturun.
EpochProgram ve girdiye göre R1CS kanıt devresini inşa et, tanık oluştur.
witness'i Merkle ağacının yaprak düğümü haline dönüştürün, Merkle kökünü hesaplayın.
Merkle root'u solution'ın proof_target'ine dönüştürün, mevcut epoch'un zorluk 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'ın proof üretiminden witness üretimine geçmesini sağladı, her epoch içindeki hesaplama mantığı tutarlı, ancak farklı epochlar arasında büyük farklılıklar var. Yeni algoritma, önceki MSM ve NTT hesaplamalarını terk etti, paralel uygulamanın zorluğunu artırdı ve mevcut madencilik optimizasyon stratejilerini etkileyebilir.