Crypto kini merana seperti internet pada tahun 1996 dengan kelajuan perlahan dan beberapa kes penggunaan praktikal, kata Steve Newcomb, ketua pegawai produk Matter Labs.
Tetapi peningkatan besar dalam lebar jalur dan keselamatan tidak lama kemudian menyaksikan internet menjadi bahagian penting dalam kehidupan seharian di seluruh dunia — dan kami berada di puncak kejadian itu untuk crypto dalam beberapa bulan akan datang.
"Tiada siapa yang mempercayai kad kredit mereka padanya dan semua orang menganggap ia adalah satu trend dan tidak ada sebarang kes penggunaan untuknya," jelas Newcomb.
“Dan kemudian kami mempunyai 10x detik dalam lebar jalur dan kemudian SSL datang, dan HTPS di mana anda mendapat kunci itu — itu adalah 10x detik dalam kepercayaan. Tiba-tiba pada tahun 2005 e-dagang hanya melalui bumbung.
Detik '10x' Crypto akhirnya boleh tiba di sini, dengan mesin utama serasi Mesin Maya Ethereum zkSync dilancarkan pada 28 Oktober. EVM pada asasnya ialah sistem pengendalian untuk Ethereum dan membolehkannya berfungsi menggunakan gulungan pengetahuan sifar bermakna segala-galanya yang berjalan pada Ethereum boleh dipindahkan dengan lancar untuk mengalami lompatan besar dalam kelajuan dan kos yang lebih rendah.
Mereka bukan satu-satunya yang menyerang masalah ini: Polygon melancarkan testnetnya untuk zkEVMnya sendiri minggu ini dengan Aave, Uniswap dan Lens semuanya komited untuk menggunakannya. Tatal melancarkan "testnet Pra Alpha" pada bulan Julai manakala Penyelesaian zk StarkWare telah melalui berjuta-juta transaksi sebulan.
Penyelesaian ini semuanya dibiayai dengan baik, dengan Scroll mengumpul $30J, Starkware mengumpul $150M dan Polygon mengumpul $450M. Newcomb membayangkan bahawa pusingan pembiayaan zkSync sendiri berada dalam kedudukan yang sama seperti Polygon, tetapi ia masih belum diumumkan secara rasmi.
StarkWare berada di hadapan pek, setelah melancarkan penyelesaian rollup ZK sendiri sembilan bulan lalu dan ia menghidupkan penskalaan rekursif pada bulan Ogos. Tetapi ia juga membuat keputusan berisiko untuk menggunakan bahasa pengaturcaraan tersuai yang dipanggil Kaherah untuk membuat skala dengan lebih cekap. Ini boleh melihat penggunaan oleh protokol besar bergerak ke laluan paling kurang rintangan pada penyelesaian serasi EVM.
Kesemua penyelesaian juga sedang mengusahakan penskalaan rekursif dan/atau pelaksanaan 'Lapisan 3' yang akan menyaksikan urus niaga Ethereum berpotensi menjadi beribu-ribu kali lebih pantas, menghapuskan keperluan untuk jambatan antara rantaian dan membenarkan crypto akhirnya merealisasikan potensi sebenarnya.
Apakah rollup pengetahuan sifar, atau rollup zk?
Penggulungan ZK adalah antara kata kunci terbesar dalam blockchain hari ini. Teknologi ini membolehkan beribu-ribu urus niaga dikira jauh dari blockchain Ethereum yang sangat perlahan, dengan "bukti kesahihan" kecil yang mengesahkan bahawa semua urus niaga telah dijalankan dengan betul. Jadi anda boleh "menggulung" 10,000 transaksi yang dijalankan di tempat lain ke dalam satu transaksi ETH. Ini masalah besar kerana walaupun selepas Merge Ethereum pincang bersama pada 15 transaksi sesaat.
Rollup ZK telah digunakan untuk NFT dan transaksi kewangan untuk beberapa waktu sekarang pada platform seperti Loopring, dyDx dan lain-lain. Tetapi seperti yang dinyatakan oleh pengasas bersama Vitalik Buterin semasa ETH Seoul pada bulan Ogos:
“Secara amnya, saya fikir kita telah mengetahui bahawa orang ramai bukan sahaja mahukan seperti perkara wang berskala, mereka mahukan EVM berskala.”
Ia adalah salah satu daripada apa yang Newcomb panggil "lima elemen ajaib" untuk rollup ZK. Pada pandangan beliau penyelesaian rollup ZK haruslah tujuan umum, EVM Compatible dan menyokong bahasa pengaturcaraan Ethereum Solidity. Ia juga harus menjadi sumber terbuka agar sesuai dengan etos pengasas crypto, dan ia harus mempunyai pengedaran token yang mendesentralisasikan protokol dan bukannya menumpukan kekayaan di kalangan pasukan.
Secara kebetulan, zkSync telah mencapai kesemua lima metrik yang dikenakan sendiri ini. (Newcomb mengatakan dia tidak dapat memperincikan pengedaran token yang tepat, tetapi mengatakan kira-kira 30% untuk orang dalam nampaknya adalah "konsensus.")
Senarai semak itu adalah kritikan terselubung terhadap pesaing StarkWare yang ditetapkan untuk memberikan 49.9% daripada bekalan token StarkNetnya kepada pelabur dan penyumbang teras. Ia juga bukan sumber terbuka, walaupun ia merancang untuk memberikan kawalan IP kepada komunitinya.
Pengasas bersama Eli Ben-Sasson menerangkan bahawa satu-satunya cara untuk memanfaatkan sepenuhnya penskalaan yang diberikan oleh rollups ZK ialah menggunakan bahasa tersuai seperti Kaherah.
“Saya sangat yakin orang ramai akan sedar sebaik sahaja mereka menghidupkan bukti bahawa matlamatnya bukan untuk mensimulasikan EVM. Matlamatnya adalah untuk mencapai skalabiliti. Untuk meletakkan 10,000, 100,000, satu juta transaksi dan mempunyai buktinya dipasang di dalam satu blok Ethereum, "katanya.
“Saya bersedia untuk bertaruh bahawa anda tidak akan melihat ZK EVM yang hebat yang boleh meletakkan sejuta transaksi dalam satu bukti pada Ethereum. Seperti yang kita boleh lakukan dengan mudah hari ini dan telah lakukan selama berbulan-bulan dan bertahun-tahun.”
Penskalaan berbanding keserasian
Odin-Free StarkWare menjelaskan di Twitter terdapat sebab matematik yang rumit di sebalik keperluan untuk bahasa tersuai kerana "sistem bukti seperti Stark adalah berdasarkan polinomial atas medan terhingga, memberikan persamaan polinomial yang lebih berkesan." OK, mari kita terima kata-katanya.
Untuk Ben-Sasson, cuba menambah EVM adalah bodoh:
"Jika anda ingin menyelesaikan pengangkutan, anda boleh mengambil trak besar dan meletakkannya di dalam pesawat dan meminta kapal terbang menghantarnya," katanya.
“Terdapat pesawat yang boleh memuatkan trak di dalam, tetapi itu adalah cara yang sangat tidak cekap untuk melakukannya. Cara yang lebih baik ialah hanya mengambil sesuatu dan meletakkannya terus ke dalam pesawat.”
Yang berkata, ekosistem itu mempunyai transpiler yang dipanggil Warp yang menukar kod Solidity menjadi kod Kaherah dan yang baru sahaja digunakan untuk mengalihkan satu percabangan Uniswap ke StarkNet.
Jadi pada asasnya dengan rollup ZK terdapat pilihan yang perlu dibuat antara keserasian total dengan EVM dan penskalaan. Keserasian menyeluruh membolehkan DApps dan protokol untuk dipindahkan dengan lancar dan semuanya berfungsi sama seperti pada Ethereum untuk pembangun dan pengguna, tetapi dari segi penskalaan, lebih pantas jelas lebih baik.
Newcomb mengakui penyelesaian StarkWare akan menghasilkan skala yang lebih baik, tetapi mengatakan mengorbankan kebolehaksesan bermakna ia lebih sesuai untuk aplikasi perusahaan yang dipesan lebih dahulu daripada menjadi bahagian asas Ethereum disebabkan oleh "geseran penggunaan."
“Mereka tidak serasi dengan EVM, jadi sangat sukar untuk dialihkan kepada mereka. Kami telah melihat projek yang mengambil masa tujuh bulan untuk dipindahkan kepada mereka.”
Serasi tetapi kurang elegan
Tiada definisi yang dipersetujui, tetapi 'setara EVM' biasanya bermaksud "sama persis seperti EVM" jadi anda boleh menggunakan kontrak pintar sedia ada pada penyelesaian tanpa sebarang perubahan.
Tatal dipersetujui secara meluas untuk menjadi setara, tetapi ia juga belum berada pada testnet yang betul dan jauh di belakang yang lain dengan belanjawan yang agak kecil. Penyelesaian zkEVM Polygon mendakwa sebagai setara (bagaimanapun ini dipertikaikan.) Sementara itu, zkSync akan serasi dengan EVM – yang bermaksud ia hampir sama tetapi beberapa perkara mungkin tidak berfungsi kerana beberapa pilihan reka bentuk untuk menjadikan penyelesaian berfungsi lebih baik.
Polygon melancarkan Testnet Awam zkEVMnya pada hari Isnin dengan mendakwa "Polygon ialah projek pertama yang pernah menyampaikan pelaksanaan sumber terbuka berciri penuh zkEVM; satu peristiwa penting, bukan sahaja untuk Poligon, tetapi untuk seluruh industri.” Polygon berkata testnet "termasuk zk-Prover sumber terbuka sepenuhnya - yang pertama seumpamanya untuk dikeluarkan secara terbuka."
Pengasas bersama Mihailo Bjelic memberitahu Majalah ujian awal menunjukkan bahawa "zkEVM Polygon boleh mengurangkan yuran rangkaian Ethereum sebanyak lebih kurang 90% dan meningkatkan daya pengeluaran rangkaian dengan beberapa urutan magnitud."
Beliau berkata bahawa sumber terbuka teknologi "membuktikan penjajaran kami dengan etos industri dan meningkatkan keselamatan penyelesaian kerana sesiapa sahaja boleh menyemaknya dan menunjukkan potensi pepijat. Ini tidak berlaku dengan StarkNet atau zkSync, yang memastikan bahagian kritikal pelaksanaannya ditutup sumber, sekurang-kurangnya buat masa ini."
Sedikit teknikal
Menurut Luozhu Zhang Scroll terdapat tiga jenis zkEVM yang berpotensi: tahap bytecode, tahap bahasa dan tahap konsensus. zkSync dan StarkWare berada pada tahap bahasa dan memerlukan langkah pengkompil atau transpiler, manakala Tatal dan Poligon ialah pendekatan tahap kod bait. Bentuk bytecode yang boleh dibaca manusia dipanggil opcode.
Bjelic mengatakan bahawa penyelesaian Polygon direka untuk menjadi setara EVM manakala:
"Projek seperti StarkNet dan zkSync mengambil laluan yang berbeza - mereka mempunyai mesin maya tersuai mereka sendiri, dan kemudian mereka cuba mentranspile Solidity, bahasa paling popular yang dibina di atas EVM kepada bahasa yang boleh ditafsirkan oleh mesin maya ini," katanya.
“Terdapat dua cabaran utama dengan pendekatan ini: (i) sukar untuk membina transpiler yang akan menyokong 100% kontrak pintar Solidity dan (ii) walaupun anda mempunyai transpiler anda masih tidak dapat memanfaatkan semua pembangun dan pengguna akhir alat seperti Polygon zkEVM boleh."
Newcomb mengatakan terdapat maklumat buruk yang beredar. "Kami tidak melakukan transpile, kami menyusun," katanya. Dan dia mengambil pukulan balik pada Polygon dengan mengatakan bahawa daripada melihat Github projek bahawa mereka masih belum membangunkan prover tujuan am yang berfungsi yang disepadukan dengan penjujukan kerja.
“Jika ini berlaku, bermakna mereka mempunyai jumlah kerja yang tidak dapat ditentukan. 10% terakhir dari mana-mana sistem yang kompleks sentiasa yang paling sukar. Ini kelihatan serupa dengan tempat kami berada atau malah di belakang tempat kami berada ketika kami melancarkan testnet. Dan selepas itu kami mengambil masa sembilan bulan.”
Kebanyakannya serasi
Sementara itu, zkSync serasi dengan semua kecuali tiga daripada 141 Opcode Ethereum — satu daripadanya telah ditamatkan, satu lagi ditamatkan dan yang ketiga digunakan oleh kurang daripada 1/10 daripada 1% projek menurut Newcomb.
“Jadi apa yang kita dapat kerana tidak setara sepenuhnya? Kami mendapat dua perkara, kos kami untuk prestasi jauh lebih baik daripada sebarang penyelesaian selepas kesetaraan. Kami jauh lebih cepat, jauh lebih murah. Dan perkara kedua yang kami dapat ialah kami dapat melekatkan pengkompil LLVM di dalam rantai kami yang anda tidak boleh lakukan jika anda melakukan perkara yang setara. Dan apa yang dilakukan oleh pengkompil LLVM ialah kita sudah melihat pada lapisan tiga.”
LLVM akan membenarkan kod pembangun Python, Rust atau C++ pada penyelesaian mereka, yang kemudiannya disusun untuk berfungsi dengan cara yang sama dengan Solidity.
“Itu besar untuk diterima pakai. Jadi di mana projek yang mengambil masa tujuh bulan di Kaherah ini, projek ekosistem yang sama dipindahkan kepada kami dalam tujuh hari. Itulah keserasian.”
Dia mengakui ia akan mengambil masa hanya satu hari untuk dipindahkan jika zkSync mempunyai jumlah kesetaraan tetapi akan terlepas LLVM dan penskalaan yang meningkat. Jadi dia berkata ia adalah satu pertukaran yang patut dibuat.
Lapisan 3 dan penskalaan rekursif
Perkara yang paling hebat tentang dapat memampatkan sejumlah besar urus niaga menjadi bukti kesahihan tunggal, ialah teknologi ini membolehkan anda memampatkan banyak bukti lain menjadi satu bukti juga.
Ia dipanggil penskalaan rekursif dan Declan Fox, pengurus produk untuk rollup di Consensys, percaya ia sangat berkuasa sehingga secara teori keseluruhan sistem kewangan global boleh berjalan pada Ethereum. "Kami mempunyai teknologi untuk mencapai pemprosesan seperti itu yang diperlukan," katanya. "Dengan rollup dan pembuktian rekursif, secara teorinya kami boleh membuat skala yang tidak terhingga."
Juga telah membaca: Ethereum sedang memakan dunia: — 'Anda hanya memerlukan satu internet'
StarkWare menghidupkan penskalaan rekursif pada bulan Ogos dan telah memproses lebih daripada 30 juta transaksi sejak menggunakan teknologi itu.
"Rekursi telah pun, pada peringkat awal ini, meningkatkan bilangan urus niaga dalam satu bukti kira-kira 8x," jelas Ben-Sasson. “Apatah lagi, ia terbukti sangat cekap, tidak lama selepas ia mula dikeluarkan, terdapat pengurangan sekitar 40% kepada kos awan kami sendiri untuk penjanaan bukti.
“Ini bukan ramalan atau angka yang kami harap dapat lihat, sebaliknya angka daripada apa yang ada dalam pengeluaran hari ini. Dan saya tegaskan: ini hanyalah permulaan, dan perubahan yang akan kami lakukan bermakna nombor ini akan menjadi lebih dan lebih mengagumkan.
Polygon akan melaksanakan penyelesaian Plonky2 mengikut Bjelic. Ia adalah penyelesaian zk-SNARK sumber terbuka. “SNARK rekursif ini boleh digunakan untuk mengesahkan susunan transaksi dengan magnitud lebih cepat daripada alternatif sedia ada. Plonky2 juga serasi asli dengan Mesin Maya Ethereum, yang membenarkan Polygon membangunkan zkEVM.”
Dan testnet untuk Lapisan 3 zkSync akan dikeluarkan tidak lama lagi, tepat pada masanya untuk memanfaatkan peningkatan Ethereum yang dipanggil Proto-Danksharding awal tahun depan yang direka khusus untuk memberi ruang pada Ethereum berkembang. Newcomb menjangkakan Lapisan 3 akan dikeluarkan dalam masa setahun. Mereka memanggilnya Pathfinder, ekosistem 'hiperchain fraktal.'
'Kami mungkin boleh meneruskan selama berjam-jam dari segi kejuruteraan, tetapi secara fungsional semakin jauh rantai rekursif anda menjauhi Etherium semakin murah kos data dan ia adalah 10x, 10x, 10x, 10x, apabila anda berulang dengan kos data, dan itu unik untuk zk.”
"Di situlah kita mendapat 100,000 TPS dan satu juta TPS," katanya. Visa mengalir pada sekitar 4000 TPS pada hari biasa, meningkat sehingga sekitar 65,000 TPS pada waktu puncak seperti Chrismats.
“ZK ialah satu-satunya cara untuk mencapai 100,000 TPS supaya anda boleh mencapai tahap di mana sesuatu seperti Visa menggantikan protokol asasnya dengan rantaian blok. Dan apabila anda berbuat demikian, itulah saat pengambilan besar-besaran anda.”
Satu lagi perkembangan yang menakjubkan menurut Newcomb ialah Lapisan 3 boleh menyingkirkan keperluan untuk jambatan antara rantaian, yang mana semua lebih daripada $2 bilion penggodaman telah berlaku pada tahun ini sahaja.
“Salah satu perkara lain yang telah kami capai dalam Lapisan 3, kami menyingkirkan semua jambatan. Dan apabila anda boleh meminta satu prover melakukan litar untuk semua rantaian besar di L3, sebarang komunikasi dari satu blok ke blok yang lain adalah asli. Itulah sebab lain mengapa Vitalik berkata ini adalah permainan akhir kerana tiada lagi jambatan.”
'Jika anda menjadikannya lebih pantas, lebih murah mengikut susunan magnitud, jika anda menjadikannya lebih mudah untuk digunakan dan lebih mengalu-alukan khalayak pembangun yang lebih luas dengan menyediakan lebih banyak bahasa, dan kemudian anda membuat orang mempercayainya kerana anda menyingkirkan jambatan. Itulah yang saya selalu katakan ialah gugusan bintang 10x detik ke atas dalam L3 dan di situlah permainan akan diadakan.”
Belum diperbaiki lagi
Jadi itu sahaja? Dengan ketibaan ZK rollups dan penyelesaian penskalaan yang serasi dengan EVM, semuanya telah diselesaikan?
Malangnya tidak. Rollup ZK pada masa ini sangat baik dalam mengambil kira Ethereum, tetapi mereka masih perlu menulis data yang mencukupi kembali ke rantaian utama supaya jika rollup berhenti berfungsi atau diambil alih oleh orang jahat, maka beberapa pakaian lain boleh masuk ke dalam pelanggaran dan tentukan siapa berhutang dengan siapa.
Ia dipanggil masalah ketersediaan data dan sejumlah besar pelan hala tuju Ethereum dengan proto danksharding dan full danksharding bertujuan untuk menyelesaikannya dan membolehkan lebih banyak data disertakan. Terdapat beberapa cara untuk mengatasinya pada masa ini termasuk menyimpan data pada Validiums, yang lebih murah tetapi kurang selamat.
Langgan
Bacaan yang paling menarik dalam blockchain. Dihantar sekali a
minggu.
“Jadi cara kami menerangkannya ialah jika anda mempunyai koleksi kad besbol, dan kebanyakan kad ini tidak berharga mahal dan anda telah menyimpannya dalam Validium tetapi kemudian satu kad jarang yang bernilai banyak wang anda mungkin akan jimat pada Lapisan 1,” kata Ben-Sasson.
Polygon sedang mengusahakan beberapa penyelesaian untuk masalah yang sama ini termasuk Avail "blockchain di mana maklumat tersedia untuk semua orang pada bila-bila masa, telah direka khusus untuk tujuan ini," kata Bjelic.
Pathfinder zkSync akan membolehkan pembangun memilih daripada tiga pilihan untuk ketersediaan data, Validium, zkPorter (pencampuran pada rantai dan luar rantai) dan ZKRollup (keselamatan penuh).
Jangan menjangkakan kejutan besar daripada pelancaran mainnet zkSync pada 28 Oktober. Ia akan menjadi agak mengecewakan pada mulanya, dengan beberapa bulan hanya menguji Matter Labs dan menawarkan ganjaran kepada pengguna untuk cuba menggodamnya atau mengeksploitasinya. Kemudian DApps akan dibenarkan untuk berpindah, dan mula membina dan menguji keselamatan.
"Dan apabila kami rasa kami telah menyelesaikan segala-galanya, kami melakukan apa yang dipanggil lif di pintu pagar," kata Newcomb. “Dan kemudian semua pengguna boleh masuk ke dalam sistem secara serentak dan ia dipanggil program pelepasan adil. Jadi kami tidak memihak kepada mana-mana projek berbanding projek lain.” Beliau berkata bahawa 150 projek akan dilancarkan pada ketika itu dan tidak akan ada lagi sebab projek akan menunggu penyelesaian Polygon untuk diselesaikan.
"Ia seperti mereka pergi ke litar lumba dan mereka muncul dengan casis kereta yang tidak mempunyai sebarang roda, tiada stereng dan sama sekali tiada enjin," katanya.
“Dan kami telah menyelesaikan keseluruhan produk. Anda tahu kami mempunyai Ferrari dan kami bersedia untuk pergi.”
Sumber: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment