StarkNet merombak bahasa pemrograman Kairo untuk mendorong adopsi pengembang

Platform penskalaan lapisan-2 Ethereum StarkNet telah merombak bahasa pengkodean Kairo internal untuk membuat pengembangan Web3 dapat diakses oleh pengembang.

Pengumuman yang dibagikan dengan Cointelegraph menguraikan peningkatan ke Kairo 1.0, yang disebut-sebut meniru karakteristik bahasa pemrograman Rust yang populer. Perombakan tersebut bermaksud untuk memungkinkan pengembang dengan pengalaman pengkodean umum untuk mulai membangun aplikasi terdesentralisasi pada jaringan layer-2 Ethereum StarkNet.

Salah satu pendiri dan presiden StarkWare Eli Ben-Sasson mengatakan kepada Cointelegraph bahwa membuat pengembangan layer-2 lebih mudah diakses oleh pengembang dari berbagai latar belakang adalah alasan utama perubahan Kairo:

“Pendorong utamanya adalah keamanan dan kemudahan penggunaan, dan melakukan perombakan menghadirkan peluang luar biasa untuk menghapus entri bagi pengembang dengan latar belakang bahasa konvensional.”

Spesifikasi teknis yang diuraikan dalam peluncuran 5 Januari mencakup sejumlah perbaikan untuk bahasa Kairo, termasuk peningkatan sintaksis dan konstruksi bahasa, sistem tipe holistik, perpustakaan intuitif, kode yang dioptimalkan, dan pengetikan yang kuat dengan menuntut spesifikasi tipe data.

StarkNet menyoroti Sierra — singkatan dari Safe Intermediate Representation — sebagai tambahan utama perbaikan Kairo. Sierra bertindak sebagai lapisan representasi perantara baru antara kode byte Kairo 1.0 dan Kairo.

Seperti yang dijelaskan Ben-Sasson, Sierra adalah aspek penting untuk memastikan jaringan tanpa izin. Pemutakhiran memungkinkan transaksi yang dikembalikan untuk disertakan dalam blok StarkNet, membantu protokol untuk menghindari penambahan “mekanisme kripto-ekonomi” yang kompleks.

Terkait: StarkNet menjadikan Kairo 1.0 open source sebagai langkah pertama menuju kontrol komunitas

Ben-Sasson mengatakan bahwa Sierra akan memungkinkan StarkNet untuk "mewarisi resistensi sensor penuh Ethereum" dan terutama melindungi terhadap serangan penolakan layanan Sequencer.

As sebelumnya dilaporkan oleh Cointelegraph, Ben-Sasson memelopori zk-STARK kriptografi bersama ilmuwan komputer lainnya. Zero-Knowledge Scalable Transparent Arguments of Knowledge adalah sistem pembuktian yang mengenkripsi dan memverifikasi data transaksi untuk memberikan keamanan, skalabilitas, dan ketahanan terhadap komputasi kuantum.

Menurut StarkNet, Kairo adalah bahasa kontrak pintar terpopuler keempat dengan total nilai terkunci. Ini adalah basis aplikasi yang telah memproses lebih dari 300 juta transaksi, mencetak 90 juta token yang tidak dapat dipertukarkan, dan memfasilitasi perdagangan senilai $790 juta yang diselesaikan di Ethereum.