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