Charles Hoskinson mengatakan pada 18 Oktober bahwa ia secara pribadi sedang mengembangkan bahasa pemrograman baru untuk Cardano bersama Lucas Rosa, insinyur di Input Output Global sekaligus salah satu pencipta Aiken. Pengungkapan ini mengisyaratkan kemungkinan jalur baru bagi pengembang aplikasi Cardano, yang berpusat pada niat transaksi dan bukti kriptografis, bukan pada uraian konvensional tentang pelaksanaan transaksi.

Hoskinson belum menyebutkan nama bahasa tersebut, merilis kode untuk publik, atau memberikan jadwal kapan pengembang dapat mengaksesnya. Belum adanya informasi itu berarti proyek tersebut masih sebatas pengungkapan awal, bukan perangkat yang saat ini dapat dinilai atau digunakan oleh pengembang.

Hoskinson dan Rosa mulai mengerjakan proyek ini

Dalam sebuah unggahan di X, Hoskinson mengatakan bahwa ia sedang mengerjakan bahasa tersebut bersama Rosa. Keterlibatan Rosa memberi proyek ini hubungan langsung dengan Aiken, salah satu opsi pengembangan kontrak pintar yang sudah tersedia di Cardano.

Bahasa pemrograman membentuk cara pengembang menyatakan aturan aplikasi, membangun transaksi, dan berinteraksi dengan model eksekusi yang mendasari jaringan, sehingga pengumuman ini menarik perhatian. Unggahan tersebut tidak memuat spesifikasi atau repositori, dan juga tidak mengusulkan langkah untuk mengintegrasikan bahasa itu ke dalam ekosistem pengembang Cardano yang lebih luas.

Untuk saat ini, deskripsi publik hanya terbatas pada unsur-unsur yang disebutkan Hoskinson dan laporan selanjutnya mengenai tujuan penggunaannya. Belum adanya kode juga menyisakan pertanyaan praktis, seperti sintaks bahasa tersebut, perangkat yang tersedia, serta cakupan aplikasi yang dirancang untuk didukungnya.

Niat transaksi dan bukti

Menurut CoinDesk, Hoskinson mengatakan bahwa bahasa tersebut akan menggabungkan niat transaksi, data yang membawa bukti, dan bukti kriptografis Groth16. Rancangan yang disampaikan menekankan tujuan yang ingin dicapai pengguna melalui suatu transaksi, beserta bukti bahwa persyaratan yang ditetapkan telah terpenuhi.

Menurut sistem yang diusulkan, pengguna akan menentukan hasil transaksi yang diinginkan. Aplikasi kemudian akan menangani eksekusi dan menyertakan bukti kriptografis bahwa persyaratan tersebut telah terpenuhi, menurut laporan CoinDesk.

Pembedaan ini penting dalam memahami proyek tersebut. Alih-alih menggambarkan interaksi pengguna hanya sebagai rangkaian langkah eksekusi, model yang dijelaskan Hoskinson dimulai dari hasil yang diinginkan dan menugaskan aplikasi untuk mewujudkannya. Komponen bukti dirancang untuk menyertai proses tersebut sebagai bukti terkait persyaratan yang telah ditetapkan.

Groth16 adalah teknologi bukti spesifik yang disebutkan dalam pengumuman tersebut. Baik pengungkapan Hoskinson maupun deskripsi yang dilaporkan tidak menjelaskan bagaimana teknologi ini akan diterapkan dalam bahasa tersebut, data apa yang akan dicakup oleh bukti, atau bagaimana aplikasi akan menampilkan transaksi yang dihasilkan kepada pengguna Cardano.

Hal-hal tersebut merupakan pertanyaan implementasi penting bagi sebuah bahasa yang mengklaim dapat digunakan untuk menyusun dan memverifikasi transaksi. Pertanyaan itu tidak dapat dijawab hanya berdasarkan pengumuman tingkat tinggi, terutama tanpa basis kode publik atau dokumentasi teknis.

Bersama Plutus dan Aiken

Hoskinson mengatakan bahwa ia secara pribadi sedang mengembangkan bahasa pemrograman Cardano baru bersama Lucas Rosa, insinyur di Input Output Global sekaligus salah satu pencipta Aiken.

Ia mengatakan bahasa yang diusulkan akan menggabungkan niat transaksi, data yang membawa bukti, dan bukti kriptografis Groth16. Menurut sistem yang diusulkan, pengguna akan menentukan hasil transaksi yang diinginkan, sementara aplikasi menangani eksekusi dan menyediakan bukti kriptografis bahwa persyaratan telah terpenuhi.

Jika dirilis, proyek ini akan menambah pilihan pengembangan lain di Cardano, berdampingan dengan Plutus dan Aiken. CryptoSlate melaporkan bahwa Aiken dirancang agar pengembangan kontrak pintar di Cardano lebih mudah diakses dibandingkan lingkungan Plutus yang berbasis Haskell.

Menurut CryptoSlate, hingga 19 Oktober, Hoskinson belum mengungkapkan nama bahasa tersebut, menerbitkan kode publik, atau mengumumkan tanggal rilis untuk pengembang.

Penafian: Artikel ini disediakan hanya untuk tujuan informasi. Artikel ini tidak ditawarkan atau dimaksudkan sebagai nasihat hukum, pajak, investasi, keuangan, maupun nasihat lainnya.