DAML- Bahasa untuk Kontrak Cerdas

Artikel ini menawarkan pandangan komprehensif tentang DAML – bahasa sumber terbuka untuk kontrak pintar. Anda juga akan mempelajari manfaat DAML dan perbandingan dengan bahasa lain.

Seiring perkembangan teknologi blockchain, ada kebutuhan untuk sistem yang lebih baik di mana pengguna beroperasi dan berinteraksi. Sudah ada banyak perbaikan yang terjadi terutama karena blockchain perusahaan terus menjadi populer. Di antara perkembangan terbaru dalam lingkungan blockchain yang berubah cepat adalah DAML.

Sejak awal internet, keabadian data adalah properti yang dihindari banyak pengembang. Dengan demikian, pelaku kejahatan dalam ekosistem online memanfaatkan kemampuan untuk mengubah data untuk melakukan berbagai kejahatan.

Namun, blockchain terbukti lebih penting ketika pengembang mendemonstrasikan kemampuan melakukan transaksi di lingkungan tanpa pemain sentral seperti yang terjadi di dunia keuangan lama..

Selain buku besar publik ini, pasar besar untuk buku besar pribadi yang berizin juga lepas landas. Baik dikendalikan oleh pihak pusat yang berwenang secara hukum atau konsorsium aktor yang saling tidak percaya yang memiliki tujuan bersama, buku besar pribadi memberikan pembuktian masa depan dan keabadian yang sama seperti buku besar publik dengan kemampuan tambahan untuk menjaga privasi data.

Apakah buku besar yang diberikan bersifat publik atau pribadi, yang mendasari kemampuan rekan-rekan dalam ekosistem blockchain untuk berinteraksi dengan jaminan privasi adalah kelas aplikasi yang biasanya disebut sebagai kontrak pintar..

Artikel ini akan membahas nanti secara rinci apa itu kontrak pintar dan kepentingannya dalam konteks DAML.

Daftar sekarang:Kursus Dasar-dasar Blockchain Perusahaan

Apa itu DAML?

Dalam istilah teknis, DAML adalah singkatan dari Digital Asset Modeling Language (DAML full form) – bahasa markup untuk Semantic Web. Namun, jargon teknisnya mungkin membingungkan. Jadi, untuk makna DAML yang lebih sederhana anggap saja sebagai bahasa sumber terbuka untuk kontrak pintar.

Pada dasarnya, DAML adalah bahasa kontrak pintar yang memungkinkan pengembang untuk secara akurat mengkodekan perjanjian multi-pihak untuk berbagai blockchain, DLT, atau bahkan arsitektur database standar..

Berasal dari Aset Digital, memberikan kehidupan baru ke dalam genre aplikasi ini (kontrak pintar) yang memungkinkan rekan kerja untuk bertransaksi dalam lingkungan kepercayaan. Pada dasarnya, ini adalah bahasa pemrograman yang mengambil inspirasi dari Haskell dan yang memfasilitasi pembuatan kontrak pintar untuk alur kerja bisnis terdistribusi..

Khususnya, bahasa tersebut memungkinkan pengembang untuk mengurangi jumlah waktu yang dihabiskan untuk berurusan dengan inti enkripsi dan blockchain. Sebaliknya, pengembang memfokuskan waktu mereka pada pengembangan solusi pemrograman untuk proses bisnis.


DAML – Bahasa untuk Kontrak Cerdas Dijelaskan Secara Sederhana

Infografis DAML

Properti DAML

Menyediakan Sarana untuk Menulis Kontrak

Seperti bahasa lain yang digunakan pemrogram untuk menulis kontrak pintar, DAML memungkinkan rekan untuk membuat dan menghormati perjanjian. Khususnya, bahasanya menggambarkan proses pembentukan kontrak, pihak-pihak utama dalam perjanjian, dan pihak-pihak dengan hak yang didelegasikan atas kontrak..

Selain menentukan proses pembentukan kontrak, bahasa juga mengatur pengkodean ide-ide seperti kontrak, hak, pihak, otorisasi, dan kewajiban di mana pengembang hanya harus berurusan dengan logika bisnis mereka; pengangkatan berat apa pun yang berkaitan dengan hal-hal seperti hashing dalam kriptografi, dan algoritme konsensus disarikan dan ditangani oleh runtime.

Ekspresi langsung elemen kontrak ini sebagai fitur bahasa asli menyiratkan bahwa arsitektur DAML dapat dengan cakap memeriksa kode sistem untuk masalah secara otomatis dan lebih awal dalam siklus pengembangan. Lebih jauh, sistem memiliki kemampuan untuk bernalar sendiri tentang logika bisnis.

Ini Adalah Sumber Terbuka

Pada 4 April 2019, Digital Asset, perusahaan di balik DAML mengumumkan bahwa kode sumber untuk program tersebut akan tersedia secara gratis untuk semua pengembang. Sumber terbuka proyek ini berarti bahwa pihak yang berbeda akan dapat menggunakan DAML untuk membuat model dan melaksanakan kontrak melalui teknologi blockchain tanpa takut vendor lock-in..

Menurut pengumuman tersebut, pengembang dan pihak lain yang berkepentingan akan dapat mengakses bahasa DAML, kode sumber, Kit Pengembangan Perangkat Lunak (SDK), dan runtime di bawah lisensi Apache 2.0 yang sangat permisif..

Dapat Digunakan di Lingkungan Eksekusi Pribadi

Satu kekurangan dari buku besar yang didistribusikan secara publik adalah bahwa setiap node di platform dapat melihat data yang ada dalam kontrak pintar. Dengan demikian, rekan-rekan yang perlu merahasiakan detail kesepakatan mereka merasa tidak mungkin untuk bertransaksi melalui jaringan blockchain publik.

Secara khusus, ini adalah salah satu batu sandungan utama yang mencegah adopsi penuh dari blockchain perusahaan. Inilah sebabnya, seperti yang disebutkan sebelumnya, DLT pribadi semakin populer.

Kombinasi DAML dan platform DLT pribadi memberikan solusi untuk kasus ini. Khususnya, tim di balik bahasa ekspresif ini mengoptimalkan DAML karena bekerja dengan sempurna di lingkungan eksekusi pribadi. Artinya, informasi yang dibawa dalam kontrak tetap bersifat pribadi sehingga hanya pihak yang berwenang yang dapat mengaksesnya.

Dapat dibaca oleh Manusia dan Mesin

DAML revolusioner dalam lebih dari satu arti. Khususnya, desain sistem sedemikian rupa sehingga mesin dan manusia dapat memahami informasi yang termasuk dalam kontrak.

Implikasi dari kemampuan ini sangat besar. Para profesional yang terlibat dalam pembentukan kontrak akan mudah memahami detailnya karena DAML sangat ramah manusia..

Misalnya, pengacara dapat dengan mudah memahami arti kontrak dengan membaca dan menilai pengkodean DAML kontrak tersebut. Pada saat yang sama, DAML memberikan tingkat kekhususan yang tepat bagi pengembang untuk menghitung aspek penting dari kontrak seperti arus kas, profil pelanggan, dan eksposur risiko..

Bagaimana DAML Bekerja? Tutorial DAML Fungsional Cepat

DAML berfungsi hampir sama seperti semua bahasa penulisan kontrak pintar lainnya. Secara khusus, bahasa bekerja di dua tingkat utama di mana ada bahasa itu sendiri dan waktu proses.

Bahasa seperti bagian utama dari teknologi. Inilah yang memungkinkan pengembang melakukan semua pekerjaan yang perlu mereka lakukan dalam hal menulis perjanjian dan memfasilitasi transaksi.

Karena ada API yang sangat bersih dan abstrak antara bahasa dan runtime, runtime dapat diadaptasi untuk dieksekusi di berbagai blockchain, DLT, dan platform lainnya..

Ini memberikan fleksibilitas untuk aplikasi DAML untuk diporting ke seluruh platform yang memberikan dukungan untuk DAML. Ini analog dengan JVM yang memungkinkan aplikasi Java berjalan tanpa perubahan pada platform apa pun yang mendukung JVM.

Setelah menginstal Software Development Kit (SDK), pengembang hanya perlu menjalankan beberapa file tertentu agar perangkat dapat mendukung pengoperasian.

Pemodelan Data

Salah satu tugas utama dan terpenting yang perlu dilakukan seseorang saat menulis kontrak pintar adalah pemodelan data yang akan digunakan dengan kontrak itu. Biasanya, fungsi pemodelan data rumit dan dapat mengarah ke struktur data yang sangat kompleks tergantung pada seberapa rumit kontrak dan berapa banyak pihak yang terlibat..

Tidak seperti bahasa kontrak pintar lainnya, DAML memungkinkan pengembang untuk menentukan skema data mereka dengan cepat, langsung menyematkannya dalam bahasa pelaksanaan kontrak. Ini sangat menyederhanakan tugas pemodelan data dan mengurangi kemungkinan kesalahan diperkenalkan karena ketidakcocokan antara skema data dan logika aplikasi.

Baca selengkapnya: Tutorial DAML: Memulai DAML

Struktur Garis Besar Template

Pengembang DAML menentukan kontrak melalui struktur sederhana dan terdefinisi dengan baik yang disebut “template”, yang berisi model data dan parameter kontrak.

Parameternya termasuk, misalnya, penandatangan kontrak tertentu (peserta yang harus mengesahkan tindakan pada kontrak), dan pengamat (peserta dalam perjanjian yang hanya ada untuk melihat kontrak dan apa yang dilakukannya tetapi tidak berwenang. untuk mengambil tindakan). Aspek lain dari struktur template mencakup perjanjian, yang pada dasarnya adalah detail perjanjian dan representasi dari kontrak tersebut.

Templat dapat menentukan satu atau lebih prasyarat yang memastikan bahwa kontrak dibuat hanya jika ambang tertentu dicapai oleh pembuat kontrak. Elemen terakhir dari struktur kerangka template adalah “pilihan”. Ini menentukan kisaran pilihan yang dapat dilakukan oleh pelaksana kontrak.

Struktur Pilihan

Struktur utama dalam templat adalah struktur pilihan, yang merinci pilihan yang dapat dipilih oleh pihak kontrak dalam hal sifat templat.

Struktur pilihan mengidentifikasi pengontrol atau pihak yang bertanggung jawab untuk melaksanakan pilihan. Elemen lain dari struktur ini termasuk konsumsi, nama, tipe kembalian, argumen pilihan, dan isi pilihan.

Baca selengkapnya: Tutorial Pelatihan DAML

Membandingkan DAML vs Kontrak Cerdas

Memahami Kontrak Cerdas

Seperti yang dijelaskan sebelumnya, kontrak pintar adalah komponen penting dari teknologi buku besar terdistribusi (DLT). Di blockchain publik, dua pihak anonim dapat membuat kontrak pintar untuk memfasilitasi transaksi tertentu tetapi datanya tetap disimpan di buku besar publik. Artinya, semua peserta dalam jaringan dapat melihat detail kesepakatan untuk memastikan keasliannya. Dengan demikian, penegakan kepercayaan dimungkinkan.

Dalam DLT pribadi, atau berizin, semua pihak diketahui tetapi hanya pihak yang terlibat dalam transaksi tertentu yang memiliki akses ke data transaksi tersebut. Kepercayaan masih dipertahankan melalui mekanisme yang memungkinkan peserta untuk memvalidasi semua transaksi yang aksesnya mereka miliki.

Kontrak pintar memiliki karakteristik pembeda yang juga menjadikannya revolusioner.

Misalnya, kontrak pintar dapat memiliki mekanisme yang berjalan sendiri yang mulai bergerak sesuai dengan tenggat waktu yang ditetapkan (juga disebut peristiwa pemicu). Di jaringan publik, setiap pihak yang berkepentingan dapat menganalisis aktivitas kontrak pintar sedemikian rupa sehingga setiap anomali dapat diidentifikasi.

Selain itu, pedagang dapat menggunakan kontrak pintar untuk mendapatkan denyut nadi pasar. Ini termasuk kemampuan untuk memprediksi tren dan ketidakpastian di pasar.

Kontrak pintar memiliki sejumlah manfaat yang mencakup keabadian data. Dalam istilah dasar, keabadian mengacu pada ketidakmungkinan perubahan data dari keadaan aslinya. Artinya, data tidak dapat dihapus atau diubah dengan cara apa pun yang memungkinkan.

Kekekalan data membuat kontrak pintar selalu akurat. Ketiga, dalam beberapa kasus, kontrak pintar memungkinkan rekan untuk bertransaksi secara langsung tanpa memerlukan perantara. Oleh karena itu, transaksi semacam itu sangat murah, terkadang tidak memerlukan biaya sepeser pun.

Properti Kontrak Cerdas

Bukti Kewajiban dan Hak

Salah satu fitur penting yang harus dimiliki kontrak pintar adalah seseorang tidak harus bertransaksi tanpa merasa nyaman dengan keseluruhan proses. Intinya, menyetujui untuk menandatangani kontrak sepenuhnya bersifat sukarela tetapi konsekuensinya adalah wajib. Oleh karena itu, pengguna harus dengan andal dan cakap mempertimbangkan implikasi masa depan dari kontrak yang ditandatangani seseorang. Kontrak pintar harus menjamin bahwa ini selalu terjadi, sesuatu yang bisa sangat sulit dilakukan dengan benar.

Verifikasi Validitas Transaksi

Seperti yang telah dibahas sebelumnya, informasi mengenai rincian kontrak dengan mudah dapat dilacak dari buku besar. Oleh karena itu, ini memenuhi persyaratan untuk kontrak di mana seseorang dapat memverifikasi keaslian dan validitasnya.

Baca selengkapnya:Kasus Penggunaan Kontrak Cerdas

Perbandingan dengan DAML

Pada dasarnya, jelas dari penjelasan sebelumnya bahwa DAML menghasilkan subset dari kontrak pintar yang mampu memperbaiki kekurangan bahasa yang ada. Seperti yang dibahas sebelumnya, fakta bahwa kontrak pintar di jaringan publik menyimpan datanya di buku besar publik membuat kontrak pintar tidak menarik untuk transaksi rahasia..

Namun, DAML, bila digunakan bersama dengan jaringan pribadi, memastikan bahwa hanya pihak yang mengotorisasi kontrak, bersama dengan mereka yang memiliki izin yang didelegasikan untuk melihat detailnya, yang dapat memiliki akses ke informasi kontrak. Inilah salah satu alasan mengapa pengamat yang berpengetahuan luas percaya bahasa ini adalah fungsi pembunuh bagi lembaga keuangan dan lainnya yang membutuhkan kerahasiaan transaksi.

Meskipun demikian, DAML sebagai bahasa untuk kontrak pintar berbeda dari kontrak pintar tradisional dalam hal berbagi perjanjian tertulis. Bahasa kontrak pintar seperti Solidity membagikan informasi secara publik, oleh karena itu seluruh jaringan memiliki akses ke detailnya. Itulah mengapa orang berdebat tentang DAML vs soliditas.

Sebaliknya, perjanjian yang ditulis dalam DAML hanya tersedia berdasarkan kebutuhan untuk mengetahui. Artinya, pihak ketiga yang tidak diinginkan tidak memiliki akses ke detailnya. Secara khusus, bahasa tersebut menggunakan lapisan keamanan ekstra di mana data bahkan tidak tersedia untuk pihak yang tidak diinginkan.

Manfaat DAML

Sumber Terbuka

Platform blockchain mungkin baru berusia 10 tahun tetapi berkembang pesat. Saat ini, teknologi merevolusi industri dengan kecepatan yang belum pernah terjadi sebelumnya. Alasan untuk pertumbuhan yang cepat ini adalah fakta bahwa blockchain adalah open source dan setiap pengembang dapat mengotak-atiknya untuk mendapatkan solusi terbaik untuk masalah tertentu..

Menariknya, DAML juga open-source sejak 4 April 2019. Artinya, developer memiliki kebebasan untuk memodifikasi kode DAML untuk menciptakan solusi paling inovatif terkait kontrak pintar dan ekosistem blockchain secara umum..

Baca selengkapnya:Apakah Blockchain Masa Depan?

Mengaktifkan Transaksi Pribadi

Bahasa kontrak pintar tradisional tidak berisi fitur asli dengan batasan yang kuat di mana perjanjian dapat dibuat pribadi. Intinya, informasi dalam perjanjian dapat diakses oleh semua peserta, termasuk pihak ketiga yang tidak diinginkan.

Namun, seperti yang dibahas sebelumnya, DAML memasukkan lapisan keamanan ekstra di mana informasi tersebut hanya dapat diakses oleh pihak yang berwenang.

Mempercepat Adopsi Blockchain Perusahaan

Saat blockchain bertransisi ke kasus penggunaan perusahaan, salah satu masalah yang menahan teknologi adalah sifat informasi yang terdistribusi. Khususnya, seperti yang dibahas sebelumnya, sudah ada upaya seperti pembuatan platform blockchain pribadi di mana semua peserta harus mendapatkan izin sebelum masuk..

Namun, perusahaan masih menghadapi ancaman pesaing yang mengetahui strategi mereka. Namun, masuknya DAML merupakan solusi potensial untuk masalah tersebut. Secara khusus, bahasa membatasi data perjanjian hanya untuk node yang berwenang untuk mengaksesnya, dan informasi mengenai perjanjian tidak tersedia untuk pengguna lain. Dengan demikian, perusahaan tidak memiliki alasan selain melompat dan mengeksploitasi potensi blockchain perusahaan.

Baca selengkapnya: Perusahaan yang Menerapkan Teknologi Blockchain

Dukungan Bawaan untuk Memvalidasi Ketepatan Model

Mengingat sifat blockchain yang tidak rata, sebagian besar operasi dan model bersifat eksperimental dan baru. Oleh karena itu, diperlukan validasi yang konstan atas kebenaran model. Untungnya, DAML hadir dengan dukungan bawaan di mana validasi kebenaran model dilakukan secara otomatis.

Abstraksi Penyimpanan

Runtime DAML kuat dan melakukan operasi penting untuk membuat bahasa lebih unggul dari alternatif yang ada. Misalnya, waktu proses mengabstraksi detail buku besar agar pengembang dapat fokus pada logika kontrak.

Membandingkan DAML Dengan Bahasa Kontrak Cerdas Alternatif Lainnya

Ekosistem blockchain masih berkembang dan itu menyiratkan bahwa tidak ada sistem operasi standar. Ini juga berarti bahwa tidak ada satu bahasa pun yang mendominasi dalam penulisan kontrak pintar. Dengan demikian, ada banyak alternatif lain selain DAML.

DAML vs Soliditas

Soliditas adalah salah satu bahasa pertama untuk menulis kontrak pintar Ethereum yang mendapatkan popularitas. Popularitas ini adalah hasil dari platform blockchain Ethereum yang menjadi jaringan pilihan untuk kontrak pintar.

Sebagai bahasa pemrograman, Solidity mendominasi platform Ethereum. Bahasa ini menggunakan sintaks dan skrip tingkat tinggi yang mirip dengan JavaScript. Secara khusus, bahasa sangat penting dalam peningkatan Mesin Virtual Ethereum. Beberapa blockchain pribadi lainnya seperti Hyperledger Burrow dan Monax menggunakan bahasa ini untuk pengembangan utama.

Selanjutnya, pengembang Ethereum menggunakan Solidity untuk menulis perangkat lunak versi 0.4.0. Keindahan dari bahasa ini adalah tidak merusak fungsionalitas jaringan blockchain.

Selain itu, bahasa sangat penting dalam pembuatan kontrak pintar yang berjalan di mesin virtual (EVM) Ethereum. Bahasa tersebut meningkatkan kemampuan aplikasi untuk memperkuat logika bisnis yang melekat dalam kontrak pintar. Akibatnya, pihak yang bertransaksi di ekosistem Ethereum meninggalkan catatan otoritatif atas transaksi mereka untuk memfasilitasi verifikasi.

Tidak seperti DAML yang bahasanya mirip dengan Haskell, Solidity menggunakan sintaks yang mendekati ECMAScript. Namun, Solidity memiliki kemampuan ekstra seperti tipe pengembalian variadic dan kemampuan untuk mengetik statis. Juga, kontrak yang ditulis dalam Solidity mendukung banyak warisan yang difasilitasi dengan linierisasi C3.

Bahasa Pemodelan Actulus

Sejak blockchain mulai mengambil arah perusahaan, berbagai bahasa khusus domain keuangan muncul untuk menyelesaikan beberapa masalah yang diidentifikasi dalam bahasa awal.

Selain DAML dan Solidity, Actulus Modeling Language (AML) hadir untuk membantu menyelesaikan masalah komputasi di sektor pensiun dan asuransi. Secara khusus, AML adalah usaha multipartai yang menggabungkan Edlund A / S dan IT University of Copenhagen.

Tidak seperti bahasa seperti Java, dan C / C ++ yang umumnya dapat diterapkan di berbagai pengaturan, AML adalah domain khusus. Ini untuk mengatakan bahwa bahasa tersebut berguna untuk tujuan tertentu atau dapat membuat aplikasi yang berjalan pada platform tertentu. Dengan demikian, bahasa tidak dapat membuat program, antarmuka, dan aplikasi yang berdiri sendiri.

Kontrak Kepercayaan BOScoin

Ini adalah solusi alternatif lain yang menggunakan Web Ontology Language (WOL) untuk membuat kontrak pintar. BOScoin selalu menggunakan Timed Automata Language (TAL) untuk meningkatkan kepercayaan dan kekuatan kontrak. Secara khusus, bahasa tersebut membuat Kontrak Kepercayaan yang memfasilitasi pembuatan Aplikasi Terdesentralisasi (DApps). Intinya, kontrak pintar memperkuat sifat tepercaya DApps.

Belajarlah lagi: Apa itu dApp?

Mirip dengan DAML, BOScoin bukanlah Turing-Complete. Sebaliknya, bahasanya dapat diputuskan yang membedakannya dari sifat Turing-Complete dari Kontrak Cerdas Ethereum. Tidak seperti kontrak pintar Ethereum, Kontrak Kepercayaan BOScoin menggunakan bahasa ontologi yang komprehensif dan lebih berisi. Secara khusus, ini disebabkan oleh kebutuhan tim untuk membuat platform tempat pengembang dapat menghasilkan kontrak yang andal.

Apa Masa Depan bagi DAML?

Saat ini, lingkungan blockchain dibanjiri dengan bahasa kontrak pintar. Banyaknya bahasa mempersulit aplikasi blockchain untuk beroperasi dan karenanya menunda adopsi massal dari blockchain.

Menariknya, platform Hyperledger sendiri menggunakan lebih dari enam bahasa termasuk DAML yang membuat kontrak pintar di Hyperledger Sawtooth.

Namun, kemampuan abstraksi runtime DAML membantu memecahkan sejumlah masalah bug dalam kontrak pintar yang dibuat di seluruh papan. Itu juga membuat aplikasi DAML portabel ke platform lain. Selain platform Aset Digital, dukungan DAML telah diumumkan untuk VMware Blockchain dan Sawtooth, yang menunjukkan bahwa platform lain mungkin mengadopsinya.

Oleh karena itu, bahasa DAML kemungkinan bisa menjadi bahasa kontrak pintar universal dalam beberapa dekade mendatang.

Jika Anda ingin mempelajari lebih lanjut tentang topik fundamental serupa mengenai teknologi blockchain, pastikan untuk memeriksa kursus blockchain perusahaan gratis kami.

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me
Like this post? Please share to your friends:
Adblock
detector
map