Crypto Gloss

zkSync: Skalabilitas dan Privasi Ethereum melalui Zero-Knowledge Proofs

Penulis Matter Labs (Alex Gluchowski, Alexandr Vlasov, et al.)
Tahun 2020
Proyek zkSync / Matter Labs
Lisensi MIT / Apache 2.0
Sumber Resmi github.com/matter-labs/zksync
Disclaimer: Halaman ini merupakan ringkasan dan analisis edukatif dari whitepaper atau makalah teknis resmi. Konten ini disajikan untuk tujuan pendidikan semata dan bukan merupakan saran investasi atau keuangan. Selalu baca dokumen asli dan lakukan riset mandiri sebelum mengambil keputusan keuangan apa pun.

zkSync adalah ZK-Rollup untuk Ethereum yang dikembangkan oleh Matter Labs, didirikan oleh Alex Gluchowski. Versi awal zkSync 1.0 (kemudian disebut zkSync Lite) diluncurkan Juni 2020 sebagai rollup untuk pembayaran dan transfer token. zkSync Era diluncurkan Maret 2023 sebagai zkEVM penuh — ZK-Rollup yang mampu mengeksekusi kontrak pintar Ethereum sembarang. Fondasi teknisnya bertumpu pada sistem pembuktian PLONK dan desain sirkuit zkEVM kustom dari Matter Labs.

Publikasi dan Konteks

Kategori ZK-Rollup tidak dimulai dari satu paper tunggal, melainkan dari engineering praktis. Matter Labs membangun ZK-Rollup produksi pertama untuk Ethereum pada 2020, ketika ZK-SNARK hanya bisa membuktikan aritmetika sederhana secara efisien. Lomba membangun zkEVM — ZK-Rollup yang membuktikan eksekusi EVM penuh — mendefinisikan lanskap ZK tahun 2021–2024.

zkSync Lite (Desain Awal)

zkSync Lite menangani transfer ETH dan ERC-20 dengan:

  • Batch processing: Ratusan transaksi dalam satu proof
  • Pohon state Merkle: Saldo akun disimpan off-chain; root Merkle di-commit on-chain
  • PLONK proofs: Keabsahan setiap batch dibuktikan via PLONK
  • Data availability on-chain: State diff terkompresi dipublikasikan ke Ethereum

Properti kunci: transfer final dengan jaminan keamanan Ethereum segera setelah proof ZK diverifikasi on-chain. Tidak ada jendela fraud proof; finalitas instan.

zkSync Era: zkEVM Penuh

Matter Labs membedakan diri dengan:

  • Kompiler LLVM zkEVM: Solidity dan Yul dikompilasi ke bytecode kustom yang bisa dibuktikan ZK
  • Boojum: Sistem pembuktian berbasis PLONK yang dioptimalkan (pengganti SNARK tradisional)
  • Kompresi sirkuit ZK: Kompresi agresif untuk membuktikan opcode EVM
  • Native Account Abstraction: ERC-4337 diimplementasikan di level protokol, bukan lapisan aplikasi

ZK Stack

Matter Labs merilis ZK Stack — framework open-source untuk membangun “Hyperchain” berbasis zkSync. Setiap Hyperchain mewarisi keamanan ZK dari Ethereum dan dapat berinteroperasi melalui mekanisme native bridge.

Keterbatasan

  • Kompatibilitas EVM tidak sempurna: beberapa opcode EVM memerlukan workaround
  • Prover komputasi sangat intensif dan mahal
  • Sequencer masih terpusat pada awal peluncuran Era

Warisan dan Dampak

zkSync Era adalah salah satu zkEVM pertama yang beroperasi di mainnet dengan kompatibilitas penuh EVM. Bersama Polygon zkEVM, Scroll, dan Starknet, ia mendefinisikan gelombang kedua skalabilitas Ethereum berbasis ZK yang diproyeksikan akan mendominasi lanskap L2 setelah era Optimistic Rollup.

Istilah Terkait

Referensi