ZK-STARKs zamanı: ZK STARK beyaz kağıt 2018 yılında yayınlandı (aynı zamanda FRI adlı bir ana bileşenle birlikte). O dönemde, elliptik eğri tabanlı ZK SNARK'ların blok zincirleri için gizlilik çözebileceğini zaten görüyorduk ve dünya bunun umut ettiği tek şey gibi görünüyordu. Peki, neden tamamen yeni bir yapı? Bizim için öncelikli olan nedir? ZK STARK'ların ana avantajları şunlardı: • Şeffaflık (STARK'ın T'si) — Bu, SNARK'lar durumunda gerekli olan tören sırasında gerekli olan "zehirli atık" kurulumunu gerektirmez. Bu, güven açısından çok önemlidir. Açıklamak gerekirse — Güvenilir bir kurulum gerekmez, bu nedenle şeffaf ZK-STARK'lar Darth Vader tarafından bile kullanıldığında güvenilebilir. • Kuantum sonrası güvenlik — 2018 yılında, kuantum tehdidi ve bunun elliptik eğri kriptografisini nasıl yok edebileceğine dair çok az konuşuluyordu. Ancak ZK STARK'lar kuantum sonrası güvenli olup aslında yalnızca güvenli bir hash fonksiyonunun varlığını gerektirir. Bu, RSA, DH, ECDSA, Lattice tabanlı yapılar vb. gibi standart zorluk varsayımlarına yönelik süper zeka ve tehditlerin günümüzdeki önemini ortaya çıkardı. • Alan-bağımsız — Zcash'in ZK-SNARK'ları çok spesifik cebirsel yapılar (sonlu alanlar) ve özellikle büyük alanlar gerektiriyordu. STARK'lar ise, ikili ve küçük asal alanlar da dahil olmak üzere neredeyse tüm sonlu alanlarda çalışır; bu da verimli hesaplama süresi açısından daha iyidir. Matematiksel olmayanlar için bu, çok daha büyük hız ve ölçeklenebilirlik anlamına gelir. Örneğin, en son ve en iyi STARK ispatlayıcımız S-two tarafından kullanılan M31 alanı aritmetiğini, ilk nesil ispatlayıcımızda kullandığımız 256-bit alan aritmetiğinden 100 kat daha hızlı ölçtük(!). • Ölçeklenebilirlik — Herhangi bir alanda çalışabilmeleri ve güvenilir bir kurulum gerektirmemeleri nedeniyle, işlem boyutlarını artırdıkça ve tekrar artırdıkça, onchain doğrulayıcıda hiçbir şeyi değiştirmemiz gerekmedi. Özetle — şeffaflık, kuantum sonrası güvenlik, verimlilik ve ölçeklenebilirlik, ZK STARK'ların 2018 yılında dünyaya sunduğu büyük avantajlardı. Şu anda, güvenli ZK ölçeklenebilirlik ve gizlilik için altın standart haline geldiler. SON