Cairo, важная мова праграмавання для Ethereum (ETH), атрымала сур'ёзнае абнаўленне

zk-STARKs (масштабаваныя празрыстыя аргументы ведаў без ведаў) ператварыліся ў асноўнае рашэнне L2 на аснове zk для блокчейна Ethereum (ETH).

StarkWare выпускае Cairo 1.0, першае ў гісторыі абнаўленне сваёй мовы праграмавання

Згодна з афіцыйнай заявай, распаўсюджанай камандай StarkWare, яе мова праграмавання Cairo павінна прайсці першае ў гісторыі сур'ёзнае абнаўленне, якое атрымала назву Cairo 1.0.

Час абвясціць: Cairo 1.0 🦅
Гэта самае вялікае дасягненне Каіра на сённяшні дзень.

Cairo 1.0 павысіць зручнасць выкарыстання, бяспеку і зручнасць. Ён будзе падтрымліваць патрабаванні StarkNet да сеткі без дазволу, а таксама спросціць і абароніць пратаколhttps://t.co/HgpR6f1VRm pic.twitter.com/VaCol0cckn

— StarkWare (@StarkWareLtd) Верасень 12, 2022

З абнаўленнем да версіі 1.0 Cairo становіцца больш надзейнай, простай і зручнай мовай праграмавання для распрацоўшчыкаў смарт-кантрактаў і dApps.

Па сваёй сутнасці Cairo мае Sierra (Safe Intermediate Representation), прамежкавы ўзровень, прызначаны для забеспячэння бяспечнай праверкі кожнай праграмы Cairo.

Аб'явы

Такая канструкцыя дазваляе ўсёй сетцы быць больш надзейнай з пункту гледжання ўстойлівасці да нападаў.

Пашыраны вопыт распрацоўшчыка для праграмістаў, арыентаваных на L2

Акрамя таго, з актывацыяй Cairo 1.0 яе карыстальнікі (распрацоўшчыкі) будуць карыстацца бяспекай на ўзроўні Ethereum для ўсіх сваіх смарт-кантрактаў і прыкладанняў.

Ні адно дасягненне не прымусіць сетку ахвяраваць эканамічнай эфектыўнасцю і дэцэнтралізацыяй.

Згодна з трэкерам L2Beat, тэхналогія StarkEx StarkWare з'яўляецца адной з найбольш важных для сегмента L2: тры з 10 найбуйнейшых пратаколаў TVL (dYdX, Immutable X і Sorare) пабудаваны на яе аснове.