Charles Hoskinson secara pribadi mengembangkan bahasa pemrograman baru untuk Cardano

Pendiri Cardano Charles Hoskinson menulis di X pada Minggu bahwa ia secara pribadi sedang mengembangkan bahasa pemrograman baru untuk Cardano. Hoskinson mengatakan ia bekerja sama dengan Lucas Rosa, insinyur perangkat lunak di Input Output Global yang turut menciptakan Aiken, salah satu bahasa kontrak pintar utama Cardano. Hoskinson mengatakan bahasa baru itu akan menjadi yang pertama menggabungkan hal yang ingin dilakukan pengguna melalui transaksi dengan bukti kriptografis bahwa aturan transaksi telah dipatuhi. Hoskinson belum mengungkapkan nama bahasa itu, merilis kode publik, atau mengumumkan kapan pengembang dapat menggunakannya.

Bahasa tersebut akan mendukung maksud transaksi, data yang membawa bukti, dan bukti Groth16. Maksud transaksi memungkinkan pengguna menentukan hasil yang diinginkan, sementara langkah-langkahnya diserahkan kepada aplikasi. Seorang pedagang dapat meminta pertukaran token hanya jika harga akhirnya memenuhi ketentuan yang ditentukan, tanpa menjelaskan cara melakukan pertukaran tersebut.

Data yang membawa bukti menyertakan bukti kriptografis pada informasi untuk menunjukkan bahwa informasi tersebut mengikuti aturan tertentu. Aplikasi lain dapat memeriksa bukti itu tanpa mengulangi seluruh perhitungan yang mendasarinya. Groth16 adalah sistem pembuktian yang banyak digunakan dan menghasilkan bukti berukuran kecil yang dapat diperiksa komputer dengan cepat. Bukti Groth16 dapat menunjukkan bahwa suatu ketentuan telah dipenuhi tanpa mengungkapkan data privat yang digunakan untuk memenuhinya.

Ketiga alat tersebut secara bersama-sama dapat memungkinkan pengembang membangun aplikasi yang mengoordinasikan perdagangan, memeriksa ketentuan yang rumit, dan meneruskan informasi terverifikasi antar layanan. Cardano dapat memeriksa bukti kecil di akhir operasi tersebut. Hoskinson memimpin perusahaan dengan banyak insinyur, tetapi memilih untuk menulis sendiri alat yang dapat digunakan aplikasi Cardano pada masa depan.

Pengembang Cardano saat ini menulis kontrak pintar dalam Plutus, yang dibangun di atas Haskell, dan Aiken. Input Output Global membangun Midnight, blockchain yang berfokus pada privasi. Midnight memiliki bahasa pemrograman tersendiri, Compact, untuk aplikasi yang menangani data rahasia.