Hari ini kita akan melihat proyek yang baru-baru ini sangat mengesankan, yang telah melipatgandakan nilainya 3-4 kali, dan juga merupakan pemain di jalur privasi. Sebelumnya, saya telah membahas banyak proyek privasi, seperti xmr, zec, dash, oasis, beldex, dll. Terlihat bahwa jalur privasi kembali mulai meningkat, dan ada teman yang menanyakan tentang proyek ini, jadi mari kita lihat proyek ini, karena juga telah masuk ke dalam 200 besar, kita akan melihat dasar-dasar proyek ini, dan apa yang sebenarnya mereka lakukan.
I. Pendahuluan
Horizen awalnya membangun jaringan Horizen untuk memungkinkan pengguna melakukan transaksi privasi. Selanjutnya, jaringan sidechain berbasis Zendoo dikembangkan dengan menggunakan sertifikat bukti nol untuk mengikat transaksi antara sidechain dan mainchain, untuk meningkatkan throughput.
Saat ini proyek telah diperbarui menjadi 2.0, Horizen 2.0 adalah rantai EVM yang dilengkapi dengan ekstensi pra-kompilasi, yang dirancang khusus untuk dApps nol pengetahuan (ZK), mendukung bukti nol paling canggih, untuk memungkinkan verifikasi bukti yang cepat dan berbiaya rendah. Desain ini bertujuan untuk mengatasi keterbatasan kemampuan nol pengetahuan dalam jaringan yang ada, sekaligus meningkatkan efisiensi biaya, kinerja, dan kepercayaan.
II. Arsitektur - Arsitektur Horizen 2.0
2.1 Ikhtisar
Horizen 2.0 adalah blockchain EVM yang dirancang khusus untuk verifikasi bukti nol (ZK), dengan kontrak pra-kompilasi bawaan yang terintegrasi langsung ke dalam EVM. Ini adalah platform eksklusif untuk dApp nol pengetahuan, di mana dApp ZK didefinisikan sebagai aplikasi terdesentralisasi yang menghasilkan, menggunakan, dan/atau memverifikasi bukti ZK.
Pengembang dApp ZK sering menghadapi kesulitan dalam menulis dan mengaudit kontrak verifikasi, di mana kontrak verifikasi adalah inti dari verifikasi bukti ZK. Untuk menyediakan solusi yang lebih sederhana dan aman, Horizen 2.0 menawarkan kontrak pra-kompilasi bawaan untuk menangani verifikasi bukti, sehingga mengurangi beban pengembangan dan meningkatkan keamanan.
Pra-kompilasi ini mencakup validator untuk berbagai sistem bukti ZK, seperti Groth16, Fonk, RiscZero, dan UltraPlonk. Setiap kontrak pra-kompilasi membungkus operasi kriptografi yang diperlukan, termasuk operasi kurva eliptik, fungsi hash, dan kriptografi berbasis pasangan.
2.2 Komponen Kunci
2.2.1 Arsitektur Node
Horizen 2.0 menggunakan kerangka Substrate, membagi arsitektur nodenya menjadi dua komponen utama: klien inti (Core Client) dan runtime WebAssembly (Wasm). Desain ini mewujudkan modularitas dan efisiensi, dengan jelas membedakan tanggung jawab masing-masing:
1. Klien Inti (Core Client)
- Sebagai lapisan dasar, bertanggung jawab untuk menangani aktivitas jaringan, termasuk penemuan node, mengelola permintaan transaksi, mencapai konsensus dengan node lain, dan merespons panggilan RPC.
2. Waktu Jalankan Horizen (Horizen Runtime)
- Mencakup semua logika bisnis yang menangani fungsi transisi status blockchain. Ini melibatkan pembuatan modul baru (dalam istilah Substrate disebut “pallets”) dan mengintegrasikannya dengan modul bawaan.
2.2.2 Waktu Jalankan Horizen (Horizen Runtime)
Waktu jalankan Horizen adalah runtime WebAssembly (Wasm) yang canggih dan sangat dapat dikonfigurasi, dibangun di atas FRAME (kerangka agregasi entitas modular) berbasis Substrate. FRAME memungkinkan pengembang untuk membuat komponen runtime modular, dapat digunakan kembali, dan dapat digabungkan, yang disebut pallet.
Inti dari waktu jalankan Horizen adalah pallet verifikasi bukti yang dirancang khusus untuk verifikasi bukti nol. Pallet khusus ini fokus pada verifikasi bukti ZK:
- Mereka menyediakan fungsionalitas melalui antarmuka pra-kompilasi EVM, memungkinkan pengembang dApp ZK untuk mengakses fungsi validasi secara sinkron.
Arsitektur ini tidak hanya memastikan fleksibilitas runtime, tetapi juga memberikan dukungan langsung dan efisien untuk pengembangan aplikasi ZK.
Setiap kontrak pra-kompilasi dioptimalkan untuk mencapai verifikasi bukti yang cepat dan sinkron dalam hitungan milidetik (untuk beberapa jenis bukti), sambil tetap memperhatikan efisiensi biaya.
2.2.3 Validator Umum
Validator umum adalah kontrak pra-kompilasi unik yang memanfaatkan kemampuan kerangka validasi komprehensif zkVerify secara langsung, memberikan akses ke validator terbaru yang mungkin belum diimplementasikan dalam pra-kompilasi Horizen 2.0. Pengembang dapat menggunakan validator yang tersedia secara luas di zkVerify dengan memberikan nama jenis bukti dan kunci validasi yang sesuai.
Integrasi ini menguntungkan Horizen 2.0 sebagai rantai paralel zkVerify. Dengan menggunakan pesan lintas konsensus (XCM), validator umum mendukung verifikasi bukti secara asinkron, sehingga mengabstraksi kompleksitas dalam proses validasi. Desain ini menyederhanakan integrasi dan memperluas rentang protokol kriptografi yang didukung oleh aplikasi ZK. Ketika zkVerify menambahkan validator baru, pengembang Horizen 2.0 dapat segera menggunakan validator tersebut.
Salah satu fitur kunci dari validator umum adalah sifat asinkronnya. Berbeda dari kontrak pra-kompilasi lain yang melakukan verifikasi sinkron instan, validator umum memungkinkan proses verifikasi independen dari operasi lainnya. Fleksibilitas ini memungkinkan pengembang untuk mengintegrasikan kemampuan verifikasi komprehensif zkVerify ke dalam dApps ZK yang tidak memerlukan verifikasi instan, yang mengarah pada aplikasi yang lebih efisien dan lebih dapat diskalakan.
2.3 Mekanisme Konsensus DPoS
Delegated Proof of Stake (DPoS) adalah mekanisme konsensus yang meningkatkan efisiensi dan skalabilitas jaringan blockchain dengan memperkenalkan lapisan delegasi dalam proses staking. Dalam DPoS, pemegang token memilih sejumlah kecil perwakilan (delegator) melalui pemungutan suara untuk bertanggung jawab atas pembuatan blok dan pemeliharaan operasi jaringan. DPoS saat ini adalah mekanisme konsensus EON dan akan terus digunakan dalam Horizen 2.0 untuk memastikan koherensi dan stabilitas. Dalam arsitektur baru, pembuat blok EON akan disebut sebagai Collator (pengatur), untuk mencerminkan perannya dalam struktur rantai paralel.
Horizen 2.0 akan mengadopsi model konsensus campuran yang terinspirasi oleh Moonbeam, yang telah berhasil mencapai kinerja tinggi dan skalabilitas melalui DPoS. Oleh karena itu, Horizen 2.0 akan menggunakan kerangka Nimbus untuk memilih pengatur, memastikan proses yang kompleks dan adil. Blok yang dipilih akan diproduksi menggunakan BABE (Blind Assignment for Blockchain Extension) oleh validator rantai rel zkVerify, dan difinalisasi melalui GRANDPA (protokol prefiks nenek secara rekursif berbasis GHOST).
Proses pemilihan pengatur adalah proses yang kompleks, memanfaatkan filter dan sumber acak berikut untuk memastikan keadilan dan efisiensi:
1. Filter Staking (Hak Suara)
- Menentukan kelayakan berdasarkan jumlah staking pengatur yang terpilih. Hanya peserta yang memenuhi syarat dan berkomitmen yang dapat berpartisipasi dalam proses pembuatan blok dan pemeliharaan jaringan, sehingga meningkatkan keandalan jaringan.
2. Filter Subset Ukuran Tetap
- Menyempurnakan kolam pengatur yang terpilih menjadi jumlah yang dapat dikelola untuk setiap periode produksi blok. Ini memastikan bahwa jumlah pengatur yang terpilih seimbang antara desentralisasi dan efisiensi.
3. Sumber Acak (Entropy Source)
- Memperkenalkan elemen acak yang aman dan tidak dapat diprediksi untuk mencegah collusion dan memastikan distribusi tugas validasi yang adil.
Contoh aplikasi:
Ekonomi Token
Proyek ini pertama kali diluncurkan pada tahun 2017, dengan suplai maksimal token sebanyak 21.000.000, sementara sirkulasi aktual sekitar 15 juta. Kapitalisasi pasar 880 juta dolar, pada puncaknya pada tahun 2021 mencapai 168 dolar, dan terendah selama pasar bearish mencapai 5 dolar, saat ini 42 dolar. Karena telah mengganti rantai baru dan memperkenalkan rantai paralel, 40% token sebelumnya dialokasikan untuk coinbase, dari sisa 60%, 32,5% untuk yayasan, dan 27,5% untuk kas DAO.
Terakhir, dapat disimpulkan bahwa alasan lonjakan besar proyek ini baru-baru ini adalah karena Grayscale melakukan pembelian besar-besaran, sekitar 300.000 koin, yang langsung mendorong harga naik. Mengenai alasan Grayscale melakukan pembelian, saya tidak begitu tahu. Dari sisi teknis, meskipun ada pembaruan menjadi 2.0, saya pribadi tidak melihat potensi dalam jalur privasi ini, sepertinya ada sedikit permintaan palsu, dan harganya sudah naik hampir 8 kali lipat dari titik terendah. Jika bukan karena pembelian Grayscale, mungkin proyek ini akan tetap stagnan, dan sekarang sudah berada di tengah pasar bull, baru saja rebound ke posisi ini, sebenarnya kinerjanya sangat lemah.