\{\n "sl": "English",\n "tl": "Turkish",\n "text": "\u003cp\u003e\u003cem\u003eÖzgün Başlık 'ZK Serisi - 1] ZK Rolluplar: Odadaki Fil'\u003c/em\u003e\u003c/p\u003e\n\u003ch2 id=\"h2-summary\"\u003e\u003ca name=\"Summary\" class=\"reference-link\"\u003e\u003c/a\u003e\u003cspan class=\"header-link octicon octicon-link\"\u003e\u003c/span\u003eÖzet\u003c/h2\u003e\u003cul\u003e\n\u003cli\u003eSıfır Bilgi Kanıtları (ZKPs), daha özel ve ölçeklenebilir bir blokzincir ekosistemi için umut vaat etmesine rağmen, ZK'nın birçok yönü yanlış anlaşılıyor veya genellikle algılandığından farklı şekilde uygulanıyor.\u003c/li\u003e\u003cli\u003eZKPs'nin iki ana yönü vardır: “Sıfır Bilgi” ve “Özlülük”. Yanlış değil, çoğu ZK rollup, yalnızca özlülük özelliğini kullanır; işlem verileri ve hesap bilgileri tam anlamıyla sıfır bilgi veya özel tutulmaz.\u003c/li\u003e\u003cli\u003eZK rollup'lar, her türlü DApp için bir geliştirme yığını olarak en ideal seçim olmayabilir. Örneğin, ZKPs'nin hızlı nihai duraklama için bir engel olarak işlev gösterebileceği durumlarda, Web3 oyunlarının performansını azaltırken, durum diff yayın tabanlı veri kullanılabilirliği güvence yöntemleri, DeFi kredi protokollerinin hizmetinden sapmaya neden olabilir.\u003c/li\u003e\u003c/ul\u003e\n\u003cp\u003eŞekil 1: ZK iyi bir moda kelimesidir\u003c/p\u003e\n\u003cp\u003e\u003cimg src=\"https://s3.ap-northeast-1.amazonaws.com/gimg.gateimg.com/learn/d191c2d74244f4671b6055edb769573f100b6f18.png\" alt=\"\"\u003e\u003cbr\u003e(Kaynak: imgflip)\u003c/p\u003e\n\u003cp\u003eBlokzincir endüstrisinin mevcut durumu, Sıfır Bilgi'nin (ZK) dönemine benzetilebilir. Her yerde baktığınızda, ZK önemli hale geliyor... ZK'yı adlarına dahil etmeyen yeni nesil blokzincir projelerini bulmak giderek daha nadir bir durum haline geliyor. Teknik açıdan, ZK'nın, daha ölçeklenebilir ve özel bir blokzincir ekosistemine katkıda bulunma yeteneğini inkar etmek mümkün değil. Bununla birlikte, ZK'nın karmaşık teknik geçmişi nedeniyle, perakende ve kurumsal yatırımcıların çoğu, genellikle ZK teknolojisinin her proje için nasıl fayda sağladığını tam olarak kavramadan, projelere "güzel, yeni ve blokzincirin üçleme sorununu çözebilir mi?" "İnancıyla yatırım yapıyorlar.\u003c/p\u003e\n\u003cp\u003eBu ZK serisinde, ZK rollup'ların rahatsız edici gerçeklerini (sakıncalar ve dezavantajlar) ve ZK rollup'ların faydalı uygulamalarını keşfedeceğiz. İlk olarak, ZK kanıtlarının (ZKPs) iki temel özelliğini (sıfır bilgi ve özlülük) açacağız; ardından, şu anda hizmette olan birçok ZK rollup'ın aslında "sıfır bilgi" yönünü kullanmadığını tartışacağız. Daha sonra, ZK rollup'ın uygulanmasının, uygulama karmaşıklığını önlemek gibi bilinen sorunlardan kaçınarak, faydalı olmaktan ziyade zararlı olduğu alanları inceleyeceğiz. Son olarak, ZK prensiplerini etkili bir şekilde temsil eden örnek projeleri vurgulayacak ve ZK teknolojisinin kullanımından elde edilen somut faydaları gerçekten göstereceğiz.\u003c/p\u003e\n\u003ch3 id=\"h3-recap-transaction-lifecycle-in-zk-rollups\"\u003e\u003ca name=\"Recap: Transaction Lifecycle in ZK Rollups\" class=\"reference-link\"\u003e\u003c/a\u003e\u003cspan class=\"header-link octicon octicon-link\"\u003e\u003c/span\u003eÖzeti Hatırlatma: ZK Rollupları'nda İşlem Döngüsü\u003c/h3\u003e\u003cp\u003eRollup'lar, L1'lerin işlem kapasite sınırlamalarına çözüm olan, L1 dışında işlemlerin gruplarını yürüterek ve ardından son L2 durum özeti verilerini L1'de saklayarak, fonların hızlı bir şekilde çekilmesine olanak tanıyan bir ölçekleme çözümüdür. Bunlar arasında, ZK rollup'lar, off-chain hesaplamanın on-chain için geçerlilik kanıtlarını sunarak fonların hızlı bir şekilde çekilmesini sağlama kapasitesi nedeniyle öne çıkar. ZK rollup'ların sorunlarına derinlemesine girmeden önce, işlem döngüsünü kısaca hatırlayalım.\u003c/p\u003e\n\u003cp\u003eŞekil 2: ZK rollup'ların işlem döngüsü\u003c/p\u003e\n\u003cp\u003e\u003cimg src=\"https://s3.ap-northeast-1.amazonaws.com/gimg.gateimg.com/learn/c74c988b0d2fc30c81421cfbed872c582ba21b21.png\" alt=\"\"\u003e\u003cbr\u003e(Kaynak: Presto Araştırma)\u003c/p\u003e\n\u003col\u003e\n\u003cli\u003eHer L2 kullanıcısı, işlemini oluşturur ve sunar.\u003c/li\u003e\u003cli\u003eDizgi, birden fazla işlemi bir araya getirir ve sıralar, ardından onları off-chain yürüterek yeni rollup durumunu hesaplar. Daha sonra, dizgi, bu yeni rollup durumunu, karşılık gelen L2 işlem verilerini, veri kullanılabilirliğini sağlamak için sıkıştırılmış bloblar halinde L1'deki durum akıllı sözleşmesine bir "parti" olarak taahhüt eder.\u003c/li\u003e\u003cli\u003eParti, provete gönderilir ve prover, parti yürütmesinin geçerlilik kanıtını (veya ZKP) oluşturur. Bu geçerlilik kanıtı daha sonra L1'in doğrulayıcı akıllı sözleşmesine, neyi doğruladığını tanımasına yardımcı olan ek veri (yani, önceki durum kökü) ile birlikte gönderilir.\u003c/li\u003e\u003cli\u003eDoğrulayıcı sözleşmenin, kanıtın geçerli olup olmadığını kontrol ettikten sonra, rollup'ın durumu güncellenir ve taahhüt edilen partideki L2 işlemleri tamamlanmış kabul edilir.\u003c/li\u003e\u003c/ol\u003e\n\u003cp\u003e(Bu açıklama, tam ZK rollup sürecinin basitleştirilmiş bir versiyonudur ve uygulamaların her biri protokole bağlı olarak değişebilir. Rol ayrımını ayırırsak, L2'lerde daha fazla varlık olabilir; örneğin, birleştiriciler, yürütücüler ve önericiler. Kullanımlarına bağlı olarak bloklar, parçalar ve partiler gibi veri bloğu katmanlarının seviyeleri değişebilir. Yukarıdaki açıklama, merkezi dizginin işlemleri yürüten ve aynı zamanda partiler için birleşik bir veri blok biçimi üreten güçlü bir otoritesi olduğu bir durumu varsaymaktadır.)\u003c/p\u003e\n\u003cp\u003eOptimistik rollup'ların aksine, ZKPs (örneğin, ZK-SNARK'lar veya ZK-STARK'lar) sayesinde, ZK rollup'lar, tüm işlemleri yeniden oynatmadan binlerce işlemin yürütme doğruluğunu doğrulayabilir. Peki bu ZKP nedir ve hangi özelliklere sahiptir?\u003c/p\u003e\n\u003ch3 id=\"h3-two-properties-of-zkps-zero-knowledge-and-succinctness\"\u003e\u003ca name=\"Two Properties of ZKPs: Zero-Knowledge and Succinctness\" class=\"reference-link\"\u003e\u003c/a\u003e\u003cspan class=\"header-link octicon octicon-link\"\u003e\u003c/span\u003eZKPs'nin İki Özelliği: Sıfır Bilgi ve Özlülük\u003c/h3\u003e\u003cp\u003eAdından da anlaşılacağı gibi, ZKP temelde bir kanıttır. Bir kanıt, kanıtlayıcının iddiasını yeterince destekleyebilecek her şey olabilir. Diyelim ki Bob (kanıtlayıcı), dizüstü bilgisayarının yetkisini Alice'e (doğrulayıcı) kanıtlamak istiyor. Bunun en kolay yolu - Bob, sadece Alice'e şifreyi söyler ve Alice şifreyi dizüstü bilgisayarda yazarak Bob'un yetkisinin olduğunu doğrular. Ancak bu doğrulama süreci, hem Alice hem de Bob için tatmin edici değildir. Eğer Bob, gerçekten uzun ve karışık bir şifre belirlemişse, Alice'in bunu doğru bir şekilde yazması çok zor olacaktır (Alice'in kopyalayıp yapıştırmasına izin verilmediğini varsayalım). Daha gerçekçi bir şekilde, Bob, yetkisini kanıtlamak için şifresini Alice'e açıklamaktan kaçınabilir.\u003c/p\u003e\n\u003cp\u003ePeki eğer Bob'un şifresini açıklamadan Alice'in hızlı bir şekilde bilgisayarın yetkisini doğrulayabileceği bir doğrulama süreci olsaydı? Örneğin, Bob, parmağını Alice'in önünde bir dokunmatik kimlik ile dizüstü bilgisayarı kilitleyebilir, resim 3'te olduğu gibi (unutulmamalıdır ki bu, ZKP için mükemmel bir örnek değildir). İşte burada ZKPs'nin hem sıfır bilgi özelliğinden hem de özlülük özelliğinden faydalanabileceği yerdir.\u003c/p\u003e\n\u003cp\u003eŞekil 3: Sıfır Bilgi ve Özlülükün Yüksek Seviye Kavrayışı\u003c/p\u003e\n\u003cp\u003e\u003cimg src=\"https://s3.ap-northeast-1.amazonaws.com/gimg.gateimg.com/learn/60023bcd074b3add14a8b728f63c12defd709221.png\" alt=\"\"\u003e\u003cbr\u003e(Kaynak: imgflip)\u003c/p\u003e\n\u003ch4 id=\"h4-zero-knowledge\"\u003e\u003ca name=\"Zero-Knowledge\" class=\"reference-link\"\u003e\u003c/a\u003e\u003cspan class=\"header-link octicon octicon-link\"\u003e\u003c/span\u003eSıfır Bilgi\u003c/h4\u003e\u003cp\u003e" Sıfır bilgi "özelliği, kanıtlayıcının ürettiği kanıtın (yani, özel veri) gizli tanığı hakkında hiçbir şey ifşa etmediği bir durumu ifade eder; doğrulayıcının kanıtın geçerliliği dışında veri hakkında hiçbir şey bilmediği durumu bırakır. Blokzincirde, bu özellik, bireysel kullanıcıların gizliliğini korumak için kullanılabilir. Eğer her işlem için ZKP'ler uygulanırsa, kullanıcılar işlemlerinin meşruiyetini kanıtlayabilirler (örneğin, bir kullanıcının bir işlem yapmak için yeterli fonlara sahip olduğunu kanıtlamak) ve işlemlerinin ayrıntılarını (örneğin, transferler, hesap bakiyesi güncellemeleri, akıllı sözleşme dağıtımları ve akıllı sözleşme yürütmeleri) halka ifşa etmeden kanıtlayabilirler.\u003c/p\u003e\n\u003ch4 id=\"h4-succinctness\"\u003e\u003ca name=\"Succinctness\" class=\"reference-link\"\u003e\u003c/a\u003e\u003cspan class=\"header-link octicon octicon-link\"\u003e\u003c/span\u003eÖzlülük\u003c/h4\u003e\u003cp\u003eDiğer özellik olan "özlülük", ZK'nın büyük boyuttaki bir iddiadan kısa ve hızlı doğrulanabilir bir kanıt üretme yeteneği anlamına gelir. Başka bir deyişle, büyük bir şeyin sıkıştırılmasıdır. Blokzincirde, bunun özellikle rollup'larda kullanıldığı görülür. ZKPs ile L2'lerdeki kanıtlayıcılar, vericilere, 10~100 KB'lik kanıtla bir TB'lik işlemlerin doğruluğunu temsil edebilir. Doğrulayıcılar, tüm işlemleri yeniden oynatmak yerine kısa bir sürede (yani, 10ms~1s) özlü kanıtı doğrulayarak yürütmenin doğruluğunu kolayca onaylayabilirler.\u003c/p\u003e\n\u003ch3 id=\"h3-zk-rollup-is-great-but-doesn-t-mean-privacy\"\u003e\u003ca name=\"ZK Rollup is Great, but Doesn’t Mean Privacy\" class=\"reference-link\"\u003e\u003c/a\u003e\u003cspan class=\"header-link octicon octicon-link\"\u003e\u003c/span\u003eZK Rollup Harika, Ama Gizlilik Anlamına Gelmez\u003c/h3\u003e\u003cp\u003eYukarıda belirtilen ZKP özellikleri, ZK rollup'larında iyi bir şekilde kullanılır. Doğrulayıcılar, kanıtlayıcıdan aldığı ZKP'lerden orijinal işlem verilerini çıkaramazken, özlü kanıtı doğrulayarak kanıtlayıcının iddiasını (yani, yeni L2 durumu) verimli bir şekilde doğrulayabilir. Bununla birlikte, ZK rollup'ların mevcut sürümünde tamamen sıfır bilgi ve özlülük özelliklerine uyulduğu iddiası yanıltıcıdır. Bu, yalnızca kanıtlayıcı ve doğrulayıcı arasındaki etkileşime od