OKLink: İşlemlerinizi verimli ve güvenli hale getirmek mi istiyorsunuz? "Sıfır bilgi kanıtı" teknolojisinden ayrılamaz

Orijinal Yazar: Jason Jiang

Blockchain teknolojisinin evriminde kaçınılması mümkün olmayan iki önemli konu vardır: gizlilik ve genişleme. Bu iki problemin "standart çözümlerini" araştırdığımızda bunların bir teknolojiden, yani sıfır bilgi kanıtından ayrılamaz olduklarını gördük. Sıfır bilgi kanıtı nedir? Blockchain gizlilik ve genişleme sorunlarını nasıl çözüyor?

1. Sıfır bilgi kanıtı nedir?

1985 yılında MIT'den S.Goldwasser, S.Micali ve C.Rackoff, "Etkileşimli Kanıt Sistemlerinin Bilgi Karmaşıklığı" araştırma makalesinde ilk kez sıfır bilgi kanıtını önerdiler. Bu, kanıtlayıcının herhangi bir geçerli bilgiyi açıklamadan, bilgisinin doğruluğunu kanıtlaması için kullanılan bir doğrulama protokolüdür.

Anlaşılmasını kolaylaştırmak için bir örnek verelim:

Küçük O'nun şifreli bir kutusu vardır ve Küçük K'yi ona gerçek şifreyi söylemeden şifreyi bildiğine ikna etmek ister. Nasıl yapılır?

Küçük O bir yol bulmuş: Küçük K'den dünyada içeriğini yalnızca kendisinin bildiği bir not yazmasını istemiş ve sonra küçük K bunu açılan kutuya koyup kilitlemiş. Daha sonra Küçük O, kutuyu alıp şifreyi kullanarak Küçük K'nin kutuya koyduğu notu çıkardı ve notu ertesi gün Küçük K'ye verdi. Bu süreçte Küçük K daha önce bilmediği hiçbir bilgiyi (kutunun şifresini) öğrenmemiş ancak yine de Küçük O'nun şifreyi bildiğine inanmak zorunda kalmıştır. Bu doğrulama süreci sıfır bilgi kanıtıdır.

**Basit bir ifadeyle sıfır bilgi kanıtı, minimum miktarda bilgi alışverişi ile iki taraf arasında güven oluşturmaktır. Daha fazla bilgi açıklamadan A, B'ye bir şeyin/belirli bir sonucun doğru olduğunu kanıtlayabilir. **

İspat sürecindeki etkileşim moduna göre iki kategoriye ayrılabilir: "etkileşimli sıfır bilgi kanıtı" ve "etkileşimli olmayan sıfır bilgi kanıtı".

Etkileşimli sıfır bilgi kanıtı, bir şeyi kanıtlamak için kanıtlayıcının, tıpkı bir yalan makinesi gibi, doğrulayıcıyla tekrar tekrar etkileşime girmesi gerektiği anlamına gelir: doğrulayıcı, kanıtlayıcının taahhüdünün gerçekliğini sorgulamak için sorular sormaya devam eder ve kanıtlayıcının sürekli olarak Yanıt vermesi gerekir. Doğrulayıcılar ikna olana kadar bu zorlukların üstesinden gelin. Akışı aşağıdaki gibidir:

İlk sıfır bilgi kanıtlarının tümü etkileşimliydi. Bu yöntem basittir ancak süreç uzun ve verimsizdir: her iki taraf da doğrulama işlemini çevrimiçi olarak aynı anda tamamlamalıdır ve aynı anda yalnızca bir doğrulayıcıya güvenilebilir. Birden fazla kişiye güvenilecekse yukarıdaki süreç tekrarlanmalıdır. . Bu süreci düşünmek yorucu.

Böylece etkileşimli olmayan sıfır bilgi kanıtları ortaya çıktı. Etkileşimli olmayan sıfır bilgi kanıtlarında, kanıtlayıcı ve doğrulayıcı, doğrulama kuralları üzerinde önceden anlaşmaya varır, kanıtlayıcı, söz verildiği gibi verileri sağlar ve doğrulayıcı, verilerin doğruluğunu istediği zaman doğrulayabilir. Bu tür etkileşimli olmayan doğrulamada, her iki tarafın da aynı anda çevrimiçi olmasına gerek yoktur ve kanıtlayıcının yalnızca bir kez kanıt sunması gerekir. **Gerçek senaryolardaki uygulamalar, ZK-SNARK ve ZK-STARK gibi temel olarak etkileşimli olmayan sıfır bilgi kanıtlarıdır. **

2. Blockchain dünyasında sıfır bilgi kanıtının kullanımı nedir?

Sıfır bilgi kanıtları esas olarak blockchain dünyasında iki tür sorunu çözmek için kullanılır: gizlilik ve ölçeklenebilirlik. **

(1) Gizlilik

Sıfır bilgi kanıtının önemli uygulama sonuçlarından biri de 2015 yılında başlatılan ve özel işlemleri gerçekleştirebilen Zcash projesidir. Sıfır bilgi kanıtları, Zcash gibi anonim paraların yanı sıra blockchain finansmanı, zincir içi oylama ve kimlik doğrulama gibi senaryolarda da rol oynayabilir.

Blockchain finansal uygulamalarında sıfır bilgi kanıtları, katılımcıların hangi işlemleri ve bilgileri ifşa etmek ve gizlemek istediklerini esnek bir şekilde seçmelerine olanak tanır. Örneğin şirketler, gizli müşteriler, çalışan maaşları, yükleniciler, tedarikçiler ve daha fazlası hakkındaki gizli bilgileri gizlerken, denetim izleri için belirli ödemeleri seçici olarak açığa çıkarabilir.

Zincirde oy verirken sıfır bilgi kanıtı, katılımcıların isimsiz olarak oy kullanmasına ve oylama sonuçlarının geçerliliğini doğrulamasına da olanak tanıyabilir.

Ayrıca sıfır bilgi kanıtı, kullanıcıların belirli kimlik bilgilerini açıklamadan kimlik doğrulaması yapmasına da yardımcı olabilir. Ethereum'daki Polygan ID, yalnızca kullanıcıların gizliliği korumasına yardımcı olmakla kalmayıp aynı zamanda KYC doğrulama spesifikasyonlarına ilişkin düzenleyici gereklilikleri de karşılayan sıfır bilgi kanıtı doğrulama şemasını benimser.Kullanıcılar, ne zaman ve hangi verileri paylaşacaklarını seçmekte özgürdür.

(2) Genişletilebilirlik

Blockchain'in pazar talebini karşılayamayan performans sınırlamaları nedeniyle acil olarak genişletilmesi gerekiyor ve sıfır bilgi kanıtına dayalı ZK Rollup genişletme çözümü, Katman 2 genişletme için nihai çözüm olarak kabul ediliyor. ZK-Rollups, hesaplamaları zincir dışına aktararak, yani çok sayıda işlemi bir Toplama bloğuna paketleyerek ve zincir altında sıfır bilgi kanıtına dayalı bir geçerlilik kanıtı oluşturarak blok zincirinin verimini artırır. Katman 1'de yalnızca Kanıtın doğrulanması, yeni durumun doğrudan uygulanmasına olanak tanır ve bu da daha düşük gaz ve daha yüksek güvenlik sağlar.

ZK-SNARK teknolojisine dayalı zkSync ve zk-STARK teknolojisine dayalı StarkNet şu anda en temsili ZK-Rollups projeleridir.

Bunların arasında zkSync, Matter Labs tarafından 2018 yılında başlatılan ve sıfır bilgi kanıtına dayalı Rollup kullanarak Ethereum ağının ölçeklenebilirliğini artıran bir Katman 2 genişletme çözümüdür. ** Bu yılın Şubat ayında zkSync, zkSync Era ana ağının resmi olarak başlatıldığını duyurdu.Daha sonra OKLink çok zincirli tarayıcı, zkSync ana ağ verilerine erişimde liderliği ele geçirdi ve tüm ağda zkSync ağını destekleyen ilk çok zincirli tarayıcı oldu. **

StarkNet, İsrailli yazılım şirketi StarkWare tarafından geliştirilen, izinsiz bir Katman 2 ağıdır. zk-STARK teknolojisini kullanarak, DApp'lerin daha düşük işlem maliyetleriyle daha büyük bilgi işlem ölçeği elde etmesine yardımcı olabilir. Kasım 2021'de ana ağın lansmanından bu yana StarkNet ekosistemi hızla gelişti. Şu anda DeFi, NFT, cüzdanlar ve zincirler arası köprüler gibi farklı kategorileri kapsayan 100'den fazla Dapp ve hizmet bulunmaktadır. ZK Rollup parkurunda en yüksek değerleme ve en büyük pazar payına sahip projelerden biri olan StarkNet'in gelişimi büyük ilgi gördü. OKLink'in OKLink çok zincirli tarayıcısı, StarkNet ekolojisine ve Katman 2 yapısına dikkat eden ve katılan tüm kullanıcılara daha kapsamlı ve daha zengin zincir içi veri öngörüleri ve hizmetleri sağlayacak olan StarkNet tarayıcısını da yakın gelecekte piyasaya sürecek.

StarkNet tarayıcısının, OKLink tarafından piyasaya sürülen 30'uncu blockchain tarayıcısı ve zksync'ten sonra ikinci ZK Rollup tarayıcısı olacağı aktarılıyor. Gelecekte OKLink çok zincirli tarayıcı, sıfır bilgi kanıtlarına dayanan Polygon-zk, Linea, Base ve Scoll gibi tanınmış ZK Rollup projeleri için blockchain tarayıcılarını da başlatacak.