" Платформа масштабирования 2-го уровня Ethereum StarkNet переработала собственный язык программирования Cairo, чтобы сделать разработку Web3 доступнее для новичков в программировании.
В объявлении StarkNet описаны обновления, доступные в Cairo 1.0, которые рекламируются как имитирующие характеристики популярного языка программирования Rust. Капитальный ремонт призван позволить разработчикам с общим опытом кодирования приступить к созданию децентрализованных приложений в сети Ethereum уровня 2 StarkNet.
Соучредитель и президент StarkWare Эли Бен-Сассон сказал, что сделать разработку Layer 2 более доступной для разработчиков с разным опытом было основной причиной обновления Cairo:
«Основными драйверами были безопасность и простота использования, а проведение капитального ремонта предоставило потрясающую возможность удалить барьер для разработчиков с традиционным языковым опытом».
Технические характеристики, изложенные при запуске 5 января, включают в себя множество улучшений языка Cairo. Это включает в себя улучшенный синтаксис и языковые конструкции, целостную систему типов, интуитивно понятные библиотеки, оптимизированный код и строгую типизацию, требующую спецификации типов данных.
StarkNet выделяет Sierra как главное дополнение к капитальному ремонту Cairo, что означает Safe Intermediate Representation. Sierra действует как новый промежуточный уровень представления между Cairo 1.0 и байт-кодом Cairo.
Как объяснил Бен Сассон, Sierra является важным аспектом обеспечения работы общедоступной сети. Обновление позволяет включать отмененные транзакции в блоки StarkNet, помогая протоколу избежать добавления сложных «криптоэкономических механизмов».
Бен Сассон сказал, что Sierra позволит StarkNet «унаследовать полную устойчивость к цензуре Ethereum» и в основном защитит от атак типа «отказ в обслуживании» (DoS) Sequencer.
Как ранее сообщалось, Бен-Сассон стал пионером криптостартапа ZK-STARK вместе с другими учеными-компьютерщиками. Масштабируемые прозрачные аргументы знаний с нулевым разглашением — это система доказательств, которая шифрует и проверяет данные транзакций для обеспечения безопасности, масштабируемости и устойчивости к квантовым вычислениям.
По данным StarkNet, Cairo является четвертым по популярности языком смарт-контрактов по общей заблокированной стоимости. Это база приложений, которые обработали более 300 миллионов транзакций, выпустили 90 миллионов NFT и обеспечили сделки на сумму 790 миллионов долларов, рассчитанные на Ethereum.
