StarkNet е децентрализиран Validity-Rollup без разрешение. Работи като L2 мрежа над Ethereum. То позволява на всяко dApp да постигне неограничен мащаб за своите изчисления – без да компрометира възможността за композиране и сигурността на Ethereum.
От скорошната актуализация на StarkNet, той преработи своя вътрешен език за програмиране Cairo, за да направи Web3 разработката достъпна за разработчиците. В средна публикация в блога на StarkWare, решенията за мащабиране, базирани на Stark, очерта надстройките до Cairo 1.0.
Според публикацията в блога, „Разработчиците могат да започнат да пишат, компилират и тестват програми Cairo 1.0!“ Платформата насърчава разработчиците да започнат да експериментират с Cairo 1.0 и да свикнат с новия синтаксис и функции.“
Какво е Cairo 1.0?
Cairo беше представен за първи път през 2020 г. и след еволюцията като първата му публична версия Cairo 1.0 вече е достъпна. Освен това той е „пълен език за програмиране по Тюринг“ за ефективно писане на доказуеми от STARK програми. „Cairo 1.0 е подобен на Rust език на високо ниво. Подобно на Rust, той има за цел да позволи на разработчиците лесно да пишат код, който е ефективен и безопасен.
Съоснователят и президент на StarkWare, Ели Бен-Сасон, сподели причината за обновяването на Cairo, като каза: „Основните двигатели бяха безопасността и лекотата на използване, а извършването на основен ремонт предостави страхотна възможност за премахване на влизането за разработчици с конвенционален език фонове.”
Cairo 1.0 допълнително представя Sierra, ново междинно представяне, което гарантира, че всяко бягане в Cairo може да бъде доказано. Това прави Cairo 1.0 особено подходящ за използване в мрежа без разрешения като StarkNet, където може да осигури стабилна DoS защита и устойчивост на цензура.
Г-н Бен-Сасон обясни Sierra като „важен аспект за осигуряване на мрежа без разрешения“. Освен това надстройката позволява върнатите транзакции да бъдат включени в блоковете на StarkNet, като помага на протокола да избягва добавянето на сложни „крипто-икономически механизми“. Той каза, че Sierra ще позволи на StarkNet да „наследи пълната устойчивост на цензура на Ethereum“ и основно защитава срещу атаки за отказ на услуга на Sequencer.
В публикацията в блога на StarkNet също се споменава, че Cairo е четвъртият най-популярен език за интелигентни договори по заключена обща стойност. Обработил е сделки на стойност над 790 милиарда долара, обработил е над 300 милиона транзакции и е изсекъл повече от 90 милиона NFT, като всички са извършени извън веригата и са се установили на Ethereum с математическата цялост, гарантирана от доказателствата на STARK.
„Въпреки това, StarkNet все още не поддържа внедряването и изпълнението на договори Cairo 1.0. StarkNet Alpha V0.11.0, планиран през следващите седмици, ще въведе възможност за внедряване и изпълнение на договори Cairo 1.0. Надграждането до v0.11.0 ще отбележи началото на преходния период към система, която работи само с договори Cairo 1.0“, според StarkNet.
Нанси Дж. Алън е крипто ентусиаст и вярва, че криптовалутите вдъхновяват хората да бъдат свои собствени банки и да се отдръпнат от традиционните системи за паричен обмен. Тя също е заинтригувана от блокчейн технологията и нейното функциониране.
Източник: https://www.thecoinrepublic.com/2023/01/06/starknets-revamping-of-its-cairo-programming-but-why/