.@alicelingl tantangan @FormallyJon: Akankah pengembang masa depan bersandar pada zkVM atau menulis sirkuit ZK dengan tangan? Temukan nuansa di podcast @HouseofZK.

Mengumumkan KTT ZK/AI selama minggu @token2049, diselenggarakan bersama oleh @HouseofZK & @googlecloud. Acara eksklusif satu hari ini akan menjelajahi perbatasan bukti tanpa pengetahuan dan kecerdasan buatan, dan titik konvergensi di antara keduanya: AI yang Dapat Diverifikasi. 🗓️ 29 September, 11 pagi-5 sore 📍 Caldwell House, Singapura Mendaftar untuk hadir, berbicara, atau mensponsori di

Sejujurnya, sesi kelompok membaca kertas putih ini adalah beberapa hal terbaik yang pernah saya lakukan di sebuah konferensi.

Jalankan Aplikasi Anda seperti Anda menjalankan aplikasi web2 Anda Pergi Tanpa 🚀 Rantai

Bagaimana jika dApps tidak perlu tinggal di dalam blockchain sama sekali? Itulah ide yang dieksplorasi oleh @BrianSeong99 (@0xPolygon) dan @paulgebheim (@SeiNetwork) dalam sesi @WPReadingClub SBC ini di Chainless - kerangka kerja untuk membangun aplikasi yang dapat diverifikasi yang berjalan dengan kecepatan Web2 sambil menambatkan kepercayaan mereka ke Web3. Alih-alih memaksa komputasi ke dalam Solidity atau zkVM, Chainless memungkinkan aplikasi untuk berjalan offchain di lingkungan apa pun, sambil mengirimkan bukti onchain untuk penyelesaian dan interoperabilitas. Diskusi ini melihat mengapa pengalaman pengembang saat ini terbatas, bagaimana aplikasi yang dapat diverifikasi dapat membuka kategori baru seperti mesin perdagangan atau aplikasi pribadi dengan default, dan pengorbanan apa yang datang dengan memisahkan eksekusi dari penyelesaian. Brian dan Paul juga menyelami tantangan praktis: biaya pembuktian, reproduktifitas, dan sinyal permintaan apa yang akhirnya dapat mendorong adopsi. Ringkasan: Kertas: Juga tersedia di YouTube:

Bitcoin L2s - pendapat ahli dari @michaelterpin, Pendiri @TransformVC21, @BitAngels, dan penasihat @GOATRollup: • Mengapa L2s: Tambahkan kemampuan pemrograman dan throughput tanpa mengubah Bitcoin L1. Contoh: Sistem berbasis BitVM2, rollup. • Model keamanan: Lebih suka desain yang menetap di rantai; Hindari jembatan kustodian. Validitas L2 harus berlabuh ke Bitcoin. • Kasus penggunaan: Bridging yang diminimalkan kepercayaan, stablecoin yang didukung BTC, rel DeFi, alur pembayaran baru. • Dampak makro: Memperkuat dominasi BTC; melengkapi tesis penyimpan nilai daripada menggantinya. • Jalur adopsi: Inovasi sering muncul di rantai lain terlebih dahulu; jika akan berskala, itu di-porting ke Bitcoin melalui L2s. • Tampilan siklus: Bitcoin L2 adalah narasi utama siklus ini, tetapi bukan satu-satunya pendorong harga. Dengarkan diskusi lengkap tentang dengan Michael - wawasan tentang BitVM2, penyelesaian on-chain, dan di mana L2 cocok dalam peta jalan Bitcoin:

House of ZK Radio #67: Ming Guo, Co-founder & Chief Scientist di ZKM - tersedia sekarang di Spotify & YouTube 🔳 Dalam episode ini, @alicelingl duduk bersama @DacEconomy - Co-founder & Chief Research Scientist di @ProjectZKM - untuk memetakan bagaimana pengetahuan nol telah bergeser dari @ethereum ke Bitcoin, dan seperti apa ekonomi Bitcoin yang diamankan oleh komputasi yang dapat diverifikasi sebenarnya. Spotify: YouTube: Apa yang ada di dalamnya: • Perkembangan ZK: privasi transaksi → sirkuit umum → zkVM dengan pembuktian hampir real-time • Mengapa desain zkVM berbasis MIPS ZKM penting untuk kinerja, stabilitas, dan verifikasi • Arsitektur Bitcoin L2 berbasis BitVM2 seperti @GOATRollup, dan mengapa L2 adalah rute aman menuju kemampuan pemrograman • "Penyelesaian universal": komputasi yang dapat diverifikasi sebagai dasar untuk aplikasi terdesentralisasi • Akuntabilitas dan insentif yang dapat diprogram vs. model "percayai pihak" warisan • UX pengembang: dari zkDSL hingga menulis kode normal dan membuktikan eksekusi di zkVM • Di luar "penyimpan nilai": imbal hasil, aset stabil, dan aktivitas on-chain yang berlabuh pada Bitcoin tanpa mengorbankan keamanan L1 Jika Anda membangun Bitcoin atau ZK, episode ini memberikan kerangka kerja yang jelas untuk tumpukan, trade-off, dan apa yang diperlukan untuk beralih dari sekadar memegang BTC ke ekonomi yang berfungsi dan dapat diverifikasi.

Di sini kami melaporkan kemajuan pembangun terkemuka dalam ekosistem zkVM, mendokumentasikan rilis signifikan baru-baru ini, terobosan teknis, dan pembaruan umum. Menampilkan: @SuccinctLabs, @ProjectZKM, @NexusLabs, @RiscZero, Jolt (@a16zcrypto), @ziskvm, & @ligero_inc 👇

Bagaimana jika @solana bisa menyelesaikan blok dalam waktu kurang dari setengah detik? Itulah visi yang digariskan oleh Roger Wattenhofer (Kepala Riset di @anza_xyz/@ETH_en) dalam sesi @WPReadingClub Reading ini. Mengambil dari penelitian konsensus akademis dan desain unik Solana, @TheWattenhofer menyajikan Alpenveil, proposal protokol konsensus baru yang menggabungkan: • Finalitas ultra-cepat - hasil simulasi menunjukkan finalisasi blok dalam ~150ms, dengan jalur dunia nyata mendekati konfirmasi tingkat pengguna ~500ms. • Pemungutan suara paralel - mekanisme baru yang menjalankan pemungutan suara satu putaran (80%) dan dua putaran (60%→komitmen) secara paralel, membiarkan mana pun yang menyelesaikan lebih cepat menyelesaikan pemblokiran. • Bukti keamanan formal - model ketat yang berangkat dari asumsi tradisional 33% Bizantium, dengan alasan untuk model kesalahan yang lebih realistis (20% Bizantium, 40% toleran terhadap kesalahan) mengingat lanskap validator saat ini. • Pengorbanan desain sistem - mulai dari pengkodean penghapusan untuk penyebaran data hingga mengapa pemotongan dihindari (setidaknya pada awalnya), dan bagaimana distribusi stake geografis memengaruhi latensi. Sesi yang luar biasa ini adalah pemikiran ulang mendasar tentang konsensus untuk blockchain berkinerja tinggi, memadukan teori, praktik, dan kendala dunia nyata Solana. Ringkasan: Kertas: Juga tersedia di YouTube:

Di sini kami melaporkan kemajuan pembangun terkemuka dalam ekosistem Layanan Pembuktian, mendokumentasikan rilis signifikan baru-baru ini, terobosan teknis, dan pembaruan umum. Menampilkan: @fermah_xyz, @Ingo_zk, @brevis_zk, @zan_team, & @vlayer_xyz ⬇️