Privasi dVPN dengan Zero-Knowledge Proofs | Keamanan Web3

Masalah Kepercayaan pada VPN Tradisional

Pernahkah Anda bertanya-tanya mengapa kita menyerahkan seluruh jejak digital kita kepada penyedia VPN dan hanya bisa berharap mereka tidak mengintip? Sejujurnya, sangat mencengangkan bahwa di tahun 2025, pertahanan privasi terbaik kita masih berupa "janji manis" dari sebuah perusahaan terpusat.

Sebagian besar layanan tradisional berkoar-koar tentang kebijakan "tanpa log" (no-logs policy), namun sebagai praktisi jaringan, saya melihat realitas di tingkat paket data. Meskipun mereka tidak menyimpan riwayat penelusuran Anda, mereka tetap dapat melihat alamat IP asli dan data waktu (timing data) saat Anda terhubung.

• Titik Kegagalan Terpusat (Centralized Points of Failure): Penyedia tradisional beroperasi pada klaster yang mereka kendalikan sepenuhnya. Jika pemerintah mengeluarkan surat panggilan pengadilan atau peretas mendapatkan akses root, data Anda terpapar langsung di dalam RAM mereka.
• Celah Kepercayaan: Anda harus percaya begitu saja pada kata-kata mereka. Sebuah studi tahun 2024 oleh ExpressVPN mencatat bahwa pengguna pada dasarnya harus mengandalkan kejujuran penyedia karena secara teknis tidak ada cara untuk memverifikasi apa yang sebenarnya terjadi di dalam sistem backend mereka.
• Undang-Undang Retensi Data: Di banyak yurisdiksi, ISP dan perusahaan VPN dipaksa oleh hukum untuk menyimpan metadata tertentu. Hal ini membuat klaim "tanpa log" secara hukum mustahil dilakukan di wilayah-wilayah tersebut.

Saya telah menghabiskan waktu bertahun-tahun mengamati pengawasan ISP, dan masalah utamanya selalu terletak pada perantara (middleman). Jika server harus mengetahui identitas Anda untuk melakukan autentikasi, maka informasi tersebut menjadi sebuah liabilitas atau risiko keamanan.

Menurut Wikipedia, Zero-Knowledge Proofs (ZKP) sebenarnya sudah dikonsepkan sejak tahun 1985 untuk menyelesaikan masalah "membuktikan identitas tanpa mengungkap rahasia" ini. Akhirnya, kita mulai melihat konsep ini berpindah dari sekadar makalah matematika menjadi kode pemrograman yang nyata.

Pada akhirnya, masalah intinya bukan sekadar adanya aktor jahat, melainkan arsitekturnya itu sendiri. Kita membutuhkan sistem di mana jaringan dapat memverifikasi bahwa Anda telah membayar atau memiliki hak akses tanpa benar-benar perlu tahu siapa "Anda" sebenarnya.

Selanjutnya, kita akan membahas bagaimana ZKP mengubah paradigma ini untuk mengatasi masalah kepercayaan tersebut.

Apa Sebenarnya Zero-Knowledge Proof Itu?

Jika Anda pernah mencoba menjelaskan kriptografi kepada orang yang bukan "anak jaringan", Anda pasti tahu betapa sulitnya hal itu. Namun, Zero-Knowledge Proof (ZKP) atau Bukti Tanpa Pengetahuan sebenarnya cukup intuitif jika kita berhenti sejenak memikirkan angka prima dan beralih membayangkan sebuah gua ajaib.

Cara klasik untuk menjelaskan hal ini adalah melalui kisah Gua Ali Baba. Bayangkan sebuah gua berbentuk lingkaran dengan dua jalur, A dan B, yang bertemu di sebuah pintu ajaib di bagian belakang. Peggy tahu kata sandi rahasia untuk membuka pintu tersebut; Victor ingin bukti bahwa Peggy tidak berbohong, tetapi Peggy tidak ingin membocorkan kata sandinya.

Untuk membuktikannya, Peggy masuk ke dalam gua sementara Victor menunggu di luar. Victor kemudian berteriak, "Keluar dari jalur A!" Jika Peggy berada di depan pintu, ia akan membukanya dan muncul dari jalur tersebut. Jika mereka melakukan ini sebanyak 20 kali dan Peggy tidak pernah gagal, secara matematis dapat dipastikan bahwa ia memang tahu kata sandinya. Hal ini berhasil karena setiap putaran yang ia lalui memangkas separuh peluang bahwa ia hanya sedang beruntung; setelah 20 putaran, kemungkinan ia berbohong secara statistik hanya satu banding sejuta. Inilah yang kita sebut sebagai "soundness" (ketepatan) dalam dunia matematika.

Sebagaimana dicatat oleh Concordium, ini adalah pergeseran dari "berbagi data" menjadi "berbagi bukti." Agar sebuah protokol benar-benar dianggap sebagai ZKP, protokol tersebut harus memenuhi tiga kriteria teknis:

• Completeness (Kelengkapan): Jika pernyataan tersebut benar, pembukti (prover) yang jujur akan selalu bisa meyakinkan pemverifikasi (verifier). Tidak boleh ada "negatif palsu" dalam logikanya.
• Soundness (Ketepatan): Jika Peggy berbohong, ia tidak seharusnya bisa menipu Victor kecuali melalui peluang astronomis yang sangat kecil. Menurut NIST, ini sering disebut sebagai "ZKP of Knowledge" di mana Anda membuktikan bahwa Anda memiliki "saksi" (witness) atau rahasia tersebut.
• Zero-knowledge (Tanpa Pengetahuan): Ini adalah poin terpenting. Victor tidak mempelajari apa pun tentang kata sandi itu sendiri, ia hanya tahu bahwa Peggy memilikinya.

Dalam bidang pekerjaan saya, kami biasanya melihat identitas sebagai sebuah liabilitas atau risiko. Jika sebuah node dVPN mengetahui kunci publik (public key) Anda, itu adalah jejak digital di tingkat paket data. ZKP mengubah paradigma ini secara total.

Sebuah artikel tahun 2024 dari Concordium menyebutkan bahwa bagi perusahaan, privasi kini menjadi "kebutuhan dasar" (baseline requirement) dan bukan sekadar fitur tambahan. Baik itu untuk membuktikan bahwa Anda berusia di atas 18 tahun untuk situs ritel atau memverifikasi rekam medis, ZKP memungkinkan kita memproses logika verifikasi tanpa harus mengekspos data aslinya.

Selanjutnya, mari kita bahas bagaimana teknologi ini benar-benar menyembunyikan alamat IP Anda dalam jaringan terdesentralisasi.

Menerapkan ZKP ke dalam Ekosistem dVPN

Lantas, bagaimana cara kita menerapkan logika matematika "gua ajaib" ini ke dalam sebuah dVPN? Membahas teori di atas kertas tentu mudah, namun saat berhadapan dengan paket data mentah yang masuk ke sebuah node, situasinya menjadi jauh lebih kompleks. Dalam jaringan standar, server biasanya memverifikasi identitas Anda melalui basis data—sebuah celah privasi yang sangat fatal.

Tujuan utama di sini adalah autentikasi anonim. Kita ingin node mengetahui bahwa Anda memiliki hak untuk menggunakan bandwidth tersebut tanpa perlu mengetahui siapa Anda atau riwayat transaksi Anda.

Sebagian besar proyek dVPN modern saat ini melirik zk-SNARKs (Succinct Non-Interactive Arguments of Knowledge). Seperti yang telah kita bahas sebelumnya, teknologi ini sangat unggul karena tidak memerlukan komunikasi bolak-balik yang intensif antara pengirim dan penerima.

• Bukti Langganan (Subscription Proofs): Anda dapat membuktikan bahwa Anda telah membayar paket bulanan di blockchain. Node memverifikasi sebuah "bukti" bahwa dompet kripto Anda termasuk dalam kelompok "sudah bayar" tanpa pernah melihat alamat dompet Anda yang sebenarnya.
• Kontrol Akses: Alih-alih menggunakan username/password yang bisa dicegat oleh ISP atau dicatat oleh node, Anda mengirimkan bukti kriptografis. Ini ibarat menunjukkan lencana "terverifikasi" tanpa harus memperlihatkan KTP Anda.
• Reputasi Node: Node juga dapat menggunakan ZKP untuk membuktikan bahwa mereka tidak berbahaya—misalnya menunjukkan bahwa mereka tidak memanipulasi paket data—tanpa harus membocorkan arsitektur internal server mereka.

Dalam jaringan P2P, alamat IP Anda pada dasarnya adalah alamat rumah Anda. Jika operator node memiliki niat buruk, mereka bisa mencatat setiap IP yang terhubung. Dengan menggunakan ZKP untuk proses handshake, kita memisahkan "identitas" dari "koneksi."

Menurut Cloudflare, mereka telah mulai menggunakan "one-out-of-many proofs" sejak tahun 2021 untuk atestasi web privat. Hal ini memungkinkan pengguna membuktikan bahwa mereka termasuk dalam kelompok pengguna resmi (seperti "pelanggan berbayar") tanpa mengungkap identitas spesifik mereka. Jika raksasa teknologi seperti itu menggunakannya untuk memverifikasi perangkat keras tanpa membocorkan data, sudah pasti protokol dVPN melakukan hal yang sama untuk sesi pengguna.

Proyek seperti SquirrelVPN sedang mengimplementasikan handshake berbasis zk-SNARK ini untuk memastikan bahwa bahkan node yang Anda hubungi pun tidak memiliki petunjuk sedikit pun mengenai siapa Anda sebenarnya.

Selanjutnya, kita akan membahas bagaimana bukti-bukti ini membuat sisi ekonomi dari berbagi bandwidth (bandwidth sharing) dapat berjalan efektif tanpa mengorbankan privasi pihak mana pun.

Penambangan Bandwidth dan Imbalan Ter-tokenisasi

Bayangkan "penambangan bandwidth" (bandwidth mining) sebagai konsep Airbnb untuk internet. Anda mengizinkan orang asing melewati "lorong digital" di jaringan rumah Anda, dan sebagai imbalannya, Anda dibayar dalam bentuk token. Namun, tanpa teknologi Zero-Knowledge Proofs (ZKP), orang-orang asing tersebut—atau bahkan jaringan itu sendiri—bisa melihat terlalu banyak aktivitas yang terjadi di dalam rumah Anda.

Dalam infrastruktur Peer-to-Peer (P2P), kita harus membuktikan dua hal utama: bahwa node benar-benar merutekan data, dan pengguna memiliki kredit yang cukup untuk membayarnya. Secara historis, hal ini mengharuskan jaringan untuk melacak setiap paket data, yang tentu saja menjadi celah kebocoran privasi yang masif.

• Bukti Perutean (Proof of Routing): Kita menggunakan ZKP untuk memverifikasi bahwa sebuah node telah menangani volume trafik tertentu. Node tersebut memberikan "bukti" ke blockchain yang sesuai dengan "tanda terima" pengguna, namun kedua belah pihak tidak perlu mengungkapkan isi data (payload) yang sebenarnya atau tujuan akhir dari paket tersebut.
• Insentif Ter-tokenisasi: Operator mendapatkan imbalan berdasarkan waktu aktif (uptime) dan throughput yang telah terverifikasi. Karena proses verifikasi ini bersifat zero-knowledge, jaringan tidak perlu mengetahui identitas asli operator untuk mengirimkan token ke dompet kripto mereka.
• Pertukaran yang Adil: Sebagaimana prinsip dasar kriptografi, protokol ini memastikan bahwa pihak "pembukti" (prover atau node) dapat meyakinkan pihak "pemeriksa" (verifier atau jaringan) bahwa pekerjaan telah diselesaikan tanpa harus membocorkan data sensitif di dalam pekerjaan tersebut.

Jujur saja, melihat masifnya pengawasan ISP saat ini, jika Anda tidak menganonimkan lapisan pembayaran, maka privasi Anda belum benar-benar terjaga. Jika alamat dompet Anda terhubung dengan IP rumah dan log trafik Anda, maka aspek "VPN" dalam dVPN menjadi hampir tidak berguna.

Selanjutnya, kita akan membahas bagaimana kita menjaga agar jaringan tidak mengalami lag saat melakukan perhitungan matematis yang berat ini—yaitu bagian "Succinct" dari teka-teki ini.

Tantangan Teknis Implementasi ZKP dalam Jaringan

Sejujurnya, saya sangat mengagumi konsep matematika di balik zero-knowledge proof (ZKP), namun kita harus realistis—menerapkan teknologi ini ke dalam jaringan yang sedang berjalan adalah tantangan besar. Membuktikan bahwa Anda mengetahui sebuah rahasia di atas papan tulis adalah satu hal, tetapi melakukannya saat seseorang sedang melakukan streaming video 4K melalui node terdesentralisasi adalah hal yang sangat berbeda.

Aspek "Succinct" (ringkas) dalam zk-SNARKs seharusnya membuat segalanya menjadi cepat, tetapi proses pembuatan bukti (proof generation) tersebut masih mengonsumsi siklus CPU dalam jumlah besar. Jika ponsel Anda harus melakukan komputasi berat hanya untuk mengautentikasi satu paket data, baterai Anda akan cepat habis dan latency jaringan akan melonjak drastis.

Berdasarkan pengalaman saya dalam analisis tingkat paket (packet-level analysis), setiap milidetik sangatlah berharga untuk proses routing. Saat Anda menambahkan ZKP, Anda sebenarnya sedang menambahkan "pajak komputasi" pada setiap proses handshake.

• Beban CPU (Overhead): Membuat bukti jauh lebih berat daripada memverifikasinya. Sebagian besar pengguna dVPN menggunakan perangkat seluler atau router murah yang spesifikasinya terbatas, sehingga sisi "prover" (pembuat bukti) menjadi hambatan utama (bottleneck).
• Bug pada Sirkuit: Jika logika matematikanya tidak sempurna, akan muncul apa yang disebut sebagai "under-constrained circuits." Laporan keamanan dari firma seperti Trail of Bits mencatat bahwa mayoritas bug pada SNARK berasal dari celah logika ini, di mana peretas berpotensi memalsukan bukti.
• Lag Jaringan: Bukti interaktif membutuhkan komunikasi bolak-balik. Bahkan dengan metode non-interaktif sekalipun, ukuran bukti tertentu bisa menjadi masalah. Sebagai contoh, zk-STARKs adalah jenis ZKP lain yang tidak memerlukan "trusted setup" (sehingga lebih aman), tetapi ukuran buktinya jauh lebih besar yang justru dapat membebani bandwidth yang seharusnya ingin kita hemat.

Terus terang, sebagian besar pengembang saat ini masih berusaha menemukan titik keseimbangan ideal atau "goldilocks zone"—di mana keamanan tetap terjaga ketat, namun kecepatan internet tidak terasa lambat seperti koneksi dial-up tahun 90-an.

Selanjutnya, kita akan membedah bagaimana industri ini berupaya mengatasi masalah lag tersebut, sehingga kita akhirnya bisa mendapatkan privasi total tanpa mengorbankan performa.

Masa Depan Internet yang Tahan Sensor

Jadi, apa tujuan akhir dari semua perhitungan matematis yang rumit ini? Sejujurnya, kita sedang melihat pergeseran total di mana "privasi melalui desain" (privacy by design) bukan sekadar slogan pemasaran, melainkan realitas jaringan yang sudah tertanam dalam kode.

Seiring transisi kita menuju DePIN (Decentralized Physical Infrastructure Networks atau Jaringan Infrastruktur Fisik Terdesentralisasi), model lama di mana Anda harus menyerahkan identitas kepada penyedia VPN terpusat akan terlihat sangat kuno, layaknya era internet kabel dial-up. Masa depan adalah tentang "pengungkapan selektif" (selective disclosure)—membuktikan hanya apa yang benar-benar dibutuhkan dan tidak lebih dari itu.

Era internet berikutnya tidak akan ditentukan oleh siapa yang mengumpulkan data paling banyak, melainkan oleh siapa yang berhasil menemukan cara untuk meminimalkan kebutuhan akan data tersebut. Di sinilah peran zkVM (zero-knowledge virtual machines) menjadi krusial. Teknologi ini memungkinkan kita menjalankan logika yang kompleks—seperti memeriksa apakah pengguna berada di wilayah yang dibatasi atau memiliki langganan yang valid—secara off-chain, lalu hanya mengirimkan bukti kecil yang terverifikasi ke jaringan.

• Skalabilitas Privasi: Perkakas seperti RISC Zero atau Succinct Labs memungkinkan pengembang menulis logika Zero-Knowledge Proof (ZKP) menggunakan bahasa pemrograman umum seperti Rust. Ini berarti dVPN (VPN Terdesentralisasi) dapat berkembang pesat tanpa terbebani oleh "biaya komputasi" besar yang kita bahas sebelumnya.
• Ketahanan Terhadap Sensor: Ketika sebuah node (simpul jaringan) tidak mengetahui siapa Anda atau konten apa yang Anda akses, akan jauh lebih sulit bagi pemerintah untuk memaksa node tersebut memblokir aktivitas Anda.
• Adopsi Perusahaan: Seperti yang sempat disinggung oleh Concordium sebelumnya, dunia bisnis mulai melihat data sebagai sebuah liabilitas atau beban risiko. Jika mereka tidak memegang data Anda, mereka tidak akan kehilangan data tersebut saat terjadi kebocoran keamanan.

Bagaimanapun juga, teknologi ini masih dalam tahap awal, tetapi arah pengembangannya sudah sangat jelas. Kita sedang membangun internet di mana Anda tidak perlu lagi meminta privasi—karena privasi sudah menjadi pengaturan standar pada tingkat protokol. Sampai jumpa di pembahasan mendalam berikutnya.