StarkNet делает Cairo 1.0 открытым исходным кодом в качестве первого шага к контролю сообщества

Компания StarkWare, специализирующаяся на технологиях Zero-knowledge (ZK)-Rollup, официально выложила в открытый доступ свой новый компилятор языка программирования Cairo 1.0, который вскоре будет поддерживаться в решении для масштабирования Ethereum второго уровня StarkNet в 1 квартале 2023 года. 

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

StarkWare назвала открытый исходный код Cairo «важным шагом» в своем стремлении передать больше контроля и прав на интеллектуальную собственность своему сообществу и разработчикам. Cairo — это язык программирования, написанный специально для использования возможностей zk-Rollups и доказательств достоверности.

День настал: первый взгляд на Cairo 1.0, полностью с открытым исходным кодом

Это большой шаг к открытому исходному коду стека StarkNet.

Теперь вы можете ознакомиться с новым синтаксисом, скомпилировать и запустить простые программы локально. Поддержка #StarkNet скоро появится

— StarkWare (@StarkWareLtd) 24 ноября 2022 г.

StarkWare заявила, что сейчас разработчики могут экспериментировать с Cairo 1.0, компилируя и выполняя простые приложения, пока он не будет полностью поддерживаться в StarkNet в 1 квартале 2023 года.

По словам руководителя отдела исследований Starkware и бывшего разработчика ядра 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.

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

Совместимый с EVM майнет конкурента zkSync находится в процессе запуска.

Но, несмотря на более сложный путь, основатель StarkWare Эли Бен-Сассон недавно сказал в интервью Cointelegraph, что использование специализированного языка программирования Cairo, в отличие от Solidity, является единственным жизнеспособным способом использовать все преимущества масштабирования Ethereum, которые дает zk-Rollups:

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

Эта новость появилась после того, как 17 ноября Starkware также недавно выпустила на Ethereum новый токен StarkNet (STRK), который будет использоваться для ставок и голосования в дополнение к оплате сборов в сети.