zkVM Son Sürümleri Burada, zkVM ekosistemindeki önde gelen geliştiricilerin ilerlemesini raporluyoruz; son önemli sürümleri, teknik atılımları ve genel güncellemeleri belgeliyoruz. Özellikler: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm ve @ProjectZKM. 🔹 Sektör 🔹 genelinden daha fazla rapor için ziyaret edin

Brevis 🔹 ProverNet Beyaz Kağıdı 🔹 @brevis_zk, uygulamaların ZK ispatlama kapasitesi talep ettiği ve uzmanlaşmış kanıtlayıcıların bunu sağlamak için rekabet ettiği merkeziyetsiz bir pazar yerini belirleyen ProverNet beyaz belgesini yayımladı: Sistem, heterojen iş yüklerini uygun kaynaklarla eşleştirmek ve ekonomik teşviklerle hizmet kalitesini sağlamak için gerçekçi bir çevrimiçi çift açık artırma mekanizması kullanır. ProverNet, ödemeler, staking ve yönetişim için BREV token'ını tanıtıyor ve yakında basitleştirilmiş bir açık artırmaya sahip bir beta ana ağın piyasaya sürülmesi planlanıyor. 🔹 Medya 🔹 @HouseofZK Radio'nun yakın tarihli bir bölümünde, @no89thkey, Brevis'in kurucu ortağı, ekibin DeFi kökenlerinden doğrulanabilir hesaplama ve neredeyse gerçek zamanlı kanıtlama geliştirmeye nasıl geçtiğini anlattı: Pico zkVM'den, @Ethereum blok ispatlaması için kullanılan Pico Prism dağıtılmış kanıtlayıcıdan ve Brevis'in modüler yardımcı işlemci mimarisinin zincir üzerinde sadakat, kolaylaştırılmış ödüller ve CEX/DEX köprü entegrasyonlarını nasıl desteklediğinden bahsetti. Tam podcast: 🔹 Olay 🔹 Brevis, @EFDevcon boyunca birkaç önemli oturuma ev sahipliği yaptı ve katılarak doğrulanabilir hesaplama ve zincir dışı, kanıt tabanlı yürütme modellerine geçiş üzerine pratik bakış açıları getirdi: • Brevis, ZKNECT'i House of ZK olarak yönetiyor ve zkVM, ZK yardımcı işlemcileri, zkML ve zkTLS'nin konseptlerden üretime nasıl geçtiğine odaklanıyor. Program, doğrulanabilir hesaplama, çapraz zincir veri erişimi ve yapay zeka çıkarımı gibi pratik dağıtımları vurguladı; ayrıca ekiplerin ZK altyapısını gerçek uygulamalara nasıl uyguladığını anlatan birkaç ana konuşma ve tartışma yer aldı. • Michael, House of ZK tarafından düzenlenen ve Brevis'in ortak sunuculuğunda Verifying Intelligence 3.0'da açılış konuşması yaptı: Çoğu blok zinciri hesaplamasının neden zincir dışı taşınacağını ve ZKP'ler aracılığıyla doğrulanacağını açıkladı; Brevis'i, ağır mantıkları zincir dışı çalıştıran ve kısa, doğrulanabilir çıktılar sağlayan sonsuz hesaplama katmanı olarak sundu. Konuşmada Pico zkVM, gerçek zamanlı Ethereum kanıtı, Brevis'in modüler mimarisi ve akıllı DeFi, gizlilik koruyucu doğrulamalar ve sürekli teşvik sistemlerini destekleyen mevcut entegrasyonlar ele alındı. 🔹 Ortaklık 🔹 Son olarak, Brevis ve @vana, yapay zekada özel veri kullanımı için ortak bir model sundular; doğrulanmış girdiler ile ham bilgi ortaya koymayan yerel hesaplama kullanıldı: Brevis zkTLS veri kaynağını kanıtlarken, Pico zkVM bunu kullanıcının cihazında işliyor. Vana, onay ve ödülleri yönetir, geliştiricilere doğrulanmış metrikler sunar ve kullanıcıların verilerini tam kontrolde tutmasına olanak tanır. 🔹 Sektör 🔹 genelinden daha fazla rapor için ziyaret edin

Jolt (@a16zcrypto) 🔹 Ethproofs Çağrısı 🔹 @SuccinctJT, @a16zcrypto Araştırmacısı, yakın zamanda yapılan @eth_proofs çağrısında sunum yaptı. Mevcut zkVM'lerin izleri parçalara bölerek ve ispatları özyinelemeli şekilde toplayarak kanıt belleği kontrol ettiğini, ancak bunun karmaşıklık, hata riski ve performans maliyetleri eklediğini vurguladı. Zaman Damgası - 32:30: Justin, Jolt'un bunu kanıtlayıcı belleği birkaç gigabayt civarında sınırlayan bir akış yaklaşımıyla nasıl değiştirmeyi planladığını da açıkladı; döngü sayısı ne olursa olsun. Yaklaşık yirmi gerekli Sumcheck bileşeninden ikisi zaten yayında, kalan işin yakında tamamlanması bekleniyor. 🔹 Araştırma 🔹 Justin ayrıca, modern SNARK tasarımının toplam kontrolü protokolüne odaklanarak hızlı kanıtlama sağladığını konu alan bir anketin sonuçlarına dayanan bir makale yayımladı: Makale, toplu değerlendirme, arama argümanları, sanal polinomlar ve küçük değerli koruma gibi tekniklerin kanıtlama işi ve bağlılık maliyetlerini neden azalttığını açıklıyor. Jolt'u ana vaka çalışması olarak kullanarak, tekrarlanan hesaplama yapısının nasıl kullanıldığını, verimli zkVM'leri nasıl mümkün kıldığını ve gelecekteki performans iyileştirmelerini yönlendirdiğini gösteriyor. 🔹 Sektör 🔹 genelinden daha fazla rapor için ziyaret edin

Miden 🔹 Testnet v0.12 🔹 @0xMiden, gizlilik akışları, anahtar yönetimi, adres yönetimi ve geliştirici araçları alanlarında büyük güncellemeler getiren Testnet v0.12'sini yayınladı: Sürüm, şifreleme desteğiyle yeni bir adres formatı, @Nethermind özellikli özel not taşıma katmanı, ön derlemeler aracılığıyla ECDSA işaretleri ve düğümde veri işleme iyileştirmeleri ekledi. Ayrıca işlem verisi görünürlüğü için temel koruma önlemleri, sade işe almayı sağlayan yeni midenup kurulumcu, deneme için özel bir devnet ve kompozisyon ile hata ayıklama için çoklu VM düzeyinde geliştirmeler içerir. 🔹 Yayın 🔹 Proje, @OpenZeppelin ile ortaklaşa geliştirilen Özel Devlet Yönetimi adlı yeni bir sistem sayesinde özel çoklu sig'lerin nasıl uygulanabilir hale geldiğini açıklayan bir makale yayımladı: Makale, geleneksel çoklu siglerin neden paylaşılan kamu durumuna dayandığını, Miden'in gizlilik modelinin koordinasyonu nasıl karmaşıklaştırdığını ve PSM'nin senkronizasyon, koordinasyon ve kimlik doğrulama katmanlarının özel hesapları nasıl hizalandığını anlatıyor. Makale, pratik kullanım örnekleriyle sona erer ve erken bir Kavram Kanıtı'nın zaten mevcut olduğu belirtilir. 🔹 Olay 🔹 @EFDevcon'de Miden, aşağıdaki gibi çeşitli etkinliklere ev sahipliği yaptı ve katıldı: • Miden tarafından organize edilen ve yapıcıları, araştırmacıları ve kurucuları bir araya getiren, gizlilik, merkeziyetsiz sistemler ve kripto, web3 ile geleneksel finansın gelişen kesişimleri üzerine kısa, fikir odaklı konuşmalar ve açık tartışmalar için bir araya getiren Privacy Salon. • @HouseofZK tarafından düzenlenen Verifying Intelligence 3.0 etkinliğinde, Miden'in Mühendislik Lideri @huitseeker, zkVM'lerin zkML'deki rolü, çıkarım ve eğitim kanıtlama arasındaki farkları, TEE'lerin sınırlamalarını ve Miden'in tasarımının pratik, düşmanlığa dayanıklı yapay zeka doğrulama senaryolarını nasıl desteklediğini anlattı. Zaman Damgası - 02:50:12: 🔹 Tümleştirme 🔹 Proje, gizlilik, işe alım ve altyapı ekosistemini genişleten iki yeni ortaklık başlattı, bunlar arasında: • @get_para: Para'nın gömülü cüzdanı ve dağıtık MPC kimlik doğrulaması entegre edildi; böylece Miden uygulamaları için kesintisiz, korumasız onboarding sağlandı. Bu iş birliği, şifresiz giriş, anında cüzdan oluşturma ve sürtünmesiz kullanıcı akışlarını tanıtarak, Para'nın UX yığınını Miden'in uyumlu gizlilik modeliyle uyumlu hale getirerek özel DeFi, fintech, oyun ve ZK yürütme üzerine kurulu kurumsal uygulamaları destekledi: • @gateway_eth: Miden'in ölçeklenebilir, gizlilik odaklı blokzincir ağı için kurumsal düzeyde altyapı sağlamak üzere ortaklık kurdu. Ortaklık, Miden'in ölçeklendikçe yüksek erişilebilirlik, hızlı veri erişimi ve operasyonel güvenilirliği sağlar; Gateway, Miden'in kenar yürütme mimarisinin yayımlanmasını desteklemek için yerel köprü, provers ve blok gezdirici gibi temel bileşenleri çalıştırır: 🔹 Sektör 🔹 genelinden daha fazla rapor için ziyaret edin

Rabıta 🔹 DEX Alpha 🔹 @NexusLabs, Testnet III'ün bir parçası olarak merkeziyetsiz sürekli vadeli borsasının Alpha versiyonunu başlattı ve doğrulanabilir altyapı üzerine kurulmuş, basitleştirilmiş, korumasız bir CLOB platformu sundu: Açıklama, gerçek varlıklar yerine temel işlem fonksiyonlarına, kolaylaştırılmış işe alım sürecine ve test fonlarına odaklanıyor. Arayüz minimal olsa da, temel sipariş defteri düşük gecikmeli performans için tasarlanmış ve topluluk odaklı geri bildirim ile kademeli olarak tanıtılan kriptografik kanıtlarla genişleyecektir. 🔹 Ağ Durumu 🔹 Nexus, Kasım ayında ağ raporunu yayınladı: Öne çıkanlar şunlardır: • Ağ, 87,198 milyon işlem işledi, bunların 87,038 milyonu tamamlandı; bu yüksek güvenilirlik ve başlatılan ile nihai faaliyet arasında çok küçük bir boşluk olduğunu gösterdi. • Kanıt verimliliği ay boyunca saniyede 5.810'dan 4.16 kanıta ayarlandı; bu, Ekim ayındaki hızlı sıçrayıştan sonra daha istikrarlı bir kanıtlama temeline dönüşü yansıtıyor. • Doğrulanmış sözleşmeler 2,548 milyona ulaştı ve daha yüksek gecikme ve alıtılı veri kapasitesine rağmen geliştiricilerin kanıtlama ortamına olan güveninin devam ettiğini gösterdi. • İşlem ücretleri ortalama 0.048 NEX idi, bu da doğrulanabilirlik maliyetini düşük tuttu ve hızlı yineleme ile sık çevrim içi etkileşimler için alan bıraktı. 🔹 Olay 🔹 Nexus Baş Bilim İnsanı @JensGroth16, @EFDevcon yılında @HouseofZK's Verifying Intelligence etkinliğinde bir şömine başı sohbetine katıldı ve ZKP'lerin erken teorik çalışmalardan doğrulanabilir yapay zekadaki günümüz uygulamalarına nasıl evrildiğini tartıştı: Nexus'un kanıtlanabilir doğruluğu ekonomik güvenlikle birleştirmeye odaklandığını belirtti ve doğrulanabilir sistemlerin kullanılabilir ve yaygın benimsenmesini sağlamak için standartların, eğitimin ve daha geniş kurumsal güvenin gerekliliğini vurguladı. 🔹 Sektör 🔹 genelinden daha fazla rapor için ziyaret edin

Risc Zero & Boundless 🔹 Ethproofs Çağrısı 🔹 Son @eth_proofs Call #6'da, @RiscZero'un CEO'su ve kurucu ortağı @BruestleJeremy, ekibin Risc-V S-mode desteği, tam MMU ve sanallaştırılmış bellek ekledikten sonra zkVM içinde gerçek bir Linux çekirdeğini nasıl başarıyla başlattığını paylaştı. Zaman Damgası - 20:30: Demo, birden fazla sürecin çalıştığını ve daha geniş yazılım yığınları için uygun neredeyse deterministik bir ortamın olduğunu gösterdi. Risс Zero, kanıtlayıcı üzerinde ilerleme ilerledikçe bunu bir sonraki devre sürümünde göndermeyi planlıyor. 🔹 Olay 🔹 @boundless_xyz, Buenos Aires'teki Devconnect sırasında çeşitli etkinliklere katıldı, bunlar arasında: • @HouseofZK tarafından @WPReadingClub ve @invisiblgarden iş birliğiyle düzenlenen Beyaz Kitap Okuma Oturumu; burada Boundless, @citrea_xyz, @MinaProtocol ve @o1_labs Web3 ve ZK ekosisteminde son araştırma gelişmeleri ve ortaya çıkan fikirler üzerine yuvarlak masa tartışmalarına katıldı. • Boundless Pazarlama Direktörü @reka_eth'in, yapay zeka ve robotik tarafından şekillenen bir dönemde insan katkısının kanıtlanması üzerine bir tartışmaya katkıda bulunduğu bir Doğrulama Zekası 3.0 paneli; @OntologyNetwork'@humpty0x, @StarkWareLtd'den @zKsisyfos, @ProjectZKM'den @DacEconomy ve @eigencloud'den @Viggy_117 konuşmacılar yer aldı. Zaman damgası - 00:57:54: 🔹 Sektör 🔹 genelinden daha fazla rapor için ziyaret edin

Özlü 🔹 SP1 Hypercube 🔹 @SuccinctLabs, SP1 Hypercube zkVM'nin en son sürümünün, 16 RTX 5090 GPU'da @ethereum L1 bloklarının %99,7'sini 12 saniyeden kısa sürede kanıtlayabildiğini ve önceki gerçek zamanlı kanıtlama kilometre taşına kadar uzattığını bildirdi: Sürüm, önemli performans iyileştirmeleri, tüm RISC-V kısıtlamalarının resmi doğrulanması, yakınlık boşluğu varsayımlarının kaldırılması ve yeni güvenlik önlemleri ekliyor. Hypercube denetimleri tamamlamaktadır ve açık kaynak olarak ve Succinct Prover Network aracılığıyla yayımlanacaktır. 🔹 Araştırma 🔹 Succinct, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL) ve @kleptographic (@NYU_Courant) Kriptografi Başkanı @ronrothblum tarafından yapılan yakın tarihli bir çalışmada, yazarlar neredeyse optimal bir hash tabanlı polinom taahhüt şeması olan TensorSwitch'i sunuyorlar: Hash tabanlı SNARG'lerde iki ana sınırlamayı ele alır: ispatlama süresi ve büyük ispat boyutları. Tensör kodları ve etkileşimli orakül ispatları kullanarak, TensorSwitch giriş boyutu, alt doğrusal hash maliyetleri ve asimptotik olarak minimal doğrulayıcı sorguları açısından doğrusal taahhüt ve açılış sürelerini sağlar; güvenilir kurulum veya grup tabanlı kriptografiye dayanmadan 🔹 C2PA 🔹 Succinct, dijital içerik doğrulaması için açık standartlar geliştiren diğer katılımcılarla birlikte @C2PA_org'a katıldı: Yapay zeka tarafından üretilen medya arttıkça, proje gizlilik ve ölçeklenebilir doğrulamalarla kaynak iş akışlarını güçlendirmek için ZK doğrulamasını başlatıyor. Sucinct, birleşik meta veri standartlarını desteklemeyi ve platformlar arasında birlikte çalışabilirliği artırmayı amaçlıyor. C2PA'ya katılarak, proje araştırma yapmayı ve içerik özgünlüğü araçlarının pratik ortamlarda uygulanmasına yardımcı olmayı planlıyor. 🔹 OP Succinct Lite 🔹 @Celo, Sepolia test ağını Jello hardfork üzerinden OP Succinct Lite'a yükseltti, ana ağ lansmanına yaklaştı: Bu yılın başlarında Celo, gerçek dünya ödemelerini desteklemek için Ethereum L2'ye geçti ve EigenDA v2 ile OP Succinct Lite'ı benimseyen ilk zincir oldu. 🔹 Sektör 🔹 genelinden daha fazla rapor için ziyaret edin

ZKM 🔹 Denetim 🔹 ZKM'nin Ziren'i, @VeridiseInc tarafından Picus doğrulama platformunu kullanarak denetimden geçiyor: Veridise, Ziren'in Plonky3 kısıtlamalarını uyarladı ve analizleri @AuditHubDev boyunca yürüttü. İlk sonuçlar, AddSub çipinde toplama ve çıkarma için deterministik davranışı doğruladı. Ekipler, doğrulamayı tam devrelere genişletmeyi ve kontrolleri ZKM'nin geliştirme iş akışına entegre etmeyi planlıyor. 🔹 Yayın 🔹 @ProjectZKM, GKR protokolünün, çok değişkenli Sumcheck protokolünü kullanarak devre katmanları arasında tutarlılığı özyinelemeli şekilde kontrol ederek aritmetik devre hesaplamalarını nasıl doğruladığını açıklayan bir makale yayımladı: Eser, katmanlı devre yapısını, çok doğrusal uzantıların rolünü, Sumcheck'in doğrulamayı nokta değerlendirmelerine nasıl indirgediğini ve reyinyasyonun giriş katmanında nasıl sona erdiğini açıklıyor. Bu durum, GKR'nin büyük devreler için neden verimli olduğunu ve modern ZK sistemlerinde temel olduğunu gösterir. 🔹 Olay 🔹 ZKM, @EFDevcon'daki zamanlarıyla ilgili bir makale yayımladı ve öne çıkanlar: • ZKONNECT by @brevis_zk ve House of ZK: ZKM CTO @sd_eigen gerçek zamanlı kanıtlama paneli EVM Proven in 10 Seconds ve GPU hızlandırılmış kanıt sistemlerini tartıştı. • House of ZK ve Brevis tarafından Doğrulama İstihbarı: Stephen, yapay zeka iş akışlarında ZK tabanlı gizlilik üzerine konuştu ve Ziren'in @VeridiseInc denetimini inceledi. Kurucu ortak @DacEconomy, insan katkılarını doğrulama üzerine Yapay Zeka ve Çalışma paneline katıldı. • @EtherArgentina Hackathon: ZKM, Stephen'ın jüri ve Eğitim Lideri @alicelingl mentorluk ekipleriyle etkinliği destekledi. • @babylonlabs_io ve @build_on_bob tarafından düzenlenen Native BTCFi Zirvesi: @Bitcoin uyumlu finans ve BTC ölçeklendirmesi üzerine tartışmalar. • StarkConnect by @Starknet: Stephen, Starknet, @AlpenLabs ve @atomiqlabs ile Bitcoin'in ölçeklendirilmesi üzerine bir oturuma katıldı. • ZK Real World Summit: @MantaNetwork, @ZKVProtocol ve @nillion içeren gizlilik koruyucu zincirler paneli. • Cultural Vivo, @invisiblgarden: ZKM, ZK ve yapay zeka geliştiricileri için merkezi destekleyen sponsor olarak geri döndü. 🔹 Sektör 🔹 genelinden daha fazla rapor için ziyaret edin