Versi dokumen orisinil: Smart contracts – here we come
Dipublikasikan pada tanggal 08 April 2021
Ditulis oleh Olga Hryniuk
Terjemahan ke dalam Bahasa Indonesia oleh @andreassosilo
(Translated to Indonesian language by @andreassosilo)
Smart contract - kami datang
Alonzo akan mengembangkan peningkatan token Cardano untuk memberikan alat kepada developer untuk membuat aplikasi bisnis
08 April 2021 Olga Hryniuk bacaan 6 menit
Pada awal Maret, kami menerapkan Mary - peningkatan protokol multi-aset yang memungkinkan pengguna membuat token unik untuk transaksi di Cardano. Dengan diperkenalkannya metadata transaksi, maka penguncian token dengan Allegra pada bulan Desember, dan pembuatan token asli, kami meletakkan dasar untuk mendirikan Cardano sebagai platform smart contract terkemuka.
Alonzo, peningkatan protokol kami berikutnya, akan mengembangkan kemampuan ini. Diimplementasikan menggunakan teknologi kombinator hard fork kami, Alonzo akan menambahkan dukungan untuk smart contract - perjanjian digital - ke Cardano sekitar empat bulan dari sekarang. Ini akan membuka peluang bagi bisnis dan pengembang, dengan memungkinkan pembuatan smart contract dan aplikasi terdesentralisasi (DApps) untuk keuangan terdesentralisasi (DeFi).
Ketika datang untuk menamai peningkatan ini, kami memilih Allegra (putri Lord Byron) untuk penguncian token, dan Mary (novelis dan istri Shelley) untuk dukungan multi-aset. Alonzo berasal dari tokoh yang lebih kontemporer, Alonzo Church (1903-95). Church adalah seorang matematikawan dan ahli logika AS yang bekerja pada logika dan dasar-dasar ilmu komputer teoretis. Dia juga dikenal karena menemukan kalkulus lambda - sistem formal yang digunakan untuk membuktikan ketidakmampuan pemecahan masalah Entscheidungsproblem. Kemudian, saat bekerja dengan sesama matematikawan Alan Turing, mereka menemukan bahwa kalkulus lambda dan mesin Turing memiliki kemampuan yang sama, mendemonstrasikan berbagai proses mekanis untuk komputasi. Salah satu alasan menamai peningkatan kontrak pintar kami setelah Church adalah bahwa Plutus Core (bahasa smart contract Cardano) adalah variasi kalkulus lambda.
Mengapa smart contract?
Smart contract menandai fase berikutnya dalam evolusi Cardano sebagai buku besar yang didistribusikan di seluruh dunia. Saat mendukung bisnis sehari-hari, blockchain harus menjamin bahwa individu dapat memindahkan dana mereka dan membayar produk dengan cara yang aman.
Smart contract dapat digunakan untuk menyelesaikan transaksi yang kompleks, menyimpan dana di escrow, dan mengamankan pergerakan dana dalam kondisi yang telah ditentukan. Cardano akan memungkinkan DApps untuk berinteraksi dengan buku besar untuk mencatat aktivitas mereka dan melaksanakan smart contract. Perjanjian digital ini mengungkapkan kisah transaksi, menentukan ke mana dana harus disalurkan, dan dalam kondisi apa dana itu akan dikirim, melaksanakan kesepakatan hanya jika semua persyaratan terpenuhi. Alonzo akan meletakkan dasar bagi Cardano untuk mendukung aplikasi semacam itu.
Mengatasi kebutuhan bisnis dengan Alonzo
Sementara dukungan multi-aset memungkinkan pengguna membuat mata uang unik yang memenuhi kebutuhan bisnis, Alonzo memperkenalkan platform serbaguna untuk membangun kontrak pintar. Anda dapat bekerja dengan barang koleksi, crowdfunding, atau lelang, misalnya.
Area eksplorasi mungkin termasuk penyebaran pertukaran cryptocurrency terdesentralisasi berbasis escrow (DEX), atau pembuatan aplikasi kompleks yang mendukung stablecoin terpusat (aplikasi lacak dan lacak untuk asal produk dalam rantai pasokan, misalnya). Dengan penguncian token, pengguna akan dapat menerbitkan token utilitas dengan periode vesting, artinya sejumlah token dapat dikunci atau dibekukan untuk dirilis setelah waktu tertentu.
Kekuatan skrip dari Plutus Core
Dengan Alonzo, kami menambahkan alat dan infrastruktur yang diperlukan untuk memungkinkan pengembangan aplikasi menggunakan Platform Plutus.
Menerapkan pendekatan yang ketat berdasarkan metode formal dan verifikasi, Alonzo memperluas bahasa skrip multi-tanda tangan dasar (multisig) yang digunakan di Cardano Shelley. Multisig akan ditingkatkan ke bahasa Plutus Core untuk opsi skrip yang lebih kuat dan aman. Buku besar Alonzo mengimplementasikan model akuntansi extended unspent transaction output (EUTXO), menggunakan Plutus Core untuk menyediakan skrip yang kuat.
Platform smart contract harus aman dan andal. Itulah mengapa kami memilih Haskell sebagai dasar untuk menulis smart contract Plutus Core. Haskell adalah bahasa tingkat tinggi yang akan digunakan developer untuk menulis kode dan kemudian mengompilasinya ke Plutus Core.
Haskell telah ada sejak 1987, menonjol dari bahasa pemrograman lain karena tingkat kepercayaannya yang tinggi. Menulis di Haskell memastikan bahwa smart contract diprogram untuk melakukan persis seperti yang diharapkan dan dapat diuji keakuratannya sebelum diterapkan. Ini berarti bahwa smart contract yang dibangun di atas Cardano akan langsung dan tahan terhadap kerentanan, yang sangat penting untuk aplikasi yang menangani perdagangan otomatis atau memindahkan dana besar.
Alat dan API
Developer akan memiliki alat fungsional untuk bereksperimen dan menyesuaikan validasi transaksi di Cardano. Pustaka API akan diperluas untuk memungkinkan penerapan dan pengoperasian kode Plutus Core di Cardano saat berinteraksi dengan wallet dan buku besar.
Menerapkan Alonzo adalah proses yang kompleks. Setelah smart contract fungsional berjalan di mainnet, kami akan terus meningkatkan infrastruktur off-chain untuk mengirimkan kit pengembangan perangkat lunak.
Dimana kita sekarang?
Gambar 1. Roadmap Alonzo. Kode akan dibekukan selama empat minggu sebelum dirilis
Sepanjang Maret dan April, tim IO Global secara bertahap menggabungkan aturan Alonzo dengan node Cardano dan kode buku besar. Ketika integrasi Alonzo dengan node selesai, Cardano akan menyediakan alat API yang berfungsi dan dukungan antarmuka baris perintah (CLI).
Dari pertengahan April hingga awal Mei, tim akan terus mengerjakan pengembangan Plutus untuk meluncurkan testnet pribadi. Selama fase ini, mitra kami (developer tingkat lanjut) akan menguji platform, membuat dan menerapkan token non-fungible (NFT), pasar, atau DApps yang menjalankan smart contract di Cardano. Proses ini akan fokus pada peningkatan langkah demi langkah untuk memastikan bahwa semuanya bekerja secara efisien.
Pada bulan Mei, kami akan mulai bekerja dengan pelopor Plutus kami. Peserta program bersertifikat ini akan terus menguji platform dengan menulis aplikasi Plutus dan memasukkannya ke dalam produksi untuk DApps dan DeFi. Selama fase ini, tim akan melakukan integrasi backend buku besar, node, dan wallet. Kami juga akan mempersiapkan dan merilis dokumentasi, termasuk contoh spesifikasi dan panduan developer.
Mei dan Juni akan menjadi waktu untuk jaminan kualitas dan pengujian dengan pengguna, yang akan diikuti dengan pembekuan fitur yang berlangsung selama empat minggu. Ini akan memberi pertukaran kripto dan wallet, waktu untuk meningkatkan dan mempersiapkan pembaruan protokol Alonzo. Kami berharap peningkatan Alonzo (hard fork) terjadi di akhir musim panas, dan kami akan mengumumkan tanggal pasti dalam acara Cardano360 bulan April.
Untuk peta jalan yang lebih mendetail, lihat presentasi Cardano360 di bulan Maret oleh Charles Hoskinson.
Ini adalah saat-saat yang menyenangkan dan kami mendorong Anda untuk tetap mengikuti perkembangannya. Postingan blog berikutnya akan mempelajari hubungan antara konsep Plutus yang mendukung pengembangan Alonzo. Sementara itu, situs developer memiliki lebih banyak informasi tentang pemrograman dengan menggunakan Plutus, Marlowe, dan Glow.