CESC '22: ZKP Çalıştayından Saha Notları

Saha notları, önemli endüstri, araştırma ve diğer etkinliklerde sahada rapor verdiğimiz bir dizidir. Bu baskıda, a16z kripto laboratuvarında Araştırma Ortağı olan Valeria Nikolaenko, Sıfır Bilgi Kanıtı Atölyesi itibaren Kripto Ekonomisi Güvenlik Konferansı (CESC)30 Ekim'de Berkeley'deki California Üniversitesi'nde gerçekleşti. bu program Blockchain ve web3'teki en son gelişmeleri sergilemek ve tartışmak için araştırmacıları ve uygulayıcıları bir araya getirmeyi amaçladı. Sunumların kayıtlarını izleyebilirsiniz okuyun.

• Şafak Şarkısı (UC Berkeley) duyurdu yeni bir MOOC Bahar 2023 için sıfır bilgi kanıtları üzerine, yapılması planlanan 17 Ocak 2023'te başlayacak ve 2022 Sonbaharında halihazırda devam eden KAÇD'leri hatırlattı:

• Yepeng Zhang (Texas A&M University) bir sunum yaptı. ZKP sistemlerinin son gelişimi hakkında eğitim, zk geçirmez sistemler oluşturmaya yönelik farklı yaklaşımlara olağanüstü bir genel bakış, bunları 4 eksende eşleştirin: kısa ve öz, kanıtlayıcı ve doğrulayıcı verimliliği ve şeffaf ve güvenilir kurulum.

• Dan Boneh (Stanford Üniversitesi) sundu Genel Bakış genel olarak GİB'lerin ve özel olarak Plonk polinomu-GİB'nin soyutlanması.

Dan ayrıca adı verilen yeni bir sistemi açıkladı. HiperPlonk, kanıtlayıcı tarafındaki pahalı FFT'leri ortadan kaldırabilen ve yüksek dereceli kapıları çok daha verimli bir şekilde ele alarak hem kanıtlayıcının zamanını hem de kanıtın boyutunu azaltır. Hatırlanması gereken ilginç parametre, kapı sayısı 2'nin üzerinde olduğunda FFT'lerin ispatlayıcının zamanına hakim olmasıdır.²⁰.

• Tiancheng Xie (Kaliforniya Üniversitesi, Berkeley) zkBridge'de sunuldu (makaleyi okuyun okuyun), çok sayıda yeni hack'in ışığında köprüler için daha iyi tasarımın önemini vurgulayarak (Ronin Köprüsü istismarı, solucan deliği hilesi, Göçebe köprü drenajı, ve benzeri). zkBridge, deVirgo sıfır bilgi kanıtlama sistemi ile güveni en aza indirir ve performansı artırır.
• Şafak Şarkısı (UC Berkeley), zincirler arası güvenli birlikte çalışabilirlik için bir temel olan zkCollective'i duyurdu. Çalışmaya katılmak için form doldurulabilir okuyun.

• aslan hayranı (kistik), MSM'nin genellikle kanıtlayıcı süresinin %50'sinden fazlasını oluşturduğu zk-prover'lar için FPGA'da çok skaler çarpmayı (MSM) hızlandırma sonuçlarını vurguladı. Karşılaştırılabilir çabalardan daha hızlı oldukları tahmin edilmektedir (BoruMSM ve SiklonMSM). Nihai hedefleri bir ASIC inşa etmektir.
• Marek Olszewski (Celo), Celo'nun 2 yıldır geliştirilmekte olan ve bu yıl piyasaya sürülen hafif istemcisi Plumo'yu çalıştırmak için harika bir demo verdi. İstemci, 2 ile büyük bir devre olarak geliştirildi.²⁷ kapılar ve iyimser bir güç tarafından desteklenmektedir tau güçleri diğer projeler için faydalı olabilecek tören. Topluluk üyeleri günlük olarak (her çağ değişikliğinden sonra) SNARK provaları üretiyor, 1 çekirdekli bir makinede bir kanıt yaklaşık 256 saat sürüyor. WASM kitaplıkları, web uygulamalarından gelen kanıtların doğrulanmasına izin verir.
• Howard Wu (aleo), eşzamanlılık ve verimli durum güncellemelerine izin veren özel işlemler için bir blok zinciri oluşturan Aleo'nun tasarımının arkasındaki fikirleri sundu.
• Jeremy Bruestle (risk0), zkSTARK'larla uygulanan RISC-V komut seti için bir zkVM oluşturmanın arkasındaki tasarım mantığını açıkladı. RISC-V, farklı derleyiciler tarafından iyi desteklenen ve tamamen açık olan çok küçük bir talimat setine (<40) sahiptir. Ve en önemlisi, zk kanıtları için verimli devre tasarımı anlamına gelen verimli donanım uygulamaları için tasarlanmıştır.
• Uma Roy (Özlü Laboratuvarlar), Ethereum'un zkSNARK'larla olan fikir birliğini kısa ve öz bir şekilde doğrulamanın bir yolunun genel bir bakışını verdi ve kanıtlama süresi sadece 1 dakika.

***

valeria nikolaenko a16z crypto'da Araştırma Ortağıdır. Araştırmaları kriptografi ve blok zinciri güvenliğine odaklanmaktadır. Ayrıca PoS konsensüs protokollerinde uzun menzilli saldırılar, imza şemaları, kuantum sonrası güvenlik ve çok taraflı hesaplama gibi konularda da çalıştı. Profesör Dan Boneh'in danışmanlığında Stanford Üniversitesi'nden Kriptografi alanında doktora derecesine sahiptir ve çekirdek araştırma ekibinin bir parçası olarak Diem blok zinciri üzerinde çalıştı.

***

Burada ifade edilen görüşler, alıntı yapılan bireysel AH Capital Management, LLC (“a16z”) personelinin görüşleridir ve a16z veya iştiraklerinin görüşleri değildir. Burada yer alan belirli bilgiler, a16z tarafından yönetilen fonların portföy şirketleri de dahil olmak üzere üçüncü taraf kaynaklardan elde edilmiştir. a16z, güvenilir olduğuna inanılan kaynaklardan alınmış olsa da, bu tür bilgileri bağımsız olarak doğrulamamıştır ve bilgilerin kalıcı doğruluğu veya belirli bir duruma uygunluğu hakkında hiçbir beyanda bulunmaz. Ayrıca, bu içerik üçüncü taraf reklamlarını içerebilir; a16z, bu tür reklamları incelememiştir ve burada yer alan herhangi bir reklam içeriğini onaylamaz.

Bu içerik yalnızca bilgilendirme amaçlıdır ve yasal, ticari, yatırım veya vergi tavsiyesi olarak kullanılmamalıdır. Bu konularda kendi danışmanlarınıza danışmalısınız. Herhangi bir menkul kıymete veya dijital varlığa yapılan atıflar yalnızca açıklama amaçlıdır ve yatırım tavsiyesi veya yatırım danışmanlığı hizmetleri sağlama teklifi teşkil etmez. Ayrıca, bu içerik herhangi bir yatırımcıya veya muhtemel yatırımcılara yönelik değildir veya bu içerik tarafından kullanılması amaçlanmamıştır ve a16z tarafından yönetilen herhangi bir fona yatırım yapma kararı verilirken hiçbir koşulda bu içeriğe güvenilemez. (Bir a16z fonuna yatırım yapma teklifi, yalnızca tahsisli satış mutabakatı, abonelik sözleşmesi ve bu tür bir fonun diğer ilgili belgeleri ile yapılacaktır ve bunların tamamı okunmalıdır.) Bahsedilen, atıfta bulunulan veya atıfta bulunulan herhangi bir yatırım veya portföy şirketi veya a16z tarafından yönetilen araçlara yapılan tüm yatırımları temsil etmemektedir ve yatırımların karlı olacağına veya gelecekte yapılacak diğer yatırımların benzer özelliklere veya sonuçlara sahip olacağına dair hiçbir garanti verilemez. Andreessen Horowitz tarafından yönetilen fonlar tarafından yapılan yatırımların bir listesi (ihraççının a16z'nin kamuya açıklanmasına izin vermediği yatırımlar ve halka açık dijital varlıklara yapılan habersiz yatırımlar hariç) https://a16z.com/investments adresinde bulunabilir. /.

İçerisinde yer alan çizelgeler ve grafikler yalnızca bilgilendirme amaçlıdır ve herhangi bir yatırım kararı verirken bunlara güvenilmemelidir. Geçmiş performans gelecekteki sonuçların göstergesi değildir. İçerik yalnızca belirtilen tarih itibariyle konuşur. Bu materyallerde ifade edilen tüm tahminler, tahminler, tahminler, hedefler, beklentiler ve/veya görüşler önceden bildirilmeksizin değiştirilebilir ve farklı olabilir veya başkaları tarafından ifade edilen görüşlere aykırı olabilir. Ek önemli bilgiler için lütfen https://a16z.com/disclosures adresine bakın.