Burada, ZKonomy Proving Service'deki önde gelen inşaatçıların ilerlemesini rapor ediyor, en son önemli sürümleri, teknik atılımları ve genel güncellemeleri 👇 belgeliyoruz

ZkCloud (Bulut) @thezkcloud, 2025'in 2. çeyreği boyunca @ethereum ana ağ blokları için sürekli olarak ZKP'ler oluşturmak üzere @ethereumfndn'den bir hibe aldı. Tüm kanıtlar @eth_proofs aracılığıyla herkese açık olarak yayınlanır. Amaç, gerçek zamanlı kanıtlama için ölçeklenebilir altyapıyı göstermektir. ZkCloud, mevcut en hızlı zkVM'leri benimseme ve 12 saniyenin altındaki blok provaları için gecikmeyi azaltma planlarıyla 24 GPU'lu bir küme ve değiştirilmiş açık kaynaklı araçlar kullanır: Buna ek olarak, proje Testnet'ine dört yeni doğrulayıcı ekledi: @kintsugi_tech, @DeSpreadTeam, @CalBlockchain ve @AhnLab_ABC. Bu gruplar, yerelleştirilmiş altyapı ve siber güvenlikten araştırma ve doğrulayıcı operasyonlarına kadar çeşitli güçlü yönler sunar. ZkCloud, Mainnet'e yaklaştıkça ve ağındaki gerçek zamanlı kanıt yeteneklerini artırdıkça, katılımları merkezi olmayan kanıtları güçlendiriyor: Ayrıca ZkCloud, @BerBlockWeek yılında House of ZK'nın Ethproofs Zirvesi'nin ana sponsorlarından biriydi. Etkinlikte Ürün Müdürü @NorbertVadas üç oturuma katıldı: 1) İlk olarak, RPC veri getirmenin optimize edilmesinden orantısız kanıtlama ek yüküne sahip EVM işlem kodlarından kaynaklanan blok karmaşıklığındaki beklenmedik sapmaların ele alınmasına kadar, ZK kanıtını ölçeklendirmenin mimari ve teknik darboğazları hakkında konuştuğu bir açılış konuşması yaptı: 2) Daha sonra Norbert, Ethereum Vakfı'nın @Khovr, @NexusLabs'in @0xAlecJames, @StarkWareLtd'ın @MayaD09111862 ve @HouseofZK'in @alicelingl'ne katılarak standartlaştırılmış zkVM kıyaslamalarının dar metrikler için optimize edildiğinde nasıl yanıltabileceğini, donanıma duyarlı performans değerlendirmesinin önemini ve gerçek dünyadaki iş yüklerini yansıtan ve doğrulanabilir bilgi işlemde güven oluşturan şeffaf, çok boyutlu çerçevelere duyulan ihtiyacı tartıştı: 3) Son olarak, @0xLita'dan @carlo_cretino50, @ProjectZKM'dan @DacEconomy, @0xMiden'dan @schmiddominik1 ve House of ZK'dan Alice Liu ile birlikte, geleneksel köprülerin ötesine geçme potansiyelini, merkezi olmayan kanıt sağlayıcıların rolünü ve ölçeklenebilir ve güvenli blok zinciri uygulamaları için paylaşılan standartların önemini vurgulayarak zkVM birlikte çalışabilirliğinin evrimini araştırdı:

Ingonyama Belediyesi @Ingo_zk, kuantum sonrası kriptografi için NIST tarafından seçilen kafes tabanlı bir anahtar kapsülleme protokolü olan ML-KEM'in hızlandırılmış bir uygulamasını yayınladı. CUDA tabanlı kod, MIT lisansı altında açık kaynaklıdır ve mevcut uygulamalara kıyasla %30'a kadar daha yüksek verim sağlar. ML-KEM, Kyber512, Kyber768 ve Kyber1024 ile uyumlu üç güvenlik düzeyini destekler: Buna ek olarak, Ingonyama'dan @BagadSuyash ve @yuval_domb, @CarnegieMellon'den @QuangVDao ve @a16zcrypto'den @SuccinctJT, SNARK'ların temel bir bileşeni olan toplam kontrol protokolünü önemli ölçüde hızlandıran iki temel optimizasyonun entegrasyonunu açıklayan bir makale yayınladı. Teknikler, küçük değerli polinom girdilerini ve eşitlik polinom formlarını hedef alarak, ×2-4 oranında Jolt zkVM'de zaman azaltmalarını kanıtlar ve bellek kısıtlı olduğunda daha da büyük iyileştirmeler sağlar. Bu sonuçlar, Jolt içindeki Spartan gibi sistemlerdeki kanıtlayıcı darboğazlarını doğrudan ele almaktadır:

Fermah Belediyesi @fermah_xyz, harici Prover Düğümlerini entegre etmeyi, geliştirici araçlarını geliştirmeyi ve özel kıyaslamalar çalıştırmayı içeren test ağının 2. aşamasını başlattı. Aşama, çalışmaları ZK kriptografisinin temellerini önemli ölçüde şekillendiren Profesör Amit Sahai'nin adını almıştır. Fermah, gelecekteki aşamaların katılımı mevcut altyapı ağının ötesine genişleteceğini ve sürekli büyümenin ve daha geniş topluluk katılımının sinyalini vereceğini belirtiyor: Ek olarak, Fermah'ın Kurucusu @vanishree_rao, @eth_proofs Çağrısı #2 sırasında, Fermah'ın tüm zkVM'leri desteklemeyi ve en verimli olanları Ethproofs'a sunmayı amaçlayan yerel olarak kanıtları oluşturmak için @RiscZero ve @openvm_org ile entegre olduğunu paylaştı. Ayrıca, mevcut standartlardaki boşlukları vurgulayan yeni bir güvenlik tanımı - seçilmiş kanıt çıkarılabilirliği - için bir öneri paylaştı. [Zaman Damgası - 02:04:50]:

Cysic (Cysic) @cysic_xyz, hem yapay zeka hem de ZK teknolojileri için kritik olan bilgi işlem gücünü merkeziyetsiz hale getirmeyi amaçlayan ComputeFi'yi tanıtıyor. Platform, kullanıcıların donanımdan para kazanmalarını sağlar ve geliştiricilere bilgi işlem kaynaklarına uygun fiyatlı, şeffaf erişim sağlar. Cysic, merkezi sağlayıcılara olan bağımlılığı azaltarak, inşaatçıların özgürce, güvenli ve uygun maliyetli bir şekilde yenilik yapabileceğini ve daha geniş dijital katılım ve gizlilik odaklı uygulamaların önünü açabileceğini söylüyor: Buna ek olarak, proje, çift belirteçli bir sistem, GPU kanıtlayıcıları ve mobil doğrulayıcıları tanıtan önceki aşamalar üzerine inşa edilen Faz III: Testağının Ateşlenmesini başlattı. Ignition, kullanıcılara merkezi olmayan hesaplamaya katılma ve testnet ödülleri kazanma şansı sunan halka açık bir betadır. Erişim şu anda yalnızca davetle kullanılabilmektedir ve mobil destek yakında kullanıma sunulacaktır: Son olarak, son @eth_proofs Call #2'de, Cysic'in kurucu ortağı @leofanxiong, ZKP'ler için oluşturulmuş özel ASIC'leri hakkındaki güncellemeleri paylaştı. Çipler, önemli ZK alanlarını destekler ve saniyede 1,3 milyondan fazla Keccak hash sağlar. Verimli veri yeniden sıralaması için özel bir çip üzerinde ağ kullanırlar ve esneklik için sabit işlevli donanımı CPU'larla eşleştirirler. Hala FPGA'da olmalarına rağmen, tipik GPU veriminden daha iyi performans gösteriyorlar:

Snarkify (Snarkify) @Snarkify_ZKP'ın Kurucu Ortağı ve CEO'su @drouyang, en son @eth_proofs Çağrısı sırasında katılımcılara Snarkify'ın ana ağda en hızlı H2 GPU kanıtlayıcısını oluşturduğunu ve RISC-V öykünme hızında 750 MHz'@Scroll_ZKP aştığını söyledi. Ekip, tam izleme oluşturmayı GPU'lara taşıyarak verimi önemli ölçüde artırdı. Herhangi bir zkVM için gerçek zamanlı kanıtlama sağlayan ürünleri, Haziran ayı sonunda piyasaya sürülecek. [Zaman damgası - 01:12:30]:

Marlin @MarlinProtocol, @SuiNetwork üzerine inşa eden geliştiricilerin Nautilus aracılığıyla TEE bilgi işlem pazarına sınırsız erişime sahip olacağını duyurdu. Özel gizli VM'ler veya USDC cinsinden ödenecek sunucusuz yürütme arasında seçim yapabilecekler. Araçlar Docker desteği, anahtar yönetimi ve kanıtlama içerir: Ayrıca Marlin, Güvenilir Yürütme Ortamlarının artık @cyclenetwork_GO'ın yerleşim katmanını ve köprüsüz likidite altyapısını desteklediğini ve güvenli zincir dışı veri işlemeyi geliştirdiğini duyurdu. Bu yükseltme, kurumsal gizlilik gereksinimlerini karşılarken yüksek verimli yerleşime olanak tanır: