Aleo yakında teşvik Testnet'ini başlatacak, zk-SNARKs blok zinciri gizlilik devrimini yönlendirecek.

2025-07-07 02:57:45

Aleo: zk-SNARKs tabanlı gizlilik koruma Blok Zinciri

Aleo, gizliliğe odaklanan bir Blok Zinciri projesidir ve daha yüksek gizlilik ve ölçeklenebilirlik sağlamak için zk-SNARKs teknolojisini kullanmaktadı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 Görünümü

Gizlilik Koruması

Aleo'nun temel teknolojisi zk-SNARKs(ZKPs)'dır, bu sayede işlemler ve akıllı sözleşmelerin yürütülmesi gizliliği koruma şartıyla gerçekleştirilebilmektedir. Varsayılan olarak, işlem detayları, gönderen ve miktar gibi bilgiler 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şenler şunlardır:

Leo programlama dili: (ZKApps) için geliştirilen ve geliştiricilerin kriptografi bilgisine olan gereksinimini azaltan bir dildir.
snarkVM ve snarkOS: snarkVM, hesaplamaların zincir dışı olarak gerçekleştirilmesine ve zincir üzerinde yalnızca sonuçların doğrulanmasına olanak tanır, böylece verimlilik artırılı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 entegre geliştirme ortamı (IDE) ve yazılım geliştirme araç seti (SDK) sunmaktadır, geliştiricilerin hızlı bir şekilde uygulama yazıp yayımlamalarını destekler. Geliştiriciler, üçüncü taraflara bağımlı olmadan uygulamaları Aleo'nun program kaydında dağıtabilir, böylece platform riskini azaltır.

Ölçeklenebilirlik

Aleo, zincir dışı işleme yöntemi kullanarak, işlemlerin önce kullanıcı cihazında kanıtlandığını, ardından yalnızca doğrulama sonuçlarının Blok Zinciri'ne yüklendiğini belirtmektedir. Bu yöntem, işlem işleme 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ı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 mimariye sahip bir 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.

Ana özellikler:

Blok hızlı nihai sonuç: Her bloğun oluşturulmasından sonra hemen onaylanmasını sağlamak, düğüm kararlılığını ve kullanıcı deneyimini artırmak.
Merkeziyetsiz Güvence: Blok üretimini ve coinbase oluşturmayı 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ı, tokenlerini teminat göstererek doğrulayıcı olmaya teşvik eder, böylece ağın merkeziyetsizliğini ve hesaplama gücünü artırır.

Aleo, geliştiricilerin gas kısıtlaması olmayan uygulamalar oluşturmasına olanak tanır, bu nedenle uzun süreli çalışmaya ihtiyaç duyan makine öğrenimi gibi uygulamalar için özellikle uygundur.

Son Gelişmeler

Aleo, 1 Temmuz'da teşvikli test ağını başlatacak, işte bazı önemli bilgiler:

ARC-100 teklifi kabul edildi, uyum ve güvenlik önlemlerini içeriyor.
Doğrulayıcı teşvik programı 1 Temmuz'da başlayacak ve 15 Temmuz'a kadar sürecek, ö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'dur.
Testnet Beta, ARC-41 ve yeni bulmaca özelliklerini eklemek için son bir ağ sıfırlaması gerçekleştirecektir.
Kod donması tamamlandı.
Doğrulayıcı düğüm genişleme planı: başlangıçta 15, yıl içinde 50'ye çıkmayı hedefliyor, nihayetinde 500'e ulaşacak. Delegat olabilmek için 10.000 token, doğrulayıcı olabilmek için 10.000.000 token gerekmektedir, bu miktarlar zamanla azalacaktır.

Synthesis Puzzle algoritması analizi

Aleo en son puzzle algoritmasını güncelledi, artık zk kanıtı sonuçlarının üretilmesine odaklanmıyor, bunun yerine kanıttan önceki ara veri witness'ın üretilmesine odaklanıyor. Yeni algoritmanın adı Synthesis Puzzle, her epoch için ortak bir EpochProgram oluşturmak üzere tasarlanmıştır, R1CS kanıt devresi inşa ederek, karşılık gelen R1CS assignment ( yani witness ) üretir ve bunu Merkle ağacının yaprak düğümü olarak kullanarak, Merkle root'u hesaplar ve çözümün proof_target'ına dönüştürür.

Ana süreç:

Her puzzle hesaplamasına nonce denir ve bu, madencilik ödülünü alan adres, epoch_hash ve rastgele sayı counter ile oluşturulur.
Her epoch'ta, tüm prover'lar aynı EpochProgram'ı hesaplar, epoch_hash'tan üretilen rastgele sayılar komut setinden örneklenerek oluşturulur.
EpochProgram'un girişi için nonce'u rastgele sayı tohum olarak kullanın.
EpochProgram'a karşılık gelen R1CS ve girdi'yi birleştirerek witness hesaplaması yapın.
Witness'i Merkle ağacı yaprak düğüm dizisine dönüştür.
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.
Aynı epoch içinde iterasyon sayacını güncelleyerek EpochProgram girişini birden fazla çözüm hesaplama işlemi için kullanabilirsiniz.

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ığında büyük farklılıklar var. Yeni algoritma, önceki MSM ve NTT hesaplamalarını terk etti ve GPU optimizasyonu için zorluklar getiriyor. Witness üretim sürecinde seri bağımlılık bulunduğundan, paralelleştirme gerçekleştirmek de belirli zorluklarla karşı karşıya.

ALEO-1.01%

View Original

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.

9 Likes