Ini adalah edisi pertama ZK-Roller-Coaster tempat kami melacak dan menyelidiki hal-hal ZK yang paling menarik, bermakna, dan gila dalam dua minggu sebelumnya.
Apa yang diharapkan? Diskusi dan proposal penelitian ZK yang baru dan sedang berlangsung, proyek baru, pembaruan dari proyek yang sudah ada dan yang disukai, drama ZK, beberapa tontonan dan tulisan pendidikan, peluang bagi pembangun, dan teka-teki bagi mereka yang penasaran. Tidak semuanya terjadi setiap saat, tetapi semuanya dari waktu ke waktu.
Mari kita mulai dengan ZK-Roller-Coaster edisi pertama! Pegang erat-erat! 🎢
Bumbu minggu ini 🌶️
Rupanya tidak ada yang benar-benar tahu cara kerja rollup! Kelvin dari Optimism memberikan presentasi yang bagus tentang model mental rollupnya, dan menegaskan bahwa ZK Rollup tidak ada! Menyeramkan! (Tetapi rollup yang optimis juga tidak, menurutnya… semuanya hanyalah rollup).
ZK dan penelitian rollup 🧙
thread penelitian tentang rollup "berbasis" atau "berurutan L1" (oleh Justin Drake). TLDR: “kami menyorot subset khusus dari rollup yang kami sebut “berbasis” atau “berurutan L1”. Urutan rollup tersebut — pengurutan berbasis — sangat sederhana dan mewarisi keaktifan dan desentralisasi L1. Selain itu, rollup berbasis secara khusus selaras secara ekonomi dengan L1 dasarnya.” Taiko mendukung pendekatan untuk menjadi sedesentralisasi mungkin, sepenuhnya bergantung pada Ethereum untuk desentralisasi sequencer/pengusul.
proposal penelitian: Membuat Tanda Tangan Verifikator yang Ditunjuk Kompatibel di Ethereum (oleh Shrey Jain dan Enrico Bottazzi). Ringkasan singkat di thread Enrico.
proposal penelitian tentang Protokol Komunikasi Cross-Rollup berbasis ZK (oleh Daniel Ivanov dari LimeLabs).
Kumpulan bug, kerentanan, dan eksploitasi yang dikelola komunitas dalam aplikasi menggunakan kripto ZK oleh komunitas 0xPARC.
Alex Stokes menerbitkan rancangan “sistemisasi pengetahuan”: apa yang kita maksud ketika kita berbicara tentang “pengurutan”? Pekerjaan ini masih dalam proses, silakan berkontribusi.
Pembaruan ZK dan rollup 🎈
Espresso Systems menerbitkan makalah (oleh Ben Fisch dan Benedikt Bünz) yang menyajikan Espresso Sequencer, sebuah alat untuk desentralisasi rollup.
Avail, solusi Ketersediaan Data Polygon, akan dipisahkan sepenuhnya dari Polygon Labs.
Geometri menghadirkan Semacaulk, protokol keanggotaan kumpulan tanpa pengetahuan yang hemat gas.
Succinct Labs memperkenalkan Telepati, protokol interoperabilitas zkSNARK yang terdesentralisasi dan aman untuk Ethereum.
Sismo meluncurkan zkConnect = autentikasi langsung + pengungkapan data selektif.
Porçu Quine (tim Filecoin Proofs) memperkenalkan Lurk, bahasa pemrograman berbasis LISP baru untuk zk-SNARKs.
Arbitrum mengumumkan peluncuran tata kelola DAO.
Sorotan industri non-ZK 🎡
Rekap (oleh Tim Beiko) dan rekaman Pertemuan Lapisan Eksekusi Ethereum terakhir (tetapkan tanggal mainnet Shapella (!!), membahas setiap potensi EIP Cancun sejauh ini, membahas pembangunan blok lokal, dll.)
Laporan Transparansi Flashbots.
Peluang 🏄♀️
19 Apr: mendalami Sangria, skema pelipatan baru untuk Plonk dengan batasan plonk yang santai, obrolan perselisihan oleh Nico dari Geometry.
Membaca dan menonton 🎞
Umum
Rollup Tidak Nyata: bacaan panjang oleh Jon Charbonneau tentang Mekanisme Inklusi Transaksi Paksa, Desentralisasi Sequencer L2 dan Konsensus (Opsional), Sequencer Bersama & Atomicity X-Chain dan Desain MEV-Aware.
Mendekonstruksi Rollup: apa yang sebenarnya mendefinisikan rollup? Komunitas atau jembatan validasi? – sebuah artikel oleh Patrick McCorry.
Masa depan pemungutan suara Pribadi, Fleksibel & Anonim (oleh Raf Solari dari Tally dan O(1) Labs), rekaman ruang twitter.
Danksharding bagian 1 dengan Yuval Domb, ceramah.
Rollup Melalui Prisma Jembatan Validasi, slide dari pembicaraan ETHDubai oleh Toghrul Maharramov dari Scroll.
Desain zkVM Optimal (oleh Max Gillett), pembicaraan singkat.
Matematika mewah, kriptografi, dan fisika kuantum
Pengirim Fungsi Gas Konstan di EVM, sebuah buku panjang oleh filologi.
TFHE (Enkripsi Homomorfik Sepenuhnya) Penyelaman Mendalam - Bagian I - Tipe teks sandi, bacaan panjang oleh Zama.
Keadaan bahasa EVM saat ini, sebuah penelitian yang telah lama dibaca oleh jtriley.
ZKWasm: Memperluas Cakrawala Teknologi Pelestarian Privasi dengan SuperNova, sebuah buku panjang yang ditulis oleh Wyatt Benno dari ICME Labs.
Peningkatan eksponensial untuk diagonal Ramsey, penjelasan thread oleh Timothy Gowers.
Menyatukan rasa toleransi kesalahan dengan kalkulus ZX, sebuah makalah penelitian.
Terima kasih telah membaca ZK-Roller-Coaster edisi pertama. Sampai jumpa dalam dua minggu! 🚵♀️
