Kair, kluczowy język programowania dla Ethereum (ETH), otrzymuje znaczną aktualizację


obraz artykułu

Władysław Sopow

StarkWare, wiodący producent rozwiązań skalujących opartych na STARK dla blockchainów L1, udostępnia szczegóły Cairo 1.0

Spis treści

zk-STARK (skalowalne przejrzyste argumenty wiedzy o zerowej wiedzy) przekształciły się w popularne rozwiązanie L2 oparte na zk dla blockchainu Ethereum (ETH).

StarkWare wydaje Cairo 1.0, pierwszą w historii aktualizację do swojego języka programowania

Zgodnie z oficjalnym oświadczeniem udostępnionym przez zespół StarkWare, jego język programowania Cairo ma przejść pierwszą w historii dużą aktualizację, nazwaną Cairo 1.0.

Wraz z aktualizacją do wersji 1.0 Cairo staje się bardziej niezawodnym, prostszym i bardziej użytecznym językiem programowania dla programistów inteligentnych kontraktów i dApps.

U podstaw Kairu znajduje się Sierra (Safe Intermediate Representation), warstwa pośrednia zaprojektowana w celu zapewnienia, że ​​każdy program w Kairze może być bezpiecznie zweryfikowany.

Reklamy

Taka konstrukcja sprawia, że ​​cała sieć jest bardziej niezawodna pod względem odporności na ataki.

Zaawansowane doświadczenie programistyczne dla programistów skoncentrowanych na L2

Ponadto, po aktywowaniu Cairo 1.0, jego użytkownicy (programiści) będą cieszyć się bezpieczeństwem klasy Ethereum dla wszystkich swoich inteligentnych kontraktów i aplikacji.

Żadne z tych osiągnięć nie sprawi, że sieć poświęci efektywność kosztową i decentralizację.

Według trackera L2Beat, technologia StarkWare StarkEx jest jedną z najważniejszych dla segmentu L2: trzy z 10 największych protokołów TVL (dYdX, Immutable X i Sorare) są zbudowane na jej szczycie.

Źródło: https://u.today/cairo-crucial-programming-language-for-ethereum-eth-receives-major-upgrade