StarkNet — це децентралізований зведений пакет перевірки без дозволу. Він працює як мережа L2 через Ethereum. Це дозволяє будь-якому dApp досягати необмеженого масштабу для своїх обчислень – без шкоди для компонування та безпеки Ethereum.
З останнього оновлення StarkNet він капітально переробив свою внутрішню мову програмування Cairo, щоб зробити розробку Web3 доступною для розробників. У дописі в блозі Medium від StarkWare «Рішення для масштабування на основі Stark» описано оновлення до Cairo 1.0.
Згідно з повідомленням у блозі, «розробники можуть почати писати, компілювати та тестувати програми Cairo 1.0!» Платформа заохочує розробників почати експериментувати з Cairo 1.0 і звикнути до нового синтаксису та функцій».
Що таке Cairo 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/