Delegasi Cardano Mendukung Proposal Jaminan Tinggi Dengan Suara Ya Sebesar 66,68 Juta ADA

Delegasi Cardano mendukung proposal High Assurance dengan suara setuju 66,68 juta ADA yang berfokus pada alat keamanan kontrak pintar.

Seorang delegasi Cardano telah memberikan suara setuju dengan 66,68 juta ADA pada proposal penarikan dana kas bernama “IO: Cardano High Assurance Technical Collaboration.”

Suara tersebut diberikan atas nama delegasi setia, dan mendukung alat yang bertujuan memperkuat keamanan kontrak pintar dan memudahkan onboarding pengembang.

Proposal Kas Cardano Menerima Suara Setuju Besar

Delegasi tersebut mengatakan bahwa suara tersebut secara resmi mendukung proposal Kolaborasi Teknis High Assurance Cardano.

Proposal ini berfokus pada alat keamanan, akses pengembang, dan kolaborasi teknis di seluruh ekosistem Cardano.

Suara setuju diberikan dengan 66,68 juta ADA. Jumlah tersebut mewakili kekuatan suara yang didelegasikan, bukan hanya satu kepemilikan pribadi.

Delegasi tersebut mengatakan bahwa suara tersebut disampaikan “atas nama delegasi setia saya.”

Saya baru saja memberikan suara SETUJU dengan 66,68 juta ADA pada proposal penarikan dana kas: IO: Cardano High Assurance Technical Collaboration

Atas nama delegasi setia saya.

Rationale
Saya secara resmi mendaftarkan suara SETUJU pada Kolaborasi Teknis High Assurance Cardano. Sepanjang…

— Dave (@ItsDave_ADA) 20 Mei 2026

Proposal ini bertujuan mendapatkan pendanaan kas untuk alat yang terkait pengembangan berjaminan tinggi.

Ini berfokus pada verifikasi formal, yang membantu pengembang menguji perangkat lunak dengan metode matematis sebelum peluncuran. Cardano telah lama mempromosikan keamanan dan pengembangan berbasis riset.

Proposal ini menyajikan alat berjaminan tinggi sebagai sumber daya yang lebih luas bagi para pembangun, bukan layanan terbatas untuk para ahli.

Alat Blaster Menargetkan Keamanan Kontrak Pintar

Proposal ini mencakup rencana untuk menyematkan alat verifikasi formal Blaster ke dalam bahasa native Cardano.

Bahasa yang tercantum meliputi Aiken, Scalus, Pebble, dan Futura. Verifikasi formal dapat membantu pengembang memeriksa apakah kode memenuhi aturan keselamatan yang ditetapkan.

Ini juga dapat mengurangi risiko terkait kontrak pintar dan logika aplikasi yang cacat. Delegasi tersebut mengatakan Web3 telah mengalami kerugian besar akibat eksploitasi kontrak pintar dan jembatan.

Pernyataan tersebut berargumen bahwa alat verifikasi yang lebih kuat dapat membantu melindungi aplikasi sebelum dideploy.

“Nilai proposisi utama Cardano adalah keamanannya yang berjaminan tinggi,” kata delegasi dalam rationale tersebut.

Pernyataan itu juga menyebutkan bahwa keamanan ini sering kali memerlukan ahli dan audit yang mahal. Proposal ini bertujuan membuat pemeriksaan tersebut lebih tersedia bagi pengembang.

Ini memandang integrasi Blaster sebagai cara mendukung keamanan selama pekerjaan pengembangan normal.

Baca Juga:

DRep Cardano Abstain Pada Suara Tata Kelola KTT Singapura yang Direvisi

Lingkungan Pengembang Bertujuan Mengurangi Hambatan Pengaturan

Proposal ini juga mencakup Lingkungan Pengembang Berbasis Kontainer. Tujuan yang dinyatakan adalah menyederhanakan langkah-langkah pengaturan yang kompleks bagi para pembangun Cardano.

Lingkungan pengembang bisa memerlukan beberapa alat, versi, dan langkah konfigurasi. Proposal mengatakan sistem kontainer dapat mengurangi waktu pengaturan dan membantu pengembang memulai pekerjaan lebih cepat.

Delegasi tersebut mengatakan lingkungan ini dapat memadatkan konfigurasi multi-hari menjadi pengaturan satu klik.

Klaim tersebut berkaitan dengan onboarding, yang tetap menjadi masalah utama bagi ekosistem pengembang blockchain.

Proposal ini juga menyerukan pengelolaan bersama di seluruh mitra ekosistem. Delegasi tersebut mengatakan pendekatan ini mendukung ketahanan dan sesuai dengan model sumber terbuka Cardano.

Suara ini menambah perhatian terhadap tata kelola Cardano dan penggunaan kas. Ini juga menempatkan alat keamanan di pusat perdebatan ekosistem saat ini.

Proposal ini kini tetap menjadi bagian dari proses tata kelola yang lebih luas di Cardano.

Pendukung diharapkan akan memantau bagaimana perkembangan suara kas, dan bagaimana para pembangun merespons alat yang diusulkan.