enkripsi ekonomi bukan hanya perubahan teknologi

Ekonomi enkripsi jauh lebih dari sekadar perubahan teknologi yang sederhana. Banyak praktisi dan penggemar sulit beradaptasi dengan bidang ini, alasan utamanya adalah siklusnya yang terlalu jelas, dan fluktuasinya yang sangat tajam. Di pasar bullish, orang biasa memang memiliki kesempatan untuk mendapatkan pengembalian sepuluh kali lipat bahkan hingga seratus kali lipat, tetapi di pasar bearish kerugian juga sangat berat. Siapa pun, begitu memasuki bidang enkripsi, investasi akan menjadi mata pelajaran wajib.

Penyebab utama dari pasar beruang saat ini adalah kenaikan suku bunga Federal Reserve yang menyebabkan pengetatan modal. Hasil tinggi dari keuangan terdesentralisasi ( DeFi ) telah menjadi masa lalu, saat ini hasil dari protokol peminjaman utama umumnya di bawah 2%. Sebagai perbandingan, hasil obligasi pemerintah AS di dunia nyata telah melebihi 3%, yang mendorong investor institusi dan pihak proyek stablecoin untuk terus memindahkan dana dari bidang kripto untuk membeli obligasi pemerintah.

Sejak tahun 1980-an, Federal Reserve telah mengalami 6 siklus kenaikan suku bunga, masing-masing berlangsung 1-3 tahun, dengan rata-rata jumlah kenaikan suku bunga mencapai 10 kali. Semakin lambat langkah kenaikan suku bunga, semakin buruk efeknya, dan inflasi semakin sulit untuk ditekan. Misalnya, proses kenaikan suku bunga ke-6 dari tahun 2015 hingga 2018 berlangsung lambat, dengan harga bahan baku yang dipimpin oleh minyak mentah tidak menurun tetapi malah meningkat. Setelah bulan Oktober, harga minyak mentah terus berada pada posisi yang kuat, yang mungkin mendorong Federal Reserve untuk terus menerapkan kebijakan kenaikan suku bunga yang kuat. Tanpa diragukan lagi, pasar saham global dan pasar enkripsi pada tahun 2023 akan terus menghadapi tekanan penarikan dana institusi, dasar pasar beruang belum tiba, sehingga tidak bijak untuk dengan mudah melakukan pembelian di dasar.

Memperhatikan rencana perluasan zkRollup Ethereum

Meninggalkan siklus besar pasar modal, dari sudut pandang perubahan teknologi enkripsi dan gelombang Web3.0 yang mungkin dipicu, kami dengan tegas optimis terhadap Ethereum dan solusi skalabilitas zkRollup-nya, terutama solusi zkRollup berbasis zkEVM generasi baru.

Pendiri Ethereum Vitalik Buterin menyatakan dalam sebuah konferensi pada 30 September: "Setelah penggabungan, langkah selanjutnya bagi Ethereum adalah skalabilitas." Skalabilitas adalah masalah inti yang menghalangi banyak cryptocurrency dan aplikasi blockchain untuk menjadi arus utama. Seperti yang diketahui, zkRollups mampu mencapai skalabilitas dengan mengemas ratusan transaksi ke dalam satu tugas eksekusi dan memverifikasi semua transaksi dalam satu tugas.

Dengan dukungan besar dari Vitalik, Rollup telah menjadi solusi utama untuk skalabilitas Ethereum. Solusi Rollup dapat dibagi menjadi Optimistic Rollup dan zkRollup berdasarkan jenis teknologinya, di mana perbedaan utama antara keduanya terletak pada cara jaminan validitas transaksi. Optimistic Rollup menggunakan skema bukti penipuan, sementara zkRollup menggunakan bukti nol-pengetahuan matematis.

Dalam jaringan Optimistic Rollup terdapat peran penantang, yang dapat membuktikan bahwa data yang diserahkan ke Ethereum mengandung penipuan, dan kemudian membalikkan transaksi yang tidak valid melalui konsensus jaringan. Sementara itu, zkRollup menggunakan teknologi bukti nol untuk memproses data transaksi dalam jumlah besar, dan langsung mengajukan bukti ke Ethereum berdasarkan jaminan validitas data transaksi, sehingga segera mencapai konsistensi status akhir.

Dibandingkan dengan Optimistic Rollup, zkRollup menggunakan bukti nol pengetahuan untuk verifikasi matematis, memiliki lebih banyak keunggulan teknis. Beberapa proyek telah melakukan eksplorasi proaktif di bidang ini selama bertahun-tahun.

Namun, EVM tidak dirancang untuk mendukung bukti nol, yang membuat pembangunan mesin virtual yang kompatibel dengan Solidity dan mendukung bukti nol menjadi sangat sulit. Untuk mengatasi masalah ini, beberapa proyek sedang mengembangkan mesin virtual yang mendukung komputasi bukti nol dan kompatibel dengan Solidity, yaitu zkEVM. Berbeda dengan mesin virtual biasa, zkEVM dapat membuktikan kebenaran eksekusi, termasuk validitas input dan output yang digunakan dalam eksekusi.

Kebutuhan untuk Meredesain zkEVM

Beberapa proyek mengkompilasi bytecode menjadi kode mikro operasi, menggunakan STARK untuk menghasilkan bukti keabsahan transisi status, dan setelah memverifikasi kebenaran bukti dengan SNARK, mengirimkannya ke Ethereum untuk diverifikasi. Skema beberapa proyek lainnya dalam beberapa hal mirip, tetapi hanya menggunakan Halo 2 sebagai metode bukti nol pengetahuan mereka.

Ada proyek yang mengompilasi kode kontrak yang ditulis dalam Solidity menjadi Yul(, sebuah bahasa perantara yang dapat dikompilasi menjadi bytecode untuk mesin virtual yang berbeda), dan kemudian mengompilasi ulang bytecode Yul menjadi kumpulan bytecode yang disesuaikan dan kompatibel sirkuit yang dirancang khusus untuk zkEVM.

Apakah sistem ini sudah cukup baik untuk diimplementasikan dalam produksi? Apakah kita perlu merancang zkEVM yang lebih baik? zkRollup biasanya menggunakan protokol zero-knowledge untuk membuktikan dan mengagregasi semua transaksi sebelum menerbitkan bukti agregat ke rantai. Secara prinsip, ini berarti bahwa rantai lapisan pertama dapat memverifikasi "bukti" singkat yang mencakup ribuan transaksi kompleks, tanpa kemungkinan kecurangan. Namun, setelah beberapa peluncuran testnet zkEVM, orang-orang menemukan bahwa keadaan sebenarnya tidak ideal—proses pembuatan bukti sangat lambat, memerlukan waktu puluhan menit untuk mengeksekusi beberapa transaksi.

Ada proyek yang melalui optimasi struktur zkEVM, merancang ulang zkEVM, sehingga menjadi lebih efisien dibandingkan semua zkEVM yang ada. Alasan utamanya adalah karena ia menggunakan struktur berlapis yang dirancang dengan baik, mengompres ruang yang terbuang secara redundan dalam sirkuit dan ukuran polinomial yang diajukan, serta akhirnya memperpendek waktu yang diperlukan untuk menghasilkan bukti. Sementara itu, Sequencer menjalankan node Ethereum, menerima transaksi pengguna, menghasilkan status baru, serta Trace yang ramah zkEVM. Folder sebagai generator bukti, mengambil Trace ini dari urut dan menggunakan sejumlah besar tabel kecil ( daripada satu tabel besar ) untuk memprosesnya, yang akan secara signifikan mengurangi redundansi dan meningkatkan kecepatan dalam menghasilkan bukti.

Kebutuhan untuk Pembuktian Nol Pengetahuan yang Lebih Cepat

SNARK meskipun ringkas, tetapi efisiensinya tidak sebaik STARK. Namun, STARK terasa ketinggalan zaman ketika FOAKS muncul. Karena kecepatan adalah kendala dari zkEVM, membandingkan efisiensi komputasi menjadi sangat penting. STARK mencapai waktu pembuktian dan waktu verifikasi yang hampir linier, lebih cepat dari SNARK, tetapi jelas lebih lambat dari FOAKS. FOAKS adalah ZKP pertama di dunia yang mencapai waktu pembuktian linier dan waktu verifikasi sub-linier, telah mencapai batas teoretis. FOAKS transparan, tidak memerlukan pengaturan terpercaya, yang berarti ia mempertahankan tingkat keamanan tertinggi.

FOAKS berbasis kode yang dapat dikodekan dalam waktu linier, merupakan yang tercepat di antara semua skema ZKP yang ada. Selain itu, karena menggunakan teknologi rekursif, ukuran bukti FOAKS berkurang menjadi 1/7 dari skema yang ada, sehingga pengguna akhir hanya perlu mengeluarkan satu sen untuk menikmati layanan lapisan kedua Ethereum.

Kebutuhan Layer Ketersediaan Data Independenn

Saat ini, zkRollup terutama berfokus pada pengurangan beban komputasi untuk memverifikasi transaksi. Ini sangat penting bagi Ethereum, karena verifikasi eksekusi kontrak pintar yang kompleks sangat mahal. Namun, node Ethereum masih perlu menyimpan data transaksi asli secara bersamaan. Ini tidak bijaksana, karena Ethereum lebih cocok sebagai lapisan konsensus daripada lapisan penyimpanan, yang berarti hambatan skalabilitas masih ada—ketika bandwidth dan penyimpanan node tidak mencukupi (, bukan kekurangan komputasi ), mereka akan terkena dampak.

Inilah sebabnya mengapa Ethereum memerlukan lapisan ketersediaan data yang independen untuk menyimpan data transaksi mentah ini, untuk mencegah pembekuan seluruh kontrak pintar akibat kegagalan server zkRollup atau node Ethereum. Yang lebih penting, ini akan memisahkan biaya lapisan kedua dari lapisan pertama, dan lebih lanjut mengurangi biaya transaksi berbasis zkEVM dari zkRollup lebih dari setengahnya.