Analisis protokol PoB

Tim Iagon baru-baru ini menyelesaikan tantangan penting dengan meluncurkan protokol pembakaran yang sesuai untuk ekosistem Cardano, (PoB). Artikel ini akan menjelaskan solusi ini secara rinci, yang mencakup beberapa aspek berikut:

1. Tinjauan Umum tentang Mekanisme Bukti Pembakaran dan Aplikasinya
2. Implementasi kontrak pintar Iagon di jaringan Cardano dengan skema PoB.
3. Proses penyebaran dan pengujian kontrak pintar
4. Melakukan protokol PoB dengan mengirimkan token ke alamat "lubang hitam"

1. Bukti Pembakaran dan Aplikasinya

Pembakaran token pada dasarnya adalah mengirim token ke alamat "lubang hitam" yang tidak dapat diakses. Alamat ini tidak memiliki kunci pribadi, sehingga token yang telah dibakar tidak dapat diambil kembali. Publik dapat memverifikasi bahwa pembakaran benar-benar terjadi, tetapi hanya mengetahui nilai janji. Mekanisme ini dapat mencegah perantara mengawasi dana yang dibakar.

Mekanisme pembakaran memiliki berbagai kegunaan, baik untuk meningkatkan nilai token yang tersisa maupun sebagai bukti komitmen dari protokol blockchain. Pembakaran dalam skala besar dapat memicu tekanan deflasi, karena mengurangi total jumlah token yang beredar. Meskipun pembakaran adalah operasi yang umum, tetap diperlukan penerimaan dari para penambang.

Keamanan bukti pembakaran didasarkan pada fungsi hash kriptografis. Fungsi-fungsi ini mudah dihitung secara langsung, tetapi sangat sulit untuk dihitung secara terbalik. Pada dasarnya, perubahan kecil pada input akan menyebabkan perubahan acak yang besar pada output. Ini berarti bahwa untuk melacak kembali dari output ke input memerlukan waktu yang sangat lama. Secara sederhana, membalik bit terendah dari fungsi hash kriptografis dapat membuat alamat lubang hitam, dan dana yang dikirim ke alamat tersebut akan sulit atau tidak mungkin untuk dipulihkan.

Keamanan transaksi kripto sepenuhnya didasarkan pada kriptografi kunci publik dan fungsi hash: "Setiap kali mengirim dana, akan dibuat output transaksi yang belum digunakan baru (UTxO)." UTxO mencatat jumlah dan hash kunci publik penerima. Penerima harus menandatangani transaksi baru dengan kunci publik yang sama saat menggunakan dana.

Menggunakan output hash terbalik pada bit terendah alih-alih langsung menggunakan hash nilai nol adalah untuk melakukan dua langkah: pertama membakar dana, lalu membuktikan bahwa dana telah dibakar. Ini memerlukan pembuatan hash nilai komitmen terlebih dahulu, kemudian menunjukkan alamat lubang hitam yang telah dibuat.

2. Kontrak Cerdas PoB di Jaringan Cardano

Kontrak pintar Cardano memungkinkan eksekusi transaksi berdasarkan aturan, bertujuan untuk membangun transaksi yang transparan dan dapat diverifikasi. Baru-baru ini, keuangan terdesentralisasi dan organisasi mendorong penerapan luas kontrak pintar.

Cardano mengadopsi struktur yang berbeda dari Ethereum, memungkinkan pengguna untuk mensimulasikan transaksi di dompet untuk meningkatkan keamanan. Kontrak pintar Cardano terdiri dari tiga bagian:

• Skrip penebusan: mengontrol pengeluaran eUTxO
• Skrip dompet: mewakili pengguna yang menebus dana dan membuat eUTxO baru
• eUTxO: menyimpan dana dan titik data, digunakan untuk menentukan kondisi penggunaan dana

Ini berarti kontrak pintar Cardano tidak memiliki status terpusat, setiap eUTxO memiliki status independen. Operasi yang mungkin termasuk:

• Pembakaran: Mengirim dana ke alamat lubang hitam
• Verifikasi Pembakaran: Konfirmasi bahwa pembakaran terjadi
• Kunci: Kirim dana ke alamat yang memiliki kunci
• Penebusan: Mengambil kembali dana yang terkunci

Titik akhir berjalan di dompet pengguna, transaksi yang dihasilkan dikirim ke blockchain. Skrip penebusan memverifikasi bahwa dana hanya dapat diakses oleh alamat yang memiliki nilai hash.

Dalam operasi penguncian, nilai hash mungkin adalah alamat Anda sendiri. Dalam pembakaran, nilai hash mengarah ke alamat lubang hitam. Ini dicapai dengan memberikan nilai komitmen rahasia pada hash dan membalikkannya. Karena menggunakan fungsi hash kriptografi, hampir tidak mungkin untuk menemukan input yang cocok.

Perantara tidak dapat mengetahui apakah transaksi dibakar atau dikunci. Ini mencegah pemeriksaan selektif terhadap transaksi yang dibakar. Nilai pembakaran dapat diverifikasi melalui titik verifikasi dan nilai komitmen publik.

3. Uji Coba Penyebaran Kontrak Cerdas

Untuk menerapkan kontrak pintar di jaringan pengujian, Anda perlu melaksanakan langkah-langkah berikut:

1. Instal alat Haskell
2. Membangun skrip Plutus
3. Menjalankan node Cardano dan kontainer dompet
4. Memulihkan dompet dan mendapatkan ID dompet
5. Menjalankan token pembakaran
6. Verifikasi Pembakaran

Langkah-langkah ini dapat menyembunyikan apakah transaksi itu dibakar atau dikunci. Namun setelah skrip dipublikasikan, mungkin ada orang yang mencoba mengompilasi skrip yang menolak penebus tertentu. Ini memerlukan banyak pekerjaan, tetapi mungkin mengakibatkan sebagian pembakaran diperiksa. Untuk mencegah situasi ini, Iagon telah mengusulkan solusi yang lebih aman.

4. Dari Kontrak Cerdas ke Skrip Dompet

Dengan memanfaatkan fakta bahwa sebagian besar operasi terjadi di dompet pengguna, kita dapat membuat solusi yang hanya menggunakan dompet, tanpa perlu kontrak pintar. Pendekatan ini tidak dapat secara selektif menghentikan transaksi pembakaran. Untuk menghentikan semua pembakaran, pengawas harus menghentikan semua transaksi skrip. Saat hanya menggunakan dompet, satu-satunya metode pengawasan adalah menghentikan semua transaksi Cardano, yang merupakan perlawanan tertinggi.

Mencapai hal ini memerlukan penggantian hash kunci publik dengan hash nilai komitmen, dan membalik bit terendah. Juga perlu menangani pemeriksaan kesalahan alamat Cardano. Cara termudah adalah dengan menggunakan skrip dan pustaka API Cardano untuk menghasilkan alamat.

Anda dapat menggunakan kode yang disediakan untuk menghasilkan alamat pembakaran, mengajukan transaksi ke blockchain, dan memverifikasi pembakaran.

Kesimpulan

Artikel ini membahas implementasi protokol PoB dalam kontrak pintar dan transaksi dompet. Karena kontrak pintar Alonzo kurang infrastruktur yang diperlukan, disarankan untuk menggunakan skrip dompet. Setelah perpustakaan PAB diimplementasikan di masa depan, solusi kontrak pintar yang kompleks yang menggabungkan skrip dompet akan lebih layak dan dapat lebih baik melawan potensi pengawasan. Untuk informasi lebih lanjut, Anda dapat melihat informasi terkait di Github.