Giriş: Aztec, geliştiricilerin hem özel hem kamuya açık duruma ve hem özel hem kamuya açık yürütme ile akıllı sözleşmeler oluşturmasına izin veren, bireysel gizlilik özelliklerine sahip normal DeFi uygulamaları sunan, gizliliğe odaklı bir Layer 2'dir.
Aztec Nedir?
Aztec, gerekirse kamu uyumluluğunu destekleyen, gizlilik-ile-tasarlanmış bir Layer 2 ağıdır.
Ana fikir basit:
-
Hassas kullanıcı eylemleri için (bakiyeler, kimlik, niyet, strateji) özel yürütme ve özel durum.
-
Genel olarak görünmesi gereken şeyler için kamuoyu yürütmesi ve kamuoyu durumu (kamu likiditesi, kamu sözleşme mantığı, paylaşılan durum).
Bu nedenle “tüm genel” veya “tüm özel” seçeneğini seçmek yerine, Aztec hibrit uygulamaları destekler.
Aztec'de Bir İşlemin Nasıl Çalıştığı
Aztec, yürütme işlemini iki ayrı ortama ayırır:
-
Özel Çalışma Ortamı (PXE) — kullanıcı tarafında çalışır
Özel işlevler, gizliliği maksimize etmek için PXE („pixie“ olarak telaffuz edilir) içinde istemci tarafında yürütülür.
PXE:
-
Yerel olarak özel işlevleri yürütür
-
anahtarları ve notları tutar
-
Özel işlemler için sıfır bilgi kanıtı üretir
-
aztec.js (TypeScript) içinde yer alır, Node veya tarayıcıda çalıştırılabilir
-
Genel VM (AVM) — Aztec node'larında çalışır
Kamu fonksiyonları, Aztec Sanal Makinesi'nde (AVM) çalışır ve kavramsal olarak EVM'ye benzer (bu nedenle "gas verimliliği sezgisi" Solidity gibi uygulanır).
Yön belirlemeli yürütme kuralı (önemli)
Bir işlem özel → genel akıştır:
-
Özel fonksiyonlar, genel fonksiyonları daha sonra çalıştırmak için sıraya alabilir.
-
Genel işlevler özel işlevleri çağıramaz.
Bu ayrım amaçlıdır: halka açık ağ, özel yürütme içine “giremez”.
Özel ile Kamu Durumu: Notlar, Sıfırlayıcılar ve Ağaçlar
Aztec, gizliliğe göre farklı durum modelleri kullanır:
Özel durum = UTXO tarzı “notlar”
Özel durum, notlar olarak saklanır (UTXO benzeri veri parçaları). Şeffaflığı korumak için:
-
Notlar, yalnızca ekleme yapılan bir UTXO ağacına eklenir.
-
Bir not “harcanırsa/silinirse” bir nullifier oluşturulur
-
Nullifier'ler ayrı bir nullifier ağacında saklanır.
Bu, notların gizli içeriğini açmadan ağına “bir kez harcanmış” kuralını uygulama imkanı tanır.
Kamu durumu = hesap gibi kamusal depolama
Kamu durumu, Ethereum'a daha çok benzer:
-
kamu veri ağacında saklanır
-
Doğrudan güncellendi ve zincir üzerinde görülebilir
Geliştirici alacağı:
-
Özel durum çalışması = taahhütler + yok ediciler (veriyi açığa çıkarmadan doğruluğu kanıtla)
-
Kamu durumu çalışması = doğrudan güncellemeler (normal blok zinciri depolama davranışı)
Hesap Soyutlaması: Her Hesap Bir Akıllı Sözleşmedir
Aztec, protokol seviyesinde yerel hesap soyutlamasına sahiptir:
-
EOA yoktur (basit “anahtar çifti hesapları” yoktur)
-
Her hesap bir akıllı sözleşmedir.
-
Geliştiriciler, şu kuralları kendi belirleyebilir:
-
kimlik doğrulama (imzalar, çoklu imza, geçiş anahtarları, özelleştirilmiş mantık)
-
yetki politikaları (sınırlar, izinler, oturum anahtarları)
-
nonce / tekrar koruması
-
Bu, DoS'a („doğrulama maliyetli“ sorunu) karşı nasıl yardımcı olur
Aztec'in modeli, karmaşık doğrulamayı istemci tarafında gerçekleştirir:
-
İstemci, "doğrulama başarılı" olduğunu gösteren bir ZK kanıtı oluşturur ve doğrular.
-
Sıralayıcı sabit boyutlu bir kanıt doğrular
-
Bu nedenle doğrulama karmaşıklığı ağı doğrulama maliyetini patlatmaz
Bu, zinciri yavaşlatmadan “güçlü kullanıcı” hesabı mantığını sağlar.
Aztec Hesaplarındaki Anahtarlar (Gizliliğe Odaklı)
Her Aztec hesabı, 3 anahtar çifti tarafından desteklenir:
-
Nullifier anahtar çifti: not nullifikatörlerini hesaplamak için kullanılır
-
Gelen izleme anahtar çifti: notları alıcı için şifrelemek için kullanılır
-
Giden görüntüleme anahtar çifti: notları gönderene şifrelemek için kullanılır
Hesaplar akıllı sözleşmeler olduğu için otomatik olarak bir imza anahtar çiftine sahip değildir; kimlik doğrulama, hesap sözleşmesi tasarımına bırakılır.
Yetki Gözlemcileri: “Sonsuz Onaylar”dan Daha Güvenli
Aztec, riskli “sonsuz onay” modelini Kimlik Doğrulama Gözlemcileri (AuthWit) ile değiştirir:
-
sınırsız izni kalıcı olarak vermek yerine,
-
Kullanıcılar, belirli parametrelerle belirli eylemleri yetkilendiriyor.
Bu, iyi bir kullanıcı deneyimini (toplu işleme, otomasyon) sağlarken sürekli onay riskini azaltmak için tasarlanmıştır.
Aztec'ye Noir ile devam edin
Aztec akıllı sözleşmeleri, kanıtlanabilir programlar/sözleşmeler yazmak için ZK odaklı bir dil olan Noir ile yazılmıştır. Belgelerden bir önemli uyarı: özel fonksiyonlar, kanıtlanma işleminin normal yürütme ile farklı performans algısı nedeniyle kötüye kullanılarak optimize edilmemiş şekilde yazılabilir—bu nedenle “nasıl performanslı Noir yazılır” öğrenmek önemlidir.
