Написал: @Yinan_cycle
(Эта статья была впервые опубликована на PANews: Империя StarkWare: анализ инновационного пути StarkEx и StarkNet)
фон
Начиная с 2018 года, StarkWare стала пионером в использовании доказательства достоверности STARK для решения проблемы масштабируемости Ethereum. Она запустила StarkEx на основе бизнес-модели SaaS, создала язык программирования Cairo и создала Starknet, первую действующую децентрализованную сеть, позволяющую писать собственную логику.
StarkWare стремится уделять двойное внимание технологиям, математике, инновациям и доставке продуктов; поддерживать другие команды, продвигающие Ethereum и/или STARK, и стремиться сделать продукт открытым, децентрализованным и ориентированным на то, чтобы сделать STARK общественным благом;
В будущем StarkWare будет работать над тем, чтобы сделать Starknet не требующим разрешения децентрализованным накопительным пакетом данных, управляемым Starknet Foundation, и сосредоточится на различных компонентах децентрализации Starknet, таких как Prover, Sequencer и управление.
Технология STARK основана на доказательствах, в частности на доказательствах целостности. STARK использует математику для обеспечения целостности, гарантируя правильность вычислений, даже когда никто не наблюдает. Концепция этого метода началась со статьи 1991 года Ласло Бабая, Лэнса Фортноу, Леонида Левина и Марио Сегеди, в которой была представлена концепция использования одного надежного компьютера для мониторинга группы ненадежных суперкомпьютеров. Технология, получившая название «PCP», использует математические методы для мониторинга и обеспечения целостности больших вычислений.
Технология STARK — это улучшенная версия технологии PCP, которая позволяет мелким пользователям проверять и обеспечивать правильное функционирование крупных корпораций, монополий или правительств. Блокчейн восстанавливает одноранговую природу обмена валюты, устраняя необходимость в доверенных посредниках. Эфириум развивает эту концепцию еще дальше, позволяя создавать универсальные программы, составляющие основу социальной экономики.
Старкваре
StarkWare — одна из лучших компаний в области накопительных пакетов zk. Ее соучредителем является профессор Эли Бен-Сассон из Израильского технологического института (соавтор zk SNARK и zk STARK). Она предоставляет решения на основе технологии STARK. блокчейн-индустрия. В настоящее время разрабатываются два продукта: StarkEx и StarkNet, оба из которых представлены ниже.
Команда Старквэр
Эли Бен-Сассон: соучредитель и главный научный сотрудник, профессор компьютерных наук Израильского технологического института Технион. Ученый-основатель Zcash и изобретатель zkSNARKs.
Алессандро Кьеза: соучредитель и главный научный сотрудник, профессор компьютерных наук Калифорнийского университета в Беркли. Ученый-основатель Zcash, соавтор zk-SNARK и основной разработчик libsnark.
Ури Колодный: Соучредитель и генеральный директор, Ури — серийный предприниматель с богатым опытом ведения бизнеса и умением сотрудничать.
Михаил Рябзев: соучредитель и главный архитектор. Доктор философии Израильского технологического института, работал в Intel и IBM.
Орен Кац: вице-президент по разработке. Окончил Еврейский университет по специальности компьютерные науки, степень MBA в Тель-Авиве, является старшим инженером с 20-летним опытом работы.
Финансирование
В настоящее время компания оценивается в 8 миллиардов долларов США и получила полную поддержку со стороны такого капитала, как Vitalik, Paradigm и Sequioa. Это команда с самой высокой оценкой в области расширения.
СтаркЭкс
Специализированный механизм масштабирования уровня 2 на основе блокчейна Ethereum, предназначенный для решения проблем масштабируемости сетей блокчейна уровня 1, таких как Ethereum. StarkEx обеспечивает быстрые и недорогие транзакции без ущерба для безопасности, конфиденциальности и самостоятельного хранения благодаря использованию передовой системы криптографии, называемой доказательствами STARK.
Он предоставляет серию прикладных процессов для реализации дешевых вычислений вне цепочки, упаковки нескольких транзакций в доказательство STARK, а затем их проверки в цепочке, что снижает среднюю стоимость газа для каждой транзакции. Принцип работы механизма расширения StarkEx включает четыре этапа: пакетную обработку, проверку и обновление, генерацию доказательства и проверку в цепочке.
StarkEx был успешно развернут во многих приложениях, таких как dYdX, Immutable, Sorare, DeversiFi и Celer.
Отличие от StarkNet заключается в следующем:
StarkEx и StarkNet — это две разные технологии, разработанные StarkWare. Они обе используют технологию доказательства с нулевым разглашением STARK, но имеют разные цели и применение.
StarkEx: StarkEx — это механизм масштабирования уровня 2 для конкретного приложения, ориентированный на оптимизацию производительности одного приложения в блокчейне Ethereum. Он обеспечивает более быстрые и дешевые транзакции за счет пакетной обработки нескольких транзакций и их проверки вне сети. В основном используется на децентрализованных биржах (DEX), рынках и играх NFT и т. д. Используя технологию доказательства STARK, StarkEx обеспечивает безопасную, эффективную и недорогую торговлю.
StarkNet — это более общее и комплексное решение уровня 2, не требующее разрешения, которое предоставляет всей экосистеме Ethereum децентрализованную вычислительную платформу, где разработчики могут развертывать смарт-контракты, написанные на языке Cairo. StarkNet поддерживает взаимодействие с другими контрактами, допускает богатую комбинацию протоколов и может взаимодействовать с контрактами Ethereum посредством асинхронного обмена сообщениями. Цель — предоставить масштабируемую, недорогую и безопасную среду, в которой разработчики смогут создавать и развертывать смарт-контракты. В отличие от StarkEx, StarkNet можно рассматривать как комплексную операционную систему уровня 2, которая позволяет разработчикам создавать разнообразные децентрализованные приложения, а не только решения для конкретных целей.
Короче говоря, StarkEx — это механизм расширения уровня 2 для конкретных приложений, который фокусируется на оптимизации производительности конкретных приложений, в то время как StarkNet — это более общее и комплексное решение уровня 2, целью которого является предоставление децентрализованного решения для всей экосистемы централизованных вычислений Ethereum. Платформа.
Старкнет
Starknet — это не требующая разрешения децентрализованная накопительная сеть (также известная как «ZK-Rollup»). Он работает как сеть L2 на Ethereum, позволяя любому dApp достигать бесконечно масштабируемых вычислений без ущерба для компонуемости и безопасности Ethereum, благодаря тому, что Starknet полагается на самую безопасную и масштабируемую систему доказательств Cryptoproof STARK.
Контракты Starknet и операционная система Starknet написаны с использованием Cairo, что позволяет развертывать и масштабировать любой вариант использования, независимо от бизнес-логики. Starknet — это децентрализованное сетевое решение уровня 2, предназначенное для обеспечения более высокой масштабируемости и производительности для децентрализованных приложений (dApps). Работая на Ethereum, он использует существующую инфраструктуру и безопасность, обеспечивая при этом повышенную вычислительную мощность.
Cairo — это язык программирования, разработанный специально для Starknet для упрощения разработки и развертывания смарт-контрактов. Используя Cairo, разработчики могут легко создавать масштабируемые приложения для различных вариантов использования, включая финансы, игры, цепочки поставок и многое другое.
Starknet — это совокупность валидности, что означает, что необходимо доказать выполнение внутри каждого блока, и именно здесь пригодятся STARK. Однако доказательства STARK могут решать утверждения, сформулированные на языке полиномиальных ограничений, и не имеют знаний о выполнении смарт-контрактов. Чтобы преодолеть этот разрыв, был разработан Каир.
В целом, Starknet — это сетевое решение второго уровня, полное потенциала, которое может дать существующим dApps большой шаг вперед в масштабируемости и производительности. Приняв систему криптографического доказательства STARK и язык программирования Cairo, Starknet предоставляет разработчикам мощную и гибкую платформу для удовлетворения различных потребностей бизнеса.
обновление новой версии
Что будет дальше? Starknet Alpha v0.11.0: начинается переход на Cairo 1.0
Дальнейшие улучшения языка в Cairo 1.0.
Улучшения производительности: Как и было обещано, Starknet продолжает добиваться прогресса в значительном улучшении TPS. Следующим шагом в дорожной карте является переход на секвенсоры Rust, которые публично разрабатываются под лицензией Apache 2.0. Новый секвенсор будет использовать полные узлы Rust CairoVM и Papyrus для формирования Performance Trio.
Оффчейн DA
В этой версии Starknet выполняет часть расчета транзакционных издержек. В следующей версии будут учтены затраты на передачу данных в сети, которые на сегодняшний день являются основной стоимостью средней транзакции.
Вот дальнейшее объяснение секвенсора Старкнета:
Sequencer относится к StarkNet Sequencer, который является частью StarkNet и направлен на значительное увеличение пропускной способности (количества транзакций в секунду) за счет перехода на секвенсор Rust, используя полные узлы Rust CairoVM и Papyrus, формируя таким образом «трио производительности».
«Трио производительности» относится к трем компонентам секвенатора StarkNet: секвенсору Rust, Rust CairoVM и полному узлу Papyrus. Среди них секвенсор Rust является ядром StarkNet Sequencer, отвечающим за обработку транзакций и генерацию блоков. Rust CairoVM — это виртуальная машина, которая может выполнять смарт-контракты в StarkNet. Полный узел Папируса — это узел в сети StarkNet, который хранит все данные StarkNet и может обрабатывать транзакции. Эти три части работают вместе, чтобы значительно увеличить пропускную способность StarkNet (количество транзакций в секунду).
Starknet v0.11.0 (пока только в тестовой сети Goerli)
Как только период тестирования Goerli закончится, Starknet v0.11.0 будет выпущен в основной сети.
Старкнет v0.10.3 (22-12-12)
Производительность — отдельные вычисления обязательств состояния от выполнения транзакций.
Добавлена команда starknet-class-hash для расчета хеша класса скомпилированных контрактов Starknet.
Старкнет v0.10.2 (29.11.22)
В этой версии представлено распараллеливание секвенсора!
В фидерный шлюз добавляется новая конечная точка Assessment_fee_bulk. Это позволит оценить комиссию за несколько транзакций одновременно, при этом каждая транзакция выполняется относительно результирующего состояния предыдущей примененной транзакции.
Старкнет v0.10.1 (25.10.22)
Добавьте транзакцию DeployAccount (она заменит транзакцию Deploy для развертывания контракта учетной записи). Чтобы использовать его, вам следует сначала добавить на адрес своей учетной записи достаточно средств для покрытия комиссий за транзакцию, а затем вы можете позвонить в DeployAccount.
Разделите команду Starknet Deploy_accountCLI на Starknet new_account и Starknet Deploy_account.
Ожидается, что контракты учетных записей, развернутые таким образом, должны реализовывать точку входа validate_deployDeployAccount(), которая должна проверять подпись транзакции.
Улучшен расчет комиссии L1: рассчитывайте комиссию на основе различий в статусе хранилища.
API: enter_point_type удаляет поля из информации о транзакции.
Старкнет v0.10.0 (09.05.22)
В этом выпуске представлены следующие шаги в разработке абстракций учетных записей Starknet, в частности, разделение проверки и выполнения.
Старкнет v0.9.1 (20.07.22)
Изменения API
СтарНет CLI
Старкнет v0.9.0 (6, 22 июня)
Этот выпуск привносит в Starknet парадигму контрактного класса/экземпляра.
Об аккаунте
Структура аккаунта Ethereum
В Ethereum отдельные учетные записи пользователей называются внешними учетными записями (EOA).
EOA отличаются от смарт-контрактов тем, что они не контролируются кодом. EOA определяется парой закрытого и открытого ключей.
Адрес учетной записи получается на основе этих ключей, и транзакции могут быть инициированы с учетной записи только в том случае, если у нее есть закрытый ключ. Хотя контракты Ethereum являются «пассивными», то есть они могут изменяться только при вызове транзакции, EOA могут инициировать транзакции.
Несмотря на свою простоту, EOA имеют серьезный недостаток, заключающийся в отсутствии гибкости в поведении учетной записи. Протокол Ethereum определяет, когда транзакции, инициированные EOA, являются действительными (схема подписи фиксирована). В частности, контроль открытого ключа дает полный контроль над учетной записью. Хотя теоретически это безопасный метод управления учетными записями, на практике он имеет некоторые недостатки, например, необходимость хранить исходную фразу в безопасности, делая ее доступной для вас, а также ограниченную гибкость функций кошелька.
EIP-4337 — это проектное предложение для Ethereum, в котором описывается абстракция учетной записи для управления всеми учетными записями с помощью специальных смарт-контрактов в сети Ethereum для повышения гибкости и удобства использования. Вы можете добавить абстракцию учетной записи в Ethereum, добавив собственную логику поверх базовой функциональности EOA.
Что такое абстракция аккаунта?
Идея абстракции учетных записей состоит в том, чтобы обеспечить большую гибкость в управлении учетными записями, а не определять их поведение на уровне протокола. Этого можно достичь за счет внедрения контрактов учетных записей — смарт-контрактов с программируемой логикой, определяющих поведение учетной записи пользователя.
Используя абстракцию учетной записи, вы теперь можете программировать функциональность своей учетной записи.
Например, вы можете:
Определите, что означает действительная подпись или с какими контрактами разрешено взаимодействовать вашей учетной записи. Это называется «абстракция подписи».
Оплачивайте комиссии за транзакции в разных токенах — иногда это называют «абстракцией комиссий».
Создайте свой собственный механизм защиты от повтора и разрешите параллельную отправку нескольких несвязанных транзакций. Сравните это с последовательным решением nonce, используемым в Ethereum, в результате которого транзакции носят последовательный характер. Даже если вы хотите отправить две транзакции параллельно, вам придется дождаться некоторых подтверждений первой транзакции, прежде чем отправлять вторые две транзакции. В противном случае вторая транзакция может быть отклонена из-за недопустимого значения nonce. Используя абстракцию учетной записи, можно обсудить различные решения, позволяющие обойти требование последовательных одноразовых номеров. Это называется «абстракция nonce».
Сегодня Starknet предоставляет абстракцию подписи. В будущем Starknet дополнит дизайн абстракции текущего счета.
Два примера функциональности пользовательской учетной записи с использованием абстракции учетной записи
Социальное восстановление. Это процесс, который позволяет вам восстановить свой кошелек через социальную сеть по вашему выбору, когда вы его потеряете, что значительно улучшает типичный процесс восстановления кошелька.
Управляйте своей учетной записью с помощью распознавания лиц. Благодаря абстракции подписи вы можете подписывать транзакции, используя встроенное оборудование вашего телефона, что делает практически невозможным захват учетной записи другого пользователя (даже в случае кражи самого телефона).
Эти примеры демонстрируют, как можно использовать абстракцию учетной записи, чтобы предоставить пользователям более гибкий, безопасный и настраиваемый опыт управления кошельком и учетными записями. Написав собственную логику, пользователи могут адаптировать функциональность учетной записи к своим потребностям и предпочтениям, повышая безопасность и одновременно повышая простоту использования.
Контракт учетной записи Starknet должен включать следующие две функции:
подтвердить
выполнять
Эти функции служат разным целям: только владелец учетной записи может инициировать транзакции, а с вас может взиматься плата за используемые вами ресурсы.
Типы учетных записей Starknet вдохновлены Ethereum EIP-4337, где вместо EOA (внешней учетной записи) вы теперь используете учетные записи смарт-контрактов с произвольной логикой проверки.
Использование смарт-контрактов обеспечивает полную гибкость при реализации учетной записи.
Хотя это и не является обязательным на уровне протокола, сообщество разработало более богатый стандартный интерфейс учетной записи. Этот стандарт был разработан OpenZeppelin в тесном сотрудничестве с командой кошельков и другими основными разработчиками Starknet.
Экономика токена:
Роль токенов:
комиссия на перевод:
В настоящее время комиссии в StarkNet выплачиваются в Ethereum (ETH). Но позже мы ожидаем, что комиссии будут выплачиваться полностью с использованием собственных токенов StarkNet. Для поддержки хорошего пользовательского опыта автоматизированные и децентрализованные механизмы цепочки позволят пользователям платить комиссии в ETH.
Приносить присягу:
Некоторые сервисы, критически важные для работоспособности и безопасности StarkNet, могут потребовать размещения токенов StarkNet. Эти услуги могут включать в себя заказ, достижение промежуточного консенсуса L2 перед достижением окончательных результатов L1, услуги аттестации STARK и обеспечение доступности данных.
Управление:
Предложения по улучшению StarkNet потребуют определения минимального порога поддержки токенов, который будет определен позже. Все изменения в протоколе, которые имеют решающее значение для работоспособности, безопасности и обслуживания StarkNet, требуют голосования либо напрямую, либо посредством делегирования. Например, все основные обновления операционной системы StarkNet требуют одобрения держателя токена.
Общая сумма: 10 миллиардов, первичное распределение токенов: Token Economics
17% — инвесторы StarkWare
32,9% — Основные участники: StarkWare, ее сотрудники и консультанты, а также партнеры по разработке программного обеспечения StarkNet.
StarkWare предоставляет Фонду 50,1% на следующие цели:
9% — Предложение сообщества: используется для вознаграждения людей, которые работают в StarkNet и обеспечивают поддержку базовой технологии, например тех, кто использовал систему StarkEx L2 в прошлом. Важно отметить, что все пополнения сообщества будут основаны на поддающейся проверке работе, выполненной в прошлом. Например, для прошлых пользователей StarkEx распределение будет определяться на основе поддающегося проверке использования технологии StarkEx, которое имело место до 1 июня 2022 года.
9% — скидка сообщества: частично используется для покрытия расходов на переход с Ethereum на StarkNet. Чтобы предотвратить геймификацию, скидки сообщества применяются только к транзакциям, которые произошли после объявления механизма скидок.
12% — Финансирование исследований и разработок, тестирования, развертывания и обслуживания протокола StarkNet.
10% — стратегический резерв для финансирования экосистемной деятельности, соответствующей миссии фонда.
2% — пожертвовано уважаемым учреждениям и организациям, таким как университеты, неправительственные организации и т. д., по совместному решению держателей токенов StarkNet и Фонда.
8,1% — нераспределенные: нераспределенные финансовые резервы Фонда будут использоваться для дальнейшей поддержки сообщества StarkNet с конкретными методами поддержки, определяемыми сообществом.
Чтобы согласовать долгосрочные стимулы основных участников и инвесторов с интересами сообщества StarkNet и следовать практикам децентрализованной экосистемы, все токены, выделенные основным участникам и инвесторам, будут подлежать 4-летнему периоду блокировки. , с линейным выпуском и годовым обрывом.
Если вы конечный пользователь, используйте StarkNet только в том случае, если он соответствует вашим текущим потребностям. Используйте его для транзакций и приложений, которые вы цените, а не ожидаете будущих доходов от токенов StarkNet. Когда объявляются о поставках сообщества, они будут относиться только к снимкам, сделанным до даты объявления, фильтруя и исключая использование, которое считается оскорбительным и манипулятивным по отношению к сети, на основе информации, доступной на тот момент. Когда будут созданы системы скидок сообщества, они никогда не будут применяться к транзакциям, которые произошли до объявления скидок, поэтому торговля сегодня в ожидании будущих скидок бесполезна.
На основании приведенного выше сводного анализа экономики токенов:
Первые 9% поставок сообщества могут быть переданы пользователям по воздуху, а это означает, что пользователи будут разделены между 450 миллионами вместе с теми, кто работает в Starknet и обеспечивает техническую поддержку и разработку.
Вторая скидка сообщества в размере 9% используется для субсидирования сборов за обработку после объявления последующих правил скидок. Бесполезно платить сборы за обработку до объявления правил.
Третий стратегический резерв в размере 10% используется для экологических приложений в цепочке и распределяется по протоколам экологических приложений.
Бизнес модель
StarkEx продает индивидуальные услуги по технологическому движку и взимает плату за обслуживание непосредственно с клиентов, нуждающихся в расширении. По сути, это индивидуализированная услуга 2B.
Создайте децентрализованную сеть уровня 2, которая поддерживает независимое развертывание dApps. Она может взимать с пользователей комиссию за транзакции уровня 2, а также может получать стоимость MEV через механизм аукциона секвенсора. Она также может выпускать токены в будущем и использовать технологии и средства. стимулировать проекты StarkNet. Стимулировать экологическое развитие посредством токеномики.
Подведем итог
StarkWare — одна из лучших компаний в области накопительных пакетов zk, предлагающая такие продукты, как StarkEX и StarkNet.
StarkEx — это механизм расширения уровня 2, который предоставляет технические услуги для dApps.
StarkNet — это более общее, комплексное решение уровня 2, не требующее разрешений.
В команде более 80 членов, и основные члены весьма привлекательны. Эли Бен-Сассон — ученый-основатель Zcash и изобретатель zkSNARK. Он имеет очень глубокие исследования и влияние в области ZK-Rollup. текущая оценка достигает 8 миллиардов. Инвесторами StarkWare являются ведущие венчурные капиталисты и частные лица, такие как Paradigm, Pantera, Polychain и Buterin.
Что касается экологических приложений, поскольку используется язык Cairo, он несовместим с EVM, поэтому прогресс в экологическом развитии будет медленнее. В настоящее время он начинает переходить на Cairo 1.0 и развиваться в сторону более высокого TPS. но текущий опыт применения не очень гладкий, и между технологиями и реальностью все еще существует разрыв. Я надеюсь увидеть лучшее развитие Starknet в будущем.