StarkNet dokonuje przeglądu języka programowania Cairo, aby zwiększyć adopcję programistów

Platforma skalowania warstwy 2 Ethereum, StarkNet, dokonała przeglądu swojego wewnętrznego języka kodowania Cairo, aby udostępnić programistom tworzenie Web3.

Ogłoszenie udostępnione Cointelegraph przedstawia uaktualnienia do Cairo 1.0, które mają naśladować cechy popularnego języka programowania Rust. Przebudowa ma na celu umożliwienie programistom z ogólnym doświadczeniem w programowaniu rozpoczęcie tworzenia zdecentralizowanych aplikacji w sieci warstwy 2 Ethereum firmy StarkNet.

Współzałożyciel i prezes StarkWare, Eli Ben-Sasson, powiedział Cointelegraph, że głównym powodem przebudowy Kairu było uczynienie rozwoju warstwy 2 bardziej dostępnym dla programistów z różnych środowisk:

„Głównymi czynnikami były bezpieczeństwo i łatwość użytkowania, a przeprowadzenie przeglądu stanowiło doskonałą okazję do usunięcia wpisu dla programistów posługujących się konwencjonalnymi językami”.

Specyfikacje techniczne przedstawione 5 stycznia obejmują szereg ulepszeń języka Cairo, w tym ulepszoną składnię i konstrukcje językowe, holistyczny system typów, intuicyjne biblioteki, zoptymalizowany kod i silne typowanie dzięki wymagającym specyfikacjom typów danych.

StarkNet podkreślił Sierra – co oznacza Safe Intermediate Representation – jako główny dodatek do przeglądu Kairu. Sierra działa jako nowa pośrednia warstwa reprezentacji między kodem bajtowym Cairo 1.0 i Cairo.

Jak wyjaśnił Ben-Sasson, Sierra jest ważnym aspektem zapewnienia sieci bez uprawnień. Aktualizacja umożliwia uwzględnienie odwróconych transakcji w blokach StarkNet, pomagając protokołowi uniknąć dodawania złożonych „mechanizmów krypto-ekonomicznych”.

Związane z: StarkNet sprawia, że ​​Cairo 1.0 open source jest pierwszym krokiem w kierunku kontroli społeczności

Ben-Sasson powiedział, że Sierra pozwoli StarkNet „odziedziczyć pełną odporność na cenzurę Ethereum” i chroni głównie przed atakami typu „odmowa usługi” Sequencer.

As zgłoszone wcześniej przez Cointelegraph, Ben-Sasson był pionierem zk-STARK kryptografii wraz z innymi informatykami. Zero-Knowledge Scalable Transparent Arguments of Knowledge to system sprawdzający, który szyfruje i weryfikuje dane transakcyjne w celu zapewnienia bezpieczeństwa, skalowalności i odporności na obliczenia kwantowe.

Według StarkNet, Kair jest czwartym najpopularniejszym językiem inteligentnych kontraktów pod względem całkowitej zablokowanej wartości. Jest to baza aplikacji, które przetworzyły ponad 300 milionów transakcji, wybiły 90 milionów niezamiennych tokenów i umożliwiły transakcje o wartości 790 milionów dolarów rozliczane na Ethereum.