StarkWare предоставляет открытый исходный код STARK Prover, который теперь называется Stone, под управлением Apache 2.0.
___________________________________________________________________________________________________
Сессия проверки кода будет проведена 31 августа во время саммита Starknet . В этот день код прувера Stone будет доступен сообществу.
___________________________________________________________________________________________________
TL;DR
- Как было объявлено в феврале 2023 года , мы собираемся выпустить программу STARK Prover от StarkWare с открытым исходным кодом, которая теперь называется Stone (STARK one), под лицензией Apache 2.0.
- Открытие исходного кода прувера — это важный шаг вперед в децентрализации Starknet. Это будет способствовать сотрудничеству и инновациям, а также позволит разработчикам наблюдать, оптимизировать и использовать код проверяющего, желательно на благо общедоступного Старкнета.
- Этот шаг соответствует предыдущим шагам по получению лицензии с открытым исходным кодом для Starknet Stack . Благодаря самому быстрорастущему сообществу разработчиков, Starknet имеет наиболее децентрализованный стек Rollup, включающий несколько ключевых компонентов инфраструктуры, таких как Cairo, несколько реализаций полного узла, новый Sequencer от Starknet и другие функции с открытым исходным кодом, созданные независимыми командами.
- Stone Prover — это мощный механизм, и командам рекомендуется добавлять к нему настройки и оболочки, чтобы создать систему проверки, которая им нужна.
Большие новости
Мы в восторге! Как было объявлено ранее в этом году и как планировалось на ранних стадиях Starknet, мы открываем исходный код STARK Prover, который теперь называется Stone. Кодовая база Prover будет доступна по лицензии Apache 2.0 . Вводная сессия по коду состоится во время саммита Starknet 31 августа, когда код станет доступен.
Это важный шаг вперед в децентрализации технологии StarkWare, который позволяет сообществу самостоятельно развивать Prover и вносить в него свой вклад.
Для разработчиков это означает, что проверенный в боях движок, лежащий в основе достижений StarkWare в области масштабирования, доступен всем для проверки программ Cairo. Мы предоставляем вам мощный инструмент STARK-доказательства, и вы можете использовать его, чтобы развивать и способствовать развитию экосистемы Starknet.
Открытие исходного кода Stone STARK Prover
STARK Prover — жизненно важный компонент в технологическом стеке Starknet. Он отвечает за сжатие транзакций и создание криптографических доказательств и играет ключевую роль в масштабировании Ethereum.
Этот Prover находится в разработке с июня 2020 года и играет решающую роль в подтверждении транзакций из децентрализованных приложений на базе StarkEx (таких как Immutable X, Sorare, dYdX и другие) и Starknet. Код постоянно оптимизируется, и мы делимся его последней обновленной версией (выпущенной в марте 2023 года).
С момента запуска решения масштабирования STARK-tech, созданные на основе этого Prover (включая StarkEx и Starknet), сжали и доказали совокупный объем транзакций на сумму 1 трлн долларов США, 500 миллионов транзакций и более 100 миллионов чеканок NFT. Конечно, дальнейшие инновации и оптимизации могут быть внесены как со стороны StarkWare, так и со стороны разработчиков, которые решат взять код и использовать его в своих собственных инициативах.
Prover с открытым исходным кодом позволяет большему количеству людей просматривать код и предлагать оптимизации, улучшать его качество, помогать обнаруживать ошибки и обеспечивать прозрачность.
В настоящее время у StarkWare уже есть Cairo с открытым исходным кодом, Papyrus Full Node и все версии Starknet. Создаваемый новый секвенсор Starknet также будет иметь открытый исходный код. К этим проектам присоединяются несколько проектов с открытым исходным кодом в экосистеме Starknet.
Что такое открытый исходный код и как разработчики могут его использовать?
Код с открытым исходным кодом включает Stone STARK Prover на C++ (под лицензией Apache 2.0). Кроме того, будет доступен верификатор C++ STARK.
Stone Prover с открытым исходным кодом позволит реализовать инновационные инициативы, которые смогут использовать его в качестве основного механизма проверки в своих системах проверки. Разработчики смогут использовать его следующим образом:
- Напишите программу Cairo0
- Используйте инструменты Cairo , чтобы взять программу Cairo0 и скомпилировать ее в CASM.
- Запустите код CASM с помощью cairo_run и получите трассировку Cairo для этого запуска.
- Используйте Stone STARK Prover, чтобы доказать след Каира.
- Получите доказательство STARK
- Используйте C++ Verifier, чтобы убедиться в достоверности доказательства.
Stone Prover подходит для проверки программ Cairo. Поверх него могут быть созданы дополнительные оболочки и настройки, чтобы использовать его для нескольких различных систем и нужд. Разработчики могут воспользоваться этим новаторским, проверенным в боевых условиях движком и создать свой собственный сервис проверки. Например, компания StarkWare построила систему SHARP на основе этого прувера.
Краткое содержание
Выпуск кодовой базы Stone Prover под лицензией Apache 2.0 для StarkWare знаменует собой поворотный момент в разработке и выпуске открытых инструментов для безопасного масштабирования Ethereum. StarkWare считает, что открытый исходный код технологического стека Starknet означает большее сотрудничество, лучшее качество, повышенную безопасность, инновации и независимость. Все эти ценности могут помочь Starknet и Ethereum полностью раскрыть свой потенциал.
В будущем все, что нужно разработчикам для работы и запуска стека Starknet, планируется сделать открытым, что подходит для децентрализованной, закрытой сети уровня 2.