Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) nedir?

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK), girdileri veya tüm hesaplamayı açığa çıkarmadan bir hesaplamanın doğru yapıldığını kanıtlamayı sağlayan bir kanıt sistemidir. Güven gerektiren törenleri atladığı ve basit hash matematiğine dayandığı için ölçeklenebilir ve şeffaftır; bu aynı zamanda kuantum sonrası yaklaşımlarla da uyumludur. Bunu, ödevi göstermeden ödevin yapıldığını doğrulayan küçük, doğrulanabilir bir makbuz gibi düşünebilirsiniz.

Efsane

“zk-STARK sadece bir SNARK ile aynı şeydir.” Tam olarak değil. Bu, Zero Knowledge Proof (ZKP) türlerinden biridir; ancak güvenilir kurulum gerektirmez, kuantum sonrası dirence odaklanır ve biraz daha büyük kanıtları hızlı, herkese açık doğrulama karşılığında kabul eder.

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) nasıl çalışır

Binlerce işlemin doğru işlendiğini kanıtlayan bir rollup düşünün. Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) ile zincir her şeyi yeniden çalıştırmaz. Sadece kompakt bir kanıtı kontrol eder ve yola devam eder.

Adım 1: Kanıtlayıcı, “bu işlem paketi kurallara uygundu” gibi bir iddia seçer.
Adım 2: Hesaplama yapılandırılmış bir iz haline getirilir. Kanıtlayıcı, daha sonra değiştirilememesi için o izi hashlerle taahhüt eder.
Adım 3: Arkada karmaşık matematik ama kullanıcıya dost kod tarafından gizlenir. Kanıtlayıcı, taklidinin çok zor olacağı küçük bir kanıt oluşturur.
Adım 4: Kanıt doğrulayıcıya gönderilir, çoğunlukla bir akıllı sözleşme. Doğrulayıcı hafif kontroller çalıştırır.
Adım 5: Eğer geçerse, sonuç zincirde kabul edilir ve durum güncellenir. Net etki: daha az veri ile daha iyi throughput and performance.

İşleyiş bu şekilde, tebeşir tozu hariç.

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) neden önemli

Bunun sizi ilgilendirmesinin nedeni, blok zincirlerinin güventen ödün vermeden hızlı ve özel hale gelmesini değiştirmesidir.

Fayda: Büyük hesaplamalar küçük kontrollere dönüşür, bu da ücret ve zamandan tasarruf sağlar.
Bakış açısı: Girdiler için privacy koruması sağlarken doğruluğu kanıtlayabilirsiniz. Sırrı değil, kanıtı paylaşın.
Uygulanabilirlik: Rolluplarda, oyunlarda, NFT'lerde ve ödemelerde hız ve kesinlik gerektiğinde karşınıza çıkacaktır.

İpucu

Bir proje zk-STARK kullandığını iddia ediyorsa iki şeye bakın: güvenilir kurulumdan kaçınıyor mu ve recursion ya da akıllı veri kullanılabilirliği ile calldata boyutunu küçük tutuyor mu. Bu tercihler ücretleri ve kullanıcı deneyimini şekillendirir.

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) temel özellikleri

Bunu öne çıkaran özellikler şunlardır:

Şeffaf: Özel bir gruba inanmanızı gerektiren güvenilir kurulum töreni yoktur.
Ölçeklenebilir: Büyük iş yüklerini küçük kanıtlara toplamak için tasarlanmıştır; scalability için uygundur.
Kuantum sonrası: Hash fonksiyonlarına dayanır; gelecekteki kuantum saldırılarına karşı daha dostane kabul edilir.

Varyasyonlar

İlgili türler şunlardır:

SNARKs: Daha küçük kanıtlar ve hızlı doğrulama sunar, fakat çoğu zaman güvenilir kurulum gerektirir. zk-STARK ile farklı takaslar söz konusudur.
Validity proofs: SNARK ve STARK'ları kapsayan şemsiye terimdir. Bir durum güncellemesinin doğru olduğunu kanıtlarlar.
Fraud proofs: Optimistic rolluplar tarafından kullanılır. Doğru kabul edilir, ta ki biri hata kanıtlayana kadar; sonra meydan okuma başlar.

Hatırlatma

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) doğruluğu kanıtlar, hukuk veya adalet hakkında karar vermez. Girdileri gizleyebilir, ancak uygulama bu amaçla özel olarak kurulmadıysa her meta veriyi varsayılan olarak gizlemez.

Örnek

DeFi borsası Starknet üzerinde işlemleri paketler ve Ethereum üzerinde tek bir zk-STARK kanıtı yayınlar, böylece zincir tüm paketi minimum gaz ile doğrular.

Eğlenceli Bilgi

Bu kısaltma Eli Ben Sasson dahil araştırmacılar tarafından türetilmiştir ve evet, STARK Almanca'da güçlü anlamına gelir. Bu da tasarımın ağır açık anahtar törenleri yerine sağlam hash fonksiyonlarına yaslanmasıyla uyumludur.

Özet

Kısa versiyon: zk-STARK, büyük işlerin yapıldığını kanıtlayan küçük kanıtlar sağlar; böylece verilere bakmadan sonuçlara güvenebilirsiniz.

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)