Serangan zkEVM! Momen 10x Crypto – Majalah Cointelegraph

Crypto saat ini mendekam seperti internet pada tahun 1996 dengan kecepatan lambat dan beberapa kasus penggunaan praktis, kata Steve Newcomb, chief product officer Matter Labs.

Tetapi peningkatan besar dalam bandwidth dan keamanan segera setelah melihat internet menjadi bagian penting dari kehidupan sehari-hari di seluruh dunia — dan kami berada di titik puncak yang terjadi untuk crypto dalam beberapa bulan ke depan.

“Tidak ada yang memercayai kartu kredit mereka dan semua orang mengira itu hanya iseng dan tidak ada kasus penggunaan untuk itu,” Newcomb menjelaskan. 

“Dan kemudian kami memiliki 10x momen dalam bandwidth dan kemudian SSL datang, dan HTPS tempat Anda mendapatkan kunci itu — itu adalah momen kepercayaan 10x. Tiba-tiba pada tahun 2005 e-niaga baru saja mencapai puncaknya.”

Momen '10x' Crypto akhirnya bisa ada di sini, dengan peluncuran mainnet yang kompatibel dengan Ethereum Virtual Machine zkSync pada 28 Oktober. EVM pada dasarnya adalah sistem operasi untuk Ethereum dan memungkinkannya bekerja menggunakan zero knowledge rollups berarti semua yang berjalan di Ethereum dapat dengan mulus berpindah ke pengalaman lompatan besar dalam kecepatan dan biaya yang lebih rendah. 

Mereka bukan satu-satunya yang mengatasi masalah ini: Polygon meluncurkan testnetnya untuk zkEVM-nya sendiri minggu ini dengan Aave, Uniswap, dan Lens semuanya berkomitmen untuk menerapkannya. Scroll meluncurkan "Pre Alpha testnet" pada bulan Juli sementara Solusi zk StarkWare telah melalui jutaan transaksi sebulan

Co-founder Ethereum Vitalik Buterin mengatakan zk rollups berarti crypto akhirnya dapat digunakan untuk pembayaran lagi
Co-founder Ethereum Vitalik Buterin mengatakan ZK rollups berarti crypto akhirnya dapat digunakan untuk pembayaran lagi. (Andrew Fenton)

Semua solusi ini didanai dengan baik, dengan Scroll mengumpulkan $30 juta, Starkware mengumpulkan $150 juta, dan Polygon mengumpulkan $450 juta. Newcomb mengisyaratkan bahwa putaran pendanaan zkSync sendiri berada di stadion baseball yang sama dengan Polygon, tetapi belum diumumkan secara resmi.  

StarkWare jauh di depan paket, setelah meluncurkan solusi rollup ZK sendiri sembilan bulan lalu dan itu mengaktifkan penskalaan rekursif pada bulan Agustus. Tapi itu juga membuat keputusan berisiko untuk menggunakan bahasa pemrograman khusus yang disebut Kairo untuk skala lebih efisien. Ini bisa melihat adopsi oleh protokol besar bergerak ke jalur yang paling tidak tahan pada solusi yang kompatibel dengan EVM.

Semua solusi juga bekerja pada penskalaan rekursif dan/atau implementasi 'Lapisan 3' yang akan membuat transaksi Ethereum berpotensi menjadi ribuan kali lebih cepat, menghilangkan kebutuhan akan jembatan antarrantai, dan memungkinkan crypto akhirnya menyadari potensi sebenarnya.

Apa itu rollup pengetahuan nol, atau rollup zk?

Rollup ZK adalah salah satu kata kunci terbesar di blockchain saat ini. Teknologi ini memungkinkan ribuan transaksi dihitung dari blockchain Ethereum yang sangat lambat, dengan “bukti validitas” kecil yang memverifikasi bahwa semua transaksi dilakukan dengan benar. Jadi Anda dapat “menggulung” 10,000 transaksi yang dilakukan di tempat lain menjadi satu transaksi ETH. Ini masalah besar karena bahkan setelah Gabung Ethereum tertatih-tatih pada 15 transaksi per detik.

Rollup ZK telah digunakan untuk NFT dan transaksi keuangan untuk beberapa waktu sekarang di platform seperti Loopring, dyDx, dan lainnya. Tetapi seperti yang ditunjukkan oleh salah satu pendiri Vitalik Buterin selama ETH Seoul pada bulan Agustus: 

“Secara umum, saya pikir kita telah belajar bahwa orang tidak hanya menginginkan uang yang terukur, mereka menginginkan EVM yang terukur.”

Itu salah satu dari apa yang Newcomb sebut "lima elemen ajaib" untuk rollup ZK. Dalam pandangannya solusi rollup ZK harus tujuan umum, EVM Kompatibel dan mendukung bahasa pemrograman Ethereum Solidity. Itu juga harus open source agar sesuai dengan etos pendiri crypto, dan harus memiliki distribusi token yang mendesentralisasikan protokol daripada memusatkan kekayaan di antara tim.

Secara kebetulan yang aneh, zkSync telah mencapai kelima metrik yang ditentukan sendiri ini. (Newcomb mengatakan dia tidak bisa merinci distribusi token yang tepat, tetapi mengatakan sekitar 30% untuk orang dalam tampaknya merupakan "konsensus.")

Daftar periksa adalah semacam kritik terselubung terhadap pesaing StarkWare yang diatur untuk memberikan 49.9% pasokan token StarkNet kepada investor dan kontributor inti. Ini juga bukan open source, meskipun berencana untuk memberikan kontrol IP kepada komunitasnya. 

Co-founder Eli Ben-Sasson menjelaskan bahwa satu-satunya cara untuk memanfaatkan sepenuhnya penskalaan yang diberikan oleh ZK rollup adalah dengan menggunakan bahasa khusus seperti Kairo.

“Saya sangat yakin orang akan menyadari begitu mereka mengaktifkan bukti bahwa tujuannya bukan untuk mensimulasikan EVM. Tujuannya adalah untuk mencapai skalabilitas. Untuk menempatkan 10,000, 100,000, satu juta transaksi dan buktinya dipasang di dalam satu blok Ethereum, ”katanya.

“Saya berani bertaruh bahwa Anda tidak akan melihat ZK EVM penuh yang dapat menempatkan satu juta transaksi di dalam satu bukti di Ethereum. Seperti yang dapat kita lakukan dengan mudah hari ini dan telah dilakukan selama berbulan-bulan dan bertahun-tahun.”

Eli Ben-Sasson mengatakan solusinya lebih cepat dan lebih baik daripada EVM kludgy. (Andrew Fenton)

Penskalaan versus kompatibilitas

StarkWare's Odin-Free menjelaskan di Twitter ada alasan matematika yang rumit di balik kebutuhan akan bahasa khusus karena "sistem bukti seperti Stark didasarkan pada polinomial di atas bidang terbatas, memberikan persamaan polinomial yang jauh lebih efektif." OK, mari kita mengambil kata-katanya untuk itu.

Untuk Ben-Sasson, mencoba menambahkan EVM adalah hal yang bodoh:

“Jika Anda ingin menyelesaikan masalah transportasi, Anda bisa mengambil truk besar dan memasukkannya ke dalam pesawat dan meminta pesawat mengirimkannya,” katanya.

“Ada pesawat yang bisa memuat truk di dalamnya, tapi itu cara yang sangat tidak efisien untuk melakukannya. Cara yang jauh lebih baik adalah mengambil barang-barang dan meletakkannya langsung di pesawat.”

Konon, ekosistem memang memiliki transpiler yang disebut Warp yang mengubah kode Soliditas menjadi kode Kairo dan yang baru saja digunakan untuk port melalui garpu Uniswap ke StarkNet.

Jadi pada dasarnya dengan rollup ZK ada pilihan yang harus dibuat antara kompatibilitas total dengan EVM dan penskalaan. Kompatibilitas total memungkinkan DApps dan protokol untuk porting dengan mulus dan semuanya bekerja persis seperti di Ethereum untuk pengembang dan pengguna, tetapi dalam hal penskalaan, lebih cepat jelas lebih baik.

Newcomb mengakui solusi StarkWare akan menghasilkan skala yang lebih baik, tetapi mengatakan mengorbankan aksesibilitas berarti lebih cocok untuk aplikasi perusahaan yang dipesan lebih dahulu daripada menjadi bagian mendasar dari Ethereum karena “friksi adopsi.”

“Mereka tidak kompatibel dengan EVM, jadi sangat sulit untuk porting ke mereka. Kami telah melihat proyek yang membutuhkan waktu tujuh bulan untuk diserahkan kepada mereka.”

Kompatibel tapi kurang elegan

Tidak ada definisi yang disepakati, tetapi 'EVM setara' biasanya berarti "persis sama dengan EVM" sehingga Anda dapat menerapkan kontrak pintar yang ada pada solusi tanpa perubahan apa pun.

Gulir secara luas disetujui untuk setara, tetapi juga belum pada testnet yang tepat dan berbulan-bulan di belakang yang lain dengan anggaran yang relatif kecil. Solusi zkEVM Polygon mengklaim setara (namun ini ditentang.) Sementara itu, zkSync akan kompatibel dengan EVM – yang berarti hampir identik tetapi beberapa hal mungkin tidak berfungsi karena beberapa pilihan desain untuk membuat solusi bekerja lebih baik.

Steve Newcomb bersemangat tentang mengapa dia percaya zkSync memiliki kelima bahan yang diperlukan untuk sukses. (Tangkapan layar wawancara)

Poligon meluncurkan zkEVM Public Testnet pada hari Senin dengan mengklaim “Polygon adalah proyek pertama yang menghadirkan implementasi zkEVM open source berfitur lengkap; tonggak terobosan, tidak hanya untuk Polygon, tetapi untuk seluruh industri.” Polygon mengatakan testnet "mencakup zk-Prover yang sepenuhnya open-source — yang pertama dari jenisnya yang dirilis secara publik."

Co-founder Mihailo Bjelic mengatakan kepada Magazine bahwa tes awal menunjukkan bahwa “zkEVM Polygon dapat mengurangi biaya jaringan Ethereum sekitar 90% dan meningkatkan throughput jaringan beberapa kali lipat.”

Dia mengatakan bahwa open source teknologi “membuktikan keselarasan kami dengan etos industri dan meningkatkan keamanan solusi karena siapa pun dapat meninjaunya dan menunjukkan potensi bug. Ini tidak terjadi pada StarkNet atau zkSync, yang menjaga bagian penting dari implementasinya sebagai sumber tertutup, setidaknya untuk saat ini.”

Sedikit teknis

Menurut Luozhu Zhang dari Scroll, ada tiga jenis zkEVM yang potensial: level bytecode, level bahasa, dan level konsensus. zkSync dan StarkWare berada pada level bahasa dan memerlukan langkah compiler atau transpiler, sedangkan Scroll dan Polygon adalah pendekatan level bytecode. Bentuk bytecode yang dapat dibaca manusia disebut opcode.

Bjelic mengatakan bahwa solusi Polygon dirancang agar setara dengan EVM sedangkan:

“Proyek seperti StarkNet dan zkSync mengambil rute yang berbeda — mereka memiliki mesin virtual kustom mereka sendiri, dan kemudian mereka mencoba untuk mengubah Solidity, bahasa paling populer yang dibangun di atas EVM ke bahasa yang dapat diinterpretasikan oleh mesin virtual ini,” katanya.

“Ada dua tantangan utama dengan pendekatan ini: (i) sulit untuk membangun transpiler yang akan mendukung 100% kontrak pintar Solidity dan (ii) bahkan jika Anda memiliki transpiler, Anda masih tidak dapat memanfaatkan semua pengembang dan pengguna akhir alat seperti Polygon zkEVM bisa.”

Newcomb mengatakan ada informasi buruk yang beredar. "Kami tidak mengubah, kami menyusun," katanya. Dan dia membalas Polygon dengan mengatakan bahwa dari melihat Github proyek bahwa mereka belum mengembangkan peribahasa tujuan umum yang berfungsi terintegrasi dengan sequencer yang berfungsi.  

“Jika ini masalahnya maka itu berarti mereka memiliki jumlah pekerjaan yang tidak dapat ditentukan yang harus dilakukan. 10% terakhir dari setiap sistem yang kompleks selalu yang paling sulit. Ini terlihat mirip dengan tempat kami berada atau bahkan di belakang tempat kami saat meluncurkan testnet. Dan kemudian setelah itu kami membutuhkan waktu sembilan bulan.”

Mihailo Bjelic dari Polygon mengatakan solusinya adalah 100% EVM setara. (Twitter)

Sebagian besar kompatibel

Sementara itu zkSync kompatibel dengan semua kecuali tiga dari 141 Opcode Ethereum — salah satunya telah ditinggalkan, yang lain tidak digunakan lagi dan yang ketiga digunakan oleh kurang dari 1/10 dari 1% proyek menurut Newcomb.

“Jadi apa yang kita dapatkan karena tidak sepenuhnya setara? Kami mendapat dua hal, biaya kinerja kami jauh lebih baik daripada solusi apa pun yang mengejar kesetaraan. Kami jauh lebih cepat, jauh lebih murah. Dan hal kedua yang kami dapatkan adalah kami dapat menempelkan kompiler LLVM di dalam rantai kami yang tidak dapat Anda lakukan jika Anda melakukan yang setara. Dan apa yang dilakukan oleh kompiler LLVM adalah kita sudah melihat lapisan tiga.”

LLVM akan membiarkan kode pengembang Python, Rust atau C++ pada solusi mereka, yang kemudian dikompilasi untuk bekerja dengan cara yang sama dengan Solidity. 

“Itu sangat besar untuk diadopsi. Jadi di mana proyek ini yang memakan waktu tujuh bulan di sini di Kairo, proyek ekosistem yang sama dikirimkan kepada kami dalam tujuh hari. Itu kompatibilitas.”

Dia mengakui hanya perlu satu hari untuk melakukan porting jika zkSync memiliki kesetaraan total tetapi akan kehilangan LLVM dan peningkatan penskalaan. Jadi dia mengatakan itu adalah pertukaran yang layak dilakukan.

Layer 3 dan penskalaan rekursif

Hal paling keren tentang dapat mengompres sejumlah besar transaksi menjadi satu bukti validitas, adalah bahwa teknologi ini memungkinkan Anda untuk mengompres banyak bukti lainnya menjadi satu bukti juga. 

Ini disebut penskalaan rekursif dan Declan Fox, manajer produk untuk rollup di Consensys, percaya itu sangat kuat sehingga secara teori seluruh sistem keuangan global dapat berjalan di Ethereum. “Kami memiliki teknologi untuk mencapai throughput semacam itu yang diperlukan,” katanya. “Dengan rollup dan bukti rekursif, kami secara teoritis dapat menskalakan tanpa batas.”

Baca juga: Ethereum memakan dunia: — 'Anda hanya perlu satu internet' 

StarkWare mengaktifkan penskalaan rekursif pada bulan Agustus dan telah memproses lebih dari 30 juta transaksi sejak menggunakan teknologi tersebut.

“Rekursi telah, pada tahap awal ini, meningkatkan jumlah transaksi dalam satu bukti sekitar 8x,” jelas Ben-Sasson. “Terlebih lagi, ini terbukti sangat efisien, segera setelah mulai diproduksi, ada pengurangan sekitar 40% dari biaya cloud kami sendiri untuk pembuatan bukti.

“Ini bukan prediksi atau angka yang kami harapkan untuk dilihat, melainkan angka dari apa yang diproduksi hari ini. Dan saya tekankan: ini baru permulaan, dan perubahan yang akan kami buat berarti angka-angka ini akan semakin mengesankan.

Ekosistem Starkware berkembang. (Twitter Harian ZK)

Polygon akan mengimplementasikan solusi Plonky2 menurut Bjelic. Ini adalah solusi zk-SNARK open source. “SNARK rekursif ini dapat digunakan untuk memverifikasi urutan transaksi lebih cepat dari alternatif yang ada. Plonky2 juga secara native kompatibel dengan Ethereum Virtual Machine, yang memungkinkan Polygon mengembangkan zkEVM.”

Dan testnet untuk Layer 3 zkSync akan segera dirilis, pada waktunya untuk memanfaatkan peningkatan Ethereum yang disebut Proto-Danksharding awal tahun depan yang dirancang khusus untuk memberikan ruang bagi Ethereum untuk berkembang. Newcomb mengharapkan Layer 3 akan diproduksi dalam waktu satu tahun. Mereka menyebutnya Pathfinder, sebuah ekosistem 'hyperchains fraktal.'

'Kita mungkin bisa terus bekerja selama berjam-jam, tetapi secara fungsional, semakin jauh rantai rekursif yang Anda dapatkan dari Etherium, semakin murah biaya data yang didapat dan itu 10x, 10x, 10x, 10x, karena Anda berulang dengan biaya data, dan itu unik untuk zk.”

“Di situlah kami mendapatkan 100,000 TPS dan satu juta TPS,” katanya. Visa berjalan sekitar 4000 TPS pada hari biasa, melonjak hingga sekitar 65,000 TPS pada waktu puncak seperti Natal.

“ZK adalah satu-satunya cara untuk mendapatkan 100,000 TPS sehingga Anda bisa mencapai level di mana sesuatu seperti Visa menggantikan protokol dasarnya dengan blockchain. Dan ketika Anda melakukannya, itulah momen adopsi massal Anda.”

Perkembangan menakjubkan lainnya menurut Newcomb adalah bahwa Layer 3 dapat menghilangkan persyaratan untuk jembatan antar rantai, di mana semua lebih dari $ 2 miliar peretasan telah terjadi tahun ini saja.

“Salah satu hal lain yang telah kami capai di Layer 3, kami menyingkirkan semua jembatan. Dan ketika Anda dapat meminta satu ahli melakukan rangkaian untuk semua hyperchains di L3, komunikasi apa pun dari satu blockchain ke blockchain lainnya sekarang adalah asli. Itulah alasan lain mengapa Vitalik mengatakan ini adalah permainan akhir karena tidak ada lagi jembatan.”

'Jika Anda membuatnya lebih cepat, lebih murah dengan urutan besarnya, jika Anda membuatnya lebih mudah digunakan dan lebih ramah kepada audiens pengembang yang lebih luas dengan memiliki lebih banyak bahasa yang tersedia, dan kemudian Anda membuat orang mempercayainya karena Anda menyingkirkan jembatan. Itulah yang selalu saya katakan adalah kumpulan bintang dengan momen 10x lebih tinggi di L3 dan di situlah permainan akan terjadi.”

Belum diperbaiki 

Jadi itu saja? Dengan kedatangan rollup ZK dan solusi penskalaan yang kompatibel dengan EVM, semuanya telah diselesaikan?

Sayangnya tidak. Rollup ZK saat ini sangat baik dalam mengambil alih komputasi Ethereum, tetapi mereka masih perlu menulis data yang cukup kembali ke rantai utama sehingga jika rollup berhenti bekerja atau diambil alih oleh orang jahat, maka beberapa pakaian lain dapat masuk ke dalam pelanggaran. dan mencari tahu siapa berutang apa kepada siapa.

Ini disebut masalah ketersediaan data dan sejumlah besar peta jalan Ethereum dengan proto danksharding dan danksharding penuh bertujuan untuk menyelesaikannya dan memungkinkan lebih banyak data untuk dimasukkan. Ada beberapa cara untuk mengatasinya saat ini termasuk menyimpan data di Validium, yang lebih murah tetapi kurang aman. 

“Jadi cara kami menggambarkannya adalah jika Anda memiliki koleksi kartu bisbol, dan banyak dari kartu ini yang harganya tidak mahal dan Anda telah menyimpannya di Validium, tetapi kemudian satu kartu langka yang bernilai banyak uang, Anda mungkin akan simpan di Layer 1,” kata Ben-Sasson.

Polygon sedang mengerjakan sejumlah solusi untuk masalah yang sama ini termasuk Avail “blockchain di mana informasi tersedia untuk semua orang kapan saja, dirancang khusus untuk tujuan ini,” kata Bjelic. 

Pathfinder zkSync akan memungkinkan devs untuk memilih dari tiga opsi untuk ketersediaan data, Validium, zkPorter (pencampuran di rantai dan di luar rantai) dan ZKRollup (keamanan penuh).

zkSync sudah dalam perjalanan. (Pexel)

Jangan berharap ledakan besar dari peluncuran mainnet zkSync pada 28 Oktober. Ini akan sedikit mengecewakan pada awalnya, dengan beberapa bulan hanya pengujian Matter Labs dan menawarkan hadiah kepada pengguna untuk mencoba meretas atau mengeksploitasinya. Kemudian DApps akan diizinkan untuk melakukan porting, dan mulai membangun dan menguji keamanan.

“Dan kemudian ketika kami merasa telah menyelesaikan semuanya, kami melakukan apa yang disebut lift in the gate,” kata Newcomb. “Dan kemudian semua pengguna dapat masuk ke sistem secara bersamaan dan itu disebut program rilis yang adil. Jadi kami tidak menyukai proyek apa pun daripada yang lain. ” Dia mengatakan bahwa 150 proyek akan diluncurkan pada saat itu dan tidak akan ada lagi alasan sebuah proyek akan menunggu solusi Polygon selesai.

“Sepertinya mereka pergi ke arena pacuan kuda dan mereka muncul dengan sasis mobil yang tidak memiliki roda, tanpa roda kemudi, dan sama sekali tanpa mesin,” katanya.

“Dan kami telah menyelesaikan seluruh produk. Anda tahu kami memiliki Ferrari dan kami siap untuk pergi.”

Andrew Fenton

Berbasis di Melbourne, Andrew Fenton adalah seorang jurnalis dan editor yang meliput cryptocurrency dan blockchain. Dia telah bekerja sebagai penulis hiburan nasional untuk News Corp Australia, di SA Weekend sebagai jurnalis film, dan di The Melbourne Weekly.

Sumber: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment