zk-STARK’lar

zk-STARK Nedir?

zk-STARK, 2018 yılında SNARK'lara alternatif olarak tanıtılan bir sıfır bilgi kanıtı sistemidir. StarkWare'in ölçeklenebilirlik teknolojisinin temelini oluşturur ve ölçeklenebilirliği artırmak için zincir dışı depolama ve hesaplama sağlar. zk-STARK'lar ile blok zincirler hesaplamaları zincir dışı bir kanıtlayıcıya aktarabilir ve güvenilir bir kurulum seremonisine ihtiyaç duymadan zincir içi bir doğrulayıcı kullanarak bütünlüklerini doğrulayabilir, çünkü doğrulayıcı herkese açık rastgelelik kullanır ve harici parametrelere güvenmeden kanıtı doğrulayabilir.

zk-STARK kanıtları daha basit bir kriptografik yapı sunar, ancak daha büyük bir kanıt boyutuna sahiptir, bu da onları daha pahalı ve uygulamalar için sınırlayıcı kılar. Sıfır bilgi kanıtları, kimlik doğrulama gibi gizlilik ve güvenlik gerektiren durumlarda kullanılır. Kimlik doğrulama için oluşturulan bir zk-proof'un sunulmasına izin vererek platformlar ve kullanıcılar için kimlik doğrulamayı basitleştirir ve kuruluşlar üzerindeki depolama yükünü azaltır.

SNARK ve STARK'ların Blok Zincirdeki Uygulamaları

SNARK'lar ve STARK'lar blok zincir uygulamalarında gizlilik, ZK-rollup'lar yoluyla ölçeklenebilirliğin artırılması ve zincirler arası doğrulama gibi çeşitli amaçlarla yaygın olarak kullanılır. Sıfır bilgi kanıtları (ZKP'ler), gizlilik odaklı kripto para birimlerinin gönderen, alıcı veya işlem tutarını açıklamadan işlemleri doğrulamasını sağlar. zkSync gibi ZK-rollup'lar, işlemleri zincir dışına taşıyarak ve bunları bir ZKP ile tek bir durum güncellemesinde birleştirerek ölçeklenebilirliği artırır. ZKP'ler aynı zamanda birbirine bağlı blok zincirler arasında işlemlerin veya verilerin doğrulanması için kanıtların oluşturulmasını kolaylaştırır.

SNARK'lar ve STARK'lar için Güvenlik Hususları

Hem SNARK'ların hem de STARK'ların kendine özgü güvenlik hususları bulunur. SNARK'lar güvenilir bir kurulum gerektirir ve bu da başlangıç parametrelerinin güvenli bir şekilde imha edilmesiyle ilgili endişelere yol açıyor. Ayrıca, eliptik eğri kriptografisine (ECC) olan bağımlılıkları, büyük kuantum bilgisayarlarının ortaya çıkması durumunda uzun vadeli güvenlik riskleri oluşturuyor.

Nispeten yeni olan STARK'lar kendi güvenlik sorunlarını da beraberinde getiriyor. Tasarımlarındaki veya onları destekleyen kriptografik kütüphanelerdeki kusurların gözden kaçırılması ZKP'leri istismara açık hale getirebilir.

Ayrıca, hem SNARK'lar hem de STARK'lar zayıf ZKP tasarımı ve uygulamasıyla ilgili güvenlik risklerini paylaşıyor. Güvenli kodlama uygulamalarının ihmal edilmesi, saldırganlar tarafından kötüye kullanılabilecek güvenlik açıklarına neden olabilir. Ayrıca doğrulayıcı bir ZKP'nin doğruluğunu doğrulayamazsa, ZKP hiçbir fayda sağlamaz.