Kriptoda ZK Nedir? Sıfır Bilgi Kanıtları ve ZK-Rolluplar

Kriptoda ZK, "sıfır bilgi" anlamına gelir. Bir tarafın, dayanak oluşturan tüm bilgileri açıklamadan bir ifadenin doğru olduğunu kanıtlamasını sağlayan kriptografik teknolojiyi ifade eder. Blok zincirlerde sıfır bilgi kanıtları temel olarak iki amaçla kullanılır: ağların ölçeklenebilirliğini artırmak ve gizliliği desteklemek.

Günümüzde kullanıcıların ZK teknolojisiyle en sık karşılaştığı alanlardan biri Starknet ve zkSync Era gibi ZK-rollup projeleridir. Bu Katman 2 ağları, işlemleri Ethereum ana ağı dışında gerçekleştirir, işlemlerin geçerli olduğunu kanıtlayan kriptografik kanıtlar üretir ve bu kanıtları Ethereum'a gönderir.

Kullanıcılar açısından bunun somut faydaları daha düşük işlem ücretleri, daha yüksek işlem kapasitesi ve daha hızlı işlem onayı olabilir. Üstelik bu avantajlar, tamamen ayrı bir blok zincirine bağımlı olmadan Ethereum ekosisteminden yararlanmayı mümkün kılar.

Önemli Noktalar

• ZK, sıfır bilgi anlamına gelir. Temelindeki tüm verileri açıklamadan bir ifadenin doğru olduğunu kanıtlamayı sağlayan bir kriptografi yaklaşımıdır.
• Kriptoda ZK; Katman 2 rolluplarında, gizlilik araçlarında, kimlik sistemlerinde ve rezerv kanıtı ya da uyumluluk uygulamalarında kullanılabilir.
• ZK-rolluplar, işlemleri Ethereum dışında gerçekleştirir ve geçerlilik kanıtlarını Katman 1'e göndererek ana ağın işlem yükünü azaltır.
• İyimser rolluplar işlemlerin geçerli olduğunu varsayarak itiraz süresine dayanırken ZK-rolluplar işlemlerin geçerliliğini kriptografik kanıtlarla doğrular.
• zk-SNARK ve zk-STARK, farklı kriptografik kanıt sistemleridir. Ancak sıradan kullanıcıların ZK tabanlı ağları kullanmak için bu sistemlerin matematiksel ayrıntılarını bilmesi gerekmez.
• ZK teknolojisi otomatik olarak gizlilik sağlamaz. Bir ZK-rollup, ölçeklenebilirlik için sıfır bilgi kanıtları kullanırken işlem bilgilerini herkese açık tutabilir.

Kriptoda ZK Ne Anlama Gelir?

Sıfır bilgi kriptografisi, bir bilginin kendisini açıklamadan o bilginin doğruluğunu kanıtlamaya olanak tanır.

Bunu yaş doğrulaması üzerinden düşünelim. Bir hizmetin 18 yaşından büyük olduğunuzu doğrulaması gerektiğini varsayalım. Geleneksel bir kimlik doğrulama sürecinde tam adınızı, doğum tarihinizi, adresinizi, kimlik numaranızı ve fotoğrafınızı içeren bir belge sunmanız gerekebilir.

Sıfır bilgi sistemi ise teorik olarak, doğum tarihinizi veya diğer kişisel bilgilerinizi paylaşmadan yalnızca 18 yaşından büyük olduğunuzu kanıtlamanızı sağlayabilir. Böylece doğrulayıcı, yalnızca ihtiyaç duyduğu bilgiyi öğrenir.

Blok zincirlerde de benzer bir yaklaşım işlemlere ve hesaplamalara uygulanabilir. Ethereum'un binlerce işlemi baştan sona yeniden gerçekleştirmesi yerine başka bir sistem bu işlemleri yürütür ve işlemlerin kurallara uygun şekilde tamamlandığını gösteren bir kanıt üretir. Ethereum, bütün hesaplamaları tekrarlamak yerine bu kanıtı doğrulayabilir.

ZK-rollupların temel çalışma mantığı budur.

Sıfır Bilgi Kanıtı Nedir?

Sıfır bilgi kanıtı (ZKP), bir doğrulayıcının arkasındaki tüm bilgileri görmeden bir iddianın geçerli olup olmadığını kontrol etmesini sağlayan kriptografik bir kanıttır.

Sıradan kripto kullanıcıları için matematiksel ayrıntılardan çok bu teknolojinin ne işe yaradığı önemlidir. Sıfır bilgi kanıtları şu tür durumlarda kullanılabilir:

• Bir işlemin protokol kurallarına uygun olduğunu kanıtlamak.
• Tam bakiyeyi açıklamadan yeterli fona sahip olunduğunu göstermek.
• Kimliğin tamamını ifşa etmeden belirli bir kimlik şartının karşılandığını doğrulamak.
• Binlerce Katman 2 işleminin doğru şekilde gerçekleştirildiğini kanıtlamak.
• Bir hesaplamanın, tüm işlemler zincir üzerinde yeniden yürütülmeden doğru sonuç verdiğini göstermek.

Bu özellik, blok zincirlerin bütün verileri doğrudan işlemek veya herkese açıklamak zorunda kalmadan doğrulama yapmasına yardımcı olur.

ZK-Rollup Nedir?

ZK-rollup, Ethereum'un ana yürütme katmanı dışında çok sayıda işlemi gerçekleştiren ve belirli aralıklarla Ethereum'a kriptografik geçerlilik kanıtları gönderen bir Katman 2 çözümüdür.

Örneğin, 1.000 kullanıcının işlem yaptığını düşünelim. Bir Katman 2 çözümü olmadan bu işlemlerin her birinin Ethereum üzerinde ayrı ayrı yürütülmesi gerekebilir. ZK-rollup modelinde ise süreç farklı işler:

• Kullanıcılar işlemlerini Katman 2 ağına gönderir.
• Rollup, işlemleri zincir dışında yürütür ve bir işlem grubu halinde birleştirir.
• Sistem, işlemlerin kurallara uygun gerçekleştirildiğini ve yeni durumun doğru olduğunu gösteren bir kriptografik kanıt üretir.
• İşlem grubuna ilişkin veriler ve geçerlilik kanıtı Ethereum'a gönderilir.
• Ethereum, rollup durum güncellemesini kabul etmeden önce kanıtı doğrular.

Bu yöntem sayesinde çok sayıda kullanıcı işlemi, Ethereum ana ağında daha az işlem yükü oluşturacak şekilde işlenebilir. Ethereum'un her işlemi baştan yürütmesi yerine kanıtı doğrulaması, işlem maliyetlerini azaltmaya ve kapasiteyi artırmaya yardımcı olur. Veri sıkıştırma ve maliyet avantajları ise kullanılan rollup tasarımına bağlıdır.

Basit Bir ZK-Rollup Örneği

ZK tabanlı bir Katman 2 ağında 5.000 kullanıcının token swap işlemi yaptığını varsayalım. Kullanıcılar token alıp satabilir, varlık gönderebilir veya akıllı sözleşmelerle etkileşime girebilir.

Her işlemi doğrudan Ethereum'a göndermek yerine Katman 2 ağı işlemleri kendi üzerinde yürütür ve hesap bakiyelerindeki değişiklikleri hesaplar. Ardından, işlemlerin geçerli olduğunu ve sistemin yeni durumunun doğru hesaplandığını gösteren bir kanıt üretir.

Bu kanıtın temel mesajı şöyle özetlenebilir: "İşlemlerden önce hesap bakiyeleri X değerindeydi. İşlemlerden sonra bakiyeler Y değerine ulaştı ve tüm işlemler kurallara uygun şekilde gerçekleştirildi."

Ethereum, güncellemeyi kabul etmeden önce kanıtı doğrular. Kanıt geçerliyse yeni durum kabul edilir.

Kullanıcı açısından sonuç, aynı işlemi doğrudan Ethereum ana ağında gerçekleştirmeye kıyasla daha düşük bir işlem maliyeti olabilir.

ZK, İşlemlerin Gizli Olduğu Anlamına mı Gelir?

Hayır, her zaman değil. Bu, ZK teknolojisiyle ilgili en yaygın yanlış anlamalardan biridir.

Sıfır bilgi kanıtları kullanıcı gizliliğini destekleyebilir. Ancak bir ağın gerçekten gizlilik sağlayıp sağlamadığı, teknolojinin nasıl uygulandığına bağlıdır. ZK-rolluplar genellikle bu kanıtlardan öncelikle işlemlerin doğruluğunu kanıtlamak ve ölçeklenebilirliği artırmak için yararlanır.

Bu nedenle bir ZK-rollup üzerindeki işlemlerde şu bilgiler hâlâ herkese açık olabilir:

• Cüzdan adresleri
• Token miktarları
• Akıllı sözleşme etkileşimleri
• Diğer işlem verileri

Kısacası ZK teknolojisi gizlilik sağlayan uygulamaların geliştirilmesine olanak tanır; ancak ZK kanıtları kullanan her ağ bir gizlilik ağı değildir. Gizliliğin sağlanması için sistemin, kullanıcı verilerini korumaya yönelik ek tasarım özelliklerine sahip olması gerekir.

ZK-Rolluplar ile İyimser Rolluplar Arasındaki Fark

Ethereum ekosistemindeki başlıca Katman 2 çözümleri, işlemlerin doğruluğunu belirlemek için farklı yöntemler kullanır. ZK-rolluplar kriptografik geçerlilik kanıtlarına dayanırken iyimser rolluplar, işlemlerin geçerli olduğunu varsayar ve hatalı bir işlem tespit edilmesi durumunda itiraz mekanizmasını devreye sokar.

ZK-Rolluplar

ZK-rolluplar, durum güncellemelerinin geçerli olduğunu gösteren kriptografik kanıtlar üretir. Ethereum, güncellemeyi kabul etmeden önce ilgili kanıtı doğrular. Bu doğrulama, Ethereum üzerindeki Katman 1 sözleşmesi aracılığıyla yapılır.

Rollup işlemleri Katman 2'de yürütülürken gerekli veriler ve doğrulanan durum güncellemeleri Ethereum üzerinden yayımlanabilir.

Örnekler arasında Starknet, zkSync Era ve Linea bulunur.

İyimser Rolluplar

İyimser rolluplar, işlemlerin geçerli olduğunu varsayar. Ancak bir işlem grubunda geçersiz bir durum geçişi varsa ağ katılımcıları belirlenen itiraz süresi içinde sahtekarlık kanıtı sunabilir.

Arbitrum, Base ve OP Mainnet bu yaklaşımı kullanan önemli örneklerdir.

Pratik Farklar

Özellik	ZK-Rollup	İyimser Rollup
Doğrulama	Kriptografik geçerlilik kanıtı	İtiraz edilmedikçe geçerli kabul edilir
İtiraz süreci	Aynı türden bir sahtekarlık kanıtı itiraz süresine dayanmaz	İtiraz mekanizması ve belirli çıkış işlemlerinde bekleme süresi bulunabilir
Kanıt üretimi	Hesaplama açısından yoğun olabilir	Sahtekarlık kanıtı gerektiğinde üretilir
EVM uyumluluğu	Projeye ve uygulamaya göre değişir	Gelişmiş EVM uyumluluğu sunan örnekler bulunur
Örnekler	Starknet, zkSync Era, Linea	Arbitrum, Base, OP Mainnet

Bu iki mimariden biri her durumda diğerinden daha iyi değildir. Ağ etkinliği, likidite, güvenlik varsayımları, işlem ücretleri ve uygulamaların kullanılabilirliği, kullanıcılar açısından en az kanıt sistemi kadar önemlidir. Ayrıca ZK-rollup kullanılması, her işlem için anında nihai kesinlik veya her durumda daha hızlı para çekme anlamına gelmez.

zk-SNARK ve zk-STARK Nedir?

ZK projelerini araştırırken zk-SNARK ve zk-STARK terimleriyle sıkça karşılaşabilirsiniz. Bunlar, sıfır bilgi kanıtları üretmek için kullanılan iki farklı kriptografik sistem ailesidir.

zk-SNARK'lar

ZK-SNARK, "Succinct Non-Interactive Argument of Knowledge" ifadesinin kısaltmasıdır. Bu sistemlerin temel avantajlarından biri, doğrulaması görece verimli olabilen kompakt kanıtlar üretebilmeleridir.

Farklı SNARK sistemleri farklı kriptografik tasarımlar kullanır. Bazıları güvenilir bir kurulum gerektirirken bazıları bu gereksinimden kaçınabilir. Kanıtların üretim ve doğrulama maliyetleri de kullanılan sisteme göre değişir.

SNARK devrelerinin doğru tasarlanması önemlidir. Kısıtlamaların yetersiz tanımlanması, sistemin hatalı hesaplamaları da geçerli kabul etmesine neden olabilecek güvenlik açıkları oluşturabilir.

zk-STARK'lar

STARK, "Scalable Transparent Argument of Knowledge" ifadesinin kısaltmasıdır. STARK tabanlı sistemler, bazı SNARK sistemlerinde kullanılan geleneksel güvenilir kurulum modeline ihtiyaç duymadan çalışabilir. Büyük ölçüde hash tabanlı kriptografiden yararlanır ve şeffaf kurulum yaklaşımını benimser.

Starknet, STARK teknolojisini temel alan öne çıkan kripto projelerinden biridir.

Bununla birlikte, bir Katman 2 ağı seçerken yalnızca SNARK veya STARK kullanılmasına odaklanmak gerekmez. Desteklenen uygulamalar, işlem ücretleri, likidite, köprülerin güvenilirliği ve ağın güvenlik modeli de değerlendirilmelidir.

zkEVM Nedir?

zkEVM, Ethereum uyumlu akıllı sözleşmelerin yürütülmesini ve bu yürütmenin sıfır bilgi kanıtlarıyla doğrulanmasını sağlayacak şekilde tasarlanan bir ortamdır.

Amaç, Ethereum uyumluluğunu, ZK geçerlilik kanıtlarını ve daha düşük maliyetli Katman 2 işlemlerini bir araya getirmektir.

Ethereum geliştiricileri Solidity ve EVM uyumlu araçlarla çok sayıda uygulama geliştirmiştir. Bir ZK ağı bu araçları desteklediğinde geliştiriciler, uygulamalarını tamamen sıfırdan oluşturmadan ağa taşıyabilir veya uyarlayabilir.

Linea ve zkSync Era, Ethereum uyumlu ZK yürütmesini hedefleyen projelere örnektir. Starknet ise EVM'yi birebir kopyalamak yerine Cairo programlama dilini kullanan farklı bir yaklaşım benimser.

ZK Kripto Kullanıcıları için Neden Önemlidir?

ZK teknolojisi, kripto kullanıcıları açısından dört temel alanda önem taşır.

Daha Düşük İşlem Maliyetleri

Katman 2 ağları, sabit mutabakat ve veri yayımlama maliyetlerini çok sayıda işleme dağıtabilir. Böylece kullanıcılar, her işlemi doğrudan Ethereum ana ağında gerçekleştirmek yerine daha düşük ücretlerle işlem yapabilir.

Token swap işlemleri, varlık transferleri ve akıllı sözleşme etkileşimleri, kullanılan ağa bağlı olarak ana ağa kıyasla daha uygun maliyetli olabilir.

Daha Yüksek İşlem Kapasitesi

İşlemlerin Katman 1 dışında yürütülmesi, Ethereum doğrulayıcılarının her işlemi ayrı ayrı yürütme ihtiyacını azaltır. ZK-rolluplar, işlem gruplarını kanıtlarla doğrulatarak ağın ölçeklenebilirliğine katkıda bulunabilir.

Daha Hızlı Doğrulama ve Kesinleşme

Geçerlilik kanıtları, doğrulandıktan sonra bir Katman 2 durum güncellemesinin kurallara uygun şekilde gerçekleştiğine ilişkin güçlü güvence sağlar. İşlemler Katman 2'de yürütülür ve yeni durum, gerekli kanıtlar kabul edildiğinde Ethereum üzerinde doğrulanabilir.

Bununla birlikte, işlem onayı, zincir üzerindeki kesinleşme ve varlıkların başka bir ağa çekilebilmesi farklı süreçlerdir. Bunların tamamlanma süresi ağın tasarımına ve kullanılan köprüye göre değişebilir.

Yeni Gizlilik Uygulamaları

Ölçeklenebilirliğin yanı sıra ZK teknolojisi, kişisel veya işlemle ilgili hassas bilgileri açıklamadan belirli koşulların karşılandığını kanıtlamayı sağlayabilir. Örneğin:

• Doğum tarihini paylaşmadan yaş doğrulaması yapmak
• Açık adresi göstermeden ikamet koşulunu kanıtlamak
• Hassas belgeleri yayımlamadan hesap uygunluğunu doğrulamak
• Daha az kişisel bilgi paylaşarak bir işlemin belirli uyumluluk kurallarını karşıladığını göstermek

Bu kullanım alanları kriptoyla sınırlı değildir. Kimlik doğrulama ve hassas bilgilerin ifşa edilmeden doğrulanması gereken farklı sektörlerde de kullanılabilir.

Bilinmesi Gereken ZK Projeleri

Starknet

Starknet, STARK geçerlilik kanıtlarını temel alan bir Ethereum Katman 2 çözümüdür. Birincil programlama ortamı olarak Cairo'yu kullanır; ZK odaklı uygulamalar, hesap soyutlama ve kanıtlanabilir hesaplama alanlarına odaklanır.

zkSync Era

zkSync Era, Ethereum geliştirme araçlarıyla uyumlu bir ortam sunmayı ve işlemleri ZK kanıtlarıyla doğrulamayı hedefleyen bir Katman 2 ağıdır. Projenin benimsenme düzeyi, ağ etkinliği ve ekosisteminin gelişimi zaman içinde değişebilir.

Linea

Linea, Consensys tarafından geliştirilen bir zkEVM projesidir. Ethereum geliştiricilerinin aşina olduğu araçlarla entegrasyonu destekleyerek ZK tabanlı yürütmeyi daha erişilebilir hale getirmeyi amaçlar.

Polygon zkEVM

Polygon zkEVM, zkEVM teknolojisinin ilk dönemindeki önemli projelerden biriydi. Ancak Mainnet Beta sıralayıcısı Temmuz 2026'da kullanımdan kaldırıldı.

Bu örnek, umut vadeden bir teknolojinin her projenin uzun vadede başarılı olacağını garanti etmediğini gösterir. Ağlar benimsenme kaybı yaşayabilir, strateji değiştirebilir veya hizmetlerini sonlandırabilir. Bu nedenle kullanıcıların varlıklarını bir ağa aktarmadan önce ağın güncel durumunu ve destek koşullarını kontrol etmesi önemlidir.

ZK'nın Trade ve DeFi Üzerindeki Etkisi

ZK teknolojisini doğrudan fark etmeden, ZK tabanlı Katman 2 ağları üzerinden kullanıyor olabilirsiniz.

Örneğin, bir kripto borsasının ETH çekimlerini ZK tabanlı bir Katman 2 ağını kullanarak desteklediğini varsayalım. Ethereum ana ağında daha yüksek maliyetle işlem yapmak yerine, desteklenen Katman 2 ağına geçerek daha düşük maliyetli DeFi uygulamalarından yararlanabilirsiniz.

Loopring, ZK teknolojisini kullanan projelerden biridir. Ekosistemindeki uygulamalara ve mevcut desteğe bağlı olarak kullanıcılar token swap işlemleri yapabilir, likidite sağlayabilir ve diğer blok zinciri uygulamalarıyla etkileşim kurabilir.

Buradaki avantaj, ZK teknolojisinin işlemi tek başına daha iyi hale getirmesinden değil, ilgili ağın işlem maliyetlerini düşürme ve işlemleri daha verimli yürütme kapasitesinden kaynaklanır.

Bununla birlikte, Katman 2 ağı seçerken şu faktörler göz önünde bulundurulmalıdır:

• Köprü ve akıllı sözleşme riskleri
• Ağdaki likidite düzeyi
• Para yatırma ve çekme desteği
• Token ve uygulama uyumluluğu
• Ağın güncel durumu ve güvenlik modeli

ZK, Diğer Katman 2 Teknolojilerinden Daha mı İyi?

Hayır. ZK-rolluplar, blok zincirlerin ölçeklenebilirliğini artırmak için geliştirilen farklı yaklaşımlardan biridir. Base ve Arbitrum gibi iyimser rolluplar da geniş kullanıcı tabanlarına, uygulamalara ve likiditeye sahip olabilir.

Bir Katman 2 ağı seçerken yalnızca teknolojik özelliklere odaklanmak yeterli değildir. Daha geniş bir kullanıcı kitlesine, daha yüksek likiditeye ve ihtiyaç duyulan uygulamalara sahip bir ağ, teknik açıdan gelişmiş ancak ekosistemi daha sınırlı bir ağdan daha kullanışlı olabilir.

ZK'yı ölçeklenebilirlik ve doğrulama alanındaki yaklaşımlardan biri olarak değerlendirmek gerekir. En uygun çözüm, kullanıcının ihtiyaçlarına ve tercih ettiği uygulamalara göre değişir.

Sonuç

Kriptoda ZK, sıfır bilgi anlamına gelir. Bu teknoloji, blok zincirlerin her veriyi veya hesaplamayı doğrudan zincir üzerinde yeniden işlemesine gerek kalmadan bir işlemin ya da hesaplamanın doğru olduğunu doğrulamasını sağlar.

Günümüzde en önemli kullanım alanlarından biri ZK-rolluplardır. Bu yapılarda işlemler Katman 2 ağlarında yürütülür ve gerekli verilerle birlikte geçerlilik kanıtları Ethereum'a gönderilir. Böylece işlem ücretlerinin düşürülmesi ve işlem kapasitesinin artırılması mümkün olabilir.

ZK teknolojisi geliştiricilere Ethereum uyumlu ölçeklendirme çözümleri ve gizliliği destekleyen uygulamalar geliştirme olanağı sunar. Ancak yatırımcılar için ZK'nın tek başına bir yatırım tezi olmadığını unutmamak gerekir. Bir projenin uzun vadeli başarısı; kullanıcı sayısına, likiditeye, uygulama ekosistemine, sürdürülebilir ekonomiye ve güvenlik modeline bağlıdır. Ayrıca birçok Katman 2 sistemi, işlemleri sıralamak ve Ethereum'a göndermek için sıralayıcı gibi belirli bileşenlere bağımlı olabilir.

Sıkça Sorulan Sorular

ZK-rolluplar gizli midir?

Her zaman değil. ZK kanıtları gizliliği destekleyebilir; ancak birçok ZK-rollup bu teknolojiyi öncelikle ölçeklenebilirlik ve işlem doğrulaması için kullanır. Bu ağlarda işlem bilgileri herkese açık olabilir.

ZK ile iyimser rolluplar arasındaki fark nedir?

ZK-rolluplar, durum güncellemelerinin geçerli olduğunu kriptografik kanıtlarla doğrular. İyimser rolluplar ise işlemleri geçerli kabul eder ve belirli bir itiraz süresi boyunca hatalı işlemlere karşı sahtekarlık kanıtı sunulmasına olanak tanır.

zkEVM nedir?

zkEVM, Ethereum uyumlu işlemleri yürüten ve bu işlemlerin doğruluğunu sıfır bilgi geçerlilik kanıtlarıyla doğrulamayı amaçlayan bir yürütme ortamıdır.

ZK kripto projelerine örnekler nelerdir?

Starknet, zkSync Era ve Linea, ZK teknolojisini kullanan öne çıkan projeler arasındadır.