Soal Jawab pembuktian waktu nyata :) Apa itu? ELI12. J: Pasukan kutu buku baru saja memecahkan masalah fiksi ilmiah: membuktikan setiap blok mainnet Ethereum secara real time. Bukti zk ini secara eksponensial lebih murah untuk diverifikasi daripada mengeksekusi ulang transaksi—hanya beberapa milidetik, apa pun gas yang digunakan. Blok Thicc, validator kecil. Desentralisasi maxis bersukacita. Bukankah real-time membuktikan matematika bulan yang mustahil? J: Itu benar. Lima tahun yang lalu kami berjarak lima urutan besarnya. Tetapi teknologi terus bertambah 10x/tahun, dan sekarang kami di sini. Jangan memudarkan eksponensial. Juga, pada eksponensial: → tidak memudarkan komputer kuantum yang merusak ECDSA → tidak memudar halving yang merusak keamanan Bitcoin Bagaimana Ethereum L1 menjadi "rollup berbasis dan asli"? J: Mari kita uraikan. → berdasarkan: L1 pengusul memesan transaksi. Ethereum L1 adalah lapisan dasar—berbasis tautologis. → asli: L1 mengeksekusi transaksi melalui fungsi transisi status EVM yang diabadikan. Menurut definisi Ethereum L1 adalah asli. Akan selalu begitu. → rollup: Rollup memiliki data onchain dan eksekusi offchain. Dengan menggeram blok EVM mainnet, Ethereum L1 berubah menjadi rollup zk. Rollup membuka batas gas yang besar. Basis sudah berada di 35 megagas/detik—20x Ethereum L1. Base menargetkan 1 gigagas/detik, Ethereum L1 juga bisa sampai di sana. Wen gigagas L1? A: Panggilan Ethproofs #3 akan didedikasikan untuk gigagas L1—dengarkan. Dengan EIP-9698 Dankrad mengusulkan benjolan gas ~3x/tahun, atau ~10x setiap 2 tahun. Itu 1.000x dalam 6 tahun. Terhormat—tetapi tetap nomor pemula. Pandangan optimis saya? Sekarang zkVM cocok dengan kinerja EVM, batas gas dapat melacak peningkatan zkVM. Jika kita terus mencapai 10x/tahun itu 1 gigagas/detik dalam 3 tahun. Saya bekerja dengan Dankrad selama lebih dari satu dekade—kenyataan biasanya mendarat di antara kehati-hatiannya dan hopium saya. Bukankah zkVM bermasalah? Bagaimana dengan verifikasi formal? J: Verifikasi formal adalah akhir permainan—bukan langkah pertama. Strategi jangka pendek: keragaman zkVM. Pada akhir Q2, segelintir zkVM akan mencapai pembuktian waktu nyata. Sama seperti klien CL dan EL, setiap klien individu diasumsikan bermasalah. Keamanan berasal dari keragaman. Bisakah latensi rendah membuktikan skala menjadi gigagas? J: Iya. Pembuktian SNARK dapat diparalelkan secara besar-besaran. Hanya eksekusi dan pemotongan x86 awal yang berurutan. EIP-7825 mengusulkan untuk membatasi jumlah maksimum gas yang digunakan per transaksi. Hal ini memungkinkan pemotongan yang mudah pada batas transaksi. Skala paralelisme. Latensi tetap rendah. Apa kemacetan zkVM berikutnya? Kuasa. Keaktifan pembuktian 1-of-n yang kredibel berarti pembuktian rumah harus dapat diakses oleh para penggemar. Target yang masuk akal mungkin 10kW atau kurang per klaster pembuktian. Bagaimana kita menumbuhkan batas gas 1.000x dengan anggaran 10kW? → perangkat lunak: sistem pembuktian, sirkuit, algos terus meracikan Perangkat keras →: Hukum Moore + SNARK ASIC → pembuktian terdistribusi: sebarkan beban, tanpa kepercayaan