Aztec Network: ZK-Rollup Privasi Terprogram dengan Noir dan PLONK

Penulis Williamson, Zachary; Kelman, Joe; El Hounsni, Ilyas; et al.
Tahun 2018
Proyek Aztec Network
Lisensi Apache-2.0
Sumber Resmi github.com/AztecProtocol/AZTEC.pdf
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.

Aztec adalah Layer 2 Ethereum yang berfokus pada privasi, dideskrpsikan melalui beberapa paper dan dokumentasi: paper asli AZTEC v1 (2018) oleh Zachary Williamson et al., Aztec Connect (2021), dan Aztec Network 3.0 (2022+). Benang merahnya: PLONK proof (yang turut ditemukan oleh Williamson) untuk membuktikan transisi state yang valid tanpa mengungkapkan lebih dari yang diperlukan. Di Aztec, state kontrak dienkripsi; setiap interaksi dibuktikan via ZK, dan hanya komitmen kriptografis yang muncul on-chain.

Publikasi dan Konteks

Zachary Williamson (CTO Aztec) turut menulis paper PLONK (2019, bersama Gabizon dan Ciobotaru) — sistem pembuktian yang mendukung Aztec dan banyak protokol ZK lainnya (zkSync, Scroll menggunakan varian PLONK). Ini memberi tim Aztec kedalaman yang luar biasa dalam desain sistem pembuktian yang mendasarinya.

  • AZTEC v1 (2018): Transaksi privat menggunakan skema commitment-nullifier (mirip Zcash) tetapi digeneralisasi di luar mata uang
  • Aztec Connect (2021): Memperluas Aztec untuk memungkinkan interaksi privat dengan protokol DeFi Ethereum yang sudah ada (Curve, Lido, dll.)
  • Aztec Network (2022+): ZK-Rollup privasi terprogram penuh — smart contract arbitrer dengan state privat, ditulis dalam Noir

Model State Notes

State Aztec menggunakan notes — struktur data privat mirip UTXO:

note = {
  owner: address
  asset_type: token_type
  value: amount
  secret: blinding_factor
}

Notes disimpan dalam encrypted on-chain note tree — commitment (hash) muncul on-chain, tetapi isinya hanya terlihat oleh pemilik (dan siapa pun yang berbagi kunci dengannya).

Menghabiskan note:

  1. Buat ZK proof yang membuktikan: “Saya mengetahui sebuah note di note tree, saya memilikinya, dan ia memiliki nilai ini”
  2. Ungkapkan nullifier (turunan deterministik dari note + private key) untuk mencegah double-spending
  3. Buat output notes baru yang dienkripsi untuk penerima

Noir: Bahasa DSL untuk ZK Circuit

Noir adalah domain-specific language yang dikembangkan Aztec untuk menulis ZK circuit. Noir dikompilasi ke PLONK intermediate representation. Desainnya mirip Rust: aman secara tipe, eksplisit tentang public vs. private inputs. Noir kini digunakan di luar Aztec sebagai bahasa ZK generik untuk berbagai prover backend (Barretenberg, Halo2).

Mengapa Privasi On-chain Penting

Transparansi blockchain Ethereum berarti: semua posisi DeFi terlihat, semua voting DAO dapat dikaitkan ke voter, semua transaksi bisnis dapat dilacak. Aztec berpendapat bahwa privasi adalah prasyarat adopsi institusional dan individu blockchain. Aztec menyediakan “privasi sebagai fitur default” bukan sebagai add-on.

Istilah Terkait

Referensi