Pada peradaban awal, kebenaran didasarkan pada mitos. Pengamatan terhadap fenomena duniawi dibungkus dalam narasi simbolik, keyakinan agama, dan kearifan kuno. Seiring berjalannya waktu, umat manusia mulai menghargai pengukuran dan penalaran objektif, melahirkan disiplin ilmu seperti sains, matematika, dan logika.
Setelah penemuan kata-kata tertulis dan, kemudian, mesin cetak, buku-buku dan dokumen-dokumen menangkap informasi dunia dalam bentuk tertulis, mulai dari literatur akademis dan kontrak hukum hingga statistik dan analisis opini. Kemudian, pada abad kedua puluh, telepon, komputer, dan Internet memulai revolusi digital dalam cara informasi dibuat, didistribusikan, dan diverifikasi, dengan superkomputer yang kini melakukan penghitungan skala besar pada kumpulan data kompleks dan miliaran pengguna di seluruh dunia menghasilkan, berbagi, dan membicarakan konten setiap hari secara real-time.
Kini, dengan koneksi Internet yang sederhana, siapa pun di dunia dapat langsung mengakses arus informasi yang seolah tak terbatas. Namun meski setiap individu kini diberdayakan untuk mengonsumsi dan berbagi informasi lebih banyak dibandingkan sebelumnya, informasi berkecepatan tinggi dan bervolume tinggi yang tersebar di berbagai aplikasi menimbulkan tantangan yang luar biasa.
{ Analogi Dari Blog Chainlink }
Komputasi yang dapat diverifikasi memungkinkan pengguna untuk melakukan outsourcing komputasi ke komputer yang mungkin tidak tepercaya sambil memastikan kebenaran hasilnya. Ia bekerja dengan meminta komputer jarak jauh melakukan penghitungan dan kemudian memberikan bukti bahwa penghitungan telah dilakukan secara akurat.
Bukti ini dapat diverifikasi oleh pengguna tanpa perlu mengulangi sendiri seluruh perhitungannya. Hal ini sangat berguna terutama dalam situasi ketika pengguna memiliki sumber daya komputasi yang terbatas atau perlu memastikan integritas data sensitif yang diproses pada sistem eksternal.
TL;DR
Komputasi awan sangat bagus untuk tugas-tugas kompleks, tapi bagaimana Anda tahu hasilnya akurat?
Komputasi yang dapat diverifikasi memungkinkan Anda melakukan outsourcing komputasi dan memverifikasi jawabannya tanpa menjalankan ulang semuanya.
Ini menggunakan bukti (seperti tanda terima) untuk memastikan bahwa pekerjaan telah dilakukan dengan benar.
Manfaatnya meliputi keamanan, efisiensi, transparansi, dan verifikasi perhitungan ilmiah.
Ada dua jenis bukti utama: interaktif (dialog klien-pekerja) dan non-interaktif (bukti diverifikasi dengan kunci).
Teknik lain seperti kantong aman dan enkripsi homomorfik dapat meningkatkan keamanan dan privasi.
Komputasi yang dapat diverifikasi membantu skala blockchain dengan mengurangi beban kerja dan memungkinkan kontrak pintar yang kompleks.
🅃🄴🄲🄷🄰🄽🄳🅃🄸🄿🅂123
Di dunia yang didominasi oleh kebutuhan komputasi yang besar, outsourcing tugas-tugas kompleks ke server cloud sudah menjadi hal yang rutin. Namun di sinilah tantangannya: begitu kita menerima hasilnya, bagaimana kita bisa yakin akan keakuratannya? Pertimbangkan ini - Anda menetapkan tugas pelatihan AI ke platform seperti AWS. Seminggu kemudian, Anda menerima jutaan parameter jaringan saraf dari tugas pelatihan AI ini. Namun bagaimana Anda dapat memastikan bahwa parameter ini benar-benar mencerminkan pelatihan selama seminggu dan bukan hanya pelatihan sehari?
Solusi paling mudah adalah mengirimkan tugas yang sama ke platform cloud lain, Google Cloud, dan menyandingkan hasilnya. Namun, metode ini tidak hanya mubazir tetapi juga melipatgandakan biayanya. Jadi, apa alternatifnya? Ini adalah topik komputasi yang dapat diverifikasi – sebuah domain yang berfokus pada validasi hasil komputasi yang dialihdayakan tanpa menjalankan ulang seluruh proses.
{ Analogi Dari Forbes }
🏵️ Cara Kerja Komputasi yang Dapat Diverifikasi
Bayangkan sebuah skenario di mana Anda memiliki tugas komputasi yang intensif, seperti analisis data keuangan atau simulasi ilmiah. Eksekusi lokal mungkin tidak praktis karena keterbatasan perangkat keras atau pertimbangan keamanan. Mengalihdayakan komputasi ke server cloud tampaknya merupakan solusi yang tepat. Namun, muncul pertanyaan mendasar: dapatkah Anda memercayai server untuk melakukan penghitungan secara akurat?
Server jahat dapat memanipulasi data atau memberikan hasil palsu. Pendekatan tradisional sering kali melibatkan komputasi yang berlebihan pada beberapa server, sehingga tidak efisien dan menghabiskan banyak sumber daya. Komputasi yang dapat diverifikasi menawarkan solusi elegan untuk dilema ini.
📀 Bagaimana Komputasi yang Dapat Diverifikasi Memecahkan Dilema
Komputasi yang dapat diverifikasi memberdayakan Anda untuk melakukan outsourcing komputasi ke server yang tidak tepercaya sambil menjamin kebenaran keluarannya. Hal ini dicapai melalui pendekatan dua arah:
🔹 Pembuatan Bukti: Perhitungan diubah menjadi format yang dapat diverifikasi bersama dengan bukti kriptografi. Bukti ini bertindak sebagai jaminan matematis bahwa penghitungan dilakukan secara akurat tanpa mengungkapkan data masukan atau langkah spesifik yang terlibat.
🔸 Verifikasi Bukti: Anda memiliki alat verifikasi yang menggunakan kunci rahasia untuk memvalidasi kebenaran bukti yang diterima. Jika verifikasi berhasil, ini menjamin Anda bahwa penghitungan dijalankan sebagaimana dimaksud pada server yang tidak tepercaya, sehingga menghasilkan hasil yang dapat dipercaya. Bayangkan komputasi yang dapat diverifikasi sebagai sistem untuk komputasi yang dapat diaudit.
Anda mendelegasikan tugas kepada pekerja, namun Anda juga mendapatkan tanda terima yang dapat diverifikasi untuk mengonfirmasi bahwa pekerjaan telah dilakukan dengan benar. Proses verifikasi matematis ini memungkinkan Anda memercayai hasil tanpa harus bergantung begitu saja pada integritas server.
💡 Manfaat Komputasi yang Dapat Diverifikasi
Komputasi yang dapat diverifikasi menawarkan banyak manfaat untuk berbagai aplikasi:
Keamanan dalam Cloud Computing: Memungkinkan pemanfaatan sumber daya cloud secara aman untuk komputasi sensitif, memastikan privasi data dan integritas hasil.
Skalabilitas dan Efisiensi: Komputasi kompleks dapat dialihdayakan ke server cloud yang kuat, sehingga mempercepat proses dan meningkatkan efisiensi.
Transparansi dalam Sistem Terdistribusi: Dalam proyek kolaboratif di mana komputasi didistribusikan ke beberapa entitas, komputasi yang dapat diverifikasi menjamin keakuratan hasil parsial tanpa mengorbankan kerahasiaan.
Memverifikasi Perhitungan Ilmiah: Para peneliti dapat memanfaatkan komputasi yang dapat diverifikasi untuk memastikan reproduktifitas perhitungan ilmiah yang dilakukan pada server jarak jauh.
🔆 Jenis Bukti
Komputasi yang dapat diverifikasi dapat diimplementasikan menggunakan dua pendekatan utama:
Bukti Interaktif :
Dalam metode ini, klien dan pekerja terlibat dalam dialog interaktif untuk memverifikasi kebenaran pembuktian. Klien mengirimkan tantangan kepada pekerja, dan tanggapan pekerja diverifikasi secara matematis untuk memastikan validitas perhitungan.
Bukti Non-Interaktif:
Pendekatan ini menghilangkan kebutuhan akan interaksi langsung. Pekerja menghasilkan bukti yang dapat diverifikasi oleh klien menggunakan kunci kriptografi. Bukti non-interaktif seringkali lebih efisien tetapi mungkin memerlukan asumsi kriptografi yang lebih kuat.
Pilihan antara bukti interaktif dan non-interaktif bergantung pada faktor-faktor seperti kompleksitas komputasi, tingkat efisiensi yang diinginkan, dan persyaratan keamanan aplikasi.
⚡ Enklave Aman dan Enkripsi Homomorfik
Meskipun bukti interaktif dan non-interaktif merupakan inti dari komputasi yang dapat diverifikasi, teknik kriptografi lainnya dapat meningkatkan kemampuannya:
Kantong Aman:
Ini adalah lingkungan eksekusi terisolasi dalam prosesor yang melindungi kerahasiaan dan integritas komputasi selama eksekusi di server yang tidak tepercaya.
Enkripsi Homomorfik:
Teknik ini memungkinkan penghitungan dilakukan secara langsung pada data terenkripsi, menghilangkan kebutuhan untuk mendekripsi data sebelum penghitungan dan meningkatkan privasi.
🚆 Bagaimana Ini Membantu dalam skalabilitas Blockchain
Mengurangi Beban Blockchain: Perhitungan kompleks dapat dialihdayakan ke node verifikator, sehingga mengurangi beban pada node validator yang bertanggung jawab untuk verifikasi transaksi dan konsensus. Hal ini mengosongkan ruang di blockchain untuk fungsi inti seperti menyimpan data transaksi dan menegakkan aturan kontrak pintar.
Peningkatan Throughput Transaksi: Dengan membongkar komputasi, blockchain dapat memproses lebih banyak transaksi per detik, sehingga menghasilkan waktu konfirmasi transaksi yang lebih cepat dan efisien. Hal ini penting untuk aplikasi dunia nyata yang memerlukan volume transaksi tinggi.
Mengaktifkan Kontrak Cerdas yang Kompleks: Komputasi yang dapat diverifikasi memungkinkan kontrak pintar memanfaatkan fungsionalitas yang mungkin terlalu mahal secara komputasi untuk dijalankan langsung di blockchain. Hal ini membuka pintu bagi aplikasi kontrak pintar yang lebih kaya dan rumit.
🏵️ Aplikasi Komputasi yang Dapat Diverifikasi di Crypto
Blockchain yang dapat diskalakan: Blockchain bisa menjadi lambat karena kebutuhan semua node untuk memvalidasi transaksi. Komputasi yang dapat diverifikasi memungkinkan komputasi kompleks dilakukan secara off-chain, dengan hanya bukti validitas yang disimpan di blockchain, menjadikan sistem lebih terukur.
Kontrak pintar yang aman: Kontrak pintar adalah program yang berjalan di blockchain. Komputasi yang dapat diverifikasi memungkinkan eksekusi kontrak pintar kompleks yang melibatkan data pribadi dengan aman, tanpa mengorbankan privasi data tersebut.
Transaksi rahasia: Komputasi yang dapat diverifikasi dapat digunakan untuk mengaktifkan transaksi rahasia di blockchain, di mana hanya pengirim dan penerima yang mengetahui jumlah yang ditransaksikan, namun tetap membuktikan bahwa transaksi tersebut valid.
💡 Aplikasi Khusus
Komputasi yang dapat diverifikasi, sering disebut sebagai bukti Zero-Knowledge (ZK), adalah teknologi canggih yang dapat diterapkan dalam konteks blockchain dan non-blockchain. Hal ini memungkinkan satu komputer (verifikator) untuk mendelegasikan komputasi ke komputer lain yang lebih kuat (verifikator) dan secara efisien memverifikasi bahwa komputasi dilakukan dengan benar. Berikut beberapa aplikasi penting:
Blockchain Lapisan 2 (L2): Blockchain L2 menggunakan bukti ZK (khususnya SNARK) untuk menjamin integritas transisi statusnya. Bukti-bukti ini memungkinkan verifikasi yang efisien tanpa memerlukan komputasi penuh secara on-chain.
Jembatan Lintas Rantai: Jembatan lintas rantai memanfaatkan SNARK untuk membuktikan penyetoran atau penarikan pada satu rantai ke rantai lainnya. Hal ini memastikan interoperabilitas yang tidak dapat dipercaya antara berbagai blockchain.
Koprosesor ZK: “Koprosesor ZK” menggunakan SNARK untuk membuktikan komputasi off-chain melalui data on-chain. Misalnya, ia dapat memverifikasi perhitungan kompleks yang akan terlalu mahal untuk dihitung secara asli dalam kontrak pintar.
🔬 Proyek Terkemuka
> Zcash
> Milikku
> Starknet
> Perulangan
> StarkEx
> Jaringan ZigZag
> X yang tidak dapat diubah
🔼 Pulsa Data
> Wikipedia
> Gerbang Penelitian
> ArXiv
> Forbes
> Blog Chainlink
> Microsoft
🔹🔸🔹🔸🔹🔸🔹🔸🔹🔸🔹🔸🔹🔸🔹🔸
Komputasi yang dapat diverifikasi adalah pengubah permainan untuk blockchain dan mata uang kripto, tidak hanya untuk komputasi kuantum. Hal ini, bersama dengan web terverifikasi, membuka kemungkinan-kemungkinan inovatif. Protokol baru yang dibangun dengan teknologi seperti zero-knowledge proofs (ZK) dan enkripsi homomorfik sepenuhnya (FHE) hanyalah permulaan.
🔸🔹🔸🔹🔸🔹🔸🔹🔸🔹🔸🔹🔸🔹🔸🔹