StarkNet переробляє мову програмування Cairo, щоб сприяти прийняттю розробниками

Платформа масштабування Ethereum рівня 2 StarkNet переробила свою внутрішню мову кодування Cairo, щоб зробити розробку Web3 доступною для розробників.

Оголошення, опубліковане Cointelegraph, описує оновлення до Cairo 1.0, який рекламується для емуляції характеристик популярної мови програмування Rust. Капітальний ремонт має на меті дозволити розробникам із загальним досвідом програмування розпочати створення децентралізованих програм у мережі StarkNet Ethereum рівня 2.

Співзасновник і президент StarkWare Елі Бен-Сассон сказав Cointelegraph, що головною причиною модернізації Cairo було зробити розробку другого рівня доступнішою для розробників різного досвіду:

«Основними факторами були безпека та простота використання, а проведення капітального ремонту дало чудову можливість видалити запис для розробників зі звичайним мовним фоном».

Технічні специфікації, викладені під час запуску 5 січня, охоплюють безліч удосконалень мови Cairo, включаючи вдосконалений синтаксис і мовні конструкції, цілісну систему типів, інтуїтивно зрозумілі бібліотеки, оптимізований код і жорстку типізацію через вимогливу специфікацію типів даних.

StarkNet виділив Sierra — що означає Safe Intermediate Representation — як головне доповнення до капітального ремонту Cairo. Sierra діє як новий проміжний рівень представлення між Cairo 1.0 і байт-кодом Cairo.

Як пояснив Бен-Сассон, Sierra є важливим аспектом забезпечення мережі без дозволу. Оновлення дозволяє включати скасовані транзакції в блоки StarkNet, допомагаючи протоколу уникнути додавання складних «криптоекономічних механізмів».

За темою: StarkNet створює Cairo 1.0 з відкритим вихідним кодом, що є першим кроком до контролю спільноти

Бен-Сассон сказав, що Sierra дозволить StarkNet «успадкувати повну стійкість до цензури Ethereum» і головним чином захищає від атак Sequencer типу відмови в обслуговуванні.

As раніше повідомляв CointelegraphБен-Сассон став піонером zk-STARK криптографії разом з іншими комп'ютерними науковцями. Zero-Knowledge Scalable Transparent Arguments of Knowledge — це система доказів, яка шифрує та перевіряє дані транзакцій, щоб забезпечити безпеку, масштабованість і стійкість до квантових обчислень.

За даними StarkNet, Cairo є четвертою за популярністю мовою смарт-контрактів за загальною заблокованою вартістю. Це база додатків, які обробили понад 300 мільйонів транзакцій, викарбували 90 мільйонів незамінних токенів і сприяли угодам на суму 790 мільйонів доларів США, проведених на Ethereum.