Deploy and Execute Launch ile Kritik Bir Dönüm Noktasına Ulaşmak

Aleo, ana ağa ulaşma yolunda önemli bir kilometre taşına ve sıfır bilgi endüstrisi için önemli bir adıma ulaşarak, bu hafta dağıtım ve yürütme işlevselliğini yayınladı. Aleo şimdi, merkezi olmayan özel hesaplama alanında Web3'te ilk olan değişikliği başlatmıştır.

Merkezi olmayan özel hesaplama (DPC), kullanıcıların eylemleri hakkında ayrıntıları kamuya açıklamadan işlem doğruluğunu kanıtlamak için sıfır bilgi ispatları kullanan akıllı sözleşmeler için bir şifreleme işlemidir. Bu işlem, gizlilik koruyan işlem modellerini (örneğin Zerocoin ve Zerocash gibi) genişleterek, herhangi bir programı herkesin izni olmadan ve gizli bir şekilde dağıtıp çalıştırmasına olanak tanır. ZCash’in gizlilik koruyan doğası, Ethereum’un esnek akıllı sözleşme modeli ile birleştirilir. Bu işlem, altı yazar tarafından 2018 yılında yayınlanan “Zexe” adlı bir araştırma makalesinde ilk olarak tanımlanmıştır ve kurucumuz Howard Wu dahil olmak üzere dört takım üyemiz tarafından yazılmıştır.

DPC ve dağıtım ve yürütme işlevselliğinin yayınlanmasıyla, Aleo, geliştiricilerin Web3'te beklediği merkezi olmayan bir mimaride sıfır bilgi ispatlarının gücünü açığa çıkarırken, kullanıcı gizliliğinin korunmasını da sağlar. Özellikle, Aleo üzerinde çalışan geliştiriciler, izinsiz bir kanıtlama ortamı içinde sınırsız bir çalışma süresi ve tam veri gizliliğinden yararlanırlar. Bu üç yönü daha detaylı inceleyelim.

Sınırsız Çalışma Zamanı

Tipik bir blok zinciriyle, geliştiriciler uygulama çalışma süresi açısından genellikle “gas” kavramıyla sınırlıdır. Aleo ile, geliştiriciler, kullanıcıların çalışma süresi ne olursa olsun herhangi bir programı yürütmelerine izin veren sınırsız gas sınırları olmadan uygulamalar oluşturabilirler. Bu, Aleo işlemlerinin, uygulamaları çalıştırmak için yapılan hesaplamaların zincir dışında gerçekleşmesi nedeniyle program çalışma süresinden bağımsız olarak tek tip doğrulama süresine sahip olan sıfır bilgi ispatları olduğu anlamına gelir.

Bu, örneğin makine öğrenimi gibi Web3'te önce mümkün olmayan birçok yeni uygulamanın açılmasına olanak tanır. Gas kullanan blok zincirlerinde (örneğin Ethereum’da), hatta küçük bir doğrusal regresyon bile gas limitini aşabilir. Ancak Aleo ile, işlemler, dakikalar veya saatler süren büyük ML modellerinin yürütülmesini ucuz bir şekilde kanıtlayabilir. Bu, doğrulanabilir kimlik/benimsemeli kimlikten sağlık hizmetlerine ve nicel ticarete kadar Web3 uygulamaları için yeni yetenekler açar.

Veri Gizliliği

Bugünün blok zinciri uygulamaları potansiyellerinin sadece yüzeyine dokunmuş durumda. Bu, geleneksel bir blok zinciri üzerinde inşa edilen uygulamaların varsayılan olarak ve tasarımsal olarak her zaman kamusal olması gerektiği anlamına gelir. Ancak Aleo, kullanıcıların hangi bilgilerin kimlerle paylaşıldığını kontrol altında tutabileceği bir yapı sunar. Bu model, herhangi bir işleme içsel güvenlik ekler ve yeni kullanım durumları yaratır.

Aleo, tüketicilerin verilerini korurken, kullanıcıların ve geliştiricilerin ilgili yasalara ve düzenlemelere uyduklarından emin olmalarına yardımcı olmak için bir dizi araç sunar. Aleo, görüntü anahtarlarını destekleyerek, kullanıcıların bir işlemin içeriğini seçilmiş üçüncü taraflarla seçici olarak paylaşmasına izin verir. Ayrıca, grafik anahtarları, kullanıcıların etkileşimde bulundukları parti setlerini seçici olarak paylaşmalarına olanak tanır. Önemli olan, bu şeffaflık, verilen uygulama için ince ayarlanabilir, böylece aynı anda daha iyi bir kullanıcı deneyimi ve uyum için daha iyi araçlar sağlanabilir.

Permissionless Kanıtlama

Deploy & execute ile, geliştiriciler şimdi programları Aleo program kaydına yükleyebilirler. Teknik ayrıntılara ilerideki bir blog yazısında gireceğiz. Şimdilik, kaydın, bir program kimliğinin Aleo bytecode’a (ZK için özel bir dil olan Leo’nun derleme hedefi) eşleştirilmesi olduğunu anlamak yeterlidir.

Bu kayıt defteri, merkezi olmayan bir defterde depolandığından, kaydın güncellenmesi sansürsüze dayanıklıdır ve bu nedenle geliştiriciler ve kullanıcılar için platform riskini azaltır. Dahası, kullanıcılar üçüncü taraf bir kapıcının güvenine bağlı olmadan yürütme kanıtları oluşturabilirler. Aleo araç takımının yazarları veya yüklenmiş herhangi bir uygulamanın geliştiricileri bile kaybolsa, kullanıcılar, merkezi olmayan ağda yüklenen programları çalıştırmaya devam edebilirler.

ZkEVM’ler inşa eden birçok proje gelecekte merkezi olmayan bir yapıya sahip olmayı hedeflerken, Aleo bu yapıya bugünden ulaşıyor. Aleo, geliştiricilerin yazabileceği/yükleyebileceği ve kullanıcıların bir BD ekibine e-posta göndermesine veya bir kanıtlayıcı API’si kullanmasına gerek kalmadan herhangi bir sıfır bilgi uygulamasını yürütebileceği tek Web3 protokolüdür.

İleriye Dönük

Bugün, merkezi olmayan hesaplama konusunda bir çığır açıldı. Aleo, ilk kez orijinal Zexe araştırma makalesinde tanımlanan merkezi olmayan özel hesaplama öğesini uyguladı. Bu teknolojinin gelişiyle, geliştiriciler artık Aleo’nun Testnet 3'üne uygulamaları dağıtabilirler. Sıfır bilgi kanıtlarının gücünü kullanarak, kullanıcılar bu programları izin almadan, off-chain olarak yürütebilir ve verilerinin korunduğundan emin olabilirler.

Bu, Aleo Mainnet lansmanına doğru attığımız önemli bir adım. Ancak Aleo’yu, sıfır bilgi şifrelemesi kullanan diğer Web3 projelerinden ayıran heyecan verici özellikler yalnızca bununla sınırlı değil. Gelecek haftalarda daha fazlasını duyacağız!

Eğer bir geliştiriciyseniz ve başlamak istiyorsanız: Leo için geliştirici belgelerimize buradan göz atın.

Testnetimize bir program dağıtmak için özel rehberimize buradan bakabilirsiniz.