Zac böyle diyorsa bir hemen açıp bakmalı bir de ne görelim. Inner product argument (IPA) için logaritmik verifier time icat edildiği iddia ediliyor. Ne demek? Eğer SNARK devremizin adım sayısı (uzunluğu) 2^20 ise verifier'ın 2^20 ~= 1 Milyon adet çarpma işlemi yapması lazım. Örneğin eğer EVM'de bu doğrulama yapılacaksa, yani smart contract ile, bu işlem feasible olmayacak derecede masraflı. Bu işi logaritmik düzeye indirmek ne demek log(2^20) ~= 20 gibi komik bir sayıya düşürmek demek. Game changer.
Aynı zamanda IPA'yı da çok seviyoruz çünkü proof recursion yapmak oldukça elverişli (bkz zcash/halo2, mina). Bi de üstüne bu iri kıyım optimizasyon gelecek. Hayatımız şenlik olacak arkamıza yaslanacağız 2 hafta tatile çıkıyorsak 4 haftaya uzatacağız.
Yine Bünz minik bir paper ile dağılın arkadaşlar yapıyor.
----- Sonuç
Özel bir Telegram grubunda çok saygı duyguğumuz başka bir scientist der ki: Saçma sapan bir sürü akademik araştırmaların yayınlandığı bir zamanda, -ki burda sadece bilgisayar bilimlerini kastettiğini zannetmiyorum-4 5 saat geçmeden komplex bir zk paperının patlatılması zk ekosistemi için sağlıklı bir işarettir.
Katılmamak elde değil zk ekosistemi manyaklar ve tutkulu insanlar ile ile dolu bir alan. Bu olay bana zkhack eventini anımsattı. Bu eventte her hafta katılımcılara kesinlikle kolay olmayan ancak patlatılabilecek bir şema sunulur ve siz farkında olmadan sizin için gizlilik scaling gibi bir çok problemle uğraşan cryptography mühendisleri ve bilimciler bu şemaları patlatmak için yarışır. Problemi nasıl patlattıklarına dair kısa bir metinle ve kodları ile bunu paylaşır. Neticede Kevlar adı ile ile yayınlanan paper'ın da başına gelenler benzer şekilde gerçekleşti. Huzur içinde uyusun. Yazar Frank Lu'nun küsmemesini sonsuza kadar kimsenin patlatamayacağı paper'lar ile geri dönmesini temenni ediyoruz.
zkApe ve Firux bonusu: Matematik sever bir okuyucumuza bu şemayı patlatan kodu yazması için $50 bounty var. Cevabı zkalibabacave@gmail.com adresine gönderebilirsiniz.
Share this post
Firuz Kunt ile Kevlar Hadisesi
Share this post
Bir proof sistemin kısa hayatı: Kevlar
Günlerden bir gün söyle bir twit karşımıza çıktı
Zac böyle diyorsa bir hemen açıp bakmalı bir de ne görelim. Inner product argument (IPA) için logaritmik verifier time icat edildiği iddia ediliyor. Ne demek? Eğer SNARK devremizin adım sayısı (uzunluğu) 2^20 ise verifier'ın 2^20 ~= 1 Milyon adet çarpma işlemi yapması lazım. Örneğin eğer EVM'de bu doğrulama yapılacaksa, yani smart contract ile, bu işlem feasible olmayacak derecede masraflı. Bu işi logaritmik düzeye indirmek ne demek log(2^20) ~= 20 gibi komik bir sayıya düşürmek demek. Game changer.
Aynı zamanda IPA'yı da çok seviyoruz çünkü proof recursion yapmak oldukça elverişli (bkz zcash/halo2, mina). Bi de üstüne bu iri kıyım optimizasyon gelecek. Hayatımız şenlik olacak arkamıza yaslanacağız 2 hafta tatile çıkıyorsak 4 haftaya uzatacağız.
Herkes okumaya koyuldu.
----- 1
Sonra başka bir twit geldi bi’kaç saat sonra.
Bootle'dan IPA bayrağını devralan Bünz burun kıvırıyor.
----- 2
Hemen sonra başka bir tane
Süperstar Zcash mühendisi, halo2 mucitlerinden biri Sean Bowe bir twitle şemayı patlatıyor.
----- 3
Yine aynı akşam bir tane daha
https://crypto.stanford.edu/~buenz/publications/kevlarbreak.pdf
Yine Bünz minik bir paper ile dağılın arkadaşlar yapıyor.
----- Sonuç
Özel bir Telegram grubunda çok saygı duyguğumuz başka bir scientist der ki: Saçma sapan bir sürü akademik araştırmaların yayınlandığı bir zamanda, -ki burda sadece bilgisayar bilimlerini kastettiğini zannetmiyorum- 4 5 saat geçmeden komplex bir zk paperının patlatılması zk ekosistemi için sağlıklı bir işarettir.
Katılmamak elde değil zk ekosistemi manyaklar ve tutkulu insanlar ile ile dolu bir alan. Bu olay bana zkhack eventini anımsattı. Bu eventte her hafta katılımcılara kesinlikle kolay olmayan ancak patlatılabilecek bir şema sunulur ve siz farkında olmadan sizin için gizlilik scaling gibi bir çok problemle uğraşan cryptography mühendisleri ve bilimciler bu şemaları patlatmak için yarışır. Problemi nasıl patlattıklarına dair kısa bir metinle ve kodları ile bunu paylaşır. Neticede Kevlar adı ile ile yayınlanan paper'ın da başına gelenler benzer şekilde gerçekleşti. Huzur içinde uyusun. Yazar Frank Lu'nun küsmemesini sonsuza kadar kimsenin patlatamayacağı paper'lar ile geri dönmesini temenni ediyoruz.
zkApe ve Firux bonusu: Matematik sever bir okuyucumuza bu şemayı patlatan kodu yazması için $50 bounty var. Cevabı zkalibabacave@gmail.com adresine gönderebilirsiniz.