Peluncuran Simplicity oleh Blockstream
Blockstream, pengembang protokol layer-2 Bitcoin Liquid yang dipimpin oleh cypherpunk Bitcoin Adam Back, baru saja meluncurkan Simplicity, sebuah bahasa kontrak pintar baru yang dirancang khusus untuk Bitcoin. Dalam pengumuman yang disampaikan kepada Cointelegraph pada hari Kamis, Blockstream mengungkapkan bahwa kontrak pintar Simplicity akan diintegrasikan ke dalam Liquid. Langkah ini menandai kemajuan signifikan dalam mengubah Bitcoin dari sekadar penyimpan nilai yang aman menjadi fondasi yang dapat diprogram untuk keuangan terdesentralisasi.
Perusahaan juga memperkenalkan SimplicityHL, sebuah implementasi tingkat lebih tinggi dari bahasa tersebut yang memudahkan pengembangan dengan peningkatan abstraksi. Seorang perwakilan Blockstream menyatakan kepada Cointelegraph bahwa versi bahasa ini “sudah ada dan dapat digunakan hari ini,” dengan lingkungan pengembangan terintegrasi berbasis web yang juga tersedia.
Pendekatan Berbeda untuk Arsitektur yang Berbeda
Simplicity berbeda dari bahasa Solidity yang digunakan di Ethereum, sebagian besar karena perbedaan arsitektur dasar antara kedua blockchain. Solidity dikembangkan untuk Ethereum Virtual Machine, sementara Bitcoin memanfaatkan arsitektur unspent transaction output (UTXO). Dalam konteks ini, state adalah snapshot yang disepakati oleh jaringan dari semua saldo akun dan data yang disimpan pada blok tertentu. Di sisi lain, jaringan Ethereum menggunakan state yang berlaku di seluruh jaringan.
Perbedaan ini tercermin dalam cara kerja kontrak pintar Simplicity. Seorang perwakilan Blockstream menjelaskan bahwa “tidak bergantung pada state global adalah perubahan besar.” Dalam sistem ini, setiap bit state yang diperlukan oleh kontrak harus dibawa bersama transaksi. Peneliti Blockstream menekankan bahwa pengembang Solidity perlu mengubah kebiasaan mereka, dari membaca variabel yang dapat diakses secara global menjadi memberikan semua informasi yang diperlukan di setiap langkah.
Dalam sistem ini, dua kontrak pintar tidak dapat berbagi state atau merujuk pada variabel yang sama; semua informasi harus disampaikan secara eksplisit dalam transaksi. Namun, pendekatan ini juga memiliki dampak positif: “Bahkan jika sesuatu berjalan salah, hanya bagian spesifik dari grafik transaksi kontrak Anda yang terpengaruh. Ini adalah pola pikir yang berbeda dibandingkan dengan state global, tetapi pada akhirnya mengarah pada kontrak yang lebih aman dan lebih terkontrol secara desain.”
Pengembang juga tidak akan dapat menggunakan rekursi atau loop tak terbatas, yang menurut Blockstream tidak diperlukan untuk logika on-chain.
Munculnya Bahasa Pemrograman Kontrak Pintar Spesifik Domain
Simplicity bergabung dengan daftar yang semakin berkembang dari bahasa pemrograman kontrak pintar spesifik domain. Noir, bahasa pemrograman yang dirilis pada tahun 2022 untuk menulis dan memverifikasi zero-knowledge proofs (ZK-proofs), telah diadopsi pada tahun 2023 oleh pengembang layer-2 Ethereum yang mengutamakan privasi, Aztec. Noir dirancang khusus untuk aplikasi yang menjaga privasi dengan mengintegrasikan ZK-proofs secara mendalam ke dalam arsitektur mereka.
Contoh lain adalah Leo, bahasa pemrograman kontrak pintar yang juga menciptakan sistem ZK-proof dengan sintaks yang terkait erat dan mempertimbangkan privasi. Vyper, bahasa yang kompatibel dengan EVM, dirancang untuk mengurangi permukaan serangan dan kini digunakan oleh beberapa protokol keuangan terdesentralisasi (DeFi) terkemuka di Ethereum.
