Revolusi Skalabilitas Ethereum Dimulai

Ketika Vitalik pertama kali mengusulkan trilemma blockchain, mungkin dia tidak menyangka kita perlu memecahkan dimensi keempat: kemampuan pemrograman. Sebagai seseorang yang telah melihat banyak solusi skalabilitas datang dan pergi, saya yakin zkSync 2.0 adalah sesuatu yang benar-benar berbeda.

Mengurai Tumpukan Teknologi

Mahkota dari teknologi ini adalah implementasi zkEVM - sebuah keajaiban kriptografi yang menjalankan kontrak pintar sambil menghasilkan bukti tanpa pengetahuan. Yang paling menarik adalah bagaimana mereka mempertahankan kompatibilitas EVM sambil mengoptimalkan efisiensi pembuatan bukti.

Komponen utama termasuk:

• Set instruksi zkEVM yang lengkap
• Kompiler dari Solidity/Zinc ke bytecode zkEVM
• Integrasi node lengkap untuk penyebaran kontrak

Mengapa Ini Penting bagi Pengembang

Sebagian besar operasi akan terasa familiar bagi pengembang Ethereum, dengan beberapa pengecualian:

1. Operasi seperti ADDMOD/SMOD sementara tidak tersedia
2. KECCAK256 diganti dengan alternatif yang tahan tabrakan
3. Tidak ada SELFDESTRUCT (mengikuti perkembangan Ethereum)

Model gas sangat inovatif - menyesuaikan secara dinamis berdasarkan harga gas L1 dan biaya pembuatan ZKP.

Rahasia Utama: Integrasi zkPorter

zkPorter menyediakan sistem ketersediaan data off-chain yang meningkatkan throughput hingga dua orde magnitudo. Ada dua jenis akun:

• Akun zkRollup (keamanan maksimal)
• Akun zkPorter (biaya lebih rendah) Keduanya dapat berinteraksi dalam pohon status yang sama.

Di Balik Layar Kriptografi

Teknologi yang digunakan:

• Sistem bukti PLONK yang telah teruji
• Gerakan khusus/tabel pencarian (UltraPLONK)
• Kurva BN-254 Ethereum Pemisahan antara lingkungan sirkuit dan eksekusi sangat cerdik.

Apa Selanjutnya?

Tim kini fokus pada:

1. Ketangguhan kompiler
2. Agregasi bukti rekursif
3. Penyempurnaan bahasa Zinc
4. Kemungkinan frontend kompiler Rust