Tech

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

11/24/2022
Новини Bitcoin Ethereum

Технологічна компанія StarkWare, що займається нульовим знанням (ZK)-Rollup, офіційно відкрила вихідний код свого нового компілятора мови програмування Cairo 1.0, який незабаром буде підтримуватися в рішенні для масштабування рівня 2 Ethereum StarkNet у першому кварталі 1 року. 

Новина була оголошений від StarkWare — компанії, що стоїть за StarkNet — у дописі у Twitter від 25 листопада. Технологія згортання та рекурсивні докази StarkWare пропонують потенціал для стиснення мільйонів транзакцій на L2 в одну транзакцію на Ethereum, однак проект критикували за збереження контролю над своєю IP-адресою, не в останню чергу з боку його більш орієнтованого на відкрите код конкурента zkSync.

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

зображення

У StarkWare заявили, що тепер розробники можуть експериментувати з Cairo 1.0, компілюючи та запускаючи прості програми, доки вона не буде повністю підтримана в StarkNet у першому кварталі 1 року.

За словами керівника Starkware Exploration і колишнього розробника ядра Ethereum Абдельхаміда Бахти, Cairo 1.0 забезпечить швидшу розробку функцій і залучить більше спільноти.

«Ми продовжуємо відкривати кодовий пакет технологій StarkNet, починаючи з Cairo 1.0. Ми робимо це, щоб реалізувати бачення StarkNet як суспільного блага, яким може користуватися будь-хто, і яке спільнота може постійно вдосконалювати», – сказав він.

«На практичному рівні це максимізує прозорість нашого коду та процесу кодування. І це зміцнює здатність спільноти знаходити помилки та вдосконалювати компілятор. З кожним аспектом технологічного стека з відкритим вихідним кодом це відчуття участі спільноти зростатиме й зростатиме».

Після запуску Cairo 1.0 також дозволить розробникам блокчейнів писати та розгортати смарт-контракти в StarkNet, відповідно до публікації StarkWare Medium.

StarkWare додав, що оскільки Cairo 1.0 робить кожне обчислення «доказовим», властивості стійкості StarkNet до цензури будуть посилені, і він також матиме кращі можливості реагувати на атаки відмови в обслуговуванні.

Технологічний стек STARK від StarkWare забезпечує низку проектів Web3, включаючи платформу децентралізованого обміну (DEX) dYdX (хоча вона переходить до власної мережі на Cosmos), платформу NFT Immutable X і протокол сумісності блокчейну Celer Network.

За темою: За одну транзакцію можна викарбувати 60 мільйонів NFT, — співзасновник StarkWare

StarkNet ризикнула, використавши Cairo для прискорення свого рішення, яке несумісне з віртуальною машиною Ethereum (EVM). Однак компанія з розробки програмного забезпечення Ethereum Nethermind створив транспілер під назвою Warp, який перетворює код Solidity у код Cairo.

Основна мережа конкурента zkSync, сумісна з EVM, знаходиться в процесі запуску.

Але, незважаючи на більш складний шлях, засновник StarkWare Елі Бен-Сассон нещодавно сказав Cointelegraph, що використання спеціально створеної мови програмування, як-от Cairo, на відміну від Solidity, було єдиним життєздатним способом повною мірою скористатися перевагами масштабування Ethereum, які надають зведені ZK:

«Я готовий посперечатися, що ви не побачите повномасштабну ZK EVM, яка може помістити мільйон транзакцій в одне підтвердження на Ethereum. Як ми можемо легко зробити сьогодні і робимо це протягом місяців і років».

Новини прийшли як Starkware також нещодавно розгорнути новий токен StarkNet (STRK) на Ethereum 17 листопада, який буде використовуватися для цілей стекінгу та голосування на додаток до оплати в мережі.