StarkNet перапрацоўвае мову праграмавання Cairo, каб спрыяць прыняццю распрацоўшчыкаў

Платформа маштабавання ўзроўню 2 Ethereum StarkNet капітальна змяніла сваю ўласную мову кадавання Cairo, каб зрабіць распрацоўку Web3 даступнай для распрацоўшчыкаў.

У аб'яве, перададзенай Cointelegraph, апісваецца абнаўленне да Cairo 1.0, які рэкламуецца для эмуляцыі характарыстык папулярнай мовы праграмавання Rust. Капітальны рамонт мае намер дазволіць распрацоўшчыкам з агульным вопытам кадавання пачаць стварэнне дэцэнтралізаваных прыкладанняў у сетцы Ethereum 2 StarkNet.

Сузаснавальнік і прэзідэнт StarkWare Элі Бэн-Сасан сказаў Cointelegraph, што зрабіць распрацоўку ўзроўню 2 больш даступнай для распрацоўшчыкаў з розным вопытам стала галоўнай прычынай рэканструкцыі Cairo:

«Асноўнымі фактарамі былі бяспека і прастата выкарыстання, і правядзенне капітальнага рамонту дало выдатную магчымасць выдаліць запіс для распрацоўшчыкаў са звычайнымі мовамі».

Тэхнічныя спецыфікацыі, выкладзеныя падчас запуску 5 студзеня, уключаюць мноства паляпшэнняў мовы Cairo, у тым ліку палепшаны сінтаксіс і моўныя канструкцыі, цэласную сістэму тыпаў, інтуітыўна зразумелыя бібліятэкі, аптымізаваны код і цвёрдую тыпізацыю з патрабаваннем спецыфікацыі тыпаў даных.

StarkNet вылучыў Sierra — што расшыфроўваецца як Safe Intermediate Representation — як галоўнае дадатак да капітальнага рамонту Каіра. Sierra дзейнічае як новы прамежкавы ўзровень прадстаўлення паміж Cairo 1.0 і байт-кодам Cairo.

Як растлумачыў Бэн-Сасан, Sierra з'яўляецца важным аспектам забеспячэння сеткі без дазволаў. Абнаўленне дазваляе ўключаць адноўленыя транзакцыі ў блокі StarkNet, дапамагаючы пратаколу пазбегнуць дадання складаных «крыпта-эканамічных механізмаў».

Па тэме: StarkNet робіць Cairo 1.0 з адкрытым зыходным кодам у першым кроку да кантролю супольнасці

Бэн-Сасан сказаў, што Sierra дазволіць StarkNet «успадкаваць поўную ўстойлівасць да цэнзуры Ethereum» і ў асноўным абараняе ад нападаў адмовы ў абслугоўванні Sequencer.

As раней паведамляў Cointelegraph, піянер Бэн-Сасон зк-СТАРК крыптаграфіі разам з іншымі інфарматыкамі. Маштабаваныя празрыстыя аргументы ведаў з нулявымі ведамі - гэта сістэма доказаў, якая шыфруе і правярае даныя транзакцый для забеспячэння бяспекі, маштабаванасці і ўстойлівасці да квантавых вылічэнняў.

Па дадзеных StarkNet, Cairo з'яўляецца чацвёртай па папулярнасці мовай смарт-кантрактаў па агульнай колькасці заблакаваных. Гэта база прыкладанняў, якія апрацавалі больш за 300 мільёнаў транзакцый, адчаканілі 90 мільёнаў незаменных токенаў і садзейнічалі здзелкам на Ethereum на суму 790 мільёнаў долараў.