Orijinal başlık: zkTLS: Kripto Tüketici Uygulamalarının Kilidini Açma
Orijinal yazar: @yeak__, @Delphi_Digital researcher
Orijinal çeviri: zhouzhou, BlockBeats

Editörün notu: TLSNotary, istemciler ve sunucular arasındaki iletişimleri doğrular ve gizliliği korurken verilerin seçici bir şekilde ifşa edilmesine olanak tanır. Pluto, akıllı sözleşmelere TLSNotary'yi dahil ediyor, Primus Labs verimliliği artırıyor ve zkFHE çözümleri geliştiriyor ve Opacity, Eigenlayer AVS ve TEE aracılığıyla gizli anlaşmaları önlüyor ve güvenliği artırıyor. Opacity, Web2 hesap doğrulamasını gerektirir, Sybil saldırılarının riskini azaltır ve doğrulanabilir bir günlük mekanizması benimser. Gelecekteki optimizasyon yönleri arasında vektör kör doğrusal değerlendirme, MPC verimliliğinin iyileştirilmesi ve TLS kanıtlarının daha hızlı hale getirilmesi yer alıyor. HTTPS proxy, güvenliği ve gizlilik korumasını iyileştirmek için bir aracı görevi görür ve genellikle kurumsal ortamlarda trafiği izlemek için kullanılır.

Aşağıdaki orijinal metindir (orijinal içerik daha kolay okunup anlaşılması için yeniden düzenlenmiştir):

Şifreleme endüstrisi her zaman dünyayı değiştirecek düşünceye, yeteneğe ve fona sahipti, ancak çoğu zaman bu hedefe ulaşmak için gerekli araçlardan yoksundur. Günümüzde gerçek dünyadaki kripto başarı hikayelerinin çoğu hâlâ Web2 devlerinin desteğine dayanıyor. Visa ve Mastercard'ın kripto kartları desteklemeye devam etmesini, Coinbase, PayPal ve Stripe'ın geleneksel ödeme sistemlerinin blockchain ile uyumluluğunu optimize etmeye devam etmesini, BlackRock'ın devlet tahvillerinin tokenizasyonunu ilerletmeye devam etmesini ve Walmart'ın Pudgy Penguins satmaya devam etmesini umuyoruz.

Bugün, kripto sektöründeki geliştiricilerin gerçek anlamda değişim yaratmasını sağlayacak güçlü bir yeni aracımız var. Geleneksel piyasalar verimsizlikler ve sınırlamalarla dolu ve kripto para sektörü her zamankinden daha iyi bir alternatif sunma konumunda.

zkTLS (ayrıca TLS oracle veya Web Proof olarak da bilinir) kapalı Web2 ekosisteminden özel verilerin çıkarılmasına olanak tanır. Kullanıcılar, yasal kimlik, mali kayıtlar, eğitim geçmişi ve davranış kalıpları gibi çeşitli veri türlerini gizliliklerini tamamen koruyarak kanıtlayabilirler. Aşağıda nasıl çalıştığına dair kısa bir genel bakış verilmiştir.

TLS (Taşıma Katmanı Güvenliği), istemciler ve sunucular arasındaki iletişimleri şifrelemek için kullanılan bir protokoldür. TLS, HTTPS'deki "S" harfini oluşturur (HTTPS = HTTP + TLS) ve artık web standardı haline gelerek web trafiğinin %95'ini korumaktadır.

TLS, oturum anahtarlarını yayınlayan güvenilir bir merkezi otoritedir. Bir kullanıcı bir web sitesini ziyaret ettiğinde, tarayıcı ve hedef sunucu, simetrik şifreleme kullanılarak sonraki veri iletimi için bir oturum anahtarı oluşturmak amacıyla bir TLS el sıkışması gerçekleştirir. Ancak istemci ile sunucu arasında paylaşılan veriler imzalanmadığı için doğruluğu başka bir yerde ispat edilememektedir.

TLS şunları garanti eder:

·Kimlik Doğruluğu

·Güvenlik

·Gizlilik

·Veri taşınabilirliği yok

zkTLS, HTTPS oturumları sırasında istemci ve sunucu arasındaki iletişimleri doğrulayarak ve gizlilik korumasının kanıtını zincire getirerek veri taşınabilirliği sorununu çözer. Önemlisi, bu durum genellikle sunucu tarafından tespit edilemez ve güvenlik duvarları tarafından engellenemez. ZkTLS ile tüm İnternet veritabanları, blok zinciri uygulamaları için birleştirilebilir yapı taşları haline gelebilir ve Web2'nin bu konuda yapabileceği çok az şey vardır.

ZkTLS'nin çeşitli uygulamaları: MPC (çok taraflı hesaplama), proxy, TEE (güvenilir yürütme ortamı)

MPC (çok taraflı hesaplama)

MPC, birden fazla tarafın kendi özel girdilerini ifşa etmeden birlikte hesaplamalar yapmasına olanak tanır. MPC güçlü bir güvenliğe sahiptir, ancak yüksek hesaplama yüküne sahiptir ve gizli anlaşma sorunlarına maruz kalabilir.

Deco

Deco, 2019 yılında ilk kez MPC tabanlı bir TLS çözümü önerdi. Deco'nun kötü amaçlı güvenli iki taraflı hesaplama (2PC) yöntemi hesaplama açısından yoğun. Örneğin, 2KB'lık bir paketi doğrulamak 475MB iletişim gerektirir ve tamamlanması 50 saniye sürer. Bu çözümün zaman aşımı nedeniyle başarısız olma ve başarıyla uygulanamama olasılığı çok yüksektir. Deco daha sonra Chainlink tarafından satın alındı ve Teller ile birlikte bir konsept kanıtı geliştirdi.

TLSNotary

TLSNotary, Deco'yu geliştiriyor ve bozuk devrelere ve fark edilmeyen transferlere dayalı 2PC uygulamasını benimsiyor. Devreleri karartmak MPC'deki en basit ve en doğrudan yöntemdir.

TLS Noteri, istemci ile sunucu arasındaki oturumu gerçekliğini kanıtlamak için "noter tasdik eder". TLS el sıkışması sırasında kanıtlayıcı ve doğrulayıcı, anahtarları şifrelemek ve şifresini çözmek için işbirliği yapar. Tüm süreç boyunca yalnızca kanıtlayıcı sunucuyla iletişim kurar, doğrulayıcı yalnızca şifrelenmiş verileri görebilir. Kanıtlayıcı girdileri veya yanıtları taklit edemez. Son aşamada, kanıtlayıcı, doğrulayıcıya göstermeden önce oturum kaydını kısmen gizleyebilir; örneğin, doğrulayıcıya yalnızca belirli bir yargı alanında bulunduğunu kanıtlayarak belirli enlem ve boylam bilgilerini gizleyebilir.

Doğrulayıcılar noter gibi davranabilir veya daha genel, taşınabilir kanıtlar üretmek için doğrulama rolünü dışarıdan alabilirler. Bu, ek bir güven varsayımı ortaya çıkarır; yani doğrulayıcının, noterin kanıtlayıcıyla işbirliği yapıp kanıtı sahtecilikle karıştırmayacağına güvenmesi gerekir. Bu sorunu hafifletmek için, doğrulayıcılar birden fazla noterden onay talep edebilir veya kendi güvenilir noter listelerini tanımlayabilirler. Ancak bu düzenlemelerin hâlâ çeşitli kusurları bulunmakta ve gizli anlaşma sorunu MPC'nin önündeki en önemli zorluklardan biri olmaya devam etmektedir.

TLSNotary'nin avantajı, gizliliği korurken veri taşınabilirliğini koruması ve sunucunun işbirliğine bağlı olmamasıdır. Kimliği doğrulanmış verilerin, karartma devreleri ve anahtar parçalanması yoluyla seçici olarak ifşa edilmesine olanak tanır, ancak ZKP'yi kullanmaz. Şu anda, entegrasyonu kolaylaştırmak için TLSNotary tabanlı sıfır bilgi teknolojisini tanıtan birçok proje bulunmaktadır.

İlgili Projeler

Pluto

Pluto Labs, geliştiricilerin sadece beş satır kodla herhangi bir zincir dışı veriyi akıllı sözleşmelere entegre etmelerine olanak tanıyan, TLSNotary'yi ürünleştirmeyi amaçlayan açık kaynaklı, sıfır bilgi gerektiren bir uygulamadır. Güven varsayımlarına ilişkin ayrıntılı bir genel bakışa ilgili bağlantılardan ulaşılabilir.

Primus Labs (eski adıyla PADO Labs)

Primus Labs, pahalı kötü amaçlı güvenlikli 2PC yerine, önce karıştırıp sonra kanıtla teknolojisini kullanarak Deco'yu geliştirdi. İletişim verimliliğini 14 kat, çalışma süresini 15,5 kata kadar artırdı ve Coinbase ve Twitter gibi gerçek dünya API'lerine başarıyla entegre edildi. Ayrıca Primus, gelecekte daha karmaşık mimarileri destekleyebilecek zkFHE çözümleri de geliştiriyor. Primus ayrıca bir tarayıcı eklentisi de başlattı ve iOS/Android uygulamalarını da piyasaya sürmeyi planlıyor.

Opacity

Opacity, bir dizi mekanizma aracılığıyla gizli anlaşma sorununu çözer ve ekonomik güvenlik sağlamak için Eigenlayer AVS'yi kullanırken birden fazla güvenlik önlemini üst üste bindirir:

·Zincirdeki Web2 hesap kimliğine dayalı Sybil direnci

·İşleme ve açıklama mekanizması - kullanıcılar rastgele bir noter düğümü seçmeden önce bir değer göndermelidir

·MPC düğümlerinin rastgele seçimi

·Doğrulanabilir girişim günlüğü

Opacity, kullanıcıların her biri bir Web2 hesabına bağlı olan birden fazla cüzdanla gizli anlaşma yapmasını kısıtlar. Ayrıca, kullanıcı rastgele bir noter düğümüne eşleştirilmeden önce, önce bir kanıt isteği göndermelidir, böylece kullanıcı gizli anlaşmaya çalışsa bile, gizli anlaşma yapan bir düğümle eşleştirilmediğinde konumunu değiştiremez. Doğrulanabilir bir girişim günlüğü, kullanıcıların sunamadığı şüpheli kanıtları (örneğin, bankada 10 milyon dolar olduğunu kanıtlamaya çalışan ancak birkaç kez başarısız olan bir cüzdan) tespit etmek için kullanılabilir.

Ayrıca Opacity, noter yazılımının TEE'de çalışmasını gerektirir ve bu sayede TEE tehlikeye atılmadığı sürece gizli anlaşmanın imkansız hale gelmesi sağlanır. Bu kritik öneme sahiptir çünkü Opacity güvenlik için tamamen TEE'ye güvenmez.

Opacity çerçevesi altında bir kanıt oluşturmak için aşağıdaki koşulların tümünün karşılanması gerekir:

· Kullanıcı gizli anlaşma yapmayı amaçlar

· En az bir noter düğümü gizli anlaşmaya katılır

· Noter düğümü tehlikeye atılmış bir TEE çalıştırır

· Kullanıcı 1-3 denemede gizli anlaşma yapan bir düğümle rastgele eşleştirilir

· Doğrulayıcı, kanıtın birden çok kez oluşturulmasını talep edebilir ve böylece Madde 4 olasılığı katlanarak azalır

· Aynı zamanda, kötü niyetli davranışlar bir kesme mekanizmasıyla da karşı karşıya kalır

Opacity'nin cadı saldırılarına karşı direnci hala en zayıf halkadır. Bir Web2 hesabının birden fazla cüzdana bağlanmasını önleyebilir, ancak bir kişinin birden fazla Web2 hesabı oluşturmasını engelleyemez. Opacity, Sybil korumasını etkili bir şekilde Web2 platformlarına devrediyor; bunlardan bazıları diğerlerinden daha güvenilir (örneğin, Rippling HR tarafından sağlanan bir kimlik, bir Twitter hesabından daha güvenilirdir). Opacity, gelecekte güvenliği artırmak amacıyla birden fazla Web2 hesabını entegre edebilir.

Opacity, zkTLS'nin en iyi uygulama uygulamasını oluşturuyor, merkeziyetsizlik konusunda büyük ilerleme kaydediyor ve güven varsayımlarını azaltıyor. MPC'nin hesaplama yükünün üstesinden gelme yeteneği gelecekteki başarının anahtarı olacaktır.

Gelecekte MPC performans optimizasyonu için hala çok yer var. Örneğin, vektörden habersiz doğrusal değerlendirme, her etkileşimde daha fazla ilerlemeye olanak vererek, verimli 1-of-N habersiz transferine olanak tanır. Bu, ağ yükünü 100 kat azaltabilir ve saniyenin altındaki MPC-TLS kanıtlarının elde edilmesini mümkün kılabilir.

Proxy

HTTPS proxy, istemci ile sunucu arasında bir aracıdır ve şifrelenmiş trafiği iletmekten ve yalnızca kullanıcının kimliği doğrulandığında verileri şifresini çözmekten sorumludur. Proxy'ler güvenliği, performansı ve gizliliği artırabilir ve özellikle çalışan erişimini izlemek ve kısıtlamak için kullanılabilecekleri kurumsal ortamlarda yaygındır.

ZkTLS için proxy'ler de kullanılabilir. Bu model, iletişimin meşruluğunu kanıtlamak için istemci ile sunucu arasına bir vekil tanık yerleştirir. Proxy modeli hızlıdır, düşük maliyetlidir, yapısı basittir ve büyük miktarda veriyi işleyebilir. Ancak sansür, işbirliği ve ademi merkeziyetçilik sorunları devam ediyor. Ayrıca bu yöntem sunucular tarafından tespit edilebilir ve dolayısıyla büyük ölçekte kullanıldığında engellenebilir.

Reclaim Protocol
Reclaim Protocol, proxy modelinin öncüsüdür ve tüm zkTLS projeleri arasında en gelişmiş ilerlemeyi kaydetmiştir. Reclaim hemen hemen her blok zincirini destekler ve 889 adet topluluk tarafından oluşturulmuş veri kaynağına sahiptir. Reclaim üzerinde zkP2P biletleme pazaryeri de dahil olmak üzere çok sayıda proje geliştiriliyor.

Reclaim, kullanıcının bir uygulama veya uzantı indirmesine gerek kalmadan, 2-4 saniye içinde kullanıcının mobil cihazında bir sertifika oluşturur. Reclaim, Web2'nin güvenlik duvarı sorunlarını aşmak için konut proxy'lerini kullanır.

Reclaim'in proxy modeli MPC-TLS ile karşılaştırıldığında daha basit ve dolayısıyla daha hızlıdır. Vekalet modeliyle ilgili endişelerin çoğu, Vekalet Yeterlidir adlı akademik makalede ve Reclaim blogunda ele alınmıştır. Yapılan araştırmalar Reclaim’in güvenliğinin kırılma olasılığının 10⁻⁴⁰ olduğunu gösteriyor.

zkPass
zkPass, başlangıçta MPC şemasına dayalı bir hibrit model benimser, ancak üretim ortamlarında MPC'yi geri dönüş seçeneği olarak kullanarak proxy tanık moduna geçer. zkPass, Base, BNB, Scroll, Linea, Arbitrum, zkSync, OP, X Layer ve diğer ağlara dağıtıldı. zkPass, yerel TransGate Chrome eklentisini kullanarak 70'ten fazla veri kaynağından 200'den fazla veri formatını destekler.

zkPass esas olarak kimlik doğrulama ve Sybil saldırı koruması etrafında dönmektedir. Projede şu anda kullanıcıların ZKP token puanı kazanmak için zorlukları tamamlayabilecekleri bir teşvik programı yürütülüyor. zkPass, likidite token'ı piyasaya süren ilk zkTLS projesi olabilir.

TEE
Güvenilir Yürütme Ortamı (TEE), bir işlemci içinde hassas verileri depolayabilen ve korumalı hesaplamalar gerçekleştirebilen, kurcalamaya dayanıklı, izole edilmiş bir alandır. TEE, donanım ve yazılım izolasyonuna sahip olup, CPU'nun geri kalanından bağımsız özel bellek ve işlem gücüne sahiptir. Intel SGX şu anda en çok bilinen TEE çözümüdür. Ancak TEE'ler geçmişte tehlikeye atılmış olup yan kanal saldırılarına karşı savunmasızdır.

Clique
Clique, zkTLS'yi oluşturmak için TEE çözümünü kullanır. Bu yaklaşımın hesaplama ve ağ yükü son derece düşüktür ve birçok sorunu çözer, ancak güvenilir donanıma bağımlılık yaratır, bu da riskin noterden çip üreticisine aktarılması anlamına gelir. Bu modelde güvenliğin tüm sorumluluğu TEE'ye aittir.

Özet

zkTLS'nin yalnızca genel bir terim olduğunu belirtmekte fayda var. Farklı zkTLS şemaları, sıfır bilgi teknolojisini uygulama derecesinde farklılık gösterir ve zkEmail gibi diğer sıfır bilgi teknolojileriyle aynı güvenlik garantilerine sahip değildir. Kesin olarak konuşmak gerekirse, zkTLS'yi MPC-TLS (+zkp), TEE-TLS ve zkTLS Proxy olarak sınıflandırmak daha doğru olabilir.

ZkTLS alanındaki tartışmalar gelecekte performans ve güvenlik arasındaki denge etrafında dönecektir.

Proxy: Bu daha genel bir çözümdür, ancak ek güven varsayımları gerektirir ve istemcinin sıfır bilgi (ZK) çözümlerini karşılayabilmesini gerektirir ve güvenlik duvarlarını aşmak için ek önlemler gerekir.

Çok taraflı hesaplama (MPC): Bu model güçlü güvenlik garantileri sağlar, ancak MPC'yi kurarken çok fazla ağ iletişimi gerektirir ve doğruluk tablosunun getirdiği yüksek ek yük nedeniyle MPC yaklaşımı, sıkı zaman sınırlamaları olmayan küçük istek/yanıt etkileşimleri ve TLS oturumları için daha uygundur. MPC sansüre dayanıklıdır ancak işbirliği sorunlarıyla karşı karşıyadır.

Güvenilir Yürütme Ortamı (TEE): TEE modeli, zkTLS'nin karşılaştığı sorunların çoğunu akıllıca çözer, ancak bunun bedeli TEE donanımına tam güven gerektirmesidir.

Şu anda Reclaim ve Opacity ivme kazanıyor ve zkTLS alanındaki tartışmalara hakim görünüyor. ZkTLS geliştikçe, MPC ve proxy modellerinin performans-güvenlik dengeleri temel bir konu olmaya devam edecektir.

Sonuç

zkTLS her şeyi değiştiren yükselen bir anlatıdır. Ancak, hala cevaplanmamış pek çok soru var: zkTLS sağlayıcıları ticari bir meta haline gelecek mi? Değer yakalama akışı uygulama katmanına ulaşacak mı? Sahte bir sertifikanın ne kadar çıkarım değeri olabilir? Bu konular zkTLS çözümlerinin avantajları ve dezavantajları hakkındaki tartışmaları nasıl etkileyecek?

Bir şey açıktır: zkTLS, merkezi olmayan uygulamaların tasarım alanını büyük ölçüde genişletir ve yeni sistemler oluşturmak için yeni fikirler sunar. Günümüzde birçok yenilikçi fikir hayata geçiriliyor:

·Bilet Pazarı – zkP2P (Reclaim'e dayalı)

·Web2 İtibar İçe Aktarımı (Uber, DoorDash sertifikası) – Nosh Delivery (Opacity'ye dayalı)

·KOL pazarlama/tanıtım kanıtı – Daisy (Opacity'ye dayalı)

·Akıllı tahmin pazarı – TMR.NEWS (Reclaim'e dayalı)

·Maaş edinimi yoluyla düşük ipotek kredileri – Earnifi (Opacity'ye dayalı)

·Hassas teslimat ve dijital reklam teşvikleri – EarnOS (Opacity'ye dayalı)

·Yumuşak ipotek kredileri – 3Jane (Reclaim'e dayalı)

zkTLS veri tekelini zayıflatıyor ve böylece Web2'nin mevcut pazar manzarasını sarsıyor. Mevcut verimsiz piyasaların tamamı kripto paraların topluma nüfuz etmesi ve toplumu iyileştirmesi için birer fırsattır.

「Orijinal bağlantı」

BlockBeats Resmi Topluluğuna Katılın:

Telegram Abonelik Grubu: https://t.me/theblockbeats

Telegram Sohbet Grubu: https://t.me/BlockBeats_App

Twitter Resmi Hesabı: https://twitter.com/BlockBeatsAsia