ZK-SNARKs token gizlilikte nasıl çalışır?

13 Tem 21:25

ZK-SNARKs’in gizlilik tokenlerinde nasıl çalıştığına bakmadan önce, matematiksel kanıt sisteminin temeline inmek gerekiyor. Temelde, ZK-SNARKs (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge), bir tarafın doğru bir hesaplama yaptığını ve verilerinin gizlendiğini kanıtlamasına olanak tanıyor. Örneğin, Alice’in Bob’a 100 XYZ token gönderdiğinde, blockchain’e sadece "100 XYZ transfer edildi" bilgisi kaydedilir — detaylar (kaynak cüzdan, hedef cüzdan, vs.) gizli kalır. Alıcı ve gönderici dışındaki tüm gözlemciler, transferin gerçekleştiğini biliyor, ama kim kime ne kadar gönderdiğini göremiyor. Bu, blok zincirinin şeffaf yapısıyla gizlilik gereksinimini dengelemek için ideal bir çözüm. Bu teknolojinin bana gösterdiği en önemli avantajı, "verimli doğrulama". Çünkü ZK-SNARKs’ler çok kısa kanıtlar üretir (hatta birkaç yüz byte civarında) ve bunlar herkes tarafından hızlıca doğrulanabilir. Bu da ölçeklenebilirliği doğrudan etkiliyor. Denediğim projelerden biri olan Zcash ağı, bu teknolojiyi kullanarak yaptığı transferleri, Ethereum’da hantal görünecek kadar düşük ücretlerle ve yüksek hızda gerçekleştirmeyi başardı. Hatta bir seferinde, Zcash’teki bir özel transferi inceledim; verilerin bloklarda saklanmadığını, sadece transferin zaten mevcut olduğunu kanıtlayan bir "kanıtlama" olduğuna şahit oldum. Öte yandan, bu teknolojinin uygulandığı blockchain’ler arasında en bilineni Zcash elbette. Ama sadece o değil — İota’nın Shimmer EVM, Secret Network ve Mina Protocol da benzer yaklaşımlarla çalışıyor. Özellikle Mina’nın "zk-powered" yapısı, blok zincirinin kendisinin bile 22 KB gibi minimal seviyelerde kalmasını sağlıyor. Secret Network’te yaptığım incelemelerde, smart contract’ların özel verilerle çalışabildiğini gördüm — bu da gizlilik odaklı DeFi uygulamaları için oldukça önemli bir adım. Dediğim gibi, bu teknolojiyle ilgili gerçekten çok şey öğrendim ve birçok projeyi inceleme fırsatım oldu.