Röportaj = nil_ Temel: Bir Kanıt pazarı oluşturun ve "her şey ZK olabilir" vizyonunu gerçekleştirin

Nisan ayında Karadağ'daki EDCON'dan bu yana, "ZK" bu yıl en sıcak kelime haline geldi ve Ethereum'un getirdiği anlatı alanının genişlemesi yeni bir zirve noktasına ulaştı. Pek çok insan bunun yüz milyarlarca dolarlık yeni bir pazar olacağına, "ZK madenciliği" gibi daha fazla fırsat ve zenginlik hikayesi yaratacağına inanıyor. Elbette henüz gelmemiş yeni bir çağ olarak ZK, şu anda bizim için birçok fırsatı doğru bir şekilde belirlemenin zor olduğu anlamına da geliyor.

ZK'nin geleceğinin neye benzeyeceği hala daha fazla hayal gücüne ihtiyaç duyuyor. Ve =nil; Vakfı tarafından kurulan Kanıt pazarı, yüz milyarlarca dolarlık bu çağ hakkında sonsuz fantezilerimi uyandırdı. Geçenlerde =nil; Foundation'ın kurucu ortağı Mikhail Komarov (bundan sonra Misha olarak anılacaktır) ile =nil; Foundation, zkLLVM ve Proof market ile ilgili konulardan derinlemesine bir konuşma yaptım.

Görüşme Özeti

1. İnsanlar, bu teknoloji yığınının en heyecan verici "kötüye kullanımı" olan bilgi sıkıştırma için ZK kullanıyor.

2. ZK kanıtlarının oluşturulması, pazar taleplerine cevap verecek profesyonel bir üretici ağı oluşturan bu tür profesyonel hizmetler sağlayan üreticilere yaptırılmalıdır.

3. Mevcut Proof pazarında, PEV (ispatlanabilir değer) olgusu ortaya çıktı.

4. Kanıt pazarı henüz tam olarak merkezden dağıtılmadı ve burası bir süreliğine ekibin çalışma merkezi olacak.

= sıfır; kaynak

Misha, 2013'ten beri şifreleme endüstrisinde. Çembere girdikten sonra yaptığı ilk şey, Bitmessage'ın C++ uygulamasını incelemek oldu. Bu bir Bitcoin mesajlaşma protokolüdür ve o zamandan beri birkaç kez kırılmış olmasına rağmen, o zamanlar birçok insan buna deli oluyordu. Daha sonra Misha, BitShares çevresinde Dan Larimer (yani BM, Steemit, Bitshares ve EOS'un kurucusu) ile bir dizi geliştirme çalışması yapmaya başladı ve bu süreçte daha sonra Lido'yu yapan Konstantin Lomashuk ile tanıştı. O zamanlar Konstantin'in elinde Bitshares ile ilgili bazı şifreleme projeleri vardı ve özellikle Rusya için bir Steemit çatalı, yani Golos Ağı oluşturmak istiyordu.

2016 yılıydı ve Misha, Golos CTO'su olarak Dan ve Konstantin ile yeni bir yolculuğa başladı. Ancak iki yıl sonra Misha, Golos'tan bıktı, Dan'in tasarladığı ürünün tatmin edici olmadığını, iç yapısının uygun olmadığını ve kalitesinin yeterli olmadığını düşündü. Sonuç olarak Misha, Golos ve Steemit gibi ilgili projelerden ayrıldı ve Nisan 2018'de Konstantin ile Nil'i kurdu.

Misha'nın orijinal fikri, insanların Golos ve Steemit'te var olan uygun veri yönetimi, mimari, güvenlik vb. eksiklikler gibi istikrarsızlık sorunlarıyla karşılaşmasını önlemekti. Bu nedenle Nil'in amacı, veri tabanı yönetimi endüstrisinin başarılarını şifreleme endüstrisine getirerek bu alana daha fazla güvenilirlik, güvenlik, ölçeklenebilirlik vb. getirmektir. Tabii ki Misha'nın beklemediği şey, yeni yolculuğunun bizi şifreli dünyanın ölçeklenebilir geleceğinin tam merkezine götürmesiydi.

**BlockBeats: Lütfen şifreleme işine nasıl başladınız ve şifreleme endüstrisine neden katıldınız gibi özgeçmişinizi kısaca tanıtın. **

Misha: Bu çok uzun zaman önceydi. Kripto endüstrisine 2013 civarında, Bitmessage'ın C++ uygulaması üzerinde çalışırken dahil oldum. O zamanlar herkesin deli olduğu Bitcoin benzeri mesajlaşma protokolünü hatırlarsınız ve birkaç kez hacklendi, ancak o zamanlar hala sıcaktı.

Sonra her şeyi BitShares ve Dan Larimer (yani BM, Steemit, Bitshares ve EOS'un yaratıcısı) etrafında geliştirmeye başladım ve ardından Konstantin Lomashuk ile tanıştım, şimdi muhtemelen onu Lido sayesinde tanıyorsunuz. O zamanlar elinde Bitshares ile ilgili bazı şifreleme projeleri vardı ve özellikle Rusya için bir Steemit çatalı oluşturmak istiyordu. Böylece Golos yaptık, 2016'da CTO oldum ve o zamandan beri birlikte çalışıyoruz.

Ancak Nisan 2018'de Golos'tan bıktım çünkü Dan tatmin edici olmayan ürünler tasarladı, ürünleri hiçbir zaman uzun süre çalışmadı ve işe yarasalar da iç mimarinin bana göre olduğunu düşünmüyorum. yeter, bu yüzden Golos, Steemit ve diğer tüm projelerden ayrıldım ve Nisan 2018'de Nil'e başladım.

Başlangıçta amacım insanların Golos ve Steemit ile yaşadığım düzgün veri yönetimi, mimari, güvenlik vb. sorunlarla karşılaşmasını engellemekti, her şey çok dengesizdi. Bunun iyi bir çözüm olduğunu düşünmedim, bu yüzden güvenilirlik, güvenlik, ölçeklenebilirlik vb. anlamına geldiği için veritabanı yönetimi endüstrisinin çalışmalarını şifreleme endüstrisine getirmek için Kosta ile Nil'i kurdum. Bundan sonraki hikaye ise Nil'in gelişimi.

**BlockBeats:=nil; Vakıf ne zaman sıfır bilgi kanıtlarına dikkat etmeye başladı? **

Misha: 2020 civarında geriye dönüp baktığımızda, ilk DBMS (veritabanı yönetim sistemi) prototipini bitirdiğimizde bazı sorunlar fark ettik. Dürüst olmak gerekirse, veri tabanı yönetim sistemlerini şifreleme endüstrisiyle entegre etmeye çalışmadan önce kimse bunu gerçekten denememişti ve bu projeyi bitirdiğimizde, güven varsayımının istediğimiz şey olmadığını fark ettik.

İşe yarayacaksa, verilerimizi kullanıyor olsun ya da olmasın, herkesin bize güvenmesi gerekiyor. Bu güvensizlik varsayımını nasıl azaltacağımızı, bunu nasıl mümkün olduğunca güvenilmez hale getireceğimizi düşündük, sonra bir tür teknoloji kullanmamız gerekebileceğini fark ettik, bu amaca ulaşmak için bir kriptografik araca ihtiyacımız var, bu yüzden bu amaçla A kriptografi paketi inşa edilmiştir.

O zamanlar endüstri henüz gelişimin ilk aşamasındaydı ve Arc Works gibi bir geliştirme ortamı yoktu.Teorik kavramlarımız ve bazı deneylerimiz olduğu için denememiz gerektiğini düşündük. Bir süit inşa ettik ve kendimize ait bir prova sistemi kurduk. Daha sonra bir devre derleyici oluşturmak için Ethereum Vakfı ve Mina Vakfı'ndan insanlarla çalıştık. Kendimiz kanıt üretmemek için, kanıt üretimine pazar dinamiklerini dahil etmek için bir Kanıt Pazarı kurduk.

Derleyiciyi Mina Vakfı'ndaki kişilerle oluştururken, Solana Vakfı'ndaki kişilerle de çalışıyoruz. Bu süreçte Durum Kanıtı'na ihtiyacımız olduğunu fark ettik ve Durum Kanıtı, o sırada Mina ve Ethereum'daki insanların aradığı bir şeydi. 2021'in başlarında, veritabanı yönetim sistemi için gerekli durum kanıtlarını geliştirirken Mina, Ethereum ve Solana'dan insanlar bunun "zk Bridging" olduğunu hissettiler. Çünkü Justin Drake, Evan Shapiro ve Anatolly daha güvenli bir Bridge teknolojisine ihtiyacımız olduğunu düşünüyor ve sonra buna ne derseniz deyin, bunun zkBridge olduğunu söylüyorlar.

**BlockBeats: Sıfır bilgi kanıtı ile ilgili olarak, şifreleme alanı oldukça uzun süredir araştırıyor ve deniyor, ancak önemli bir ilerleme kaydedemedi. Ancak bu yılın başından beri, ZK alanının gelişimi patlama noktasına girmiş gibi görünüyor.Neden? **

Misha: Aslında zk teknolojisinin tamamına uygulanabilecek yalnızca iki yöntem vardır. İlk yöntem açıkça gizlilik amacıyla kullanılır ve ikinci yöntem, herkesin bahsettiği genişleme gibi sıkıştırma için kullanılır. ve zk -Rollups, zk-Bridges, zk-MLS, zk-Oracles, vb.'nin ortaya çıkışı. İnsanlar bu yığını sıkıştırma için "kötüye kullanıyor" ve bence bu şimdiye kadar gördüğüm en heyecan verici "kötüye kullanım". Öyleyse soru şu, neden şimdi? Bunu birkaç yıl önce başarabildik ve onu kullanılabilir, uygulanabilir ve kullanımı ilginç kılan birkaç önemli teknolojik gelişme kilometre taşı olabilir.

İlk dönüm noktası, teknolojinin kripto endüstrisi için giderek daha yararlı hale geldiği 2016'da geldi. O zamanlar Rank-1 kısıtlama sistemleri (R1CS'ler) oldukça yaygınlaştı ve farklı uygulamalar ortaya çıkmaya başladı. Temel olarak, mahremiyeti korumak mümkün olduğunda, bu mümkün hale gelir. Örneğin Zcash, Tornado Cash vb. Bu projeler o dönemde doğdu ya da bu projelerin fikirleri o dönemde doğdu.

İkincisi, bu teknoloji için ikinci kritik dönem olan 2019 ile 2021 yılları arasıdır. O zamanlar, Bloom filtreleri (Blunt argümantasyonları) giderek daha popüler hale geldi. İnsanlar Bloom filtrelerine dayalı kanıt sistemleri oluşturmaya başladı. Ayrıca yer tutucular adı verilen kendi ispat sistemimiz var. Bu süre neden önemlidir? Çünkü Bloom filtre tabanlı bu prova sistemleri sayesinde projelerin sıkıştırma için bu yığını kullanmasına olanak sağlıyor. Sıkıştırmayı iyileştirerek 2021'de uygun Toplama ölçeklendirmesi ve zkBridge yapmayı daha ucuz ve daha uygun hale getirir.

Şu anda ispat sistemini daha da geliştirmede bazı ilerlemeler kaydettik ve projemizde de bazı atılımlar yaptık. Bilginin zamanla paylaşıldığı böyle bir ortamda karmaşık matematiksel kısıtlamalar ve hesaplamalar yazmak da oldukça zordur. STARK'ın tanıtılması, bu karmaşıklık sorununu çözmek için zkVM'nin tanıtılması ve uygulama oluşturmayı da kolaylaştıran zkLLVM derleyicisinin tanıtılması gibi birçok kişi kendini bu soruna adadı. 2019'dan 2021'e kadar kanıt sistemi gelişiyor ve 2020'nin sonlarından 2021'in başlarına ve 2022'nin sonlarına kadar araç geliştirme de ilerledi. Tüm bu ilerlemeler, karmaşık hesaplamaların kanıtlarını oluşturmayı yeterince verimli ve ekonomik olarak uygun hale getiriyor.

Elbette ispat sistemlerinin gelişimi henüz bitmedi. Daha fazla uygulama senaryosunu gerçekleştirmek için, sistemi kanıtlamak için daha yapılacak çok iş var. Örneğin, belki bu yıl veya gelecek yıl, ispat sisteminin gelişimini göreceğiz ve biz de burada ilgili araştırma ve geliştirmeleri yapıyoruz. Bu ispat sistemlerinin geliştirilmesi, ekonomik açıdan uygun zkLLVM uygulamalarını mümkün kılacak ve bunu yapan ilk ekip olmayı umuyoruz. Ama her neyse, şu anda herkes ispat sistemini geliştirmeye çalışıyor.

**BlockBeats: Geliştiricilerin kendi zk devrelerini oluşturmaları için oluşturulmuş bir derleyici olan zkLLVM'den bahsettiniz. zkLLVM'nin nerede önemli olduğunu düşünüyorsunuz ve ürünün mevcut vadesi nedir? **

Misha: zkLLVM ilk olmayabilir ama ilk devre derleyicilerden biriydi. Daha önce bazı prototipler gördüm, bazı DSL projeleri gördüm, ancak sanal makine yerine tamamen işlevsel bir devre derleyici ile daha önce pek görmedim. Bazıları var ama gerçekten kullanan var mı emin değilim, bu yüzden önemli olduğunu düşünüyorum. Ve bu sektördeki pek çok insan, çok enerji tüketen "ben yaratmadım" ikileminden kurtulmaya çalışıyor. Açıkçası, insanlar sonunda gerçekten iyi ürünler yaratıyor, ancak bu "ben yaratmadım" ikilemi, geliştirmeyi zaman alıcı ve pahalı hale getiriyor.

Örneğin artık Zoom üzerinden iletişim kuruyoruz ve laptoplarımızdaki neredeyse tüm yazılımlar LLVM ile derleniyor. Bunların hepsini aldık ve kanıtlanabilir hale getirdik. Bu yüzden, derleyicilerin tüm ekosistemini kripto endüstrisine getiriyoruz, böylece bu çabalar verimlilik ve ekonomik uygulanabilirlik için kripto alanında yeniden kullanılabilir. Bu da yaygın olarak kullanılan programlama dillerini beraberinde getirdi. Dünyada Rust, C++, Go, TypeScript, vb. ile yazılmış ve Ethereum içinde ve güvenilir olmayan bir ortamda çalıştırmak isteyebileceğiniz pek çok yazılım var.

En sevdiğim örnek, insanların Doom kaynak kodunu (C/C++ kaynak kodu) aldıklarında, bunu zkLLVM aracılığıyla Ethereum'a kanıtlamaları ve ardından bitirmelerinin ne kadar sürdüğünü göstermek için bunu birbirleri arasında sürüklemeleridir. Örneğin, Doom hız mücadelesini 20 dakikada tamamladım, işte kanıt ve Doom hız mücadelesini 20 dakikada tamamladığınızı kanıtlayan Ethereum NFT'niz.

**BlockBeats: Şu anda hangi kullanıcı grupları zkLLVM kullanıyor ve oluşturulan ürünler neler? **

Misha: Pek çok farklı türde proje bu teknolojileri kullanıyor ve bazı projeler dağıtılmaya çalışılacak bir şeyler inşa ediyor veya halihazırda çalışıyor olabilir. En bariz kullanım durumu, kanıt sistemi tarafından güvence altına alınan, derleyici tarafından oluşturulmuş zkBridge'imizdir. Belki de bu, bir derleyiciye olan ihtiyacı fark etmemizin ve ilk etapta onu oluşturmaya başlamamızın nedenlerinden biridir. Ayrıca, programın resmi özelliklerini yanlarına koymaya çalışmak yerine, resmi ifadeleri derleyen zkLLVM derleyicisini kullanarak ispata yoğunlaştırmak için ispat ifadelerinin resmi olarak doğrulanması için kullanılmaya çalışılmaktadır. Aslında, insanlar derleyicileri derler.

Örneğin, zkOracles benzeri uygulamaları ele alalım, insanlar Ethereum geçmiş verilerini almak için zkOracles veya Ethereum staking ihracını güvence altına almak için Lido oluşturdular. İnsanlar, iki yılı aşkın bir süredir devam etmesine rağmen, çok fazla güven varsayımının olduğu sorunları ele alıyor. 2020'de Lido'yu tasarladığımızda bu kabul edilebilirdi, ancak daha sonra kullanıcının TVL'sini riske atamadığımız için güven varsayımını azaltmak istedik ve bu nedenle onu ZK'nın çalışma kanıtı ile korumaya karar verdik. Bunun dışında daha birçok proje var, açıkçası sonsuza kadar devam edebilirim, şu anda CRM'de 80'e yakın projem var.

**BlockBeats:=nil; Foundation daha önce StarkWare, Mina ve diğer L2 ekiplerinden ve diğer VC'lerden 200 milyon ABD dolarının üzerinde bir değerlemeyle yatırım aldı. Bu para Proof pazarını oluşturmak için mi kullanılıyor ve StarkWare ve Mina'dan gelen yatırım, belirli bir ekosistemle işbirliği yapmaya daha yatkın olacağınız anlamına mı geliyor? **

Misha: Bu, beş yıldır ilk ve tek finansman turumuz çünkü daha önce böyle bir ihtiyacımız yoktu ve şimdi bunu yapma zamanı. Yeterince prototip oluşturduk, yeterince projeyi destekledik, yeterince öğrendik ve kendimizi olması gerektiğini düşündüğümüz şekilde ürünü piyasaya sürmek için yeterince güçlü ve kendimize güveniyoruz.

Bu finansman turu yaklaşık bir yıl önce sona erdi ve biz bunu gerçekleştikten aylar sonra duyurduk. "Bu bizim inşa ettiğimiz bir şey" hakkında konuşmaya başlamak için kendimizi rahat hissedene kadar finansmanı duyurmadık. Para toplamak için birbirinize bir şeyler vaat etmeye başlıyorsunuz ve sonra size ne için para topladığınızı soruyorlar, neyi teslim edeceğiz? Ürün nedir? Birisi ürününüzü kullanıyor mu? Bu nedenle, en azından bu konuda bir şeyler yapana kadar bu konudaki herhangi bir tartışmayı kasıtlı olarak erteledik.

Mina'nın tüm ekosistemi ve Starkware ekibiyle gerçekten çalışıyoruz, Mina ekosisteminden zaten bizim üzerimizde oluşturulmuş, bizimle oluşturulmuş veya bizimle ortak olan birçok uygulama var. Son zamanlarda Mina'nın ekibi, çok sayıda doğrulama yeteneğine ihtiyaç duydukları özetleri araştırmaya ve geliştirmeye başladı. Ayrıca, iş birliği yaptığımız bir başka Mina ekosistem projesi olan Mina ile 2021'de derleyici tabanlı bir devlet kanıtı doğrulaması oluşturduk.

Ayrıca Starkware ekosistemiyle çalışırken çok şey oluyor. Elbette işbirliğimizin amacı da bu, böylece Starknet ekosistemindeki kanıtlanabilir uygulamalar için de faydalı oluyoruz. Örneğin, sıfır bilgiye dayanıklı köprüler olarak teknoloji yığınımızı kullanan Starknet'e yönelik birkaç köprü projesi var. Birkaç oyun projesi bize doğrulama özelliklerinin gerekli olduğunu söyledi.

Daha eski köprüleme teknolojisini kullanmaya, durum kanıtı doğrulamasından yararlanmaya ve bunun üzerine Ethereum uygulamaları oluşturmaya çalışan birkaç başka proje var. Bazı insanlar StarkNet'te L3 inşa ediyor ve doğrulama yeteneklerine sahip olmanın iyi bir seçenek olacağını söylediler. Her neyse, onlarla bunun için bir araya geldik. Açıkçası, ortaklıktan memnunum.

ZK Kanıtları için İkincil Pazar

Zero-knowledge proof (ZK Proof), mevcut şifreleme pazarında ZK alanının mutlak çekirdeğidir ve varlığı, ZK Rollup ve zkEVM gibi birçok senaryo için sonsuz olanaklar sağlar. Bununla birlikte, bir ZK ispatı oluşturmak aynı zamanda ağır bir hesaplama işidir ve bir ispatı tamamlamak genellikle saatler alır, bu nedenle mevcut sıralayıcıların çoğu hala merkezileştirme problemini çözememiştir. ZK kanıtlarını güvenilir ve uygun maliyetli bir şekilde oluşturmak için, yalnızca bilgi işlem altyapısını geliştirmemiz ve sürdürmemiz değil, aynı zamanda genişletmemiz de gerekiyor. Misha'nın görüşüne göre, bir piyasa mekanizması getirmek bu soruna en uygun çözümdür.

=nil; Foundation ekibi, ZK kanıtları oluşturmanın, bu tür özel hizmetler sağlayan üreticilere yaptırılması gereken bir görev olduğuna inanıyor. Bu öncül altında, herkesin gerekli ZK kanıtlarını oluşturmak için talepte bulunabileceği ve ardından profesyonel bir üretici ağının bu tür taleplere yanıt vereceği bir Proof pazarına ihtiyacımız var.

**BlockBeats: Şimdi özellikle Proof Marketplace hakkında konuşalım, fikir nereden geldi ve arkasındaki hikaye nedir? **

Misha: Bu fikir, 2020'den 2021'in sonuna kadar protokol uygulamalarına ve Filecoin ile ilgili çeşitli şeylere kapsamlı katılımımızdan kaynaklanmaktadır. Filecoin çevresinde meydana gelen çılgınlığa ilk elden tanık olmakla kalmadık, aynı zamanda ona kendi bakış açımızdan katıldık. İşte o zaman tüm kanıt sistemlerini nasıl doğru yapacağımızı, uygun argümanları nasıl yapacağımızı vb. öğrendik ve genel sürümden 10 kat daha hızlı olan bir Filecoin kanıtlayıcı uyguladık ve madencilerin donanımlarını tam olarak kullanmalarına olanak sağladık. Biz aslında maliyetleri düşürmeye çalışan tüm deneyleri bir madencinin bakış açısından gören bir merkeziz.

Bu süre zarfında, bu donanımla bu özel kanıtı oluşturmanın ne kadar değerli ve ne kadar süreceği; kimin hangi donanımı kullandığı, bunun için hangi veri merkezlerinin oluşturulduğu vb. Gibi birçok gerçek piyasa verisini öğrendik. Ve sonra Ethereum Vakfı, Mina Vakfı ve diğerleri ile birlikte çalışarak, bu durum kanıtlarını ve fikir birliği kanıtlarını çok külfetli bulduk ve kesinlikle kimsenin bunları kendisinin kanıtlamasına izin vermeyiz.

Çünkü dürüst olalım, hiç kimse çok büyük oldukları için hızlı bir şekilde üretilebilen bu tür bir donanıma sahip değil. Örneğin, Mina'nın fikir birliği gibi, Mina'nın devlet kanıtı, politika yatırımcı eğrisinin yaklaşık 35 milyar dolar ile çarpılmasıdır ki bu oldukça fazladır. Veya diğer şeylerin yanı sıra yaklaşık 4000 ECDSA imzası içeren ve oluşturulması çok zaman alan Solana Mutabakat Kanıtı.

Bunu fark edince artık yapmamaya karar verdik. Tamam, bu işi taşerona yaptıracağız dedik. Bunun için bir pazar oluşturacağız, çünkü zaten Filecoin ile ilgili çok fazla verimiz var, bir pazar oluşturalım, onu bir meta yapalım, pazar dinamikleri buna uygulansın, böylece insanlar merkezi bir protokolle koordineli, onlar birbirimizle rekabet edin, böylece merkez olmak yerine protokolün merkez olmasına izin verelim. Düşüncemizin doğru olduğu ortaya çıktı. Şu anda herkes Proof pazarını inşa ediyor ve biz de yönü tahmin ettik.

**BlockBeats: Proof pazarını oluştururken, zaten oluşturduğunuz zkLLVM ile dinamiklerini düşündünüz mü? **

Misha: İlk başta iki proje aslında ayrıydı, iki ayrı şeydi. Örneğin, devreyi inşa etmek için sadece alet zincirine ihtiyacımız var, çünkü onu manuel olarak inşa etmeyeceğiz, çok büyük. Daha sonra başkalarının da bu araç zincirine ihtiyacı olduğunu öğrendik ve herkesin kullanabilmesi için onu açık kaynak yapmaya karar verdik.

Ve Prova pazarı da ayrı bir şey, çünkü bunun sadece bir kanıt oluşturma pazarı olduğunu düşünüyoruz. Kanıtlarla spekülasyon yapmaya çalışan insanları aklımıza bile getirmedik. Aslında ucuza alıp yüksekten satmaya çalışıyorlar ki bu oldukça saçma çünkü böyle olmaması gerekiyor ama neyse, bu böyle.

Proof pazarını destekleyen protokol çok özel bir protokol olmalı çünkü çok fazla doğrulamaya ihtiyacımız var ve bu açıdan çok fazla yükün üstesinden gelmemiz gerekiyor. İnsanlar doğrulanması gereken verilerle geldiklerinde, çok fazla veriyle uğraşmamız gerekiyor çünkü verileri Prova pazarının sipariş defterine yükleyecekler, bu da protokolü çok veri yoğun hale getiriyor, örneğin açıklanan veri miktarı gibi. ortalama durum kanıtı. İyi hazırlanmış bir ortalama durum kanıtı açıklaması yaklaşık 2 GB veri kapladığında, 2 GB veriyi işleyebilen bir protokol bulmaya çalışın. Neredeyse imkansız.

Ama sonra, insanlar zkLLVM ile gerçekten büyük şeyler kanıtlamaya başladılar ve Ross ve C++ gibi kod tabanları, insanların Solidity'de yaptıklarına kıyasla oldukça büyüktü. Bu yüzden onları bir araya getiriyoruz, birbirleriyle ilişkilendiriyoruz ve ardından bir hizmet olarak kullanılabilir hale getiriyoruz. Derleyicinin verimli olma konusunda oldukça iyi bir iş çıkardığını hâlâ düşünüyoruz ve bu şekilde kalmasını umuyoruz.

**BlockBeats: Şu anda Proof pazarındaki ana kullanıcı grupları ve katılımcılar kimlerdir? **

Misha: İlk kullanıcı türü esas olarak zkBridge'dir ve bazı konsensüs kanıtları ve durum kanıtları oluşturmak oldukça zordur. Örneğin, eksiksiz Ethereum fikir birliği doğrulaması ve tüm 100.000 düğüm imza doğrulayıcı doğrulaması ile Ethereum'un fikir birliği kanıtı gibi doğru ve güvenli doğrulama oluşturursanız, oluşturmanız biraz zaman alacaktır.

İkinci kategori, Ethereum geçmiş verilerine erişmesi veya Ethereum verilerini belirli bir şekilde işlemesi ve ardından EVM ile kullanması gereken uygulamalar gibi zk oracle'lardır. Teminat varlıklarının risk parametrelerini hesaplayıp EVM'ye yüklemeye çalışan borç verme protokolleri gibi bazı uygulamalar gas maliyetlerini bu şekilde düşürmeye çalışır, ancak maliyet açısından EVM'de hesaplanamazlar.

Farklı borsalardan, farklı endekslerden gerekli tüm Ethereum verilerini alıyorlar, EVM'ye koyuyorlar ve ardından teminat için bir dizi risk parametresi olarak kullanıyorlar. Bu, başka bir Lido kehaneti gibidir ve protokolün bir dizi hesaplamayı dış kaynak kullanarak (yalnızca Proof pazarındaki güvenlik ve zkLLVM gibi) kendi güvenliğini nasıl artırabileceğini ve yürütme maliyetlerini nasıl azaltabileceğini gösterir. Hiç şüphe yok ki sıfır bilgi kehanetleri çok önemlidir.

Üçüncü kategori, mevcut Toplamalar veya yeni Toplamalar tarafından kullanılabilen Toplama'dır ve hatta bazıları bunu yapmaya çalışmaktadır. Toplama doğrulayıcısı olmayı düşünen herkes, Kanıt pazarında bir tür kanıt uygulama arzusuyla gelecektir. Doğrulayıcılar için özel donanımlarla uğraşmak ve kiralık AWS sunucularında düğümleri çalıştırmak çok zordur. AWS'nin şu anda ATX sunmadığı ve çok güçlü GPU'lar sunmadığı gerçeği, bu nedenle temel olarak doğrulayıcılar bu zkLLVM kullanım durumlarıyla birlikte gelecektir. Açıkçası, zaten zkLLVM için bazı kullanım durumlarımız var, ancak itiraf etmeliyim ki bunlar henüz üretimde değil.

zkLLVM kullanım senaryoları, eldeki modelin karmaşıklığını doğrulamaları gerektiğinden, büyük veya çok karmaşık modeller için de çok uygundur. Bu da şu anda devam eden bir şey ama yine üretim aşamasında değil, sadece deneme aşamasında. Üretime girdikten sonra, Kanıt pazarını, saçma görünen, kanıtlanabilir bir yapay zeka bilgi işlem pazarına dönüştürebileceğiz.

**BlockBeats: Prova Pazarında Prova Üreticisi olmak istersem gereksinimler nelerdir? **

Misha: Bir kanıt oluşturucu olmak için gerçekten çok fazla gereksinim veya kısıtlama yoktur, bunların tümü, kanıtlamak istediğiniz belirli devreye ve belirli ifadeye bağlıdır. "Proof Market Toolchain" adlı bir şeyi özel olarak kurduk. Bir kanıtlayıcı, pazardaki çeşitli kanıtları işlerken, bunu yalnızca bir hizmet olarak başlatması veya makinenizde çalışan bir araç zinciri olarak kullanması yeterlidir.

Belirli bir ifade, belirli bir devre, belirli bir uygulama, belirli bir kanıt için piyasada daha iyi bir donanım kaynağı yoksa, sipariş alıp bir kanıt oluşturabilirsiniz. En iyi donanıma sahipseniz, en hızlı kanıtları üretme sözü verebiliyorsanız ve daha iyi bir rakip yoksa sipariş alabilir, kanıtlar üretebilir ve ödüllendirilebilirsiniz.

**BlockBeats: =nil; Foundation kullanan tüm kullanıcıların bir hesap açması gerekir. Oluşturulan kanıtın kendisi veya işlem ve sahiplik bilgileri özel bir sunucuda depolanırsa, bazı merkezileştirme sorunlarına yol açar mı? **

Misha: Yıl sonuna kadar ele almayı planladığımız konu da tam olarak bu. Evet, mevcut piyasa kanıtı o kadar merkezi olmayan değil, onu desteklemek için bir protokol düğümü yayınlamadık ve bu protokol hakkında halka açık bir şekilde konuşmadık. Şu anda işleyiş şu şekilde: Lido'ya katılan ve doğrulayıcılar olarak hareket eden birkaç kişi ve doğrulayıcılar olarak doğrulayıcı operatörler ile, onu geçici olarak barındırabilir ve nasıl gittiğini görebiliriz. Sonra kaynak kodunu onlara dağıttık ve aslında test modu olarak çalışan altı veya sekiz tane vardı.

Şu anda, sistem bir şekilde merkezi olmayan bir yapıya sahip, ancak halka açık veya gerçek anlamda merkezi olmayan bir sistem değil. Herkes Proof Market düğümüne katılıp onu çalıştıramaz. Bu bizim için de bir soru, bize güvenlik hakkında soru soran uygulamaları seviyoruz, ne kadar merkezi değiller, buna güvenebilir miyiz? Bu şu anda kullanabileceğimiz bir şey mi? Evet, yapabilirsiniz, ancak test modunda çalıştırdığımız için yeterince merkeziyetçi değil diye cevap verdim. Şu anda en önemli görevimiz olan bu sorunu çözmek için çok çalışacağız.

**BlockBeats: Bu sorunları çözmek için hangi adımları atıyorsunuz? **

Misha: İlk olarak, başından beri belirli bir merkezi olmayan protokolü kullanarak, merkezi olmayan bir protokole dayalı bir pazar kanıtı tasarladık. Dağıtım ve operasyon için çeşitli seçenekleri tartıştık, doğrudan Ethereum üzerinde dağıtmaya çalıştık, ancak ekonomik fizibiliteyi hesapladığımızda, bunu yaparsak yılda yaklaşık 2,5 milyar dolar Ethereum ücreti ödememiz gerekeceğini gördük. Dolayısıyla, Ethereum üzerinde bir piyasa yönetmenin finansal olarak hiç de mümkün olmadığı ortaya çıktı.

Sonra onu Rollup gibi bir şey üzerinde çalıştırmaya çalışıyoruz. Yine de birkaç farklı Toplama denememize rağmen, maliyet yine de yüksekti. Piyasa ispatı çalıştırma ve arbitraj yapma maliyetini hesapladığımızda sadece piyasa ispatının yıllık maliyetinin 250 milyon ABD doları olduğunu gördük ki bu da oldukça yüksek bir maliyettir. Bu yüzden yük, maliyet, yoğun veri vb. işleyebilen kendi protokolümüzü bulmamız gerekiyordu.

Amacımız, bu protokolü Ethereum'un güvenliğine mümkün olduğunca yakın hale getirmek, çünkü uygulamaların buna güvenmesinin başka yolu yok. Bu protokolün serileştirme gibi işlemler için de oldukça kullanışlı olduğu ortaya çıkıyor çünkü serileştirme yapılırken işlenecek yük temelde aynı. Siparişi veren ile kanıtlayıcı arasındaki gecikmeyi azaltmak istenir, böylece kanıtlayıcıya hemen veri gönderebilir ve böylece bloğu kazanabilirler.

Sıralayıcının bu protokole nasıl dağıtılacağı da şu anki ana endişelerimizden biridir.Üçüncü taraf geliştiriciler tarafından kullanılabilecek bir platform oluşturmayı umuyoruz, böylece herkes bu protokolü destekleyen bir düğümü başlatabilir ve çalıştırabilir. Ayrıca, pazar kanıtı uygulamasının kod dağıtımı açısından Ethereum kadar güvenli olduğundan emin olun.

**BlockBeats: Protokolün teşvik mekanizması hakkında daha fazla bilgi paylaşabilir misiniz? **

Misha: Kanıtlar için ödeme yapmak için elbette çeşitli belirteçler kullanmayı tercih ederiz, bu nedenle herkesi belirli bir belirteci kullanmaya zorlayamayız; herhangi bir ürün ve uygulama ile. Örneğin, Arbitrum'un Ethereum ile çalışma şekline benzer olması muhtemeldir, Ethereum ve Arbitrum'a sahip olabilirsiniz, neden olmasın?

Bu yöndeki ilk adım kesinlikle geçen gün devreye aldığımız EVM Endpoint Approval Marketplace. Bu, Proof Market'te onaylayanlar veya kendi token'larını ödemek isteyen uygulamalar için bir teşvik olarak Ethereum konuşlandırılmış tüm varlıkların Proof Market'te kullanılmasını sağlayan ödeme çözümüdür ve bu yöndeki ilk adımdır. adım.

Proof Market Kaprisli

Bir pazar olduğu için, insanların tahmin edemeyeceği ve kontrol edemeyeceği değişkenlik ve karmaşıklık olmalıdır. İnsanların ZK kanıtları üzerinde spekülasyon yapıp yapmayacağı ve nasıl yapacağı, ekibin izlemesi ve kaydetmesi gereken önemli verilerdir. Birkaç aylık gerçek testten sonra, Kanıt pazarında hangi ilginç fenomenler ortaya çıktı? Ekibin gelecek için ne gibi planları var?

**BlockBeats: Bir pazar mekanizmasının tanıtılması kanıt oluşturma sürecini uzatır mı? **

Misha: Müzayede veya iş için en iyi teklifi vereni bulmak biraz zaman alıyor, bizim tarafımızda belki birkaç saniye değil, ama birkaç dakika. Tipik olarak, bu işlem birkaç saniye sürer, çoğu durumda bir saniyeden az. Bana öyle geliyor ki arz ve talep oldukça bol, bu yüzden bu bir saniyenin altında gecikmeye neden oluyor.

Bir saniyenin altındaki gecikmelerde bile, gördüğüm en kötü durumlarda, uygulama üç veya dört saniye boyunca bir sağlayıcı bulamıyor. Ancak o zaman bile, bu gecikme, genel olarak kanıt oluşturma süresiyle karşılaştırılamaz. Bu nedenle, pazar dinamiklerinin sağladığı kalabalık oluşturma avantajlarıyla karşılaştırıldığında bunun bir endişe kaynağı olduğunu düşünmüyorum.

**BlockBeats: Birisi oluşturulan kanıtlarla spekülasyon yapmak isterse, bu iyi bir şey mi yoksa kötü bir şey mi? Ekip bir şekilde müdahale edecek mi? **

Misha: Sitemizde bir sürü tuhaf şey oluyor, az önce bahsedilen en tuhafı değil, Proof pazarında daha da tuhaf şeyler oluyor ama önce bundan bahsedelim Spekülasyon sorusu . Bunun üzerinde herhangi bir kontrolümüz yok çünkü yapamayız. Bu projeyi halka yaydığımızda, bu protokolü herkese açık hale getirdiğimizde, herkesin haftada bir, belki toplu olarak çalıştırmasına izin verin, aksi takdirde, artık tüm bunları kontrol edemeyeceğiz.

Şimdi müdahale etmemeye, bir şey yapmaya çalışmamaya çalışıyoruz çünkü bir noktada artık bunu yapamayacağız, o halde ne anlamı var? Öyleyse spekülasyon yapalım. Kanıtlanabilir bir uygulama gibi devre benzeri bir uygulama oluşturulabilir, temelde bu kadar, yani spekülasyon bile mümkündür. Kanıt pazarındaki spekülasyondan başka bir faydası yok.

Gördüğüm en garip kullanım durumlarından biri, birinin bilgi işlem gücü için vadeli işlemlerle ticaret yapmaya çalışması ve ardından bu vadeli işlemleri spekülatif bir tartışma yapmak için kullanması. Bitcoin'in hash oranı vadeli işlemleri gibi, ancak zk kanıtları için de. MEV'i hiç merak ettiniz mi? Ya size aslında bir Prover Extract Value (PEV) olduğunu söylersem?

Uygulamanın bazı veriler getirmesi ve ardından bir şeyin kanıta ihtiyacı olması ve kanıtlayıcıların yapması gibi çalışmaz. Verileri getiriyorlar, kanıtlar üretmeye başlıyorlar ve her şey beklendiği gibi çalışıyor. Ama aynı zamanda, bir kanıtlayıcı bu verilerden daha fazla kar elde etmeye çalışıyorsa veya bunun gibi bir şey. Bu verileri, Ethereum veya diğer protokoller ve hatta bazı Toplamalar gibi başka yerlerde kullanacaklar.

Bunu, kanıt üretmek için kullanmak yerine, bu verilerden mümkün olduğunca fazla değer elde etmek için yaparlar. Bir kanıtın ne zaman üretileceğini tahmin etmeye çalışan insanlar ve ardından API'de tersine mühendislik yaparak ve işlemleri enjekte etmeye çalışarak Proof Market protokolüne kanıt satın almak veya satmak için işlemler enjekte etmek gibi başka farklı çıkarılabilir değer kanıtları türleri vardır. BT. Bu şekilde kanıtlayıcı satış yapabilir veya alıcı, tıpkı Lightning madencileri veya inşaatçılar ve teklif verenlerin Ethereum'daki işlemlerde spekülasyon yapması gibi ondan değer elde etmek için fiyatı tahmin edebilir.

Bazı insanlar, kanıtlayıcıların kanıtlar üretirken elde ettikleri verileri kullanmalarını nasıl önleyeceklerini denemeye başladılar. Bunun için tek yol FHE (homomorfik şifreleme) verileri üzerinde ispatlar oluşturmaktır. Kanıt üretimi için gerekli verileri gizlemek için zkFHE gibi bir şey yapmaya çalışırlar, ancak FHE hesaplama açısından çok pahalıdır, dolayısıyla bu, ispatın maliyetini artırır.

Kanıtlama maliyetini ikiye, üçe, hatta on katına çıkaran gökyüzüne göndermek gibi. Ama kimse benim verilerimi kullanmıyor, kimse verilerimden bir şey çıkarmıyor diyecekler. Böylece zkFHE, yüksek bir karmaşıklık düzeyi gibi bağımsız bir karmaşıklık düzeyi olan Proof pazarından doğacak.

**BlockBeats: Şu anda Proof marketi ZKLLVM ve Mina ile uyumludur, Proof marketinin gelecekte farklı devreler için nasıl provalar üreteceğini bilmek isterim? **

Misha: Basitçe söylemek gerekirse, süreç şu şekildedir: Bir uygulama, kanıtlanması gereken bir ifade taşır ve bu ifade, Proof Market'e güç sağlamak için bayt kodunda veya sanal bir makinede derlenir. Bu sanal makine EVM'dir. Sonra da bu şartla buraya geliyorlar, benim bu iddiamı ispatlamam lazım diyorlar. Kanıt Pazarı izinsizdir ve ardından yeni bir devre çifti dağıtılır, bu şekilde yeni bir devre çifti oluşturulur ve her yeni devre yeni bir ticaret çiftidir.

Kanıtlayan belirli bir yeni iddiaya ihtiyaç duyduğunda, bu yeni iddia ani, devam eden bir ihtiyaç, bir defaya mahsus büyük bir ihtiyaç veya bir defaya mahsus ama yine de ilginç bir ihtiyaç olabilir. Kanıtlayıcı, tamam, bu devreyi önemsediğim devreler listesine eklemek istiyorum ve bu devre için bir ispat oluşturmak istiyorum diyebilir. Proof Market daha sonra uygun değişiklikleri yapar, kanıtlar üretir ve sunar. Bu süreci olabildiğince basit hale getirmek için çok çalışıyoruz.

**BlockBeats: Farklı ispat sistemleri için nasıl uygulanır? **

Misha: Bu daha ilginç bir hikaye. Farklı kanıtlama sistemlerinin Proof pazarına bağlanması için temel olarak tek bir gereksinim vardır, o da bu kanıt sisteminin doğrulayıcısını EVM bayt kodunda derlemektir. Proof pazarına güç veren EVM olduğundan, doğrulayıcılar EVM'de derlenir. Solidity ile yazılmış olabilir, Rust veya C++ olabilir.

Solidity'de yazılmışsa dağıtın; ve Rust veya C++'da yazılmışsa, Rust ve C++'tan doğrulayıcıları derleyen bir araç zinciri sağlamak için zkLLVM'den yararlanacağız, böylece zkLLVM A dilinden-to-anahat olarak kullanılabilir. Rust, C++ veya diğer dillerden doğrulayıcılar oluşturabilen ve bunları Proof pazarına yerleştirebilen EVM derleyicisi. Devreye alındıktan sonra Proof pazarı, yeni kanıt sisteminin doğrulanmasını destekler. Bu ölçüde izinsizdir.

**BlockBeats: Bir keresinde bir yuvarlak masa tartışmasında Rollup'ın ademi merkeziyetçilik süreci hakkında söylediğinizi hatırlıyorum, =nil; Foundation'ın yolu, çoğu Rollup'ın tersidir; bu, önce bir kanıt oluşturma ağı oluşturmak ve ardından sıralayıcı değişikliğini merkezden uzaklaştırmaktır. Öyleyse, =nil; Foundation'ın Proof pazarının bu Toplama projeleri için merkezi olmayan bir çözüm olma şansı var mı? **

Misha: Denver'da olduğunu hatırlıyorum, farklı yönlerden pazar stratejisi hakkında konuşurken birçok insan sıfır bilgi kanıtları, kanıt sistemleri ve dahili olarak çok sayıda kanıt gerektiren birçok uygulama geliştirdi. ve sonra şöyle sorunlarla karşılaştılar: Ürünü geliştirdik ama mükemmel değil, çünkü merkeziyetçi değil, kanıt merkezi değil ama yeterli kanıt gücümüz yok, bu yüzden sıkışıp kaldık.

İnsanlar ürünler ürettiler ama kendilerini sıkışmış gibi hissediyorlar. Kendi tarafımızda, bu sorunları çözmek için bir teknoloji yığını oluşturduk, piyasa hizmetini geliştirebilir, bunu değer zincirine entegre edebilir, kanıtların merkezsizleştirilmesini ve merkezsizleştirilmesini sağlayabilir ve toparlamalar için destek sağlayabiliriz. İşleyiş şekli, bu toplamalar için doğrulayıcıların bir yerden tasdik almaları gerektiği ve kendilerinin tasdik edenler olmaları gerektiğidir.

Bazı durumlarda, doğrulayıcı isteksiz, beceriksiz veya başka bir şekilde kendi donanımını, GPU'sunu, ASIC'sini vb. Harika, sermayesi olan ama altyapısı olmayan veya altyapıya sahip olmak istemeyenler için kanıt sağlıyor.

İkinci nokta, farklı yönlerde başladığımızı, onları karar verme perspektifinden geliştirmek için yola çıktığımızı söylememin nedeni. 3. taraf ekipler gibi insanlar tepemize merkezi olmayan bir sıralayıcı eklemeye çalışıyorlar, belki birisi tüm sistemin üzerine bir toplama koyacaktır, o zamana kadar teknoloji yığını tamamlanacak ve tüm sistem uygulanacaktır. Tamamlandı.

**BlockBeats: Son olarak Misha, Vakfın bu yılki yol haritasındaki en önemli şeylerin neler olduğunu açıklayabilir mi? **

Misha: İki ana yönümüz var. İlk yön, doğrulanabilir uygulamalar, bu kullanım durumlarını herkese açık hale getirmeli ve daha fazla insanın bunlardan haberdar olmasını sağlamalıyız. Bunlardan bazıları zaten biliniyor, bazıları çok iyi bilinmiyor ve bazıları henüz etkinleştirilmemiş bile, örneğin zkLLVM kullanım durumumuz, özellikle zkLLVM uygulamaları için oluşturulmuş bir ön uç gerektiriyor. Bu, Drupal ve zkLLVM'yi zkLLVM kullanım durumları ve tüm bu şeyler için kullanışlı hale getirecektir.

Başka bir örnek de, bizim üzerimizde gelişen insanlara projelerini tamamlamalarında yardımcı olmak istiyoruz ki bu da zk oyunlarıyla ilgili bazı ilginç şeyler olacak. Ethereum'da bir 3D üçüncü şahıs nişancı oyunu oynamayı hiç düşündünüz mü, bu henüz mümkün değil, ancak mümkün olacak ve Proof pazarı ve zkLLVM için yeni kullanım durumları bu şekilde etkinleştiriliyor. Bazen ilginç, bazen komik ve bazen gerçekten faydalı.

İkinci büyük yön, bu protokolü merkezi olmayan ve herkes için erişilebilir hale getirmeliyiz, bu da merkezi olmayan sıralayıcı kullanım durumunu uygulamamıza, protokolü herkes için erişilebilir hale getirmemize, deneyleri denememize, temeli üzerine inşa etmemize ve üzerine bir şeyler inşa etmemize olanak sağlayacaktır. İşlerin nasıl gideceğini göreceğiz ama umarız düzelir. Proof market için kurduğumuz protokol sayesinde bugün piyasada benzeri yok.

Belki de gerçek sorunları çözmenin yanı sıra, üçüncü taraf geliştiriciler onu kullanabilecekleri için, başka bir yerde uygulanamayan bazı özellikleri deneyebilecekleri için de ilginç olacaktır. Dolayısıyla bunlar bizim iki genel yönümüz: güvenliğin sağlanması ve ademi merkeziyetçiliğin gerçekleştirilmesi.