zkVM Terbaru Di sini kami melaporkan kemajuan pembangun terkemuka dalam ekosistem zkVM, mendokumentasikan rilis signifikan baru-baru ini, terobosan teknis, dan pembaruan umum. Menampilkan: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm, & @ProjectZKM. 🔹 Kunjungi untuk laporan lainnya dari seluruh industri 🔹

Brevis 🔹 Laporan 🔹 resmi ProverNet @brevis_zk merilis whitepaper ProverNet yang menguraikan pasar terdesentralisasi di mana aplikasi meminta kapasitas pembuktian ZK dan penyedia khusus bersaing untuk memasoknya: Sistem ini menggunakan mekanisme lelang ganda online yang jujur untuk mencocokkan beban kerja heterogen dengan sumber daya yang sesuai sambil menegakkan kualitas layanan melalui insentif ekonomi. ProverNet memperkenalkan token BREV untuk pembayaran, staking, dan tata kelola, dan mainnet beta dengan lelang yang disederhanakan dijadwalkan akan segera diluncurkan. 🔹 Media 🔹 Dalam episode terbaru @HouseofZK Radio, @no89thkey, Co-founder Brevis membahas bagaimana tim beralih dari asal DeFi ke membangun komputasi yang dapat diverifikasi dan membuktikan hampir real-time: Dia berbicara tentang Pico zkVM, pembuktian terdistribusi Pico Prism yang digunakan untuk pembuktian blok @Ethereum, dan bagaimana arsitektur koprosesor modular Brevis mendukung loyalitas on-chain, hadiah yang disederhanakan, dan integrasi jembatan CEX/DEX. Podcast lengkap: 🔹 Peristiwa 🔹 Brevis menyelenggarakan dan bergabung dengan beberapa sesi utama selama @EFDevcon, membawa perspektif praktis tentang komputasi yang dapat diverifikasi dan pergeseran menuju model eksekusi berbasis bukti off-chain: • Brevis mengadakan ZKONNECT, dengan House of ZK sebagai co-host, dengan fokus pada bagaimana zkVM, koprosesor ZK, zkML dan zkTLS beralih dari konsep ke produksi. Program ini menyoroti penerapan praktis komputasi yang dapat diverifikasi, akses data lintas rantai, dan inferensi AI, bersama dengan beberapa pidato utama dan diskusi yang menguraikan bagaimana tim menerapkan infrastruktur ZK ke aplikasi nyata. • Michael, menyampaikan pidato utama di Verifying Intelligence 3.0, yang diselenggarakan oleh House of ZK dan diselenggarakan bersama oleh Brevis: Dia menguraikan mengapa sebagian besar komputasi blockchain akan bermigrasi di luar rantai dan diverifikasi melalui ZKP, menghadirkan Brevis sebagai lapisan komputasi tak terbatas yang mengeksekusi logika berat di luar rantai dan mengembalikan output yang ringkas dan dapat diverifikasi. Pembicaraan tersebut mencakup Pico zkVM, pembuktian Ethereum real-time, arsitektur modular Brevis, dan integrasi saat ini yang mendukung DeFi cerdas, pengesahan yang menjaga privasi, dan sistem insentif berkelanjutan. 🔹 Kemitraan 🔹 Terakhir, Brevis dan @vana menyajikan model bersama untuk menggunakan data pribadi dalam AI dengan menggabungkan input yang diautentikasi dengan komputasi lokal yang tidak mengungkapkan informasi mentah: Brevis zkTLS membuktikan asal data, sedangkan Pico zkVM memprosesnya di perangkat pengguna. Vana mengelola persetujuan dan hadiah, memberikan metrik terverifikasi kepada pengembang dan memungkinkan pengguna untuk mempertahankan kendali penuh atas data mereka. 🔹 Kunjungi untuk laporan lainnya dari seluruh industri 🔹

Guncangan (@a16zcrypto) 🔹 Panggilan 🔹 Ethproofs @SuccinctJT, Peneliti di @a16zcrypto, dipresentasikan pada panggilan @eth_proofs baru-baru ini. Dia menyoroti bagaimana zkVM saat ini mengontrol memori pembuktian dengan membagi jejak menjadi beberapa bagian dan menggabungkan bukti secara rekursif, tetapi ini menambah kompleksitas, risiko bug, dan biaya kinerja. Stempel waktu - 32:30: Justin melanjutkan dengan menjelaskan bagaimana Jolt bertujuan untuk menggantinya dengan pendekatan streaming yang membatasi memori pembuktian mendekati beberapa gigabyte, terlepas dari jumlah siklus. Dua dari sekitar dua puluh komponen Sumcheck yang diperlukan sudah streaming, dengan pekerjaan yang tersisa diharapkan akan segera selesai. 🔹 Riset 🔹 Justin juga menerbitkan makalah berdasarkan hasil survei yang berfokus pada bagaimana desain SNARK modern mencapai pembuktian cepat dengan berpusat pada protokol pengecekan jumlah: Makalah ini menguraikan mengapa teknik seperti evaluasi batch, argumen pencarian, polinomial virtual, dan pelestarian nilai kecil mengurangi pekerjaan pembuktian dan biaya komitmen. Menggunakan Jolt sebagai studi kasus utama, ini menunjukkan bagaimana mengeksploitasi struktur komputasi berulang memungkinkan zkVM yang efisien dan memandu peningkatan kinerja di masa mendatang. 🔹 Kunjungi untuk laporan lainnya dari seluruh industri 🔹

Tengah 🔹 Testnet v0.12 🔹 @0xMiden merilis Testnet v0.12, memperkenalkan pembaruan besar di seluruh alur privasi, manajemen kunci, penanganan alamat, dan alat pengembang: Versi ini menambahkan format alamat baru dengan dukungan enkripsi, lapisan transportasi catatan pribadi dengan @Nethermind, penandatanganan ECDSA melalui prakompilasi, dan peningkatan penanganan data di node. Ini juga mencakup pagar pembatas dasar untuk visibilitas data transaksi, penginstal midenup baru untuk orientasi yang disederhanakan, devnet khusus untuk eksperimen, dan beberapa peningkatan tingkat VM untuk composability dan debugging. 🔹 Publikasi 🔹 Proyek ini menerbitkan sebuah artikel yang menjelaskan bagaimana multisig swasta menjadi layak melalui sistem baru yang disebut Manajemen Negara Swasta, yang dikembangkan bersama dengan @OpenZeppelin: Bagian tersebut menguraikan mengapa multisig tradisional mengandalkan status publik bersama, bagaimana model privasi Miden mempersulit koordinasi, dan bagaimana lapisan sinkronisasi, koordinasi, dan otentikasi PSM menjaga akun pribadi tetap selaras. Ini diakhiri dengan contoh kasus penggunaan praktis dan mencatat bahwa Proof-of-Concept awal sudah tersedia. 🔹 Peristiwa 🔹 Di @EFDevcon, Miden menjadi tuan rumah dan mengambil bagian dalam beberapa acara, antara lain: • The Privacy Salon, sebuah acara yang diselenggarakan oleh Miden yang mengumpulkan pembangun, peneliti, dan pendiri untuk pembicaraan singkat yang digerakkan oleh ide dan diskusi terbuka tentang privasi, sistem terdesentralisasi, dan persimpangan kripto, web3, dan keuangan tradisional yang berkembang. • Memverifikasi Intelijen 3.0, yang diselenggarakan oleh @HouseofZK, di mana @huitseeker, Pemimpin Teknik di Miden, berbicara tentang peran zkVM di zkML, menjelaskan perbedaan antara pembuktian inferensi dan pelatihan, keterbatasan TEE, dan bagaimana desain Miden mendukung skenario verifikasi AI yang praktis dan tahan permusuhan. Stempel waktu - 02:50:12: 🔹 Integrasi 🔹 Proyek ini memperkenalkan dua kemitraan baru yang memperluas ekosistemnya di seluruh privasi, orientasi, dan infrastruktur, termasuk: • @get_para: Dompet tertanam Para terintegrasi dan otentikasi MPC terdistribusi untuk memungkinkan orientasi non-kustodian yang mulus untuk aplikasi Miden. Kolaborasi ini memperkenalkan login tanpa kata sandi, pembuatan dompet instan, dan aliran pengguna tanpa gesekan, menyelaraskan tumpukan UX Para dengan model privasi yang sesuai dengan Miden untuk mendukung DeFi pribadi, fintech, game, dan aplikasi institusional yang dibangun di atas eksekusi ZK: • @gateway_eth: Bermitra dengan menyediakan infrastruktur tingkat perusahaan untuk jaringan blockchain Miden yang dapat diskalakan dan berfokus pada privasi. Kemitraan ini memastikan ketersediaan tinggi, akses data cepat, dan keandalan operasional saat skala Miden, dengan Gateway menjalankan komponen inti seperti jembatan asli, prover, dan penjelajah blok untuk mendukung peluncuran arsitektur eksekusi tepi Miden: 🔹 Kunjungi untuk laporan lainnya dari seluruh industri 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs meluncurkan versi Alpha dari bursa berjangka abadi terdesentralisasi sebagai bagian dari Testnet III-nya, menawarkan platform CLOB non-kustodian yang disederhanakan yang dibangun di atas infrastruktur yang dapat diverifikasi: Rilis ini berfokus pada fungsi perdagangan inti, orientasi yang disederhanakan, dan dana uji alih-alih aset nyata. Meskipun antarmukanya minimal, buku pesanan yang mendasarinya direkayasa untuk kinerja latensi rendah dan akan diperluas dengan umpan balik berbasis komunitas dan bukti kriptografi yang diperkenalkan secara progresif. 🔹 Status Jaringan 🔹 Nexus merilis laporan jaringan November: Sorotan meliputi: • Jaringan memproses 87,198 juta transaksi, dengan 87,038 juta selesai, menunjukkan keandalan yang tinggi dan kesenjangan yang sangat kecil antara aktivitas yang dimulai dan diselesaikan. • Throughput bukti disesuaikan dari 5.810 menjadi 4,16 bukti per detik selama sebulan, mencerminkan kembalinya ke baseline pembuktian yang lebih stabil setelah lonjakan cepat Oktober. • Kontrak terverifikasi mencapai 2,548 juta, menunjukkan kepercayaan pengembang yang berkelanjutan dalam lingkungan pembuktian meskipun latensi lebih tinggi dan throughput yang moderat. • Biaya transaksi rata-rata 0,048 NEX, menjaga biaya verifikasi tetap rendah dan menyisakan ruang untuk iterasi cepat dan interaksi onchain yang sering. 🔹 Peristiwa 🔹 Kepala Ilmuwan Nexus @JensGroth16 bergabung dengan obrolan di perapian di acara Verifikasi Intelijen @HouseofZK selama @EFDevcon, membahas bagaimana ZKP berevolusi dari pekerjaan teoretis awal ke aplikasi saat ini dalam AI yang dapat diverifikasi: Dia menguraikan fokus Nexus untuk menggabungkan kebenaran yang dapat dibuktikan dengan keamanan ekonomi dan menekankan perlunya standar, pendidikan, dan kepercayaan kelembagaan yang lebih luas untuk memastikan sistem yang dapat diverifikasi menjadi dapat digunakan dan diadopsi secara luas. 🔹 Kunjungi untuk laporan lainnya dari seluruh industri 🔹

Risc Nol & Tanpa Batas 🔹 Panggilan 🔹 Ethproofs Dalam @eth_proofs Call #6 baru-baru ini, @BruestleJeremy, CEO dan Co-founder @RiscZero, berbagi bagaimana tim berhasil mem-boot kernel Linux nyata di dalam zkVM setelah menambahkan dukungan Risc-V S-mode, MMU penuh, dan memori virtual. Stempel waktu - 20:30: Demo menunjukkan beberapa proses yang berjalan dan lingkungan yang hampir deterministik yang cocok untuk tumpukan perangkat lunak yang lebih luas. Risс Zero berencana untuk mengirimkannya dalam rilis sirkuit berikutnya karena kemajuan pada pembuktian berlanjut. 🔹 Peristiwa 🔹 @boundless_xyz mengambil bagian dalam beberapa acara selama Devconnect di Buenos Aires, termasuk: • Sesi Membaca Whitepaper yang diselenggarakan oleh @HouseofZK dalam kemitraan dengan @WPReadingClub dan @invisiblgarden, di mana Boundless, @citrea_xyz, @MinaProtocol, dan @o1_labs berpartisipasi dalam diskusi meja bundar tentang perkembangan penelitian terbaru dan ide-ide yang muncul di seluruh ekosistem Web3 dan ZK. • Panel Verifying Intelligence 3.0, di mana @reka_eth, Direktur Pemasaran di Boundless, berkontribusi pada diskusi tentang membuktikan kontribusi manusia di era yang dibentuk oleh AI dan robotika, bersama pembicara @humpty0x @OntologyNetwork, @zKsisyfos @StarkWareLtd, @DacEconomy @ProjectZKM, dan @Viggy_117 @eigencloud. Stempel waktu - 00:57:54: 🔹 Kunjungi untuk laporan lainnya dari seluruh industri 🔹

Ringkas 🔹 SP1 Hiperkubus 🔹 @SuccinctLabs melaporkan bahwa versi terbaru dari SP1 Hypercube zkVM-nya dapat membuktikan 99,7% blok L1 @ethereum dalam waktu kurang dari 12 detik pada 16 GPU RTX 5090, memperpanjang tonggak pembuktian real-time sebelumnya: Rilis ini menambahkan peningkatan kinerja besar, verifikasi formal dari semua kendala RISC-V, penghapusan dependensi dugaan celah kedekatan, dan langkah-langkah keamanan baru. Hypercube sedang menyelesaikan audit dan akan dirilis open source dan melalui Succinct Prover Network. 🔹 Riset 🔹 Dalam sebuah studi baru-baru ini oleh @ronrothblum, Kepala Kriptografi di Ringkas, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL), dan @kleptographic (@NYU_Courant), penulis menyajikan TensorSwitch, skema komitmen polinomial berbasis hash yang hampir optimal: Ini membahas dua batasan utama dalam SNARG berbasis hash: waktu pembuktian dan ukuran bukti yang besar. Menggunakan kode tensor dan bukti oracle interaktif, TensorSwitch mencapai komitmen dan waktu pembukaan linier dalam ukuran input, biaya hashing sublinier, dan kueri verifikator minimal tanpa gejala, tanpa bergantung pada pengaturan tepercaya atau kriptografi berbasis grup 🔹 C2PA 🔹 Succinct telah bergabung dengan @C2PA_org, bekerja bersama peserta lain yang mengembangkan standar terbuka untuk verifikasi konten digital: Seiring dengan meningkatnya media yang dihasilkan AI, proyek ini memperkenalkan verifikasi ZK untuk memperkuat alur kerja asal dengan privasi dan pengesahan yang dapat diskalakan. Succinct bertujuan untuk mendukung standar metadata terpadu dan meningkatkan interoperabilitas di seluruh platform. Dengan bergabung dengan C2PA, proyek ini berencana untuk berkontribusi dalam penelitian dan membantu dalam menerapkan alat keaslian konten dalam pengaturan praktis. 🔹 OP Ringkas Lite 🔹 @Celo meningkatkan testnet Sepolia-nya ke OP Succinct Lite melalui hardfork Jello, bergerak lebih dekat ke peluncuran mainnet: Awal tahun ini, Celo beralih ke Ethereum L2 untuk mendukung pembayaran dunia nyata dan menjadi rantai pertama yang mengadopsi OP Succinct Lite dengan EigenDA v2. 🔹 Kunjungi untuk laporan lainnya dari seluruh industri 🔹

ZKM 🔹 Audit 🔹 Ziren ZKM sedang menjalani audit oleh @VeridiseInc, menggunakan platform verifikasi Picus-nya: Veridise mengadaptasi kendala Plonky3 Ziren dan menjalankan analisis melalui @AuditHubDev. Hasil awal mengkonfirmasi perilaku deterministik untuk penjumlahan dan pengurangan dalam chip AddSub. Tim berencana untuk memperluas verifikasi ke sirkuit penuh dan mengintegrasikan pemeriksaan ke dalam alur kerja pengembangan ZKM. 🔹 Publikasi 🔹 @ProjectZKM menerbitkan sebuah artikel yang menjelaskan bagaimana protokol GKR memverifikasi komputasi sirkuit aritmatika dengan memeriksa konsistensi secara rekursif di seluruh lapisan sirkuit menggunakan protokol Sumcheck multivariat: Bagian ini menjelaskan struktur sirkuit berlapis, peran ekstensi multilinier, bagaimana Sumcheck mengurangi verifikasi ke evaluasi titik, dan bagaimana rekursi berakhir pada lapisan input. Ini menunjukkan mengapa GKR efisien untuk sirkuit besar dan dasar dalam sistem ZK modern. 🔹 Peristiwa 🔹 ZKM merilis artikel tentang waktu mereka di @EFDevcon, dengan sorotan adalah: • ZKONNECT oleh @brevis_zk dan House of ZK: ZKM CTO @sd_eigen bergabung dengan panel pembuktian waktu nyata EVM Terbukti dalam 10 Detik membahas sistem pembuktian yang dipercepat GPU. • Memverifikasi Intelijen oleh House of ZK dan Brevis: Stephen berbicara tentang privasi berbasis ZK dalam alur kerja AI dan meninjau audit Ziren dengan @VeridiseInc. Salah satu pendiri @DacEconomy bergabung dengan panel AI dan Work untuk memverifikasi kontribusi manusia. • @EtherArgentina Hackathon: ZKM mensponsori acara dengan Stephen sebagai juri dan Pemimpin Pendidikan @alicelingl tim pendampingan. • KTT BTCFi Asli oleh @babylonlabs_io dan @build_on_bob: diskusi tentang keuangan yang selaras @Bitcoin dan penskalaan BTC. • StarkConnect oleh @Starknet: Stephen berpartisipasi dalam sesi tentang penskalaan Bitcoin dengan Starknet, @AlpenLabs dan @atomiqlabs. • ZK Real World Summit: panel tentang rantai pelestarian privasi dengan @MantaNetwork, @ZKVProtocol dan @nillion. • Cultural Vivo by @invisiblgarden: ZKM kembali sebagai sponsor yang mendukung hub untuk pembangun ZK dan AI. 🔹 Kunjungi untuk laporan lainnya dari seluruh industri 🔹