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