CRS (Common Reference String)

Apa Itu CRS (Common Reference String)?

CRS adalah singkatan dari Common Reference String, yaitu sekumpulan parameter kriptografi publik bersama yang digunakan oleh sistem zero-knowledge proof.

Dalam mata uang kripto, CRS paling sering dibahas terkait zk-SNARK, protokol privasi, validity proof, zk-rollup, komitmen polinomial, dan sistem penskalaan blockchain.

CRS menyediakan landasan bersama bagi prover dan verifier agar proof dapat dibuat dan diperiksa tanpa prover mengungkapkan informasi privat.

Prover menggunakan CRS untuk menghasilkan proof, sedangkan verifier menggunakan CRS yang sama untuk memeriksa validitas proof.

Panduan zero-knowledge proof ethereum.org menjelaskan bahwa parameter publik yang digunakan dalam beberapa sistem zero-knowledge secara kolektif dikenal sebagai Common Reference String.

CRS bukan kata sandi, kunci privat, frasa pemulihan wallet, atau rahasia pengguna.

CRS biasanya merupakan informasi publik, tetapi proses pembuatannya dapat sangat sensitif.

Jika CRS dibuat secara jujur dan materi rahasia dari proses setup dihancurkan, sistem proof dapat berfungsi sebagaimana mestinya.

Jika CRS dibuat dengan tidak jujur atau materi rahasia dari proses setup tetap disimpan, beberapa sistem proof mungkin dapat digunakan untuk membuat proof palsu.

Itulah sebabnya keamanan CRS menjadi salah satu asumsi kepercayaan terpenting dalam banyak sistem zero-knowledge yang digunakan di dunia kripto.

Mengapa CRS Penting dalam Kripto?

CRS penting karena zero-knowledge proof kini menjadi teknologi inti dalam privasi blockchain, penskalaan, identitas, dan komputasi terverifikasi.

Zero-knowledge proof memungkinkan seseorang membuktikan bahwa suatu pernyataan benar tanpa mengungkapkan data tersembunyi yang mendasarinya.

Dalam kripto, ini dapat berarti membuktikan bahwa transaksi privat valid, membuktikan bahwa sekumpulan transaksi off-chain dihitung dengan benar, atau membuktikan bahwa pengguna memenuhi suatu aturan tanpa mengungkapkan seluruh data pribadinya.

Banyak sistem zk-SNARK yang efisien memerlukan parameter publik sebelum proof dapat dibuat dan diverifikasi.

Parameter publik tersebut adalah CRS atau struktur terkait seperti Structured Reference String.

Pembahasan ZKProof tentang setup ceremony menjelaskan bahwa zk-SNARK mengandalkan CRS sebagai parameter publik untuk membuat dan memverifikasi proof.

Hal ini membuat kualitas CRS penting bagi developer maupun pengguna.

Developer perlu memastikan bahwa CRS sesuai dengan circuit, sistem proof, dan model keamanan yang digunakan.

Pengguna perlu mengetahui apakah protokol bergantung pada trusted setup, setup universal, ceremony yang dapat diperbarui, atau sistem proof transparan yang tidak memerlukan trusted setup.

Bagi investor dan trader kripto, CRS mungkin terdengar teknis, tetapi CRS dapat memengaruhi kredibilitas privacy coin, zk-rollup, bridge, sistem proof, dan aplikasi tokenisasi.

Cara Kerja CRS

CRS bekerja dengan memberikan data referensi publik yang sama kepada setiap peserta dalam sistem proof.

Prover menggunakan data referensi tersebut untuk mengubah private witness dan pernyataan publik menjadi proof yang ringkas.

Verifier menggunakan data referensi tersebut untuk memeriksa apakah proof dibuat sesuai aturan sistem.

Pernyataan publik adalah klaim yang diverifikasi.

Private witness adalah informasi tersembunyi yang membuat pernyataan tersebut benar.

Sebagai contoh, pengguna dapat membuktikan bahwa transaksi mematuhi aturan protokol tanpa mengungkapkan detail lengkap transaksi privat.

CRS membantu sistem proof menghubungkan pernyataan matematis, private witness, dan algoritma verifikasi.

Dalam banyak sistem zk-SNARK, CRS dibuat sebelum pengguna biasa menghasilkan proof.

Tahap setup ini dapat dibuat khusus untuk satu circuit atau cukup luas untuk mendukung banyak circuit.

Detailnya bergantung pada sistem proof, asumsi kriptografi, dan desain implementasi.

CRS harus dibuat, disimpan, dipublikasikan, dan diverifikasi dengan cara yang mengurangi kemungkinan manipulasi tersembunyi.

CRS, SRS, dan Parameter Publik

CRS sering digunakan sebagai istilah umum untuk data referensi publik yang digunakan dalam sistem proof.

SRS adalah singkatan dari Structured Reference String, yang biasanya berarti bahwa reference string memiliki struktur aljabar khusus.

Parameter publik merupakan istilah yang lebih umum dan dapat mencakup CRS, SRS, proving key, verifying key, serta output setup lainnya.

Dalam diskusi kripto sehari-hari, orang terkadang menggunakan CRS dan SRS seolah-olah keduanya memiliki arti yang sama.

Dalam tulisan yang lebih teknis, SRS biasanya merupakan jenis CRS tertentu yang digunakan oleh SNARK tertentu atau skema komitmen polinomial.

Panduan ZKDocs tentang komitmen polinomial KZG menjelaskan parameter publik yang dibuat sebelumnya untuk komitmen KZG dan menyebutkan bahwa parameter tersebut terkadang disebut Structured Reference String.

Perbedaan ini penting karena tidak semua sistem proof menggunakan jenis materi setup yang sama.

Beberapa sistem memerlukan CRS khusus untuk setiap circuit.

Beberapa sistem menggunakan SRS universal yang dapat mendukung banyak circuit hingga ukuran tertentu.

Beberapa sistem bersifat transparan dan sama sekali tidak memerlukan trusted setup ceremony.

Developer yang cermat harus selalu memeriksa maksud proyek saat menggunakan istilah CRS, SRS, parameter setup, proving key, dan verifying key.

Trusted Setup dan CRS

Trusted setup adalah proses untuk membuat CRS pada beberapa sistem zero-knowledge proof.

Istilah trusted digunakan karena peserta harus memercayai bahwa setup dilakukan dengan benar dan keacakan rahasia yang digunakan telah dihancurkan.

Materi setup tersembunyi ini sering disebut toxic waste.

Jika toxic waste masih dimiliki penyerang, penyerang mungkin dapat membuat proof palsu di beberapa sistem.

Ini bukan berarti semua CRS tidak aman.

Artinya, keamanan beberapa sistem berbasis CRS bergantung pada keamanan proses setup.

Trusted setup dapat dilakukan oleh satu pihak, tetapi hal ini menimbulkan masalah kepercayaan yang besar.

Sistem modern sering memilih ceremony multipihak karena mengurangi ketergantungan pada satu pihak.

Dalam banyak desain setup multipihak, keamanan dapat terjaga jika setidaknya satu peserta yang jujur menyumbangkan keacakan dan menghancurkan kontribusi rahasianya.

Itulah sebabnya public ceremony biasanya berupaya memaksimalkan partisipasi, transparansi, reproduktibilitas, dan verifikasi independen.

Bagi pengguna kripto, pertanyaan utamanya bukan hanya apakah CRS tersedia, tetapi juga bagaimana CRS dibuat.

Ceremony Multi-Party Computation

Ceremony multi-party computation adalah proses setup ketika banyak peserta independen menyumbangkan keacakan untuk membuat CRS.

Tujuannya adalah agar tidak perlu memercayakan seluruh rahasia setup kepada satu orang, perusahaan, kelompok validator, atau tim developer.

Setiap peserta menambahkan entropi ke ceremony, lalu menghancurkan kontribusi privatnya.

Dalam banyak desain ceremony, CRS final dapat tetap aman jika setidaknya satu peserta bertindak jujur.

Model ini umum digunakan ketika sistem proof memerlukan trusted setup, tetapi komunitas ingin mengurangi kepercayaan kepada satu pihak saja.

Ceremony KZG Ethereum merupakan contoh kripto terkenal dari public ceremony yang digunakan untuk membuat materi setup bagi komitmen KZG.

Ringkasan ceremony KZG Ethereum Foundation menjelaskan bahwa ceremony tersebut merupakan proses publik yang mendukung fondasi kriptografi untuk EIP-4844.

Ceremony sebaiknya memublikasikan informasi yang memadai agar pihak lain dapat mengaudit prosesnya.

Desain ceremony yang baik juga melindungi proses dari kontribusi berbahaya, keacakan yang lemah, kompromi perangkat lunak, dan risiko koordinasi terpusat.

Ceremony yang kuat tidak membuat sistem bebas risiko, tetapi dapat mengurangi beban kepercayaan di balik CRS.

CRS dan zk-SNARK

zk-SNARK adalah singkatan dari Zero-Knowledge Succinct Non-Interactive Argument of Knowledge.

Banyak sistem zk-SNARK cepat diverifikasi dan menghasilkan proof berukuran kecil, sehingga berguna untuk blockchain.

Proof berukuran kecil penting karena biaya penyimpanan dan verifikasi di blockchain dapat mahal.

Proof non-interaktif penting karena prover dapat membuat proof sekali lalu memublikasikannya agar siapa pun dapat memverifikasinya di kemudian hari.

Dalam banyak konstruksi SNARK, CRS membantu memungkinkan model non-interaktif ini.

Tanpa parameter setup yang tepat, prover dan verifier mungkin tidak memiliki referensi matematis bersama yang diperlukan untuk membuat dan memvalidasi proof.

Setiap keluarga SNARK menangani persyaratan CRS dengan cara berbeda.

Beberapa sistem lama memerlukan trusted setup terpisah untuk setiap circuit.

Beberapa sistem yang lebih baru menggunakan model setup universal atau yang dapat diperbarui.

Beberapa sistem proof mengurangi atau menghilangkan kebutuhan trusted setup melalui desain kriptografi yang berbeda.

Karena itu, proyek kripto tidak seharusnya hanya mengatakan bahwa mereka menggunakan zk-SNARK lalu berhenti menjelaskan.

Proyek sebaiknya menjelaskan model setup, jenis CRS, proses audit, dan jalur upgrade.

CRS dan zk-Rollup

zk-rollup adalah sistem penskalaan blockchain yang menggunakan validity proof untuk membuktikan bahwa sekumpulan transaksi off-chain telah diproses dengan benar.

Dokumentasi zk-rollup ethereum.org menjelaskan bahwa CRS dapat diperlukan oleh protokol ZK-SNARK karena CRS menyediakan parameter publik untuk membuat dan memverifikasi validity proof.

Dalam zk-rollup, prover membuat satu proof untuk banyak transaksi sekaligus.

Blockchain dasar memverifikasi proof tersebut alih-alih mengeksekusi ulang setiap transaksi dalam batch.

Hal ini dapat mengurangi jumlah data dan komputasi yang diperlukan di layer dasar.

Jika rollup menggunakan sistem proof berbasis CRS, CRS menjadi bagian dari asumsi kepercayaan dan keamanan rollup tersebut.

Pengguna sebaiknya memperhatikan apakah rollup menggunakan trusted setup, apakah setup dibuat khusus untuk circuit, dan apakah upgrade mendatang memerlukan ceremony baru.

CRS yang buruk atau telah disusupi dapat melemahkan sistem validity proof.

Proses setup yang kuat dapat mendukung keyakinan bahwa proof rollup sulit dipalsukan.

Karena itu, desain CRS bukan sekadar topik akademis, sebab dapat memengaruhi dana pengguna yang sebenarnya di sistem penskalaan.

CRS dan Komitmen KZG

Komitmen KZG adalah jenis skema komitmen polinomial yang digunakan dalam penelitian dan implementasi penskalaan blockchain modern.

Komitmen polinomial memungkinkan suatu pihak berkomitmen pada polinomial, lalu membuktikan klaim mengenai nilainya tanpa mengungkapkan seluruh polinomial.

Hal ini berguna dalam ketersediaan data, penskalaan rollup, dan sistem proof karena memungkinkan verifikasi ringkas terhadap struktur data yang besar.

EIP-4844 memperkenalkan transaksi yang memuat blob dan menggunakan komitmen KZG serta proof KZG sebagai bagian dari peta jalan penskalaan Ethereum.

Spesifikasi EIP-4844 menjelaskan transaksi blob dan verifikasi proof KZG dalam desain protokol.

Komitmen KZG mengandalkan materi setup terstruktur.

Materi setup ini umumnya disebut SRS, yang dapat dipahami sebagai CRS khusus.

Keamanan sistem berbasis KZG bergantung pada penghancuran kerahasiaan keacakan setup tertentu selama proses setup.

Itulah sebabnya ceremony KZG mendapat banyak perhatian dalam rekayasa kripto.

SRS KZG bukan sekadar file teknis karena dapat menjadi dependensi kriptografi jangka panjang bagi aplikasi yang menggunakannya.

CRS Universal dan CRS Khusus Circuit

CRS khusus circuit dibuat untuk satu circuit atau komputasi tertentu.

Jika circuit berubah, proyek mungkin memerlukan setup baru.

Hal ini dapat merepotkan karena aplikasi blockchain sering diperbarui seiring waktu.

CRS universal atau SRS universal dapat mendukung banyak circuit hingga batas ukuran atau kompleksitas tertentu.

Hal ini dapat mempermudah pengembangan karena banyak aplikasi dapat menggunakan kembali materi setup yang sama.

CRS yang dapat diperbarui memungkinkan peserta baru menambahkan keacakan setelah setup awal.

Hal ini dapat meningkatkan kepercayaan karena setup dapat terus menerima kontribusi baru seiring waktu.

Desain universal dan yang dapat diperbarui menjadi penting karena mengurangi beban operasional akibat ceremony trusted setup berulang.

Namun, universal bukan berarti tanpa batas.

CRS universal biasanya memiliki batasan, asumsi, kurva yang didukung, ukuran circuit maksimum, dan aturan implementasi.

Developer tetap perlu memastikan CRS sesuai dengan aplikasi yang sedang dibuat.

Sistem Proof Transparan dan CRS

Sistem proof transparan tidak memerlukan trusted setup ceremony.

Sebagai gantinya, sistem tersebut dapat menggunakan keacakan publik, fungsi hash, atau konstruksi lain yang menghindari materi setup rahasia.

zk-STARK sering digambarkan sebagai sistem proof transparan karena tidak memerlukan trusted setup CRS seperti banyak sistem zk-SNARK.

Inilah salah satu alasan sistem berbasis STARK menarik untuk sejumlah aplikasi blockchain.

Komprominya, sistem transparan dapat memiliki ukuran proof, biaya verifikasi, biaya prover, atau persyaratan implementasi yang berbeda.

Sistem tanpa trusted setup tidak otomatis lebih baik untuk setiap kebutuhan.

SNARK berbasis CRS dapat menghasilkan proof yang lebih kecil dan verifikasi yang efisien.

Sistem proof transparan dapat mengurangi kepercayaan pada setup dengan menerima kompromi performa yang berbeda.

Desain protokol yang baik membandingkan asumsi keamanan, biaya, performa, perangkat developer, kualitas audit, dan kemudahan pemeliharaan jangka panjang.

Bagi pengguna, gagasan utamanya sederhana: sebagian sistem ZK memerlukan CRS, sementara sistem lainnya dirancang untuk menghindari CRS tepercaya.

Risiko Keamanan CRS

Risiko CRS terbesar adalah setup yang disusupi.

Jika materi setup rahasia tidak dihancurkan, penyerang mungkin dapat memalsukan proof di beberapa sistem proof.

Risiko pemalsuan dapat sangat parah karena blockchain mungkin menerima proof palsu sebagai valid.

Dalam sistem pembayaran, hal ini dapat mengancam aturan saldo privat atau validitas transaksi terlindungi.

Dalam rollup, hal ini dapat mengancam kebenaran transisi state off-chain.

Dalam bridge, hal ini dapat mengancam klaim mengenai deposit, penarikan, atau state lintas blockchain.

Risiko lainnya adalah menggunakan CRS yang salah untuk circuit atau sistem proof yang salah.

Ketidaksesuaian antara CRS, circuit, proving key, verifying key, dan implementasi dapat merusak keamanan atau membuat proof gagal.

Risiko ketiga adalah kurangnya transparansi ceremony.

Jika pengguna tidak dapat memverifikasi cara CRS dibuat, mereka harus memercayai klaim tim proyek.

Risiko keempat adalah praktik keamanan perangkat lunak yang buruk selama setup.

Malware, keacakan yang buruk, backdoor tersembunyi, atau proses build yang tidak aman dapat merusak ceremony.

Karena itu, keamanan CRS merupakan masalah kriptografi sekaligus keamanan operasional.

Cara Developer Menggunakan CRS

Developer menggunakan CRS saat membangun aplikasi yang bergantung pada pembuatan dan verifikasi proof.

CRS dapat diunduh dari rilis tepercaya, dibuat melalui ceremony, disertakan dalam perangkat lunak, atau dirujuk dalam spesifikasi protokol.

Perangkat lunak prover menggunakan materi setup untuk menghasilkan proof valid bagi sebuah circuit.

Perangkat lunak verifier menggunakan materi verifikasi terkait untuk memeriksa proof secara efisien.

Dalam sistem smart contract, verifying key dapat ditempatkan dalam kontrak verifier on-chain.

Dengan demikian, blockchain dapat memverifikasi validitas proof tanpa melihat private witness.

Developer harus memastikan bahwa CRS berasal dari ceremony yang benar dan sesuai dengan versi sistem proof yang tepat.

Developer juga sebaiknya memeriksa hash, tanda tangan, build yang dapat direproduksi, dokumentasi resmi, dan laporan audit.

Ketidaksesuaian kecil pada setup dapat menyebabkan verifikasi gagal, gas terbuang, aplikasi rusak, atau keamanan melemah.

Itulah sebabnya sistem ZK produksi memperlakukan file setup sebagai infrastruktur penting.

CRS dan Privacy Coin

Secara historis, CRS penting bagi sistem mata uang kripto yang berfokus pada privasi dan menggunakan zk-SNARK.

Protokol privasi dapat menggunakan zero-knowledge proof untuk membuktikan bahwa transaksi terlindungi valid tanpa mengungkapkan detail transaksi yang sensitif.

Desain zk-SNARK efisien generasi awal sering mengandalkan trusted setup ceremony.

Zcash merupakan salah satu contoh proyek mata uang kripto paling terkenal yang menjadikan trusted setup dan penghapusannya di kemudian hari sebagai topik penelitian utama.

Penjelasan Zcash mengenai zk-SNARK menyebutkan bahwa Zcash memperkenalkan protokol pembayaran terlindungi Orchard dengan Halo 2 dan menjelaskan bahwa Halo menghapus trusted setup sekaligus mendukung pembayaran digital privat.

Perkembangan ini menunjukkan bahwa desain CRS berubah dari waktu ke waktu.

Sistem awal dapat menerima trusted setup untuk memperoleh proof kecil dan performa praktis.

Sistem berikutnya mungkin beralih ke desain proof yang mengurangi kepercayaan pada setup atau menghilangkannya dari bagian utama protokol.

Pelajaran penting bagi pengguna adalah klaim privasi harus dinilai bersama asumsi setup yang digunakan.

Protokol privasi yang kuat sebaiknya menjelaskan apa yang disembunyikan dan asumsi kepercayaan yang diperlukan.

CRS dan Upgrade Blockchain

Upgrade blockchain dapat menimbulkan tantangan terkait CRS karena circuit atau sistem proof baru mungkin memerlukan materi setup baru.

Jika protokol mengubah aturan transaksi, desain penskalaan, atau sistem proof, CRS lama mungkin tidak lagi memadai.

Setup khusus circuit mungkin memerlukan ceremony baru untuk upgrade besar.

Setup universal dapat memberikan fleksibilitas lebih besar, tetapi tetap memiliki batasan.

Tim protokol harus merencanakan cara perubahan setup diusulkan, diaudit, dijalankan, dipublikasikan, dan diaktifkan.

Tata kelola juga penting karena pengguna perlu yakin bahwa upgrade tidak diam-diam memperkenalkan asumsi proof yang lebih lemah.

Proses upgrade yang baik harus mendokumentasikan setup lama, setup baru, risiko migrasi, dan perubahan verifikasi.

Dalam sistem terdesentralisasi, tinjauan komunitas penting karena perubahan CRS dapat memengaruhi semua pengguna yang mengandalkan validitas proof.

Hal ini terutama berlaku pada sistem yang mengamankan deposit, penarikan, saldo privat, atau state root rollup.

Karena itu, tata kelola CRS merupakan bagian dari keamanan kripto jangka panjang.

Cara Mengevaluasi Proyek Kripto Berbasis CRS

Pertanyaan pertama adalah apakah proyek menggunakan sistem proof berbasis CRS.

Pertanyaan kedua adalah apakah CRS dibuat oleh satu pihak atau melalui ceremony multipihak publik.

Pertanyaan ketiga adalah apakah setup tersebut khusus circuit, universal, atau dapat diperbarui.

Pertanyaan keempat adalah apakah transkrip ceremony, perangkat lunak, parameter, dan petunjuk verifikasinya tersedia untuk publik.

Pertanyaan kelima adalah apakah peneliti atau auditor independen telah meninjau setup dan sistem proof.

Pertanyaan keenam adalah apakah upgrade mendatang memerlukan setup baru.

Pertanyaan ketujuh adalah apakah pengguna dapat memverifikasi hash parameter terhadap rilis resmi.

Pertanyaan kedelapan adalah apakah proyek menjelaskan dampak jika setup disusupi.

Pertanyaan kesembilan adalah apakah sistem memiliki rencana tanggap darurat untuk kerentanan sistem proof.

Pertanyaan kesepuluh adalah apakah sistem proof sesuai dengan nilai yang diamankan protokol.

Pertanyaan-pertanyaan ini membantu pengguna melampaui klaim pemasaran dan mengevaluasi asumsi kriptografi yang sebenarnya.

Kesalahpahaman Umum tentang CRS

Salah satu kesalahpahaman adalah CRS harus tetap dirahasiakan.

Di sebagian besar sistem proof, CRS bersifat publik. Bahayanya berasal dari keacakan setup rahasia yang seharusnya dihancurkan.

Kesalahpahaman lainnya adalah semua sistem zero-knowledge memerlukan trusted setup.

Beberapa sistem proof bersifat transparan dan tidak memerlukan trusted setup ceremony.

Kesalahpahaman ketiga adalah satu CRS dapat digunakan untuk semua aplikasi.

CRS mungkin terikat pada sistem proof, kurva, ukuran circuit, atau desain aplikasi tertentu.

Kesalahpahaman keempat adalah trusted setup otomatis tidak aman.

Ceremony multipihak yang dirancang dengan baik dapat mengurangi kebutuhan untuk memercayai satu pihak jika setidaknya satu kontribusi jujur tetap tidak diketahui penyerang.

Kesalahpahaman kelima adalah pengguna tidak perlu peduli pada CRS karena CRS hanya untuk developer.

Faktanya, CRS dapat memengaruhi keamanan protokol privasi, rollup, bridge, atau aplikasi berbasis proof.

FAQ

Apa arti CRS dalam kripto?

CRS berarti Common Reference String, yaitu data referensi publik yang digunakan oleh beberapa sistem zero-knowledge proof untuk membuat dan memverifikasi proof.

Apakah CRS sama dengan SRS?

CRS adalah istilah yang lebih luas, sedangkan SRS biasanya merupakan bentuk CRS terstruktur yang digunakan oleh SNARK tertentu dan skema komitmen polinomial.

Mengapa zk-SNARK memerlukan CRS?

Banyak zk-SNARK memerlukan CRS agar prover dan verifier dapat berbagi parameter publik untuk mendukung pembuatan dan verifikasi proof non-interaktif.

Apakah CRS bersifat privat?

Tidak. CRS biasanya bersifat publik, tetapi keacakan rahasia yang digunakan untuk membuatnya harus dihancurkan dalam sistem trusted setup.

Apa itu toxic waste dalam trusted setup?

Toxic waste adalah materi setup rahasia yang dapat memungkinkan pembuatan proof palsu jika disimpan oleh penyerang dalam beberapa sistem proof.

Apa itu CRS ceremony?

CRS ceremony adalah proses setup ketika satu atau beberapa peserta membuat reference string publik untuk sistem proof.

Mengapa ceremony multipihak digunakan?

Ceremony multipihak digunakan untuk mengurangi ketergantungan pada satu peserta tepercaya saat CRS dibuat.

Apakah zk-STARK memerlukan CRS tepercaya?

zk-STARK umumnya digambarkan sebagai sistem proof transparan karena tidak memerlukan trusted setup CRS seperti banyak sistem zk-SNARK.

Bisakah CRS yang buruk membahayakan dana kripto?

Ya. CRS yang disusupi dapat berbahaya jika protokol menerima proof palsu yang memengaruhi saldo, penarikan, klaim bridge, atau state rollup.

Bagaimana pengguna dapat memeriksa asumsi kepercayaan CRS?

Pengguna dapat meninjau dokumentasi proyek, transkrip ceremony, hash parameter, audit, detail sistem proof, dan prosedur upgrade.

Kesimpulan

CRS (Common Reference String) merupakan konsep dasar dalam kriptografi zero-knowledge dan topik keamanan penting bagi sistem kripto modern.

CRS menyediakan parameter publik bersama agar prover dapat membuat proof dan verifier dapat memeriksanya.

Dalam banyak sistem zk-SNARK, CRS dibuat melalui trusted setup, sehingga proses setup harus ditangani dengan keamanan dan transparansi yang kuat.

Jika materi setup rahasia dihancurkan dan ceremony dirancang dengan baik, sistem berbasis CRS dapat mendukung verifikasi proof yang efisien dan ringkas.

Jika materi setup rahasia disusupi, beberapa sistem mungkin rentan terhadap proof palsu.

Itulah sebabnya desain CRS penting bagi protokol privasi, zk-rollup, komitmen KZG, bridge, sistem identitas, dan aplikasi kripto berbasis proof lainnya.

Intinya, CRS biasanya bersifat publik, tetapi kepercayaan terhadap proses pembuatannya harus dipahami.

Siapa pun yang mengevaluasi proyek kripto zero-knowledge sebaiknya menanyakan bagaimana CRS dibuat, apakah setup-nya tepercaya atau transparan, apakah setup-nya universal atau khusus circuit, serta bagaimana parameter proof akan ditangani dalam upgrade mendatang.