Cairo, найважливіша мова програмування для Ethereum (ETH), отримує серйозне оновлення

zk-STARKs (масштабовані прозорі аргументи знань без знань) перетворилися на основне рішення L2 на основі zk для блокчейну Ethereum (ETH).

StarkWare випускає Cairo 1.0, перше в історії оновлення своєї мови програмування

Згідно з офіційною заявою, поширеною командою StarkWare, її мова програмування Cairo збирається пройти своє перше в історії серйозне оновлення, яке отримало назву Cairo 1.0.

Час оголосити: Cairo 1.0 🦅
Це найбільший прогрес Каїра на сьогодні.

Cairo 1.0 підвищить зручність використання, безпеку та зручність. Він підтримуватиме вимоги до мережі StarkNet без доступу, а також спростить і захистить протоколhttps://t.co/HgpR6f1VRm pic.twitter.com/VaCol0cckn

- StarkWare (@StarkWareLtd) Вересень 12, 2022

З оновленням до версії 1.0 Cairo стає більш надійною, простішою та зручнішою мовою програмування для розробників смарт-контрактів і dApps.

У своїй основі Cairo має Sierra (Safe Intermediate Representation), проміжний рівень, призначений для забезпечення надійної перевірки кожної програми Cairo.

оголошення

Така конструкція дозволяє всій мережі бути більш надійною з точки зору стійкості до атак.

Розширений досвід розробника для програмістів, орієнтованих на L2

Крім того, з активацією Cairo 1.0 його користувачі (розробники) отримають безпеку рівня Ethereum для всіх своїх смарт-контрактів і програм.

Жодне досягнення не змусить мережу пожертвувати економічною ефективністю та децентралізацією.

Відповідно до трекера L2Beat, технологія StarkEx від StarkWare є однією з найважливіших для сегмента L2: три з 10 найбільших протоколів TVL (dYdX, Immutable X і Sorare) побудовані на її основі.