StarkNet обновляет свое каирское программирование, но почему?

StarkNet — это децентрализованный накопительный пакет Validity без разрешений. Он работает как сеть L2 через Ethereum. Это позволяет любому децентрализованному приложению достичь неограниченного масштаба вычислений — без ущерба для компонуемости и безопасности Ethereum.

После недавнего обновления StarkNet компания полностью переработала собственный язык программирования Cairo, чтобы сделать разработку Web3 доступной для разработчиков. В сообщении в блоге Medium от StarkWare, решения для масштабирования на основе Stark, описаны обновления до Cairo 1.0.

Согласно сообщению в блоге, «Разработчики могут начать писать, компилировать и тестировать программы Cairo 1.0!» Платформа побуждает разработчиков начать экспериментировать с Cairo 1.0 и привыкнуть к новому синтаксису и функциям».

Что такое Каир 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. Обновление до версии 0.11.0 ознаменует начало переходного периода к системе, в которой работают только контракты Cairo 1.0», — сообщает StarkNet.

Нэнси Дж. Аллен
Последние сообщения Нэнси Дж. Аллен (посмотреть все)

Источник: https://www.thecoinrepublic.com/2023/01/06/starknets-revamping-of-its-cairo-programming-but-why/