Versi dokumen orisinil: Bringing certified DApps to Cardano
Dipublikasikan pada tanggal 22 September 2021
Ditulis oleh Shruti Appiah
Terjemahan ke dalam 
Bahasa Indonesia oleh @andreassosilo
(Translated to Indonesian language by @andreassosilo)
Membawa DApps bersertifikat ke Cardano
Kami akan mengungkap pendekatan terintegrasi baru di Cardano Summit akhir pekan ini. Berikut pratinjaunya…
22 September 2021 | Shruti Appiah | bacaan 6 menit
Pembaruan Alonzo telah memungkinkan penyebaran kontrak pintar, aplikasi terdesentralisasi (DApps), dan aplikasi lain di atas jaringan Cardano. Semua ini sangat penting bagi Cardano, karena hal ini akan membuka Cardano ke seluruh komunitas developer, yang dorongan kreatifnya akan meningkatkan utilitas dan adopsi Cardano.
Setiap ekosistem aplikasi baru menghadirkan hamparan eksplorasi yang memikat. Sama halnya, ekosistem yang baru muncul menghadapi dua tantangan utama di awal: penemuan dan jaminan kualitas. Pengguna harus dapat menemukan produk yang ingin mereka gunakan, dan melakukannya dengan jaminan tingkat kualitas dasar tertentu.
Masuknya aplikasi baru pihak ketiga juga menimbulkan risiko bawaan dari materi yang tidak pantas atau berbahaya, atau konten yang tidak memenuhi standar. Jadi mengatasi masalah penemuan dan jaminan kualitas adalah kunci untuk pertumbuhan ekosistem di tahap awal.
Kami akan menawarkan pembahasan lebih dalam ke topik penting ini diakhir pekan di Cardano Summit. Di sana, kami akan memperkenalkan program sertifikasi untuk menilai aplikasi yang dikembangkan di atas Cardano. Dan juga yang ada di dAppStore mendatang yang sedang kami kembangkan.
Penemuan DApp di Cardano
DAppStore – dan kami akan menunjukkannya dalam bentuk prototipe di Cardano Summit – adalah tempat developer dapat mengunggah DApps mereka yang berjalan di blockchain Cardano dan membuatnya tersedia untuk orang lain. DAppStore akan menyediakan lingkungan yang tepercaya dan demokratis bagi developer untuk mempublikasikan DApps mereka tanpa menghadapi sensor.
Plutus dAppStore secara khusus membahas dua hambatan untuk masuk:
- Saat ini tidak ada proses deteksi formal untuk DApp. Hampir semua deteksi atau penemuan terjadi melalui cara organik atau dari mulut ke mulut, atau melalui pemasaran media sosial
- Untuk pengguna akhir, tidak ada tampilan gabungan dari semua DApps yang tersedia di ekosistem tertentu
Pengguna akan dapat mengakses Plutus dAppStore menggunakan browser web. Pikirkan Plutus dAppStore sebagai ‘etalase’ untuk Cardano. Plutus dAppstore menampilkan berbagai hal yang dapat Anda lakukan di Cardano. Program sertifikasi memberikan jaminan kepada pengguna tentang perilaku aplikasi apa pun yang mereka gunakan, melalui pemeriksaan logika otomatis, audit kontrak pintar manual, dan verifikasi formal.
DApp apa pun dapat ada di toko, baik bersertifikat atau tidak, tetapi kami akan memberikan informasi yang jelas kepada pengguna tentang status sertifikasi DApp tertentu. DAppStore berusaha untuk tidak bertindak sebagai penjaga gerbang (atau hakim) melainkan untuk menyediakan platform untuk penilaian pengguna yang transparan.
Peran penting sertifikasi
DAppStore adalah etalase toko. Tetapi selain dari validasi komunitas, ia tidak menawarkan jaminan ‘yang pasti’. Jadi di sinilah elemen kedua masuk. Peran program sertifikasi kami adalah pencegahan kerentanan keamanan tingkat kode. Kami akan mencapai ini dengan mengerahkan berbagai tingkat ‘pertahanan’.
Akan ada beberapa tingkatan. Pada tingkat yang paling sederhana, pemeriksaan logika otomatis akan memungkinkan kami mendeteksi jenis kode berbahaya tertentu. Misalnya, ini akan dapat memeriksa apakah kontrak tidak berisi cara untuk memulihkan dana yang terkunci. Dalam kontrak yang disusun dengan baik, dana yang terkunci harus dapat diambil kembali.
Selain itu, audit kontrak pintar manual akan membantu kami memverifikasi integritas DApp apa pun. Pada akhirnya verifikasi formal penuh akan menguji model matematika untuk membuktikan bahwa kontrak cerdas memenuhi spesifikasi formal dari perilakunya.
Tentu saja, setiap program sertifikasi hanya sebaik mereka yang menerapkan dan menjalankannya. Untuk alasan ini, kami bermitra dengan beberapa nama terkemuka di ruang pemrograman fungsional, yang akan Anda temui di Cardano Summit.
Membangun di atas fondasi yang aman: Cardano sendiri
Upaya sertifikasi ini dibangun di atas blockchain yang sudah memberikan jaminan lebih dari yang lain seperti Bitcoin atau Ethereum. Misalnya, token dibangun ke dalam arsitektur Cardano itu sendiri, daripada harus disediakan oleh kontrak, seperti ERC20 di Ethereum. Ini menghilangkan masalah apa pun yang dibuat dengan menyalin dan memodifikasi kontrak untuk mengimplementasikan token baru.
Melihat basis dari rantai tersebut, model akuntansi Extended Unspent Transaction Output (eUTXO) pada dasarnya lebih sederhana – dan lebih aman – model untuk blockchain. Kontrak pintar di Plutus adalah program fungsional, dan semantik bahasa fungsional yang sederhana & dapat diverifikasi, mendukung apa yang kami lakukan dengan pengujian otomatis dan verifikasi formal. Kami ingin membangun fondasi yang lebih aman daripada rantai lainnya. Plutus adalah bahasa fungsional.
Juga, Marlowe, bahasa khusus kami untuk keuangan, menjamin properti tertentu dengan desain. Misalnya, tidak ada kontrak Marlowe yang akan mempertahankan aset setelah kontrak berakhir. Itu adalah properti yang dibangun di Marlowe, yang tidak memerlukan pemeriksaan tambahan untuk diterapkan. Karena desainnya, Marlowe juga memungkinkan alat untuk secara otomatis memeriksa bahwa kontrak memiliki sifat baik tertentu dengan memverifikasi setiap kemungkinan pelaksanaan kontrak, tanpa harus menjalankannya; ini adalah sesuatu yang tidak dapat dilakukan oleh kontrak Plutus pada umumnya.
Sertifikasi dalam konteks hard fork Alonzo
Di Cardano Summit, kami akan menunjukkan contoh pengujian otomatis kontrak pintar, yang merupakan komponen DApps, bukan DApps penuh.
Dalam jangka panjang, kami ingin melihat alat yang dirancang pengguna, penyebaran alat tersebut ke dAppStore, dan evolusi Plutus dAppStore untuk memasukkan fitur baru seperti upvoting, ulasan dan bahkan integrasi Atala PRISM dll., memberikan pengguna kesempatan untuk memberi masukkan pada berbagai DApps di Plutus dAppStore.
Melalui pekerjaan kami di Alonzo testnet, program Plutus Pioneer, dan tentu saja Project Catalyst, kami telah melihat sejumlah proyek mulai dibangun di Cardano. Karena proyek-proyek ini akan mulai dipasarkan selama beberapa bulan ke depan, penemuan pengguna dan kepercayaan pengguna pada DApps tersebut akan menjadi kuncinya. Kami bekerja dengan ekosistem yang terbuka dan terdesentralisasi, jadi aturan biasa caveat emptor dan ‘Do Your Own Research’ tentu saja akan terus berlaku. Tetapi membantu mendorong standar yang lebih tinggi dalam sertifikasi dan jaminan akan menjadi kunci untuk mempercepat pertumbuhan ekosistem yang sukses di Cardano dan pada akhirnya, basis pengguna seluas mungkin.
Simon Thompson dan Fernando Sanchez juga berkontribusi pada bagian ini.
Bergabunglah dengan kami di Cardano Summit pada tanggal 25-26 September untuk mempelajari lebih lanjut tentang inisiatif baru yang menarik ini dan melihat demo prototipe dAppStore.