Bulletproofs

Apa Itu Bulletproofs?

Bulletproofs adalah zero-knowledge proof berukuran ringkas yang memungkinkan seseorang membuktikan kebenaran suatu pernyataan tanpa mengungkap informasi privat di balik pernyataan tersebut.

Dalam mata uang kripto, Bulletproofs terutama dikenal karena membuat transaksi rahasia lebih efisien dengan membuktikan bahwa jumlah transaksi yang disembunyikan valid.

Pengguna dapat membuktikan bahwa jumlah tersembunyi berada dalam rentang yang diizinkan, misalnya lebih besar dari atau sama dengan nol dan di bawah nilai maksimum, tanpa menunjukkan jumlah sebenarnya.

Hal ini penting karena transaksi mata uang kripto privat harus menyembunyikan data sensitif sekaligus memungkinkan jaringan memverifikasi bahwa tidak ada koin yang tercipta begitu saja.

Stanford Applied Crypto Group menjelaskan Bulletproofs sebagai zero-knowledge proof noninteraktif berukuran ringkas yang tidak memerlukan trusted setup.

Makalah penelitian asli, Bulletproofs: Short Proofs for Confidential Transactions and More, menjelaskan bahwa ukuran proof Bulletproofs hanya bertambah secara logaritmik terhadap ukuran witness.

Sederhananya, Bulletproofs membantu blockchain melindungi privasi tanpa membuat setiap transaksi privat berukuran sangat besar.

Teknologi ini sangat berguna untuk range proof, yaitu proof bahwa suatu angka yang disembunyikan berada dalam rentang yang valid.

Mengapa Bulletproofs Penting dalam Kripto?

Bulletproofs penting karena blockchain publik pada dasarnya bersifat transparan.

Di banyak blockchain, siapa pun dapat memeriksa alamat, jumlah transaksi, riwayat transaksi, dan aktivitas smart contract.

Transparansi ini membantu proses verifikasi, tetapi juga dapat mengurangi privasi keuangan.

Sistem transaksi rahasia berupaya mengatasi hal ini dengan menyembunyikan jumlah transaksi sekaligus tetap memungkinkan jaringan memeriksa validitas transaksi.

Tantangannya adalah jumlah yang disembunyikan menimbulkan masalah serius.

Jika validator tidak dapat melihat jumlahnya, mereka tetap memerlukan cara untuk memastikan bahwa pengirim tidak membuat output negatif atau mencetak koin tambahan secara diam-diam.

Bulletproofs mengatasi sebagian masalah ini dengan membuktikan bahwa nilai yang disembunyikan berada dalam rentang yang valid.

Dengan begitu, privasi dan verifikasi dapat berjalan beriringan.

Tanpa range proof yang efisien, transaksi rahasia dapat menjadi terlalu besar, lambat, atau mahal untuk penggunaan blockchain secara praktis.

Bulletproofs dalam Istilah Sederhana

Bayangkan seseorang ingin membuktikan bahwa usianya cukup untuk memasuki sebuah gedung tanpa menunjukkan tanggal lahirnya secara persis.

Orang tersebut tidak ingin mengungkapkan usianya, tetapi petugas tetap memerlukan bukti bahwa persyaratan usia telah dipenuhi.

Zero-knowledge proof dapat memungkinkan orang tersebut membuktikan bahwa ia memenuhi persyaratan usia tanpa mengungkap detail privatnya.

Bulletproofs menerapkan gagasan serupa pada angka tersembunyi dalam transaksi kripto.

Pengguna dapat menyembunyikan jumlah transaksi sekaligus membuktikan bahwa jumlah tersebut mengikuti aturan.

Jaringan tidak mengetahui nilai pastinya.

Jaringan hanya mengetahui bahwa nilai tersebut valid.

Hal ini sangat berguna karena sistem mata uang kripto memerlukan verifikasi publik, tetapi pengguna mungkin tidak ingin setiap detail keuangan mereka terekspos selamanya.

Masalah Apa yang Diatasi Bulletproofs?

Bulletproofs terutama mengatasi masalah validasi privat yang efisien.

Dalam transaksi rahasia, jumlah disembunyikan di dalam komitmen kriptografis.

Komitmen memungkinkan seseorang menetapkan suatu nilai tanpa mengungkapkannya.

Namun, komitmen saja tidak cukup karena pengguna jahat dapat membuat komitmen terhadap nilai yang tidak valid.

Misalnya, pengguna dapat mencoba membuat transaksi yang secara matematis tampak seimbang, tetapi sebenarnya menggunakan nilai negatif tersembunyi untuk menciptakan koin tambahan.

Range proof mencegah hal ini dengan membuktikan bahwa nilai yang dikomitmenkan berada dalam rentang yang valid.

Sebelum Bulletproofs, range proof dapat berukuran besar dan mahal untuk blockchain.

Bulletproofs membuat range proof jauh lebih kecil sehingga sistem transaksi yang berfokus pada privasi menjadi lebih praktis.

Itulah sebabnya Bulletproofs menjadi alat penting dalam riset dan implementasi privasi kripto.

Cara Kerja Bulletproofs Secara Umum

Bulletproofs menggunakan komitmen kriptografis, argumen inner product, dan teknik zero-knowledge untuk membuktikan pernyataan tentang nilai yang disembunyikan.

Prover adalah orang atau perangkat lunak yang membuat proof.

Verifier adalah orang, node, atau jaringan yang memeriksa proof.

Prover mengetahui nilai rahasia, seperti jumlah transaksi.

Prover membuat proof bahwa nilai tersebut memenuhi aturan, misalnya berada dalam rentang yang valid.

Verifier memeriksa proof dan menjadi yakin bahwa aturan tersebut dipenuhi.

Verifier tidak mengetahui nilai rahasianya.

Inilah sifat zero-knowledge.

Bulletproofs juga bersifat noninteraktif. Artinya, prover dapat membuat satu proof yang nantinya dapat diverifikasi siapa pun tanpa perlu percakapan bolak-balik secara langsung.

Hal ini sangat berguna untuk blockchain karena proof transaksi harus disiarkan, disimpan, dan diverifikasi oleh banyak peserta.

Apa Itu Range Proof?

Range proof adalah proof kriptografis bahwa suatu angka tersembunyi berada dalam rentang tertentu.

Dalam kripto, contoh umum adalah membuktikan bahwa output transaksi yang disembunyikan tidak bernilai negatif dan tidak melampaui nilai maksimum yang valid.

Hal ini penting karena validasi blockchain harus mencegah bug inflasi dan transaksi yang tidak valid.

Jika jumlah terlihat, node dapat langsung memeriksa angkanya.

Jika jumlah disembunyikan, node memerlukan cara lain untuk memverifikasi aturan yang sama.

Range proof memberikan jaminan tersebut kepada node tanpa mengungkap jumlah sebenarnya.

Bulletproofs banyak dibahas karena membuat range proof lebih ringkas dan praktis untuk sistem transaksi rahasia.

Teknologi ini memungkinkan transaksi yang menjaga privasi tetap lebih sesuai dengan batas ukuran blockchain dan kemampuan verifikasi di dunia nyata.

Apa Itu Komitmen Pedersen?

Komitmen Pedersen adalah metode kriptografis yang memungkinkan pengguna membuat komitmen terhadap suatu nilai sambil merahasiakan nilai tersebut.

Metode ini umum digunakan dalam rancangan transaksi rahasia.

Komitmen tersebut menyembunyikan jumlah, tetapi tetap memungkinkan pemeriksaan matematis tertentu dilakukan.

Misalnya, jaringan dapat memeriksa apakah total input yang dikomitmenkan dan total output yang dikomitmenkan seimbang tanpa melihat jumlah sebenarnya.

Namun, komitmen Pedersen memerlukan range proof karena nilai yang disembunyikan dapat berperilaku tidak semestinya dalam aritmetika modular.

Transaksi yang terlihat seimbang tetap dapat tidak valid jika nilai yang disembunyikan berada di luar rentang yang diizinkan.

Bulletproofs menyediakan cara efisien untuk membuktikan bahwa nilai-nilai yang dikomitmenkan tersebut valid.

Kombinasi ini menjadi salah satu alasan Bulletproofs penting dalam desain mata uang kripto yang berfokus pada privasi.

Mengapa “Tanpa Trusted Setup” Penting?

Salah satu keunggulan terbesar Bulletproofs adalah tidak memerlukan trusted setup.

Trusted setup adalah upacara inisialisasi khusus yang membuat parameter publik untuk sejumlah sistem zero-knowledge proof.

Jika materi rahasia dari trusted setup tidak dihancurkan dengan benar, keamanan sistem dapat terganggu.

Dalam beberapa sistem proof, trusted setup yang disusupi dapat memungkinkan seseorang membuat proof palsu.

Risiko ini serius bagi mata uang kripto karena proof palsu dapat mengancam integritas moneter.

Bulletproofs menghindari kategori risiko setup ini.

Namun, bukan berarti Bulletproofs bebas risiko.

Artinya, Bulletproofs tidak bergantung pada upacara trusted setup seperti sejumlah sistem zero-knowledge lainnya.

Bagi komunitas blockchain yang menghargai verifiabilitas publik dan meminimalkan kepercayaan, hal ini merupakan keunggulan besar.

Bulletproofs dan Transaksi Rahasia

Transaksi rahasia menyembunyikan jumlah transaksi sekaligus memungkinkan jaringan memverifikasi bahwa jumlah uang tetap terjaga.

Bulletproofs berguna dalam transaksi rahasia karena membuktikan bahwa output tersembunyi berada dalam rentang yang valid.

Tanpa proof ini, pengguna jahat dapat mengeksploitasi jumlah tersembunyi untuk membuat transaksi tidak valid.

Dengan Bulletproofs, jaringan dapat menolak jumlah tersembunyi yang tidak valid tanpa melihat nilai sebenarnya.

Hal ini mendukung privasi keuangan yang lebih kuat di ledger publik.

Sistem transaksi rahasia dapat membantu mencegah pihak luar melacak dengan mudah ukuran pembayaran, saldo, aktivitas bisnis, atau pola belanja pribadi.

Namun, transaksi rahasia tidak otomatis menyembunyikan semuanya.

Metadata lain, perilaku jaringan, kesalahan wallet, pola waktu, atau penggunaan ulang alamat tetap dapat merusak privasi.

Bulletproofs adalah komponen pembangun privasi, bukan sistem privasi lengkap dengan sendirinya.

Bulletproofs dan Ukuran Transaksi

Ukuran transaksi merupakan masalah utama bagi sistem privasi blockchain mana pun.

Transaksi yang lebih besar memerlukan lebih banyak penyimpanan, biaya lebih tinggi, dan bandwidth lebih besar.

Jika transaksi privat terlalu besar, pengguna mungkin menghindarinya atau jaringan dapat menjadi lebih sulit dijalankan.

Bulletproofs menjadi populer karena dapat mengurangi ukuran range proof dibandingkan metode yang lebih lama.

Makalah asli Bulletproofs menjelaskan bahwa ukuran proof bertambah secara logaritmik terhadap ukuran witness. Artinya, ukuran proof meningkat secara perlahan seiring membesarnya pernyataan.

Hal ini bermanfaat untuk range proof agregat, yang memungkinkan beberapa output dibuktikan bersama dengan lebih efisien.

Proof yang lebih kecil dapat mengurangi blockchain bloat dan membuat transaksi privat lebih praktis.

Proof yang lebih kecil juga dapat membantu menurunkan biaya transaksi jika biaya dihitung berdasarkan ukuran transaksi.

Itulah sebabnya Bulletproofs sering dibahas sebagai peningkatan privasi sekaligus efisiensi.

Bulletproofs dan Kecepatan Verifikasi

Bulletproofs berukuran ringkas, tetapi proses verifikasinya dapat lebih mahal dibandingkan beberapa sistem proof lainnya.

Halaman Bulletproofs Stanford menyebutkan bahwa verifikasi Bulletproof dapat memerlukan lebih banyak waktu dibandingkan verifikasi sejumlah sistem proof ringkas.

Hal ini menimbulkan kompromi.

Bulletproofs tidak memerlukan trusted setup dan memiliki proof yang ringkas, tetapi verifikasinya mungkin memerlukan lebih banyak pekerjaan dibandingkan alternatif tertentu.

Biaya verifikasi penting bagi blockchain karena banyak node mungkin perlu memeriksa banyak proof.

Jika verifikasi terlalu lambat, menjalankan full node dapat menjadi lebih sulit.

Hal ini dapat merugikan desentralisasi.

Desain protokol yang baik harus menyeimbangkan ukuran proof, waktu verifikasi, waktu prover, keamanan implementasi, dan penggunaan sumber daya jaringan.

Bulletproofs menarik karena menawarkan keseimbangan yang kuat untuk range proof, tetapi bukan pilihan terbaik untuk setiap kebutuhan zero-knowledge.

Bulletproofs vs zk-SNARKs

Bulletproofs dan zk-SNARKs sama-sama merupakan teknologi zero-knowledge proof, tetapi memiliki kompromi yang berbeda.

Bulletproofs tidak memerlukan trusted setup.

Banyak sistem zk-SNARK tradisional memang memerlukan trusted setup, meskipun desain dan setup yang lebih baru berbeda-beda menurut protokol.

Proof zk-SNARK dapat berukuran sangat kecil dan cepat diverifikasi.

Bulletproofs biasanya lebih besar daripada proof SNARK dan dapat lebih lambat untuk diverifikasi.

Namun, Bulletproofs menarik bagi proyek yang menginginkan range proof efisien tanpa risiko upacara setup.

zk-SNARK sering digunakan untuk komputasi privat yang lebih umum, proof penskalaan, dan sistem validitas yang kompleks.

Bulletproofs terutama dikenal untuk range proof transaksi rahasia.

Pilihan terbaik bergantung pada aplikasi, asumsi kepercayaan, kebutuhan performa, kematangan implementasi, dan model keamanan.

Bulletproofs vs STARKs

Bulletproofs dan STARKs juga memiliki tujuan desain yang berbeda.

STARKs adalah sistem proof transparan yang dapat mendukung komputasi berskala besar dan tidak memerlukan trusted setup.

Proof STARK sering kali lebih besar daripada proof SNARK, tetapi dapat sangat berguna untuk komputasi yang dapat diskalakan dan proof validitas.

Bulletproofs biasanya lebih banyak dibahas dalam konteks range proof ringkas dan transaksi rahasia.

STARKs lebih sering dibahas dalam sistem penskalaan, validity rollup, dan proof komputasi berskala besar.

Kedua teknologi ini merupakan bagian dari lanskap zero-knowledge dan komputasi terverifikasi yang lebih luas.

Keduanya tidak selalu saling menggantikan secara langsung.

Protokol dapat memilih Bulletproofs untuk range proof jumlah tersembunyi dan memilih sistem proof lain untuk proof eksekusi berskala besar.

Memahami perbedaan ini membantu pengguna agar tidak menganggap semua zero-knowledge proof menyelesaikan masalah yang sama dengan cara yang sama.

Bulletproofs dan Agregasi

Agregasi merupakan salah satu fitur Bulletproofs yang paling berguna dalam transaksi kripto.

Proof agregat dapat menggabungkan beberapa range proof menjadi proof total yang lebih kecil dibandingkan jika setiap output dibuktikan secara terpisah.

Hal ini penting karena suatu transaksi dapat memiliki lebih dari satu output.

Tanpa agregasi, setiap output dapat menambah beban proof yang besar.

Dengan agregasi, transaksi dapat membuktikan beberapa output tersembunyi secara lebih efisien.

Hal ini membantu mengurangi ukuran transaksi dan membuat transaksi rahasia lebih mudah diskalakan.

Agregasi sangat berguna ketika wallet membuat beberapa output, seperti output pembayaran dan output kembalian.

Agregasi juga dapat membantu sistem ketika beberapa peserta berkontribusi pada satu transaksi atau satu batch.

Hasil praktisnya adalah transaksi privat dapat menjadi lebih kecil dan lebih ramah terhadap jaringan.

Bulletproofs dan Multi-Party Computation

Dalam desain tertentu, Bulletproofs juga dapat mendukung pembuktian multi-pihak.

Artinya, beberapa pihak dapat bekerja sama membuat proof tanpa saling mengungkap input privat mereka.

Dalam kripto, hal ini dapat berguna untuk transaksi bersama, konstruksi seperti coin-join, sistem aset rahasia, dan protokol kolaboratif.

Desain Bulletproof multi-pihak harus diimplementasikan dengan cermat karena koordinasi, keacakan, komunikasi, dan peserta yang bertindak jahat dapat menimbulkan risiko.

Jika salah satu peserta bertindak keliru, protokol mungkin memerlukan cara untuk mendeteksi atau memulihkan diri dari masalah tersebut.

Pembuktian multi-pihak dapat meningkatkan privasi dan efisiensi, tetapi juga menambah kompleksitas rekayasa.

Karena itu, sistem produksi memerlukan audit yang cermat dan tinjauan kriptografis yang kuat sebelum menggunakan fitur Bulletproof tingkat lanjut.

Kriptografi dapat aman secara teori, tetapi tidak aman dalam praktik jika implementasinya cacat.

Bulletproofs+ dan Varian yang Lebih Baru

Bulletproofs+ adalah versi Bulletproofs yang ditingkatkan dan dirancang untuk membuat range proof lebih kecil dan efisien.

Penjelasan Bulletproofs+ dari GetMonero menggambarkan Bulletproofs+ sebagai sistem pembuktian rentang yang lebih efisien untuk protokol transaksi rahasia.

Makalah Bulletproofs+ menyajikan argumen zero-knowledge yang lebih ringkas untuk range proof dan sirkuit aritmetika tanpa trusted setup.

Riset yang lebih baru, seperti Bulletproofs++, juga mengeksplorasi peningkatan efisiensi lebih lanjut untuk range proof dan aset rahasia.

Varian-varian ini menunjukkan bahwa teknologi Bulletproof terus berkembang.

Para peneliti terus meningkatkan ukuran proof, waktu pembuktian, waktu verifikasi, dan desain implementasi.

Bagi pengguna, hal penting yang perlu diketahui adalah bahwa “Bulletproofs” dapat merujuk pada sistem proof asli atau keluarga peningkatan terkait.

Bagi developer, versi yang digunakan sangat penting karena varian yang berbeda memiliki format proof, asumsi keamanan, profil performa, dan persyaratan kompatibilitas yang berbeda.

Bulletproofs dalam Privacy Coin

Bulletproofs sangat erat kaitannya dengan sistem mata uang kripto yang berfokus pada privasi dan menyembunyikan jumlah transaksi.

Dalam sistem ini, range proof diperlukan karena validator harus memeriksa apakah jumlah tersembunyi valid.

Sejumlah jaringan yang berfokus pada privasi beralih dari sistem range proof lama ke Bulletproofs karena proof yang lebih kecil dapat mengurangi ukuran transaksi dan beban verifikasi.

Entri glosarium Bulletproofs GetMonero menjelaskan bahwa ukuran proof Bulletproof bertambah secara logaritmik terhadap ukuran data yang dibuktikan.

Hal ini membuat Bulletproofs menarik bagi jaringan blockchain yang setiap byte-nya dapat memengaruhi biaya, penyimpanan, dan biaya jangka panjang node.

Namun, pengguna perlu memahami bahwa Bulletproofs terutama melindungi validitas jumlah yang disembunyikan.

Bulletproofs tidak otomatis menyembunyikan identitas pengirim, identitas penerima, alamat IP, perilaku wallet, atau aktivitas exchange.

Protokol privasi yang lengkap harus menggabungkan beberapa teknik untuk melindungi berbagai bagian informasi transaksi.

Bulletproofs dan Jumlah Tersembunyi

Jumlah tersembunyi merupakan salah satu penggunaan Bulletproofs yang paling penting.

Pada blockchain transparan, jumlah transaksi yang terlihat dapat mengungkap kekayaan pribadi, pendapatan bisnis, pembayaran pemasok, pola penggajian, atau perilaku trading.

Dalam sistem transaksi rahasia, jumlah disembunyikan di dalam komitmen.

Bulletproofs memungkinkan jaringan memeriksa validitas jumlah tersembunyi tanpa mengungkapkannya.

Hal ini membantu mencegah inflasi sekaligus menjaga kerahasiaan.

Hasilnya adalah model privasi yang lebih kuat untuk nilai transaksi.

Meski begitu, privasi jumlah hanya merupakan satu bagian dari privasi keuangan.

Jika suatu alamat dapat dikaitkan dengan seseorang melalui data eksternal, metadata tetap dapat mengungkap informasi penting.

Karena itu, wallet dan protokol yang berfokus pada privasi sering menggabungkan penyembunyian jumlah dengan alat privasi lainnya.

Bulletproofs dan Perlindungan dari Inflasi

Perlindungan dari inflasi merupakan salah satu peran keamanan Bulletproofs yang paling penting dalam transaksi rahasia.

Jaringan mata uang kripto harus memastikan bahwa pengguna tidak dapat menciptakan koin tambahan melalui transaksi yang tidak valid.

Ketika jumlah terlihat, pemeriksaan ini mudah dilakukan karena node dapat langsung menjumlahkan angkanya.

Ketika jumlah tersembunyi, jaringan memerlukan proof kriptografis bahwa nilai yang dikomitmenkan mengikuti aturan suplai.

Bulletproofs membantu dengan membuktikan bahwa setiap output tersembunyi berada dalam rentang yang valid.

Hal ini mencegah kecurangan yang menggunakan nilai negatif atau nilai yang melingkar dalam finite field.

Jika range proof tidak tersedia atau rusak, sistem dengan nilai tersembunyi dapat menjadi tidak aman.

Itulah sebabnya kualitas implementasi Bulletproof sangat penting.

Fitur privasi tidak boleh melemahkan integritas moneter mata uang kripto.

Bulletproofs dan Skalabilitas Blockchain

Bulletproofs bukan solusi penskalaan umum seperti jaringan Layer 2, tetapi dapat meningkatkan skalabilitas transaksi privat.

Bulletproofs mengurangi ukuran proof dibandingkan metode range proof yang lebih lama.

Proof yang lebih kecil dapat mengurangi bobot transaksi, pertumbuhan penyimpanan, penggunaan bandwidth, dan tekanan biaya.

Hal ini penting karena fitur privasi sering menambahkan data ekstra ke dalam transaksi.

Jika privasi terlalu mahal, hanya sedikit pengguna yang mungkin menggunakannya.

Jika hanya sedikit pengguna menggunakan privasi, kumpulan privasi dapat menjadi lebih lemah.

Dengan membuat transaksi privat lebih efisien, Bulletproofs dapat mendukung penggunaan sistem transaksi rahasia secara lebih luas dan praktis.

Efisiensi bukan hanya soal biaya.

Efisiensi juga dapat memengaruhi desentralisasi karena kebutuhan sumber daya yang lebih rendah memudahkan lebih banyak pengguna menjalankan node validator.

Bulletproofs dan Smart Contract

Bulletproofs juga dapat digunakan untuk membuktikan pernyataan selain range proof sederhana.

Makalah aslinya membahas proof untuk sirkuit aritmetika umum. Artinya, Bulletproofs dapat menyatakan hal yang lebih kompleks daripada “angka ini berada dalam suatu rentang”.

Dalam sistem smart contract, hal ini secara teori dapat mendukung aturan privat, saldo tersembunyi, aset rahasia, atau pengungkapan selektif.

Namun, Bulletproofs tidak selalu menjadi sistem proof terbaik untuk komputasi smart contract berskala besar.

Biaya verifikasi dan desain proof dapat membuat sistem proof lain lebih praktis untuk aplikasi blockchain tertentu.

Developer smart contract juga perlu mempertimbangkan biaya gas, pustaka verifikasi proof, kompatibilitas kurva, dan kompleksitas audit.

Sistem proof yang bekerja baik dalam riset akademis tetap dapat sulit diterapkan dengan aman dalam smart contract produksi.

Itulah sebabnya banyak proyek blockchain memilih sistem proof berdasarkan persyaratan performa dan kepercayaan yang sangat spesifik.

Asumsi Keamanan di Balik Bulletproofs

Bulletproofs bergantung pada asumsi kriptografis standar, khususnya asumsi terkait logaritma diskret dalam grup tertentu.

Keamanan implementasi Bulletproof bergantung pada matematika yang benar, pilihan kurva yang aman, keacakan yang kuat, dan kode yang dibuat dengan cermat.

Jika keacakannya lemah, nilai privat dapat bocor.

Jika kode implementasi memiliki bug, proof yang tidak valid dapat diterima atau proof yang valid dapat gagal.

Jika pemisahan domain ditangani dengan buruk, proof dapat digunakan kembali atau ditafsirkan secara keliru dalam konteks yang berbeda.

Jika integrasi protokol keliru, proof yang benar secara matematis tetap dapat gagal melindungi keseluruhan sistem.

Artinya, keamanan Bulletproof tidak hanya bergantung pada makalahnya.

Keamanan juga bergantung pada rekayasa perangkat lunak, audit, pengujian, tinjauan formal, dan penerapan yang aman.

Sistem kriptografis harus diperlakukan sebagai infrastruktur berisiko tinggi ketika melindungi aset kripto nyata.

Kesalahpahaman Umum tentang Bulletproofs

Kesalahpahaman umum adalah bahwa Bulletproofs dengan sendirinya membuat seluruh transaksi anonim.

Tidak demikian.

Bulletproofs terutama membuktikan pernyataan tentang nilai tersembunyi, khususnya rentangnya.

Bulletproofs tidak otomatis menyembunyikan metadata jaringan, sidik jari wallet, identitas pengirim, identitas penerima, atau pola waktu.

Kesalahpahaman lainnya adalah bahwa Bulletproofs membuat transaksi gratis atau instan.

Tidak demikian.

Bulletproofs mengurangi ukuran proof tertentu, tetapi tetap memerlukan komputasi dan ruang blockchain.

Kesalahpahaman ketiga adalah bahwa tidak adanya trusted setup berarti tidak ada kepercayaan sama sekali.

Tidak adanya trusted setup menghilangkan satu masalah kepercayaan tertentu, tetapi pengguna tetap mempercayai desain protokol, implementasi, perangkat lunak wallet, dan aturan konsensus.

Kesalahpahaman keempat adalah bahwa semua zero-knowledge proof sama.

Bulletproofs memiliki kompromi yang berbeda dari SNARKs, STARKs, dan sistem proof lainnya.

Keunggulan Bulletproofs

Keunggulan utama pertama Bulletproofs adalah tidak memerlukan trusted setup.

Hal ini mengurangi risiko bahwa upacara setup dapat disusupi.

Keunggulan kedua adalah ukuran proof yang ringkas untuk range proof.

Hal ini membuat transaksi rahasia lebih praktis di blockchain.

Keunggulan ketiga adalah agregasi.

Beberapa range proof dapat digabungkan dengan lebih efisien daripada membuktikan setiap nilai secara terpisah.

Keunggulan keempat adalah dukungan privasi yang kuat.

Bulletproofs memungkinkan validator memeriksa nilai tersembunyi tanpa mengetahui nilainya.

Keunggulan kelima adalah fleksibilitas.

Bulletproofs dapat membuktikan pernyataan aritmetika yang lebih umum, meskipun range proof tetap menjadi penggunaan kripto yang paling terkenal.

Keunggulan tersebut menjelaskan mengapa Bulletproofs menjadi tonggak penting dalam riset privasi blockchain.

Keterbatasan Bulletproofs

Keterbatasan pertama adalah biaya verifikasi.

Verifikasi Bulletproofs dapat lebih lambat dibandingkan sejumlah sistem proof lain yang memiliki proof sangat kecil dan verifikasi cepat.

Keterbatasan kedua adalah kompleksitas.

Implementasi Bulletproofs yang aman memerlukan rekayasa kriptografis tingkat lanjut.

Keterbatasan ketiga adalah Bulletproofs hanya melindungi pernyataan yang dibuktikan.

Jika sistem hanya membuktikan bahwa jumlah berada dalam rentang, detail transaksi lainnya mungkin tetap bocor melalui saluran lain.

Keterbatasan keempat adalah Bulletproofs tidak otomatis ideal untuk setiap penggunaan smart contract atau penskalaan.

Sistem proof lain mungkin lebih baik untuk proof komputasi berskala besar atau sistem validitas berthroughput tinggi.

Keterbatasan kelima adalah proses upgrade dapat sulit.

Blockchain yang mengubah sistem proof-nya harus mengoordinasikan wallet, node, pustaka, audit, dan aturan konsensus.

Keterbatasan ini bukan berarti Bulletproofs lemah.

Keterbatasan ini menunjukkan bahwa sistem proof harus dipilih untuk kebutuhan yang tepat.

Bulletproofs dan Pengguna Wallet

Sebagian besar pengguna wallet tidak perlu memahami seluruh matematika Bulletproofs.

Namun, mereka sebaiknya memahami makna praktisnya.

Jika wallet atau blockchain menggunakan Bulletproofs, teknologi ini mungkin digunakan untuk menyembunyikan jumlah transaksi sekaligus membuktikan validitas jumlah tersebut.

Hal ini dapat meningkatkan privasi dan mengurangi ukuran transaksi dibandingkan metode range proof yang lebih lama.

Pengguna tetap perlu mengikuti praktik terbaik untuk menjaga privasi.

Pengguna sebaiknya menghindari penggunaan ulang alamat jika model wallet menyarankan penggunaan alamat unik.

Pengguna sebaiknya melindungi frasa pemulihan dan kunci privat.

Pengguna sebaiknya tidak membocorkan informasi transaksi melalui tangkapan layar, unggahan publik, atau koneksi wallet yang tidak aman.

Pengguna perlu memahami bahwa privasi kriptografis akan lebih kuat jika perilaku pengguna juga melindungi privasi.

Bulletproofs dan Developer

Developer sebaiknya memperlakukan Bulletproofs sebagai infrastruktur kriptografis khusus.

Developer sebaiknya tidak membuat implementasi sendiri kecuali memiliki keahlian kriptografi yang mendalam dan mendapatkan tinjauan independen.

Biasanya, penggunaan pustaka matang yang telah diaudit dan mengikuti panduan khusus protokol lebih aman.

Pustaka Dalek Bulletproofs merupakan salah satu contoh implementasi yang berfokus pada range proof, range proof agregat, dan alat terkait.

Developer harus memeriksa apakah pustaka tersebut masih dipelihara, telah diaudit, kompatibel dengan pilihan kurvanya, dan sesuai untuk penggunaan produksi.

Developer juga harus menguji kasus khusus, proof tidak valid, perilaku verifikasi batch, penanganan transcript, dan integrasi dengan komitmen.

Sebagian besar kegagalan serius terjadi bukan karena gagasan kriptografinya lemah, melainkan karena implementasi atau integrasinya keliru.

Dalam aplikasi kripto, kesalahan semacam itu dapat menyebabkan kerugian finansial permanen.

Bulletproofs dan Audit

Audit sangat penting bagi sistem yang menggunakan Bulletproofs.

Tinjauan keamanan harus memeriksa pembuatan proof, verifikasi proof, konstruksi komitmen, pembuatan angka acak, pengikatan transcript, dan integrasi protokol.

Tinjauan juga harus memastikan bahwa nilai yang tidak valid tidak dapat lolos verifikasi.

Verifikasi batch harus ditinjau dengan cermat karena optimasi performa terkadang dapat menimbulkan risiko tersembunyi.

Integrasi wallet juga perlu diuji karena sistem proof yang benar tetap dapat membocorkan informasi jika wallet menangani metadata dengan buruk.

Tinjauan kriptografis independen sangat penting sebelum blockchain mengaktifkan upgrade sistem proof.

Setelah sistem proof menjadi bagian dari konsensus, memperbaiki kesalahan dapat menjadi sulit.

Karena itu, protokol kripto yang berfokus pada privasi sering menerapkan periode pengujian panjang, tinjauan publik, dan beberapa audit sebelum penerapan.

Bulletproofs dan Diskusi Regulasi

Bulletproofs dapat muncul dalam diskusi regulasi karena meningkatkan privasi transaksi mata uang kripto.

Privasi dapat melindungi pengguna biasa, bisnis, dan komunitas dari pengawasan yang tidak diinginkan.

Privasi juga dapat menimbulkan kekhawatiran bagi tim kepatuhan ketika detail transaksi lebih sulit diperiksa.

Teknologi ini sendiri bersifat netral.

Bulletproofs merupakan metode kriptografis untuk membuktikan informasi tersembunyi yang valid.

Penggunaannya bergantung pada protokol, wallet, proses bisnis, dan lingkungan hukum.

Sejumlah sistem dapat menggunakan zero-knowledge proof untuk pengungkapan selektif, ketika pengguna dapat membuktikan fakta tertentu tanpa mengungkap semuanya.

Hal ini dapat mendukung kepatuhan yang menjaga privasi di masa mendatang.

Hal pentingnya adalah Bulletproofs bukan sekadar teknologi untuk menyembunyikan data.

Teknologi ini digunakan untuk membuktikan kebenaran sekaligus mengungkapkan lebih sedikit data dibandingkan sistem tradisional.

Masa Depan Bulletproofs

Masa depan Bulletproofs kemungkinan berfokus pada efisiensi yang lebih baik, implementasi yang lebih aman, dan varian yang lebih khusus.

Bulletproofs+ telah meningkatkan efisiensi range proof untuk sejumlah sistem transaksi rahasia.

Bulletproofs++ dan riset terkait terus mengeksplorasi desain proof yang lebih kecil dan lebih cepat.

Di saat yang sama, sistem proof lainnya berkembang dengan cepat.

Artinya, Bulletproofs akan tetap menjadi bagian dari perangkat zero-knowledge yang lebih luas, bukan satu-satunya solusi.

Bulletproofs kemungkinan tetap relevan ketika trusted setup yang tidak diperlukan, range proof ringkas, dan dukungan transaksi rahasia sangat penting.

Bulletproofs mungkin tidak terlalu dominan dalam aplikasi yang memerlukan verifikasi sangat cepat untuk komputasi berskala besar.

Industri kripto akan terus membandingkan sistem proof berdasarkan asumsi kepercayaan, ukuran proof, biaya verifikasi, perangkat developer, dan kematangan keamanan.

Bulletproofs layak digunakan karena membuat range proof privat yang praktis jauh lebih efisien.

FAQ

Apa itu Bulletproofs dalam kripto?

Bulletproofs adalah zero-knowledge proof ringkas yang digunakan dalam kripto untuk membuktikan validitas nilai tersembunyi, seperti jumlah transaksi rahasia, tanpa mengungkap nilai tersebut.

Untuk apa Bulletproofs digunakan?

Bulletproofs terutama digunakan untuk range proof yang efisien dalam sistem transaksi rahasia, meskipun juga dapat mendukung pernyataan aritmetika yang lebih umum.

Apakah Bulletproofs memerlukan trusted setup?

Tidak. Bulletproofs tidak memerlukan trusted setup, yang merupakan salah satu keunggulan utamanya dibandingkan sejumlah sistem zero-knowledge proof lainnya.

Apa itu range proof?

Range proof membuktikan bahwa suatu angka tersembunyi berada dalam rentang yang diizinkan tanpa mengungkap angka itu sendiri.

Mengapa transaksi rahasia memerlukan Bulletproofs?

Transaksi rahasia memerlukan range proof agar jaringan dapat memverifikasi validitas jumlah tersembunyi dan memastikan tidak ada koin tambahan yang dibuat.

Apakah Bulletproofs membuat transaksi sepenuhnya anonim?

Tidak. Bulletproofs dapat menyembunyikan dan membuktikan fakta tentang jumlah transaksi, tetapi privasi transaksi secara menyeluruh juga bergantung pada privasi alamat, perlindungan metadata, perilaku wallet, dan fitur protokol lainnya.

Apakah Bulletproofs lebih baik daripada zk-SNARKs?

Bulletproofs lebih baik untuk sejumlah kebutuhan karena tidak memerlukan trusted setup, sedangkan zk-SNARKs dapat lebih baik untuk kebutuhan lainnya karena sering memiliki proof lebih kecil dan verifikasi lebih cepat.

Apa itu Bulletproofs+?

Bulletproofs+ adalah versi Bulletproofs yang ditingkatkan dan dirancang untuk membuat range proof lebih kecil dan efisien, sekaligus tetap tidak memerlukan trusted setup.

Apakah Bulletproofs aman?

Bulletproofs didasarkan pada gagasan kriptografis yang telah dipelajari dengan baik, tetapi keamanannya bergantung pada implementasi yang benar, parameter yang aman, keacakan yang kuat, audit, dan integrasi yang tepat ke dalam protokol blockchain.

Bisakah developer menggunakan Bulletproofs dalam smart contract?

Developer dapat menggunakan proof bergaya Bulletproof dalam sejumlah desain smart contract, tetapi harus mempertimbangkan biaya verifikasi, kematangan pustaka, kompatibilitas kurva, dan persyaratan audit.

Kesimpulan

Bulletproofs merupakan sistem zero-knowledge proof penting dalam mata uang kripto karena membuat validasi privat lebih efisien.

Bulletproofs memungkinkan pengguna membuktikan validitas jumlah transaksi tersembunyi tanpa mengungkap jumlah tersebut.

Hal ini membuat Bulletproofs sangat berguna untuk transaksi rahasia dan range proof.

Keunggulan utamanya adalah ukuran proof yang ringkas untuk range proof, dukungan agregasi, dan tidak memerlukan trusted setup.

Keterbatasan utamanya adalah biaya verifikasi, kompleksitas implementasi, dan fakta bahwa Bulletproofs hanya melindungi pernyataan tertentu yang dibuktikan.

Bulletproofs tidak boleh disamakan dengan sistem anonimitas lengkap karena hanya merupakan salah satu bagian dari desain privasi yang lebih luas.

Bulletproofs juga tidak seharusnya dianggap sebagai pengganti universal untuk semua sistem zero-knowledge proof.

Bagi pengguna kripto, kesimpulan utamanya adalah Bulletproofs membantu blockchain memverifikasi nilai tersembunyi dengan aman.

Bagi developer, kesimpulan utamanya adalah Bulletproofs memerlukan implementasi yang cermat, pengujian yang kuat, dan tinjauan independen.

Seiring terus berkembangnya teknologi privasi dan zero-knowledge, Bulletproofs beserta varian yang lebih baru tetap menjadi alat penting untuk membangun sistem mata uang kripto yang mengungkapkan lebih sedikit informasi sekaligus tetap membuktikan bahwa aturan dipatuhi.