Bukti Tanpa Pengetahuan untuk Verifikasi Alokasi Bandwidth

Masalah dalam pembuktian pengiriman data

Pernahkah Anda bertanya-tanya mengapa Anda membayar untuk data "kecepatan tinggi" tetapi streaming Anda masih mengalami buffering seperti di tahun 2005? Hal ini biasanya terjadi karena kita terjebak dalam hubungan "percaya saja" dengan penyedia layanan internet (ISP) dan layanan VPN kita.

Dalam dunia lama—yang kita sebut sebagai web tersentralisasi—Anda terhubung ke server yang dimiliki oleh satu perusahaan. Mereka memberi tahu Anda berapa banyak bandwidth yang Anda gunakan, dan Anda membayar tagihannya. Namun, dalam Jaringan Infrastruktur Fisik Terdesentralisasi (DePIN), Anda sering kali mendapatkan akses internet dari node rumahan milik orang lain.

• Log tersentralisasi adalah celah privasi yang besar: Sebagian besar VPN tradisional mengklaim kebijakan "tanpa log" (no-logs), tetapi Anda hanya memegang kata-kata mereka. Jika pemerintah mengeluarkan surat perintah pengadilan, log tersebut biasanya tetap ada.
• Kesenjangan kejujuran: Jika saya membagikan koneksi fiber rumah saya dengan Anda untuk mendapatkan imbalan token kripto, apa yang mencegah saya berbohong kepada jaringan dan mengatakan bahwa saya telah mengirimkan 10GB padahal sebenarnya saya hanya mengirimkan 1GB?
• Kebutuhan akan verifikasi "tanpa kepercayaan" (trustless): Kita memerlukan cara untuk membuktikan bahwa data benar-benar berpindah dari titik A ke titik B tanpa adanya perantara yang mengawasi seluruh percakapan tersebut.

Menurut survei tentang Kerangka Kerja Zero-Knowledge Proof, teknologi ZKP memungkinkan seorang "pembukti" (prover) untuk meyakinkan "pemeriksa" (verifier) bahwa suatu pernyataan adalah benar tanpa mengungkapkan data rahasia yang sebenarnya. Dalam dunia kita, itu berarti membuktikan bahwa saya telah mengirimkan data kepada Anda tanpa jaringan harus memata-matai (sniffing) paket data pribadi Anda.

Saat kita berbicara tentang "Bandwidth Mining" atau "Airbnb untuk Bandwidth," kita pada dasarnya memberikan insentif kepada orang-orang untuk mengubah router mereka menjadi ISP mini. Namun, insentif kripto sering kali memancing para "curang"—orang-orang yang menginginkan imbalan tanpa benar-benar melakukan pekerjaan tersebut.

Seperti yang ditunjukkan dalam diagram alur verifikasi bandwidth berikut, kita memerlukan sistem yang memeriksa aliran data tanpa mengekspos identitas atau data pengguna.

Jika kita membiarkan node melaporkan statistik mereka sendiri, sistem akan runtuh karena penipuan. Di sisi lain, jika kita membiarkan jaringan melihat segalanya untuk memverifikasi lalu lintas, kita justru membangun mesin pengawas raksasa.

Mengukur lalu lintas peer-to-peer (P2P) dikenal sangat rumit. Berbeda dengan kasir ritel di mana kode batang dipindai, paket data bersifat sangat cair. Di industri seperti layanan kesehatan atau keuangan, hal ini bahkan lebih sensitif. Anda tidak bisa begitu saja membiarkan pihak ketiga memeriksa paket data untuk melihat apakah suatu node berlaku jujur.

Laporan tahun 2023 dari ekosistem arkworks zksnark menunjukkan bahwa pustaka modular mulai menjadi standar untuk membangun jenis bukti "ringkas" (succinct) yang dapat dijalankan pada perangkat keras berdaya rendah.

Kita membutuhkan matematika—khususnya komitmen kriptografis—untuk menjembatani celah ini. Tanpanya, bandwidth akan tetap menjadi layanan "upaya terbaik" (best effort) alih-alih menjadi sumber daya yang terjamin. Karena kasus penggunaan ini memerlukan keandalan tinggi, biaya untuk menjalankan pemeriksaan ini di atas blockchain menjadi hambatan utama yang harus kita selesaikan.

Apa Itu Zero-Knowledge Proof?

Bayangkan Anda ingin membuktikan kepada petugas keamanan klub bahwa Anda sudah berusia di atas 21 tahun, tetapi Anda tidak ingin dia melihat alamat rumah, tinggi badan, atau seberapa buruk foto Anda di KTP. Alih-alih menyerahkan kartu identitas fisik, Anda cukup menunjukkan sebuah kotak hitam yang hanya akan menyalakan lampu hijau jika Anda memenuhi syarat usia tersebut.

Secara esensial, itulah fungsi Zero-Knowledge Proof (ZKP) dalam dunia digital. Ini adalah cara untuk mengatakan, "Saya punya jawabannya," tanpa harus menunjukkan proses pengerjaan atau data di baliknya.

Dalam konteks pasar bandwidth kita, ZKP adalah cara bagi penyedia layanan untuk membuktikan bahwa mereka telah mengirimkan tepat 500MB trafik terenkripsi kepada Anda, tanpa jaringan pernah melihat apa isi di dalam paket data tersebut. Teknologi ini menjembatani celah antara "percayalah pada saya" dengan "inilah perhitungan matematis yang membuktikan saya tidak berbohong."

Pada intinya, sebuah sistem ZKP melibatkan dua peran utama: Prover (pihak yang membagikan bandwidth) dan Verifier (blockchain atau pengguna yang menerima data). Tujuannya adalah agar Prover dapat meyakinkan Verifier bahwa sebuah pernyataan itu benar, sambil tetap menjaga kerahasiaan informasi tambahan lainnya secara total.

Agar sistem ini berjalan efektif, setiap protokol ZKP harus memenuhi tiga aspek spesifik:

• Completeness (Kelengkapan): Jika node benar-benar mengirimkan data, perhitungan matematisnya harus selalu berhasil sehingga mereka mendapatkan bayaran.
• Soundness (Keabsahan): Jika node berbohong, perhitungan matematisnya harus gagal hampir 100% dari waktu yang ada. Tidak ada ruang untuk kecurangan.
• Zero-knowledge (Nir-pengetahuan): Verifier tidak mempelajari apa pun tentang file aktual yang ditransfer—hanya memastikan bahwa volume dan tujuannya sudah benar.

Inilah cara kita menjaga prinsip "zero" dalam jaringan zero-trust. Dalam sebuah dVPN, Anda tentu tidak ingin node jaringan mengintip kebiasaan menonton Netflix atau data login perbankan Anda. Dengan menggunakan ZKP, node dapat membuktikan bahwa ia telah memenuhi kontraknya ke jaringan—dan berhak mendapatkan imbalan kripto—tanpa pernah "mengintip" aliran data pribadi Anda.

Saat Anda mulai mendalami aspek teknis dari proyek DePIN (Decentralized Physical Infrastructure Networks), Anda akan menemukan dua "varian" utama dari bukti-bukti ini: SNARK dan STARK. Namanya mungkin terdengar seperti karakter fiksi, tetapi keduanya memiliki karakteristik yang sangat berbeda dalam praktiknya.

zk-SNARKs (Succinct Non-Interactive Arguments of Knowledge) adalah varian yang lebih lama dan lebih mapan. Protokol ini bersifat "succinct" (ringkas), yang berarti buktinya berukuran sangat kecil—terkadang hanya beberapa ratus bita. Hal ini sangat menguntungkan bagi pengguna VPN seluler karena tidak menghabiskan kuota data hanya untuk memverifikasi koneksi.

Namun, sebagian besar SNARK (seperti protokol Groth16 yang terkenal) memerlukan "trusted setup." Ini adalah peristiwa satu kali di mana beberapa angka acak dibuat untuk memulai sistem. Jika pihak yang menjalankan pengaturan tersebut korup, secara teoritis mereka bisa memalsukan bukti. Sebagaimana disebutkan sebelumnya dalam survei tentang Kerangka Kerja Zero-Knowledge Proof, inilah alasan mengapa banyak proyek baru mulai mencari alternatif lain.

zk-STARKs (Scalable Transparent Arguments of Knowledge) adalah versi yang lebih baru dan lebih tangguh. Protokol ini tidak memerlukan trusted setup—sehingga bersifat "transparan." STARK juga memiliki keunggulan masif: mereka tahan terhadap serangan komputer kuantum (quantum-resistant).

Diagram arsitektur berikut mengilustrasikan pertukaran nilai (trade-offs) antara alur kerja SNARK dan STARK dalam lingkungan P2P.

Dalam pertukaran bandwidth P2P, kita sedang berupaya membangun ISP terdesentralisasi. Di dunia ritel, Anda tidak akan pernah mau membayar kasir yang hanya "berjanji" telah memasukkan susu ke dalam kantong belanja tanpa Anda melihatnya sendiri. Di dunia keuangan, Anda tidak sekadar percaya pada lembar kerja bank; Anda menginginkan audit.

ZKP menyediakan fungsi audit tersebut untuk data. Baik itu penyedia layanan kesehatan yang mengirimkan rekam medis pasien yang sensitif melalui VPN, atau rantai ritel yang melakukan sinkronisasi inventaris di ribuan toko, mereka perlu tahu bahwa data telah sampai dengan selamat tanpa perantara (node) melihat isinya.

Memverifikasi bandwidth tanpa memata-matai data

Jadi, Anda menjalankan sebuah node dan membagikan bandwidth Anda untuk mendapatkan imbalan kripto. Bagus. Namun, bagaimana cara jaringan benar-benar mengetahui bahwa Anda mengirimkan data asli ke pengguna di, katakanlah, Berlin, tanpa ada pihak yang secara harfiah melakukan "sniffing" atau mengintip paket data tersebut untuk memeriksanya?

Ini adalah tantangan teknis yang sangat besar. Jika jaringan dapat melihat data untuk memverifikasinya, maka privasi Anda akan hancur. Namun, jika jaringan tidak bisa melihat apa pun, Anda bisa saja melakukan "penambangan" token palsu dengan mengirimkan data sampah ke diri sendiri. Di sinilah kita masuk ke inti dari protokol pembuktian bandwidth (bandwidth proof protocols).

Untuk mengatasi hal ini, kami menggunakan jenis matematika khusus yang disebut vOLE-based Zero-Knowledge (Vector Oblivious Linear Evaluation). Memang terdengar seperti istilah dalam novel fiksi ilmiah, tetapi sebenarnya ini adalah solusi yang sangat elegan untuk pemrosesan data berkecepatan tinggi.

Berbeda dengan SNARK atau STARK yang sering kali menggunakan kurva elips yang berat, vOLE adalah bentuk dari "Interactive Oracle Proof" yang memprioritaskan kecepatan pembuktian (prover speed) di atas ukuran bukti. Protokol ini pada dasarnya dirancang untuk kecepatan, sehingga sangat ideal untuk memverifikasi aliran data masif secara real-time tanpa membuat koneksi Anda melambat.

• Verifikasi kecepatan tinggi: Protokol berbasis vOLE sangat unggul karena tidak bergantung pada kalkulasi matematika yang berat di setiap tahapannya. Hal ini membuatnya jauh lebih cepat untuk kebutuhan penambangan bandwidth (bandwidth mining) secara real-time.
• Pemeriksaan konsistensi: Jaringan menggunakan bukti-bukti ini untuk memastikan bahwa node benar-benar memiliki kecepatan unggah (upload speed) sesuai yang diklaim. Jika Anda mengaku sebagai "Supernode" tetapi perhitungan matematikanya tidak sesuai, kontrak pintar (smart contract) tidak akan mencairkan pembayaran.
• Tetap terinformasi: Jika Anda ingin mendalami topik ini lebih lanjut, memantau komunitas seperti squirrelvpn—sebuah sumber berita dan komunitas untuk teknologi VPN terdesentralisasi—adalah langkah yang tepat untuk melihat protokol mana yang benar-benar diimplementasikan di jaringan utama (mainnet).

Diagram di bawah ini menunjukkan bagaimana vOLE menciptakan jabat tangan (handshake) yang aman antara node dan verifikator.

Bagian yang paling menarik adalah bagaimana semua ini terhubung ke dompet kripto Anda. Dalam ekosistem VPN terdesentralisasi (dVPN), kita ingin distribusi imbalan terjadi secara otomatis. Anda tidak perlu menunggu "manajer" manusia untuk menyetujui penghasilan Anda.

Kami menggunakan Smart Contract yang bertindak sebagai pihak penjamin (escrow) utama. Kontrak-kontrak ini diprogram untuk menjadi "buta" namun adil. Mereka menyimpan token dan hanya akan melepaskannya ketika bukti pengetahuan nol (ZKP) yang valid dikirimkan. Tanpa bukti, tidak ada bayaran. Ini adalah metode yang tegas namun krusial untuk menjaga kejujuran dalam jaringan peer-to-peer (P2P).

Mengatasi Masalah Biaya Gas

Salah satu kendala terbesar di masa lalu adalah "biaya gas" (gas fees) — yaitu biaya yang harus Anda bayar untuk memasukkan data ke dalam blockchain. Jika bukti data terlalu besar, biaya transaksi yang Anda keluarkan bisa lebih tinggi daripada imbalan yang Anda peroleh. Inilah tantangan "ekonomi verifikasi on-chain" yang sering kali melumpuhkan banyak proyek.

Untuk mengatasi hal ini, kami menerapkan Bukti Rekursif (Recursive Proofs). Secara sederhana, ini adalah metode untuk memverifikasi beberapa bukti kecil di dalam satu bukti besar. Alih-alih mengirimkan 1.000 transaksi ke blockchain untuk 1.000 transfer data kecil, sistem akan menggabungkannya (batching) ke dalam satu bukti tunggal. Cara ini mendistribusikan biaya gas ke ribuan klaim, sehingga biaya per pengguna menjadi sangat murah, bahkan hanya hitungan sen.

Solusi Layer 2 juga sangat membantu dengan memindahkan beban kerja berat ke luar jaringan utama (off-chain). Dengan memverifikasi Zero-Knowledge Proof (ZKP) pada jaringan yang lebih cepat dan murah, serta hanya melakukan penyelesaian saldo akhir di blockchain utama, kami memastikan sistem tetap menguntungkan bagi para pemilik node.

• Pembayaran Otomatis: Segera setelah ZKP terverifikasi di dalam rantai (on-chain), token akan langsung dikirim ke dompet node. Tidak ada unsur "kepercayaan" manual yang terlibat, semuanya dijalankan murni oleh kode.
• Efisiensi Infrastruktur: Pustaka seperti arkworks membantu memperkecil ukuran bukti-bukti ini agar menjadi lebih ringkas (succinct) dan murah untuk diverifikasi.
• Pencegahan Penipuan: Karena dasar matematikanya sangat kokoh (sound), secara statistik mustahil bagi sebuah node untuk memalsukan transfer data sebesar 1GB tanpa benar-benar memiliki data tersebut.

Kasus Penggunaan Nyata ZKP dalam Ekosistem DePIN

Pernahkah Anda bertanya-tanya bagaimana cara menjual sisa kuota internet rumah Anda kepada seseorang di Tokyo tanpa ada risiko salah satu pihak tertipu? Ini mungkin terdengar seperti alur cerita film thriller teknologi, namun sebenarnya inilah inti dari pergerakan DePIN (Decentralized Physical Infrastructure Networks).

Konsepnya sederhana: Anda memiliki koneksi serat optik 1Gbps di rumah, tetapi hanya digunakan untuk menonton Netflix atau sekadar scrolling di Reddit. Mengapa tidak menjual kelebihan bandwidth tersebut? Dalam model VPN terdesentralisasi (dVPN), router Anda bertransformasi menjadi sebuah node.

• Jaminan Kualitas Layanan (QoS): Kita menggunakan Zero-Knowledge Proofs (ZKP) untuk membuktikan bahwa sebuah node benar-benar menyediakan kecepatan 100Mbps sesuai janji. Node tersebut menghasilkan bukti "kerja" (proof of work) yang diverifikasi oleh blockchain sebelum imbalan kripto dicairkan.
• Privasi bagi Penyedia Layanan: Sebagai penyedia, Anda tentu tidak ingin tahu apa yang dilakukan oleh pembeli. ZKP memungkinkan jaringan untuk memverifikasi volume lalu lintas data tanpa Anda pernah melihat paket data yang tidak terenkripsi tersebut.

Diagram alir berikut mengilustrasikan bagaimana pengguna meminta bandwidth dan node menyediakan bukti untuk mendapatkan pembayaran.

Salah satu pendekatan menarik dapat dilihat pada cara proyek menangani "Bukti Konektivitas" (Proof of Connectivity). Mereka perlu memastikan bahwa node Anda benar-benar aktif. Alih-alih melakukan ping setiap detik, mereka dapat menggunakan ZKP untuk membuktikan bahwa node Anda aktif selama jendela waktu tertentu.

Sekarang, mari kita bahas hal yang lebih krusial. Jika Anda berada di negara dengan sistem sensor ketat seperti "Great Firewall," aktivitas menggunakan VPN saja sudah bisa menjadi bendera merah. Protokol VPN tradisional memiliki "tanda tangan" (signatures) yang dapat dideteksi oleh Deep Packet Inspection (DPI).

Di sinilah Akses Tahan Sensor (Censorship-Resistant Access) berperan. Dengan memanfaatkan ZKP, kita dapat menciptakan koneksi yang "tersembunyi" (obfuscated). Tujuannya bukan sekadar mengenkripsi data, tetapi membuktikan kepada jaringan bahwa koneksi tersebut valid tanpa mengungkapkan bahwa itu adalah sebuah terowongan (tunnel) VPN sama sekali.

Diagram berikut menunjukkan bagaimana metadata disembunyikan selama koneksi berlangsung untuk menembus sensor.

Tantangan dan Jalan Terjal ke Depan

Jadi, kita sudah memahami logika matematikanya, tetapi pertanyaannya: apakah router lama Anda sanggup menanganinya tanpa meledak? Ini adalah pertanyaan krusial karena tidak ada orang yang menginginkan koneksi internet privat namun kecepatannya terasa seperti kembali ke era modem dial-up 56k.

Realitanya, menghasilkan Zero-Knowledge Proof (ZKP) itu "mahal"—bukan dalam satuan Rupiah, melainkan dalam siklus CPU. Jika Anda mencoba menjalankan node dVPN berkecepatan tinggi pada router rumahan yang murah, beban komputasinya akan mulai terasa sangat berat.

• Latensi vs. Privasi: Ada pertukaran (trade-off) klasik di sini. Jika kita menginginkan kepastian kriptografis 100% mutlak untuk setiap paket data, maka ping Anda akan melonjak drastis.
• Akselerasi Perangkat Keras: Kita mulai melihat pergeseran ke arah penggunaan GPU atau chip khusus untuk menangani proses pembuktian (proof) ini.

Diagram terakhir ini menunjukkan peta jalan masa depan untuk verifikasi ZKP yang dipercepat oleh perangkat keras.

Sejujurnya, "celah kegunaan" (usability gap) adalah hambatan terbesar yang kita hadapi saat ini. Sebuah studi tahun 2024 oleh para peneliti di UC San Diego dan Arizona State University menemukan bahwa meskipun banyak kerangka kerja (framework) yang tersedia, celah ini tetap menjadi rintangan utama bagi pengembang yang mencoba menerapkan alat-alat ini di dunia nyata. Sebagian besar pengguna dVPN tidak mau ambil pusing soal elliptic curves; mereka hanya menginginkan privasi mereka terjaga.

Menatap ke depan, kita sedang bergerak menuju dunia di mana "ISP" bukan lagi perusahaan raksasa dengan gedung pencakar langit, melainkan jaringan global yang terdiri dari orang-orang seperti Anda dan saya. ZKP pada dasarnya adalah kepingan terakhir dari teka-teki infrastruktur Web3 ini. Inilah yang membuat sistem ini menjadi "trustless" (tanpa perlu rasa percaya)—Anda tidak perlu mengenal orang yang menyediakan bandwidth Anda, karena matematika telah membuktikan bahwa mereka tidak mencurangi Anda.