Komitmen Pedersen

Apa Itu Komitmen Pedersen?

Komitmen Pedersen adalah skema komitmen kriptografis yang memungkinkan pengguna menyembunyikan suatu nilai sekaligus berkomitmen pada nilai tersebut secara pasti sehingga nilainya tidak dapat diubah kemudian.

Dalam kripto, komitmen Pedersen penting karena membantu blockchain, protokol privasi, dan sistem zero-knowledge membuktikan fakta tentang nilai tersembunyi tanpa mengungkap nilai tersebut.

Skema komitmen sering dijelaskan dengan analogi amplop tersegel.

Anda memasukkan nilai rahasia ke dalam amplop, menyegelnya, lalu menunjukkan amplop tertutup itu kepada orang lain.

Orang lain tidak dapat melihat nilai di dalamnya, tetapi Anda juga tidak dapat mengubah nilai tersebut setelah amplop disegel.

Komitmen Pedersen menghasilkan efek ini dengan matematika, bukan kertas.

Konstruksi aslinya dikaitkan dengan makalah Torben Pryds Pedersen, Non-Interactive and Information-Theoretic Secure Verifiable Secret Sharing, yang memperkenalkan komitmen untuk verifiable secret sharing.

Bentuk sederhana yang umum digunakan ditulis sebagai

.

Dalam rumus ini,

adalah komitmen, adalah nilai tersembunyi, adalah faktor penyamar acak, dan serta adalah titik generator independen dalam grup kriptografis.

Nilai

tetap tersembunyi karena faktor penyamar acak menyamarkannya.

Komitmen tetap mengikat karena pembuatnya seharusnya tidak dapat membuka komitmen yang sama sebagai dua nilai berbeda, kecuali jika mampu menyelesaikan masalah matematika yang sulit.

Kombinasi sifat penyembunyian dan pengikatan ini membuat komitmen Pedersen berguna untuk transaksi rahasia, saldo privat, range proof, sirkuit zero-knowledge, verifiable secret sharing, dan aplikasi kripto yang menjaga privasi.

Hal Penting tentang Komitmen Pedersen

• • Komitmen Pedersen menyembunyikan nilai sekaligus mengikat pihak yang membuat komitmen pada nilai tersebut.
  • Bentuknya biasanya
    C = rG + vH
    , dengan
    v
    sebagai nilai dan
    r
    sebagai faktor penyamar.
  • Komitmen ini memiliki sifat menyembunyikan karena faktor penyamar acak mencegah pihak luar mengetahui nilai yang dikomitmenkan.
  • Komitmen ini memiliki sifat mengikat karena pihak yang membuat komitmen tidak dapat dengan mudah membuka komitmen yang sama sebagai dua nilai berbeda.
  • Komitmen ini bersifat homomorfik secara aditif, artinya komitmen dapat dijumlahkan dengan cara yang berguna.
  • Komitmen ini banyak digunakan dalam transaksi rahasia, range proof, sistem zero-knowledge, dan desain blockchain yang berfokus pada privasi.

Pentingnya Komitmen Pedersen dalam Kripto

Komitmen Pedersen penting karena blockchain publik menimbulkan masalah privasi.

Banyak blockchain membuat data transaksi terlihat oleh siapa pun.

Transparansi ini membantu pengguna memverifikasi suplai dan penyelesaian transaksi, tetapi juga dapat mengungkap saldo, jumlah transaksi, aktivitas bisnis, dan perilaku pengguna.

Komitmen Pedersen membantu mengatasi sebagian masalah ini dengan menyembunyikan jumlah, sambil tetap memungkinkan pemeriksaan matematis.

Misalnya, sistem privasi mungkin perlu membuktikan bahwa input transaksi sama dengan output transaksi tanpa menunjukkan jumlah sebenarnya.

Komitmen Pedersen dapat menyembunyikan setiap jumlah sambil mempertahankan struktur yang cukup untuk membuktikan bahwa angkanya seimbang.

Penjelasan Confidential Transactions dari Elements Project menyatakan bahwa alat dasar di balik confidential transactions adalah komitmen Pedersen.

Hal ini berguna karena blockchain dapat memverifikasi bahwa tidak ada koin baru yang dibuat secara diam-diam, sambil tetap menjaga kerahasiaan jumlah transaksi.

Komitmen Pedersen juga penting dalam zero-knowledge proof.

Zero-knowledge proof dapat membuktikan bahwa nilai tersembunyi yang dikomitmenkan memenuhi suatu aturan tanpa mengungkap nilai itu sendiri.

Komitmen menjadi komponen dasar untuk transfer privat, saldo terlindungi, aset rahasia, sistem pembuktian, dan protokol kriptografis yang aman.

Cara Kerja Komitmen Pedersen

Komitmen Pedersen menggabungkan nilai tersembunyi dengan data rahasia acak.

Nilai tersembunyi adalah hal yang ingin dikomitmenkan oleh pengguna.

Data rahasia acak disebut faktor penyamar.

Faktor penyamar sangat penting karena mencegah pihak luar menebak nilai tersembunyi.

Jika komitmen hanya bergantung pada nilai, seseorang dapat mencoba berbagai kemungkinan nilai dan membandingkan hasilnya.

Hal ini sangat berbahaya jika kemungkinan nilainya sedikit, seperti jumlah transaksi.

Komitmen Pedersen menghindari hal ini dengan mencampurkan nilai dan keacakan.

Versi kurva eliptik yang umum adalah

.

Generator

dikalikan dengan faktor penyamar .

Generator

dikalikan dengan nilai .

Kedua titik hasil perkalian dijumlahkan untuk membuat komitmen

.

Siapa pun dapat melihat

, tetapi tidak mudah mengetahui karena mereka tidak mengetahui .

Kemudian, pihak yang membuat komitmen dapat mengungkap

dan untuk membuka komitmen tersebut.

Verifier dapat menghitung ulang

dan memeriksa apakah hasilnya sama dengan komitmen asli.

Jika cocok, komitmen berhasil dibuka.

Sifat Menyembunyikan

Sifat menyembunyikan berarti komitmen tidak mengungkap nilai yang dikomitmenkan.

Dalam komitmen Pedersen, faktor penyamar memberikan privasi ini.

Jika faktor penyamar dipilih secara acak dan dirahasiakan, komitmen dapat menyembunyikan nilai meskipun komitmen itu bersifat publik.

Karena itu, komitmen Pedersen berguna dalam sistem transaksi rahasia.

Blockchain dapat menampilkan komitmen secara on-chain tanpa menunjukkan jumlah yang mendasarinya.

Pengamat mungkin melihat bahwa transaksi terjadi, tetapi tidak dapat langsung membaca nilai yang dikomitmenkan hanya dari komitmen tersebut.

Sifat menyembunyikan bergantung pada keacakan yang benar.

Jika faktor penyamar digunakan ulang, dapat diprediksi, bocor, atau dibuat dengan buruk, privasi dapat melemah.

Bagi developer kripto, pembuatan angka acak yang aman bukanlah hal sepele.

Hal ini merupakan bagian dari keamanan komitmen itu sendiri.

Sifat Mengikat

Sifat mengikat berarti pihak yang membuat komitmen tidak dapat dengan mudah mengubah nilai yang dikomitmenkan setelah membuat komitmen.

Jika seseorang membuat komitmen untuk

, orang tersebut seharusnya tidak dapat membuka komitmen yang sama sebagai kemudian.

Dalam komitmen Pedersen, sifat mengikat bergantung pada sulitnya memecahkan hubungan logaritma diskret antara generator.

Generator

dan harus dipilih sedemikian rupa sehingga tidak ada yang mengetahui bilangan rahasia yang memenuhi .

Jika seseorang mengetahui hubungan tersebut, mereka dapat membuat pembukaan berbeda untuk komitmen yang sama.

Hal itu akan merusak sifat mengikat.

Karena itu, pemilihan generator yang tepercaya sangat penting.

Banyak sistem menggunakan metode derivasi generator “nothing-up-my-sleeve” untuk mengurangi kecurigaan bahwa seseorang diam-diam mengetahui hubungan antara generator.

Sifat mengikat menjadikan komitmen lebih dari sekadar enkripsi.

Enkripsi menyembunyikan data, tetapi komitmen juga mengikat pengirim pada satu nilai.

Sifat Homomorfik

Sifat homomorfik merupakan salah satu alasan utama komitmen Pedersen sangat berguna dalam kripto.

Komitmen Pedersen bersifat homomorfik secara aditif.

Artinya, komitmen dapat dijumlahkan dan hasilnya sesuai dengan komitmen atas jumlah nilai yang tersembunyi.

Dengan rumus sederhana, jika

dan , maka .

Sifat ini memungkinkan sistem memeriksa hubungan aritmetika tanpa mengungkap nilai.

Dalam confidential transactions, protokol dapat memeriksa bahwa jumlah input yang dikomitmenkan sama dengan jumlah output yang dikomitmenkan ditambah biaya.

Verifier tidak perlu mengetahui jumlah tersembunyi untuk memeriksa keseimbangan transaksi.

Dokumentasi Elements menjelaskan perilaku aditif ini dengan menunjukkan bahwa jumlah komitmen sama dengan komitmen atas jumlah data dan faktor penyamar.

Fitur homomorfik ini membuat komitmen Pedersen berguna dalam sistem keuangan yang menjaga privasi.

Komitmen Pedersen dalam Confidential Transactions

Confidential transactions menggunakan kriptografi untuk menyembunyikan jumlah transaksi sekaligus tetap memungkinkan validasi.

Komitmen Pedersen merupakan alat inti dalam desain ini.

Alih-alih memublikasikan jumlah secara langsung, transaksi dapat memublikasikan komitmen atas jumlah tersebut.

Validator dapat memeriksa keseimbangan komitmen, yang berarti transaksi tidak menciptakan nilai dari ketiadaan.

Namun, validator tidak melihat jumlah pastinya.

Hal ini memberi pengguna privasi keuangan yang lebih baik sekaligus melindungi aturan suplai sistem.

Confidential transactions juga memerlukan range proof.

Range proof membuktikan bahwa jumlah yang dikomitmenkan berada dalam rentang yang diizinkan, misalnya lebih besar dari atau sama dengan nol dan di bawah nilai maksimum.

Range proof diperlukan karena aritmetika homomorfik saja dapat memungkinkan nilai negatif tersembunyi menyamarkan inflasi.

Sistem confidential transactions yang aman harus membuktikan keseimbangan sekaligus rentang nilai yang valid.

Komitmen Pedersen menyediakan lapisan aritmetika tersembunyi, sedangkan range proof memeriksa keamanan nilai yang diizinkan.

Komitmen Pedersen dan Range Proof

Range proof adalah zero-knowledge proof yang menunjukkan bahwa angka yang dikomitmenkan berada dalam rentang yang valid.

Hal ini penting karena komitmen Pedersen menyembunyikan nilai sepenuhnya.

Jika nilainya tersembunyi, validator memerlukan cara lain untuk mengetahui bahwa nilai tersebut tidak negatif atau terlalu besar untuk dimungkinkan.

Misalnya, transaksi dapat tampak seimbang jika output tersembunyi diam-diam menggunakan angka negatif.

Range proof mencegah hal ini dengan membuktikan bahwa setiap jumlah yang dikomitmenkan valid.

Bulletproofs adalah salah satu sistem range proof terkenal yang digunakan bersama komitmen Pedersen.

Implementasi Bulletproofs dalek menjelaskan dukungan untuk range proof tunggal dan agregat menggunakan grup Ristretto.

Dalam banyak kasus, range proof agregat berguna karena dapat membuktikan beberapa rentang nilai dengan lebih efisien daripada proof terpisah.

Bagi pengguna kripto, intinya sederhana: komitmen Pedersen menyembunyikan nilai, sedangkan range proof membantu membuktikan bahwa nilai tersembunyi tersebut aman.

Kedua komponen ini sering kali dibutuhkan dalam sistem transaksi yang menjaga privasi.

Komitmen Pedersen dalam Zero-Knowledge Proof

Komitmen Pedersen sering digunakan di dalam sistem zero-knowledge proof.

Pembukti dapat membuat komitmen atas nilai rahasia, lalu membuktikan pernyataan mengenai nilai tersebut.

Verifier dapat memeriksa proof tanpa mengetahui rahasianya.

Misalnya, pengguna dapat membuktikan bahwa saldo tersembunyi cukup untuk pembayaran.

Pengguna dapat membuktikan bahwa dua nilai yang dikomitmenkan sama.

Pengguna dapat membuktikan bahwa nilai yang dikomitmenkan berada dalam suatu rentang.

Protokol dapat membuktikan bahwa jumlah input yang dikomitmenkan sama dengan jumlah output yang dikomitmenkan.

Proof semacam ini dapat mendukung privasi tanpa merusak verifikasi.

Inilah salah satu tujuan utama sistem privasi kripto modern.

Jaringan publik seharusnya dapat menolak transaksi tidak valid tanpa melihat setiap detail pribadi.

Komitmen Pedersen membantu menciptakan keseimbangan antara privasi dan kemampuan audit.

Komitmen Pedersen dalam Sistem Bergaya Zcash

Beberapa protokol blockchain yang berfokus pada privasi menggunakan skema komitmen untuk menyembunyikan detail transaksi dalam transaksi terlindungi.

Spesifikasi protokol Zcash terkini menetapkan skema komitmen dan membahas komitmen bergaya Pedersen dalam desain protokolnya.

Spesifikasi tersebut menjelaskan skema komitmen berdasarkan persyaratan sifat menyembunyikan dan mengikat.

Spesifikasi itu juga menetapkan komitmen Pedersen homomorfik untuk komitmen nilai dalam komponen transaksi terlindungi.

Dalam sistem semacam ini, komitmen nilai dapat menyembunyikan jumlah, tetapi tetap memungkinkan pemeriksaan keseimbangan dalam zero-knowledge proof.

Blockchain publik tidak perlu menampilkan jumlah mentah agar protokol dapat membuktikan bahwa nilai tetap terjaga.

Desain ini menunjukkan bahwa komitmen Pedersen bukan hanya gagasan akademis.

Komitmen ini merupakan alat kriptografis praktis yang digunakan dalam rekayasa privasi blockchain nyata.

Namun, setiap implementasi memiliki detail, kurva, generator, sistem proof, dan asumsi keamanan tersendiri.

Pengguna tidak boleh menganggap setiap protokol yang menggunakan komitmen memiliki tingkat privasi atau model keamanan yang sama.

Komitmen Pedersen vs Komitmen Hash

Komitmen hash dapat dibuat dengan melakukan hashing atas suatu nilai bersama nonce acak.

Misalnya, bentuk sederhana komitmen hash dapat berupa

.

Jika dirancang dengan benar, metode ini dapat memberikan sifat menyembunyikan dan mengikat.

Namun, komitmen hash dasar tidak secara alami mendukung sifat homomorfik aditif yang sama seperti komitmen Pedersen.

Perbedaan ini penting dalam kripto.

Jika sistem hanya perlu menyembunyikan nilai lalu mengungkapnya kemudian, komitmen hash mungkin sudah cukup.

Jika sistem perlu membuktikan hubungan aritmetika antara jumlah tersembunyi, komitmen Pedersen dapat jauh lebih berguna.

Sistem confidential transactions memerlukan aritmetika tersembunyi karena sistem harus memverifikasi keseimbangan dana.

Karena itu, komitmen Pedersen umum digunakan dalam protokol keuangan yang menjaga privasi.

Pemilihan antara komitmen hash dan komitmen Pedersen bergantung pada kebutuhan aplikasi.

Komitmen Pedersen vs Enkripsi

Komitmen Pedersen tidak sama dengan enkripsi.

Enkripsi menyembunyikan informasi agar pihak yang memiliki kunci yang tepat dapat mendekripsi dan membacanya.

Komitmen menyembunyikan informasi sekaligus mengikat pembuat komitmen pada nilai tertentu.

Dalam banyak skema komitmen, tidak ada kunci dekripsi terpisah yang mengungkap nilai tersebut.

Nilai hanya diungkap ketika pembuat komitmen membuka komitmen dengan menunjukkan nilai dan faktor penyamar.

Perbedaan ini penting dalam sistem blockchain.

Jika protokol perlu membuktikan bahwa jumlah tersembunyi memenuhi suatu aturan, protokol dapat menggunakan komitmen dan zero-knowledge proof, bukan enkripsi biasa.

Enkripsi berguna untuk pesan rahasia.

Komitmen berguna untuk klaim tersembunyi yang dapat diverifikasi.

Banyak sistem kripto tingkat lanjut menggunakan kedua alat ini, tetapi keduanya menyelesaikan masalah yang berbeda.

Komitmen Pedersen vs Komitmen Merkle

Komitmen Merkle tree mengikat sekumpulan data menggunakan hash yang disusun dalam bentuk pohon.

Merkle root dapat mengikat banyak leaf, dan Merkle proof dapat menunjukkan bahwa satu item termasuk dalam kumpulan yang dikomitmenkan.

Komitmen Pedersen biasanya mengikat suatu nilai dengan faktor penyamar.

Kedua alat ini berbeda, tetapi dapat digunakan bersama.

Protokol privasi dapat menggunakan komitmen Pedersen untuk menyembunyikan jumlah dan Merkle tree untuk membuktikan keanggotaan dalam kumpulan note, koin, atau catatan.

Merkle tree membantu membuktikan bahwa objek yang dikomitmenkan ada dalam kumpulan yang lebih besar.

Komitmen Pedersen membantu menyembunyikan dan mengikat nilai di dalam objek tersebut.

Memahami perbedaannya membantu pengguna membaca dokumentasi privasi kripto dengan lebih jelas.

Komitmen Merkle mengatur data.

Komitmen Pedersen menyembunyikan dan mengikat nilai.

Komitmen Pedersen vs Tanda Tangan Digital

Tanda tangan digital membuktikan bahwa suatu pesan diotorisasi oleh kunci privat.

Komitmen Pedersen membuktikan bahwa seseorang telah berkomitmen pada suatu nilai tersembunyi.

Keduanya memiliki fungsi kriptografis yang berbeda.

Tanda tangan menjawab pertanyaan, “Apakah kunci ini mengotorisasi pesan ini?”

Komitmen menjawab pertanyaan, “Apakah nilai tersembunyi ini telah ditetapkan sebelumnya tanpa mengungkapkannya?”

Transaksi kripto dapat menggunakan keduanya.

Pengguna dapat menandatangani transaksi untuk mengotorisasi pengeluaran.

Transaksi tersebut juga dapat memuat komitmen untuk menyembunyikan jumlah.

Zero-knowledge proof kemudian dapat membuktikan bahwa data tersembunyi yang dikomitmenkan mematuhi aturan protokol.

Setiap alat memiliki peran berbeda dalam desain keamanan secara menyeluruh.

Pentingnya Pemilihan Generator

Komitmen Pedersen memerlukan dua generator independen.

Generator ini sering disebut

dan .

Keamanan sifat mengikat bergantung pada tidak adanya pihak yang mengetahui hubungan logaritma diskret di antara keduanya.

Jika perancang jahat mengetahui hubungan antara

dan , perancang tersebut mungkin dapat membuka komitmen sebagai nilai yang berbeda.

Karena itu, derivasi generator harus transparan dan tepercaya.

Protokol sering menurunkan generator dari hash atau label yang dipisahkan berdasarkan domain agar pengguna dapat melihat bahwa generator tidak dipilih secara diam-diam dengan trapdoor tersembunyi.

Pemisahan domain juga membantu mencegah materi generator yang sama digunakan ulang dengan cara yang tidak aman dalam konteks protokol berbeda.

Bagi developer, pemilihan generator merupakan detail yang sangat penting bagi konsensus atau keamanan dalam banyak sistem.

Proses ini tidak boleh dilakukan sembarangan.

Faktor Penyamaran

Faktor penyamar adalah rahasia acak yang menyembunyikan nilai yang dikomitmenkan.

Dalam rumus

, faktor penyamarnya adalah .

Faktor penyamar harus dibuat menggunakan keacakan yang aman.

Faktor ini tidak boleh dapat diprediksi.

Faktor ini tidak boleh digunakan ulang dengan cara yang tidak aman.

Faktor ini tidak boleh bocor.

Jika faktor penyamar terungkap, komitmen biasanya dapat dibuka.

Jika faktor penyamar lemah, penyerang mungkin dapat menebak nilai yang dikomitmenkan.

Dalam sistem transaksi, faktor penyamar juga dapat diseimbangkan secara cermat agar jumlah komitmen membuktikan terjaganya nilai.

Hal ini menjadikan pengelolaan faktor penyamar sebagai bagian inti dari desain confidential transactions.

Membuka Komitmen Pedersen

Membuka komitmen Pedersen berarti mengungkap nilai dan faktor penyamar yang digunakan untuk membuatnya.

Verifier memeriksa pembukaan dengan menghitung ulang komitmen.

Jika komitmen hasil hitung ulang sama dengan komitmen asli, pembukaan tersebut valid.

Misalnya, jika komitmen aslinya adalah

, pihak yang membuat komitmen mengungkap dan .

Verifier menghitung

.

Jika hasilnya sama dengan

, verifier menerima pembukaan tersebut.

Jika tidak cocok, pembukaan ditolak.

Dalam banyak sistem privasi blockchain, komitmen tidak dibuka sepenuhnya kepada publik.

Sebaliknya, zero-knowledge proof digunakan untuk membuktikan fakta tentang komitmen sambil merahasiakan nilainya.

Cara ini mempertahankan privasi sekaligus mendukung verifikasi.

Sifat Mengikat secara Komputasional dan Menyembunyikan secara Sempurna

Komitmen Pedersen sering digambarkan memiliki sifat menyembunyikan sempurna dan mengikat secara komputasional.

Menyembunyikan secara sempurna berarti komitmen tidak mengungkap informasi apa pun mengenai nilai jika faktor penyamarnya benar-benar acak.

Mengikat secara komputasional berarti pelanggaran terhadap sifat mengikat harus memerlukan penyelesaian masalah matematika yang sulit.

Dalam sebagian besar penggunaan kurva eliptik, masalah sulit tersebut berkaitan dengan masalah logaritma diskret.

Profil keamanan ini tidak biasa dan berguna.

Profil ini memberikan privasi yang sangat kuat untuk nilai yang dikomitmenkan, sekaligus mengandalkan asumsi komputasional untuk mencegah kecurangan.

Namun, keamanan yang tepat bergantung pada grup, generator, keacakan, implementasi, dan konteks protokol.

Primitif matematika yang benar tetap dapat menjadi tidak aman jika diimplementasikan dengan buruk.

Rekayasa kriptografis sama pentingnya dengan rumusnya.

Komitmen Pedersen dan Kurva Eliptik

Banyak komitmen Pedersen modern diimplementasikan menggunakan grup kurva eliptik.

Kurva eliptik berguna karena mendukung operasi grup yang efisien dan representasi ringkas.

Rumus komitmen

dapat dihitung menggunakan perkalian skalar kurva eliptik dan penjumlahan titik.

Protokol yang berbeda dapat menggunakan kurva dan grup yang berbeda.

Beberapa sistem menggunakan grup yang dirancang untuk menghindari masalah cofactor yang rumit.

Dokumentasi curve25519-dalek menjelaskan Ristretto sebagai konstruksi grup berorde prima yang memberikan manfaat kecepatan dan keamanan tanpa ketidaksesuaian abstraksi terkait cofactor.

Hal ini penting karena pilihan grup dapat memengaruhi keamanan, desain proof, keamanan implementasi, dan interoperabilitas.

Developer tidak boleh mencampur titik kurva, encoding, atau asumsi subgrup secara sembarangan.

Detail grup kriptografis mudah keliru dan sulit diaudit oleh pengguna.

Komitmen Pedersen dalam Multi-Party Computation

Komitmen Pedersen juga berguna dalam multi-party computation dan kriptografi threshold.

Dalam situasi ini, beberapa pihak mungkin perlu berkomitmen pada share rahasia, keacakan, atau nilai tanpa langsung mengungkapkannya.

Komitmen dapat membantu satu pihak membuktikan bahwa mereka mengikuti protokol dengan jujur.

Misalnya, peserta dapat membuat komitmen atas share rahasia selama tahap penyiapan, lalu mengungkapkan informasi yang dapat diverifikasi pihak lain.

Hal ini membantu mencegah peserta yang tidak jujur mengubah nilainya setelah melihat pesan peserta lain.

Karya asli Pedersen berfokus pada verifiable secret sharing, yang berkaitan erat dengan masalah kriptografis terdistribusi ini.

Dalam infrastruktur kripto, gagasan serupa dapat mendukung wallet threshold, distributed key generation, sistem validator, kontrol kustodian, dan protokol penandatanganan yang aman.

Kesamaan utamanya adalah akuntabilitas tanpa pengungkapan yang tidak perlu.

Komitmen Pedersen dan Verifikasi Suplai

Tantangan utama dalam sistem kripto privat adalah membuktikan bahwa transaksi tersembunyi tidak menambah suplai secara tidak sah.

Jika jumlah disembunyikan, jaringan tetap harus mengetahui bahwa koin tidak dibuat secara diam-diam.

Komitmen Pedersen membantu karena sifat homomorfiknya memungkinkan pemeriksaan saldo atas nilai tersembunyi.

Jika input yang dikomitmenkan dikurangi output yang dikomitmenkan menghasilkan komitmen biaya yang valid atau ekspresi saldo nol, transaksi dapat membuktikan terjaganya nilai.

Namun, pemeriksaan saldo ini harus dikombinasikan dengan range proof dan pemeriksaan validitas lainnya.

Jika tidak, nilai negatif tersembunyi atau encoding tidak valid dapat merusak sistem.

Karena itu, verifikasi suplai dalam sistem privat merupakan masalah desain protokol secara menyeluruh.

Komitmen Pedersen adalah komponen utama, tetapi bukan keseluruhan solusinya.

Keterbatasan Komitmen Pedersen

Komitmen Pedersen tidak dengan sendirinya membuktikan bahwa nilai tersembunyi itu valid.

Komitmen ini hanya menyembunyikan dan mengikat nilai.

Proof terpisah diperlukan untuk menunjukkan bahwa nilai tersebut berada dalam rentang yang valid.

Proof terpisah mungkin juga diperlukan untuk menunjukkan bahwa nilai yang dikomitmenkan memenuhi aturan khusus aplikasi.

Komitmen Pedersen juga tidak mengidentifikasi pemilik suatu nilai.

Komitmen ini tidak mengotorisasi pengeluaran.

Komitmen ini tidak mengenkripsi pesan untuk penerima.

Komitmen ini tidak otomatis mencegah kebocoran metadata.

Komitmen ini tidak melindungi pengguna dari wallet berbahaya, keacakan yang buruk, parameter tidak aman, atau smart contract yang cacat.

Komitmen ini sangat bermanfaat, tetapi hanya salah satu primitif dalam sistem kriptografis yang lebih besar.

Risiko Keamanan dan Kesalahan Implementasi

Salah satu risiko utama adalah keacakan yang lemah.

Jika faktor penyamar dapat diprediksi, privasi dapat gagal.

Risiko lainnya adalah trapdoor generator.

Jika seseorang mengetahui hubungan antara generator, sifat mengikat dapat gagal.

Risiko ketiga adalah tidak adanya range proof.

Jika nilai tersembunyi tidak dibuktikan berada dalam rentang yang valid, penyerang dapat mengeksploitasi jumlah negatif atau jumlah yang melampaui batas.

Risiko keempat adalah kesalahan subgrup atau cofactor.

Jika implementasi grup menerima titik tidak valid atau menggunakan asumsi subgrup yang tidak aman, proof dan komitmen dapat menjadi rentan.

Risiko kelima adalah kegagalan pemisahan domain.

Jika parameter komitmen yang sama digunakan ulang di berbagai konteks tanpa label yang jelas, tanda tangan atau proof dapat berinteraksi dengan cara yang tidak aman.

Risiko keenam adalah integrasi wallet atau protokol yang buruk.

Komitmen yang kuat sekalipun tidak dapat menyelamatkan sistem yang membocorkan nilai melalui metadata, log, alamat, perilaku antarmuka pengguna, atau analisis jaringan.

Developer sebaiknya menggunakan library yang telah ditinjau, spesifikasi formal, audit, dan vektor pengujian jika tersedia.

Penggunaan Umum Komitmen Pedersen

Komitmen Pedersen digunakan dalam confidential transactions.

Komitmen ini digunakan dalam sistem range proof.

Komitmen ini digunakan dalam sirkuit zero-knowledge proof.

Komitmen ini digunakan dalam verifiable secret sharing.

Komitmen ini digunakan dalam protokol multi-party computation.

Komitmen ini digunakan dalam sejumlah desain pembayaran privat.

Komitmen ini digunakan dalam sistem saldo tersembunyi.

Komitmen ini digunakan dalam sistem proof untuk batasan aritmetika.

Komitmen ini digunakan dalam penelitian kriptografi terkait komitmen, privasi, dan komputasi aman.

Komitmen ini sering digunakan ketika protokol memerlukan kerahasiaan sekaligus kemampuan verifikasi di kemudian hari.

Komitmen Pedersen bagi Developer

Developer sebaiknya memperlakukan komitmen Pedersen sebagai primitif kriptografis tingkat rendah.

Developer sebaiknya tidak mengimplementasikannya dari awal kecuali memiliki pengalaman kriptografi yang kuat.

Implementasi yang aman memerlukan operasi grup yang benar, keacakan yang aman, derivasi generator, validasi titik, penanganan skalar, serialisasi, pemisahan domain, dan integrasi proof yang tepat.

Jika memungkinkan, developer sebaiknya menggunakan library yang telah mapan.

Developer juga harus memahami model grup dan asumsi library tersebut.

Library yang dirancang untuk tanda tangan belum tentu aman untuk komitmen.

Library yang dirancang untuk satu kurva belum tentu sesuai dengan format komitmen protokol lain.

Vektor pengujian penting karena encoding komitmen harus sama persis di berbagai wallet, node, sirkuit, dan verifier.

Audit penting karena kesalahan kriptografis kecil dapat menyebabkan inflasi yang tidak terdeteksi, hilangnya privasi, atau penerimaan proof tidak valid.

Komitmen Pedersen bagi Pengguna

Sebagian besar pengguna kripto tidak pernah membuat komitmen Pedersen secara manual.

Mereka menggunakannya melalui wallet, protokol, pool terlindungi, alat privasi, atau aplikasi zero-knowledge.

Pengguna dapat merasakan manfaatnya dalam bentuk jumlah tersembunyi, saldo privat, atau aktivitas on-chain yang lebih rahasia.

Namun, pengguna perlu memahami bahwa privasi bergantung pada keseluruhan sistem.

Protokol dapat menyembunyikan jumlah, tetapi tetap mengungkap perilaku pengirim, waktu transaksi, metadata jaringan, atau pola wallet.

Wallet dapat mendukung transfer privat, tetapi tetap mengekspos informasi melalui penggunaan ulang alamat atau keamanan operasional yang buruk.

Bridge atau aplikasi dapat merusak privasi dengan menghubungkan aktivitas terlindungi dan transparan.

Komitmen Pedersen membantu menyembunyikan nilai, tetapi tidak membuat seluruh bagian tindakan kripto menjadi privat.

Pengguna sebaiknya mengikuti panduan privasi dari wallet atau protokol yang mereka gunakan.

Komitmen Pedersen dalam Satu Kalimat

Komitmen Pedersen adalah metode kriptografis untuk menyembunyikan nilai menggunakan faktor penyamar acak, sekaligus mengikat pembuatnya pada nilai tersebut dan memungkinkan pemeriksaan aritmetika yang berguna atas data tersembunyi.

FAQ

Apa itu komitmen Pedersen dalam istilah sederhana?

Komitmen Pedersen adalah cara untuk menetapkan suatu nilai rahasia tanpa mengungkapkannya, sekaligus memastikan nilainya tidak dapat diubah kemudian.

Apa rumus komitmen Pedersen?

Rumus yang umum adalah

, dengan sebagai komitmen, sebagai nilai tersembunyi, sebagai faktor penyamar, serta dan sebagai titik generator.

Mengapa faktor penyamar penting?

Faktor penyamar menyembunyikan nilai yang dikomitmenkan dan mencegah pihak luar menebaknya dengan mudah.

Apa arti sifat menyembunyikan dalam komitmen Pedersen?

Sifat menyembunyikan berarti komitmen tidak mengungkap nilai di dalamnya ketika faktor penyamar bersifat acak dan rahasia.

Apa arti sifat mengikat dalam komitmen Pedersen?

Sifat mengikat berarti pihak yang membuat komitmen seharusnya tidak dapat membuka komitmen yang sama sebagai dua nilai berbeda.

Apa arti homomorfik dalam komitmen Pedersen?

Homomorfik berarti komitmen dapat dijumlahkan sehingga hasilnya sesuai dengan komitmen atas jumlah nilai yang tersembunyi.

Mengapa komitmen Pedersen digunakan dalam confidential transactions?

Komitmen ini digunakan karena dapat menyembunyikan jumlah transaksi, tetapi tetap memungkinkan jaringan memverifikasi keseimbangan input dan output.

Apakah komitmen Pedersen membuktikan bahwa suatu jumlah bernilai positif?

Tidak. Range proof terpisah diperlukan untuk membuktikan bahwa jumlah tersembunyi berada dalam rentang yang valid.

Apakah komitmen Pedersen sama dengan enkripsi?

Tidak. Enkripsi menyembunyikan data untuk didekripsi kemudian, sedangkan komitmen menyembunyikan data sambil mengikat pihak yang membuatnya pada satu nilai.

Bisakah komitmen Pedersen dibuka?

Ya. Komitmen dapat dibuka dengan mengungkap nilai yang dikomitmenkan dan faktor penyamarnya.

Apa yang terjadi jika faktor penyamar bocor?

Jika faktor penyamar dan konteks yang memadai bocor, nilai tersembunyi dapat terungkap atau diverifikasi oleh pihak lain.

Apakah komitmen Pedersen aman?

Komitmen ini dapat aman jika diimplementasikan dengan generator yang benar, keacakan yang aman, operasi grup yang valid, range proof jika diperlukan, dan desain protokol yang cermat.

Kesimpulan

Komitmen Pedersen merupakan salah satu skema komitmen terpenting dalam privasi mata uang kripto dan kriptografi zero-knowledge.

Komitmen ini memungkinkan protokol menyembunyikan nilai sekaligus mengikat pengguna pada nilai tersebut.

Sifat homomorfik aditifnya sangat berguna untuk confidential transactions karena jumlah tersembunyi tetap dapat diperiksa keseimbangannya.

Komitmen ini juga mendukung range proof, sistem zero-knowledge, verifiable secret sharing, dan protokol kriptografis multipihak.

Gagasan dasarnya mudah dijelaskan, tetapi implementasi yang aman sulit dilakukan.

Sistem nyata harus menggunakan keacakan yang aman, generator yang dipilih dengan cermat, operasi kurva eliptik yang benar, pemisahan domain yang tepat, range proof, dan audit yang kuat.

Bagi pengguna, pelajaran terpentingnya adalah komitmen Pedersen membantu melindungi privasi, tetapi tidak dengan sendirinya membuat seluruh transaksi menjadi privat.

Privasi bergantung pada keseluruhan protokol, perilaku wallet, penanganan metadata, dan pilihan pengguna.

Bagi developer, pelajaran terpentingnya adalah komitmen Pedersen harus diperlakukan sebagai infrastruktur kriptografis yang sangat penting bagi keamanan.

Jika digunakan dengan benar, komitmen ini memungkinkan data keuangan tersembunyi diverifikasi tanpa mengeksposnya kepada publik.

Keseimbangan antara privasi dan kemampuan verifikasi inilah yang menjadikan komitmen Pedersen tetap sebagai alat dasar dalam desain kripto modern.