Mainnet beta terlihat bagus di sini. - Persaingan Prover sangat tinggi - Pembuktian secara efektif gratis di Boundless - Semua pembuktian adalah pihak ketiga (Tim Boundless tidak melakukan pembuktian, af terdesentralisasi) Boundless adalah sah.

mendapat ide untuk menulis ini saat menonton pembicaraan Jigsaw di SBC () yang merupakan pendekatan berbasis coSNARK untuk kontrak pintar pribadi.

Cara membangun kontrak pintar pribadi melalui: - zkSNARK: Status adalah komitmen, pembuktian tunggal menghitung pada teks biasa dan memposting zkSNARK, tidak ada dekripsi global atau kontrol akses. - coSNARK: Status adalah komitmen, komputasi off-chain melalui MPC sehingga tidak ada satu server yang melihat saksi penuh, masih belum ada dekripsi global atau kontrol akses. - TEE: Status adalah teks sandi di luar dan teks biasa di dalam kantong, komputasi dan dekripsi berpagar kebijakan dijalankan di dalam kantong yang dibuktikan dari jarak jauh, mengandalkan integritas perangkat keras/pengesahan. - FHE: Status adalah teks sandi di bawah kunci FHE umum, siapa pun dapat mengevaluasi secara homomorfis dengan verifikasi on-chain, dekripsi dijaga oleh komite ambang batas (risiko kolusi). - iO: Status adalah teks sandi dan komputasi bersifat homomorf, dekripsi yang dikaburkan publik menegakkan kebijakan dekripsi tanpa pemegang kunci langsung (tidak ada risiko kolusi).

Menakjubkan melihat begitu banyak L2 utama sekarang di tahap 1. Tujuan berikutnya yang harus kita bidik adalah, dalam pandangan saya, waktu penarikan yang cepat (<1 jam), diaktifkan oleh sistem bukti validitas (alias ZK). Saya menganggap ini bahkan lebih penting daripada tahap 2. Waktu penarikan yang cepat penting karena menunggu seminggu untuk menarik diri terlalu lama bagi orang-orang, dan bahkan untuk menjembatani berbasis niat (mis. ERC-7683), biaya modal menjadi terlalu tinggi jika penyedia likuiditas harus menunggu seminggu. Ini menciptakan insentif besar untuk menggunakan solusi dengan asumsi kepercayaan yang tidak dapat diterima (misalnya multisigs/MPC) yang merusak inti memiliki L2 alih-alih L1 yang sepenuhnya independen. Jika kita dapat mengurangi waktu penarikan asli menjadi di bawah 1 jam jangka pendek, dan 12 detik jangka menengah, maka kita dapat lebih memperkuat Ethereum L1 sebagai tempat default untuk menerbitkan aset, dan pusat ekonomi ekosistem Ethereum. Untuk melakukan ini, kita perlu menjauh dari sistem bukti optimis, yang secara inheren membutuhkan menunggu beberapa hari untuk menarik diri. Secara historis, teknologi bukti ZK belum matang dan mahal, yang menjadikan bukti optimis sebagai pilihan yang cerdas dan aman. Namun baru-baru ini, ini berubah dengan cepat. adalah tempat yang sangat baik untuk melacak kemajuan bukti ZK-EVM, yang telah meningkat pesat. Verifikasi formal pada bukti ZK juga maju. Awal tahun ini, saya mengusulkan strategi sistem bukti ZK + OP + TEE 2-of-3 yang menghubungkan antara keamanan, kecepatan, dan kematangan: * 2 dari 3 sistem (ZK, OP) tidak dapat dipercaya, sehingga tidak ada aktor tunggal (termasuk produsen TEE atau penyerang saluran samping) yang dapat merusak sistem bukti dengan melanggar asumsi kepercayaan * 2 dari 3 sistem (ZK, TEE) instan, sehingga Anda mendapatkan penarikan cepat dalam kasus normal * 2 dari 3 sistem (TEE, OP) telah diproduksi dalam berbagai konteks selama bertahun-tahun Ini adalah salah satu pendekatan; mungkin orang akan memilih untuk melakukan tiebreak ZK + ZK + OP, atau tiebreak ZK + ZK + dewan keamanan. Saya tidak memiliki pendapat yang kuat di sini, saya peduli dengan tujuan yang mendasarinya, yaitu menjadi cepat (dalam kasus normal) dan aman. Dengan sistem pembuktian seperti itu, satu-satunya hambatan yang tersisa untuk penyelesaian cepat menjadi biaya gas untuk mengirimkan bukti onchain. Inilah sebabnya mengapa jangka pendek saya katakan sekali per jam: jika Anda mencoba mengirimkan bukti ZK gas 500k+ (atau STRADE gas 5m) lebih sering, itu menambah biaya tambahan yang tinggi. Dalam jangka panjang, kita dapat menyelesaikannya dengan agregasi: N bukti dari N rollup (ditambah tx dari pengguna protokol privasi) dapat diganti dengan satu bukti yang membuktikan validitas bukti N. Ini menjadi ekonomis untuk dikirimkan sekali per slot, memungkinkan endgame: pergerakan aset lintas-L2 asli yang hampir instan melalui L1. Mari kita bekerja sama untuk mewujudkannya.

Dapatkan gadis-gadis @chippedsocial 💕

Pengurutan terdesentralisasi adalah solusi untuk resistensi sensor dan minimalisasi kepercayaan. Ini tidak selalu menyiratkan waktu aktif yang lebih baik. Rollup mampu mempertahankan uptime yang sangat tinggi karena memiliki infra terpusat. Pengurutan terdesentralisasi (di antara pihak yang tidak tepercaya) menimbulkan risiko kegagalan sequencer yang konstan. Meskipun jaringan dapat pulih dari kegagalan ini lebih cepat (<33 menit dibandingkan dengan @base kemarin), kemungkinan kegagalan terjadi lebih tinggi. Ada banyak manfaat dari pengurutan terdesentralisasi, tetapi itu bukan peluru perak untuk semua masalah kita.

jika Anda membangun dengan EigenCloud, Anda masih lebih awal 🫡

Kepiting Karat sebelum Depot: ☠️ Setelah mencolokkan ke Depot Cache + pelari yang lebih cepat: 🦀💨 Panduan lengkap di 🧵

Kembali pada tahun 2023, Arbitrum adalah rantai FIFO dan tidak memiliki prioritas pemesanan gas Dengan sequencer terpusatnya, Arbitrum tidak dapat dibedakan dari pertukaran terpusat

Bagaimana saya hampir menjatuhkan Arbitrum - dan bagaimana hal itu meradikalisasi saya 🧵