Автор: основной участник Biteye Анчи
По сравнению с другими шумными повествованиями в мире web3, трек ZK долгое время представлял собой долгое и скучное, но значимое строительство инфраструктуры. Это похоже на сложную духовную практику. Люди внутри пытаются ее найти, а люди снаружи смотрят на цветы в тумане. Однако хорошая новость заключается в том, что скорость разработки ZK за последние два года намного превзошла ожидания. Дуэт ZK Rollup ZkSync и Starknet добился огромных улучшений в производительности и стоимости. После обновления Ethereum EIP-4844 ZK Rollup постепенно стал сильнее в конкуренции с OP Rollup. Что еще более интересно, так это то, что бывший конкурент StarkWare сотрудничал с Polygon Labs для обновления протокола STARK, который всегда представлял собой передовую силу ZK, и официально запустил Circle STARK, сделав еще один шаг вперед в возможностях ZK по доказательству. Если вы прочитали прошлогоднюю статью (L2 Лето приближается? Одна статья, чтобы освоить технические принципы и экологию StarkNet), вы хотите глубже понять замечательный процесс доказательства ZK, лежащий в основе Starknet, но вам мешают различные сложные математические формулы и тонкости технической школы, то вы можете прочитать эту статью, чтобы понять некоторые ключевые вопросы, связанные с ZK. Мы постараемся избежать надоедливой математической части и вместо этого обсудим технические преимущества Starknet, особенно недавно выпущенные крупные достижения. 01 Начнем с ZK — это обозначение и аббревиатура систем доказательства с нулевым разглашением. Как текущая наука ЗК выступает как загадочная легенда – доказывая определенный факт, не раскрывая никакой дополнительной информации. Как достичь такой идеальной цели? Здесь нужно провести аналогию с ситуацией, знакомой всем учащимся, которые это делали. Обычно самый простой способ для студента доказать свою академическую успеваемость — это предоставить транскрипт. Благодаря обеспечению эффективности и справедливости экзаменационной системы транскрипт с взвешенной оценкой «А» часто может подтвердить академический уровень студента, не показывая какого-либо конкретного академического содержания. Процесс доказательства ZK также очень похож. Проще говоря, его основные элементы состоят из двух частей: Prover и Verifier. Сертификатор похож на школьную экзаменационную систему. Он имеет фиксированный процесс создания транскриптов для учащихся в качестве доказательства академических способностей учащихся и предоставления их родителям/компаниям в качестве проверяющих. Родители/компании используют транскрипты для проверки уровня способностей учащихся. Здесь мы видим, что самая сложная часть всего процесса доказательства — это процесс, когда доказывающий генерирует доказательство. В конкретном доказательстве ЗК его можно разделить на две части — арифметическое и полиномиальное обязательство. 1.1 Арифметика Арифметика заключается в преобразовании сложных задач доказательства в алгебраические задачи. В частности, она заключается в преобразовании свидетельства (Свидетеля), которое мы хотим доказать, в набор полиномиальных ограничений (Полиномиальных ограничений). Это похоже на то, как мы преобразуем академические способности учащихся посредством экзаменов в набор баллов. Свидетель: Свидетель — это то, что мы обычно называем необработанными данными вычислений вне сети, включая данные транзакций, данные о состоянии учетной записи, результаты промежуточных вычислений и т. д. Это частные данные, которые мы используем для доказательства действительности транзакций, но не хотим их делать. это публично. Полиномиальные ограничения: Полиномиальные ограничения. Что необходимо сделать в процессе доказательства ZK, так это преобразовать сложные проблемы в математические задачи. Самая важная часть метода математического доказательства — найти полином и, наконец, доказать, что вы действительно его нашли. Полиномиальные ограничения относятся к условиям, которым должен удовлетворять полином. 1.2 Полиномиальное обязательство Полиномиальное обязательство — это доказательство с помощью конкретного математического доказательства того, что вы нашли многочлен (Полином), который удовлетворяет всем ограничениям, созданным арифметикой на предыдущем шаге. Если полином окажется верным, то математическое доказательство будет успешным, а это означает, что проблема, которую мы хотим доказать, верна. Этот процесс аналогичен тому, как мы в конечном итоге получаем средневзвешенный балл или транскрипт, который может гарантировать, что все оценки учащегося будут на уровне «отлично», тем самым доказывая академическую успеваемость учащегося. Но вы можете усомниться в том, что в реальной жизни стенограмма часто не может точно отразить академические способности человека, потому что в нашей системе экзаменов все еще слишком много лазеек и неконтролируемых факторов. В мире ZK это желание реализуется с помощью математики с четкими правильными и неправильными, открытыми и прозрачными процедурами (точно так же, как смарт-контракты и блокчейн обеспечивают справедливость и прозрачность). 02 SNARK против STARK SNARK и STARK в настоящее время являются двумя наиболее часто используемыми протоколами доказательства ZK, а также базовыми протоколами, используемыми ZkSync и Starknet соответственно. Потому что похожие названия и треки часто сравнивают. Однако, прежде чем сравнивать, мы могли бы также привести две цифры, чтобы лучше понять системы доказательства ZK, построенные на основе этих двух протоколов, с точки зрения истории развития. 2.1 Грот и SNARK Йенс Грот — профессор кафедры компьютерных наук UCL (сейчас почетный профессор, в настоящее время главный научный сотрудник Nexus по направлению zkVM). Этот человек работает продуктивно каждый год, начиная с 2009 года, публикуя множество статей, связанных с нулевым разглашением. Groth09, Groth10 и т. д., которые мы часто слышим в области ZK, состоят из его имени и года публикации. (Примечание. Обычно, поскольку названия статей длинные и их трудно произносить, академическое сообщество использует название + год, а аббревиатура относится к некоторым важным статьям. Наиболее распространенными являются BBHR18, заложивший основу для STARK, и PGHR13, который использовался Zcash. Оба написаны несколькими людьми. Инициалы автора объединены вместе с годом. Редко когда человек имеет полное имя, подобное Гроту, и может это сделать в хронологическом порядке.) Их два. самые известные из них: [Groth10] Короткие пары. На основе неинтерактивных аргументов с нулевым разглашением предлагается полная неинтерактивная схема доказательства, которая считается теоретическим пионером SNARK. 【Groth16】О размере неинтерактивных аргументов на основе пар, основанный на Groth10, он упрощает размер доказательства и повышает эффективность проверки и до сих пор широко используется. Именно на основе исследований Горта был разработан и усовершенствован СНАРК. SNARK, что означает «Краткий неинтерактивный аргумент знания», представляет собой краткую систему доказательства с нулевым разглашением. Ее чрезвычайно удобное использование позволило быстро применить ZK в области криптовалют. 2.2 Эли Бен-Сассон и STARK Стоит отметить, что соучредителем Zerocash, первого протокола, применившего SNARK к криптовалюте, был не кто иной, как Эли Бен-Сассон — позже соучредитель StarkWare и основатель STARK. Один из изобретателей. Мало того, Эли Бен-Сассон активно продвигал реализацию протокола SNARK в первые годы и последовательно публиковал статьи в 2013 и 2014 годах, предлагая и оптимизируя структуру SNARK, повышая практичность и эффективность и помогая SNARK действительно привлечь широкое внимание. и приложение. Однако, возможно, они слишком хорошо знакомы с трудностями, с которыми сталкивается SNARK. В 2018 году Эли Бен-Сассон и другие опубликовали [BBHR18] Официально была предложена масштабируемая, прозрачная и постквантовая безопасная вычислительная целостность. предложил более полное решение для решения ZK Rollup. STARK — Масштабируемый прозрачный аргумент знаний, имеет преимущества в крупномасштабных доказательствах, а весь процесс доказательства прозрачен, не полагаясь на доверенную третью сторону, и имеет уровень защиты от квантовых атак. (Примечание: необходимо отметить, что, хотя героические эпические истории всегда популярны, ни одно достижение не может быть достигнуто одним человеком, переломившим ситуацию. Напротив, и СНАРК, и СТАРК являются результатом совместных усилий бесчисленных ученых. Мы несем в себе Цель разговора об одном персонаже — просто сделать эту ключевую историю развития ЗК более яркой с одного аспекта. Даже если кто-то такой великий, как Грот, его статья должна быть основана на исследованиях КЗГ и других (Аникет Кейт, Грегори Заверуча). , Ян Голдберг). Это можно реализовать только с точки зрения результатов, и все авторы, предложившие STARK, обладают уникальными навыками. Мы можем продолжить копать глубже в будущем) 2.3 SNARK против STARK Так в чем же причина, по которой Эли Бен- Сассо решил начать новый бизнес? С какими трудностями сталкивается СНАРК? 2.3.1 Прозрачность Прежде чем ответить на поставленный выше вопрос, мы, возможно, захотим ответить на другой вопрос: что в области шифрования является самым дорогим? Ответ Сатоши Накамото: доверие. СНАРК просто ступает на это минное поле. SNARK использует метод KZG при выполнении полиномиальных обязательств, а обязательство KZG требует, чтобы доверенная установка генерировала строку общих ссылочных строк (Common Reference String, CRS), а затем генерировала пароль в процессе доказательства и проверки. Возвращаясь к нашему примеру с табелем успеваемости, причина, по которой родители или компании могут судить об академических достижениях учащегося, когда они видят среднюю оценку «А», заключается в том, что мы все согласны с тем, что академические способности располагаются в порядке от высокого к низкому: A, B, C, Д. Только при соблюдении этого стандарта оценка «А» имеет смысл. Но что, если школьную систему оценок взломают и рейтинг академических способностей станет C, A, B и D?Учащиеся, первоначально получившие тройки, будут считаться лучшими и иметь приоритет. Это привело к судебной ошибке. Отсюда мы видим, что безопасность этого стандарта, который признается всеми, имеет решающее значение. В мире шифрования, который следует законам темного леса, эта доверенная установка стала огромной скрытой опасностью. Зная это, почему СНАРК настаивает на использовании метода КЗГ? Это связано с тем, что окончательный размер доказательства, полученного с помощью KZG, слишком мал. Помните, что означает буква «S» в СНАРК? Достаточно! Искушение небольшого размера слишком велико, особенно до обновления Ethereum Cancun. Упрощенный размер доказательства повысил практичность и эффективность SNARK и в течение длительного периода времени был принят большим количеством проектов. Так что компромисс есть везде. Говоря о STARK, чтобы разгадать крепкий орешек ненадежных, STARK принял метод FRI (Fast Reed-Solomon Interactive Oracle Proofs) для выполнения полиномиальных обязательств. В частности, метод FRI выполняет кодирование Рида-Соломона для полиномов, сохраняет их в форме деревьев Меркла и выполняет несколько раундов взаимодействия между проверяющими и доказывающими средствами через Oracle, тем самым достигая проверяемости и прозрачности (прозрачный, STARK «T» in). (Примечание: следует отметить, что Oracle здесь не является централизованным или полуцентрализованным оракулом, который мы обычно видим в мире web3, а децентрализованным, моделируемым локально верификатором и проверяющим в соответствии с правилами протокола. Виртуальный объект, который это интерактивный механизм доказательства.) Если мы хотим сравнить его с примером стенограммы, мы можем думать о процессе полиномиального подтверждения в системе STARK как о системе оценки, построенной на цепочке, гарантированной технологией блокчейна. Справедливость и прозрачность во всем. система. Кроме того, в доказательстве STARK проверяющий и доказывающий также могут моделировать интерактивный процесс, используя общедоступный случайный маяк (случайный маяк), и, наконец, упаковать его в полное доказательство для достижения неинтерактивного доказательства и повышения удобства использования и асинхронности. 2.3.2 Масштабируемость Прогресс STARK также отражается в его универсальности и гибкости при решении крупномасштабных сложных вычислительных задач, а средний размер доказательства будет уменьшаться по мере увеличения масштаба доказательства, образуя сетевой эффект, что и означает «S». . Масштабируемое представление. В отличие от SNARK, который использует методы расчета схем, представленные R1CS для арифметики, что требует перепроектирования схем для различных задач, STARK использует метод AIR (алгебраическое промежуточное представление), который представляет собой общий метод машинных вычислений, который связывает различные схемы посредством уравнений перехода состояний. , почти любую вычислительную задачу можно абстрагировать в виде набора полиномиальных ограничений. В то же время, поскольку метод FRI, используемый STARK, использует рекурсивную структуру для постепенного уменьшения степени полинома при генерации полиномиальных доказательств, рост размера доказательства происходит намного медленнее, чем рост размера задачи (логарифмический уровень). Поэтому он имеет значительные преимущества при обработке крупномасштабных операций. Возвращаясь к примеру с оценками и экзаменами, если наш арифметический процесс сравнить с тестом, то SNARK и STARK подобны традиционным контрольным работам и компьютерным тестам соответственно. В краткосрочной перспективе или для небольшой школы традиционные тестовые работы выполняются дешево и быстро, в то время как компьютерные тесты требуют подготовки программного и аппаратного обеспечения, что кажется дорогим и хлопотным. Но в крупных глобальных экзаменационных учреждениях один компьютер может проводить экзамены разных типов и уровней. Богатство и случайность банка вопросов больше не требуют от учителей готовить вопросы для каждого экзамена, что экономит много рабочей силы. В долгосрочной перспективе по мере увеличения числа тестируемых инвестиционные затраты на программное и аппаратное обеспечение также будут значительно снижаться. 2.3.3 Устойчивость к квантовым атакам Помимо достижений «S» и «T», STARK также использует квантовоустойчивые хэш-функции (такие как Rescue hash, который обычно считается пост-квантовым безопасным, в то время как традиционный SHA -256 хеш-функция Считается, что она может быть хрупкой в квантовых вычислениях), алгебраические проблемы безопасности (некоторые сложные алгебраические проблемы, которые необходимо доказать доказывающему, в настоящее время считаются трудно решаемыми на квантовых компьютерах) и т. д., чтобы добиться устойчивости к квантовым атаки. 03 Circle STARK – это нечто большее. Сказав это, нетрудно обнаружить, что SNARK является незаменимым, быстрым и осуществимым решением в краткосрочной перспективе. Но со временем, когда объем транзакций увеличивается, вычислительная сложность возрастает, и люди все больше осознают, что доверие на самом деле является самой дорогой роскошью в области шифрования, превосходство STARK будет становиться все более очевидным. Это также постепенно проявляется в отрасли. Используя версию Boojum, запущенную ZkSync, головным приложением SNARK, мы начали изучать постепенный переход от SNARK к STARK. Компания Polygon, известная своей честностью, также рано обратилась к STARK. В этом году обновленная система доказательств Plonky3 основана на последней версии Circle STARK, совместно разработанной Polygon Labs и StarkWare. Circle STARK — это протокол доказательства ZK нового поколения, основанный на обновлении STARK. Благодаря продуманному внедрению Circle Curve в системе доказательства было успешно применено небольшое поле простых чисел M31, что значительно повысило эффективность доказательства. В системе доказательства ZK поле простых чисел играет решающую роль. Доказательство достигается путем работы с полем простых чисел. Выбор основного поля представляет собой баланс между эффективностью и безопасностью. Чем меньше поле простых чисел, тем меньше требуется операций и тем выше эффективность. С другой стороны, большие поля простых чисел обычно представляют более высокий уровень безопасности, поэтому и STARK, и SNARK использовали в прошлом большие поля простых чисел. Инновации Circle STARK отражены в использовании небольшого поля простых чисел, такого как M31, посредством специальной комбинации круговых кривых, что не только повышает эффективность доказательства, но и успешно обеспечивает постквантовую безопасность. StarkWare в настоящее время запустила и открыла исходный код нового поколения проверочного устройства Stwo на основе Circle STARK. Ожидается, что эффективность доказательства Stwo будет в 100 раз выше, чем у проверочного устройства Stone первого поколения. Stwo будет полностью совместим с Advanced Cario, нынешним Starknet Pover (SHARP Prover), основанным на Stone Prover, который также будет использовать Stwo в будущем. В это время разработчики и пользователи экосистемы Starknet получат прямую выгоду от повышения производительности, обеспечиваемого Stwo, без необходимости выполнять какие-либо операции. Помимо повышения скорости проверки, соучредитель Polygon Брендан Фармер также упомянул, что применение Circle STARK в конечном итоге значительно сократит затраты и расширит возможности проверки приложений. Эли Бен-Сассон еще более оптимистичен в отношении того, что запуск Circle STARK можно рассматривать как важную веху. Самая эффективная система доказательств будет доступна в ближайшем будущем, и новые открытия и улучшения будут продолжаться. 04 Starknet продолжает прилагать усилия для повышения производительности. Благодаря приведенному выше анализу мы ясно видим, что система доказательств STARK и ее последняя обновленная версия Circle STARK являются заслуженными передовыми силами и звездами завтрашнего дня. Как сын StarkWare, Starknet является. у ZK Rollup большое будущее. Но, возможно, именно потому, что все хорошее дается с трудом, Старкнет долгое время вызывал споры. Причины включают опыт и стоимость. К счастью, благодаря постоянным усилиям StarkWare, эти проблемы одна за другой уходят в историю. Ниже мы рассмотрим несколько недавних важных обновлений Старкнета, а также дальнейшие действия, запланированные в соответствии с дорожной картой. 4.1 V0.12 Starknet Alpha v0.12.0 под кодовым названием Quantum Leap будет запущена в основной сети в июле 2023 года. Целью этой оптимизации является повышение производительности сети и оптимизация взаимодействия с пользователем. Пропускная способность и задержка обычно рассматриваются как показатели производительности сети. Благодаря оптимизации сортировщика для Rust и обновлению языка Cario время выполнения блоков Starknet было значительно сокращено, а пропускная способность выросла с 30 000 CSPS (шагов Cairo в секунду, шагов Cario в секунду) в версии v0.11.0 до 220 000 CSPS. Производительность значительно улучшилась. Проблема интерактивного взаимодействия, которая подвергалась широкой критике, также была решена. Статус ожидания, который когда-то длился в среднем 20 минут для ожидания подтверждения основной сети, уйдет в прошлое. После того, как клиент подтвердит на уровне 2, транзакция считается успешной, поэтому время транзакции сокращается примерно до 10 секунд, а качество обслуживания значительно улучшается. Это обновление, которое считается важной вехой, помогло Starknet успешно превысить 100 миллионов долларов США, увеличившись за одну неделю более чем на 43%. 4.2 V0.13 Версия v0.13.0, выпущенная в январе 2024 года, увеличила размер блока, значительно снизила вычислительные затраты на 50 % и снизила затраты на доступность данных на 25 %. В версии 0.13.1 поддержка Ethereum EIP-4844 была развернута заранее, поэтому Starknet включил функциональность BLOB-объектов в течение нескольких часов после обновления в Канкуне и стал первым L2, который значительно снизил комиссию с пользователей. До конца этого года, согласно плану развития, версия 0.13.2 будет поддерживать распараллеливание транзакций, что позволит обрабатывать больше транзакций одновременно, повысить пропускную способность сети и сократить задержки. Версия 0.13.3 будет интегрировать Cairo Native в сортировщик Starknet для дальнейшего повышения производительности сортировщика. В это время скорость сети будет еще больше увеличена. 4.3 Версия 0.14 и последующие планы обновления Согласно дорожной карте, ожидается, что долгожданный Volition будет выпущен в обновлении V.0.14.0. В настоящее время доступность данных (DA) в Ethereum потребляет подавляющее большинство комиссий за газ в сети Starknet, поэтому сокращение хранилища DA в Ethereum является ключом к снижению комиссий. Volition позволяет разработчикам выбрать хранение части данных в Starknet L2 и в конечном итоге передать корень состояния (корень) этой части данных в Ethereum L1. Таким образом, стоимость хранения DA уровня L1 значительно снижается, что еще больше способствует снижению затрат. Версия V.0.14.0 также планирует использовать аппликативную рекурсию для одновременной пакетной обработки нескольких блоков L1 (след уровня 1, который представляет собой данные, которые необходимо хранить и обрабатывать в Ethereum для поддержки работы Starknet и вычислений). задач), тем самым снижая затраты. «https://community.starknet.io/t/upcoming-feature-starknet-applicative-recursion/113868» В настоящее время каждый блок Starknet имеет собственное доказательство, и каждый блок необходимо потратить на Ethereum. Фиксированная операционная стоимость. , поэтому сети часто приходится накапливать достаточный объем транзакций, чтобы разделить стоимость блока, прежде чем он упакует блок. Это приводит к неопределенности во времени производства блоков и неэффективности использования затрат на блоки. С помощью рекурсии приложения валидатор может объединить несколько блоков вместе, чтобы доказать это, что сокращает время блока и разделяет стоимость. Кроме того, Starknet также будет технически изучать дополнительные решения по сжатию DA для снижения затрат. 05 Экологическое строительство 5.1 Текущая ситуация Благодаря постоянному улучшению производительности и постоянному снижению затрат экологическая структура Старкнета становится все более и более совершенной. С точки зрения инфраструктуры проект кошелька Agent Что касается кросс-чейн мостов, за них отвечает родной StarkGate, а также стороны проекта, специализирующиеся на кросс-чейн мостах, Orbiter Finance, MiniBridge и rhino.fi. Головной проект DID Starknet.id берет на себя роль ENS в Ethereum, помогая пользователям создавать NFT в качестве идентификаторов и передавать их в цепочку Starknet. Что касается традиционного Red Sea Defi, такие ведущие проекты, как Nostra, Ekubo, zkLend, ZKX и Carmine Options, в настоящее время растут в Starknet. Хотя они быстро занимают ключевые бизнес-секторы Dex, ставок, кредитования и контрактов, различных. Проекты Defi также растут. Мы стремимся внедрять новые продукты. Например, ZKX использует геймифицированное взаимодействие и управление DAO для создания уникальной автономной биржи бессрочных контрактов. Ekubo запускает единый дизайн, позволяющий использовать один контракт для управления всеми пулами средств, чтобы помочь пользователям снизить затраты на транзакцию в один клик. Функция балансировки mySwap; может эффективно сократить непостоянные потери, когда рынок слишком сильно колеблется и т. д., что придает экологии больше жизненной силы. Gamefi — это сектор, на который чиновники Starknet возлагают большие надежды. Помимо стратегических полноцепных игр, представленных Realms в экологии Loot главного проекта, есть также Dope Wars и Influence в уличном стиле, стратегическая игра, основанная на Interstellar. исследования, а также игры, созданные родной командой Старкнета, Топологию, основанную на знаниях физики, можно назвать четырьмя королями all-chain игр в Старкнете. Кроме того, на Socialfi появился xfam.tech, аналогичный ранее популярному другу.tech, заполнивший пробел в социальной сфере. После раздачи $STRK в начале этого года активность в Starknet значительно возросла. Мало того, такие проекты в экосистеме, как zkLend, Ekubo и ZKX, последовательно выпустили собственные токены $ZEND, $EKUBO и $ZKX, экологический лидер Nostra Finance также выпустила первую стейблкоин в долларах США $UNO на Starknet и пообещала получить $STRK Obtained; $NSTSTRK. Выпуск многоуровневых токенов, несомненно, является стимулом для экосистемы Starknet. По состоянию на первую половину этого года общая производительность данных экосистемы Starknet находится на хорошем уровне. Однако в сегодняшний момент, когда боги Уровня 1 и Уровня 2 сражаются, чтобы обеспечить постоянную жизнеспособность, необходимы двойные инновации в продуктах и технологиях для создания по-настоящему популярного приложения, чтобы жизнеспособность цепочки могла стабильно достигать высокого уровня. высший уровень. Помимо официальной команды, для этого необходимы постоянные усилия сообщества разработчиков. Это одна из причин, почему команда Starknet всегда была чрезвычайно дружелюбна к разработчикам и даже предоставляла беспрецедентные награды разработчикам в виде раздач. 5.2 Проблемы и выбор Как мы уже говорили, STARK с самого начала был создан для обеспечения безопасности крупномасштабных сложных доказательств, и то же самое верно и для Starknet, который имеет то же происхождение. Для достижения этой амбициозной и чистой цели необходимо приложить множество усилий, и каирский язык — одно из них. (Примечание: язык Cairo — это язык программирования, специально разработанный StarkWare для системы доказательств STARK. Он может эффективно генерировать доказательства, оптимизировать вычисления вне цепочки и эффективно компенсировать ограничения Solidity при выполнении доказательств.) В отличие от других уровней 2, который использует Solidity для интеллекта. Для разработки по контракту разработчики должны использовать родной язык Cairo для разработки в Starknet, что напрямую увеличивает затраты на обучение и барьеры входа для разработчиков. С другой стороны, поскольку Cairo VM несовместима с EVM, многие зрелые проекты на Ethereum не могут быть напрямую перенесены в Starknet. Это также затрудняет получение Starknet дивидендов от большой экосистемы, даже несмотря на то, что это второй уровень Ethereum. В настоящее время более 90% dApps в цепочке Starknet являются собственными для этой цепочки, и затраты на разработку проектов немалые. Столкнувшись с этой дилеммой, выбором Старкнета, мы можем найти ответ в статье Эли Бен-Сассона в начале года «Придерживаться или упорствовать». «https://paragraph.xyz/@think-integrity/stubborn%2C-or-steadfast». В статье цитируется намек на «оседлание тигра, но с него трудно слезть», в котором говорится, что если вы пожертвуете безопасностью ради достижения прекрасных результатов, в краткосрочной перспективе это все равно что сидеть в машине: скачущий тигр доставит бесконечные неприятности. Как истинные сторонники технологий, мы никогда не будем продавать второсортные технологии в первоклассной упаковке. Старкнет хочет предоставить реальные доказательства, способные противостоять чудовищным данным и темным лесам. Настойчивое требование доказательств — это требование безопасности. Чтобы продолжать, в Starknet существует множество стимулов для разработчиков. Помимо общественных мероприятий, таких как хакатоны, недавно была запущена программа Seed Grand Programme с реальными деньгами. Отобранные команды получат до 25 000 долларов США в виде нефинансовых выплат. финансирование прибыли. Разбавьте вознаграждение за финансирование для поддержки экологического строительства в Старкнете. «https://mp.weixin.qq.com/s/S-nVc60Sfyk2C2SP9WkNuQ» Специально для игрового сектора текущая пилотная программа помощи играм Фонда (The Propulsion Pilot Programme) выберет до 20 игр в зависимости от их финансирования. основаны на потреблении газа основной сети Starknet, и каждая игра может получить до 1 миллиона долларов США в качестве вознаграждения. «https://mp.weixin.qq.com/s/ZFSTfMyLm60M8FMR8KOG8w» Кроме того, команда разработки клиента Ethereum Nethermind, которая достигла углубленного стратегического сотрудничества со Starknet, также опубликовала план финансирования Starknet на общую сумму 1 миллион долларов США ( Starknet Grand Program), один проект может получить финансирование до 250 000 долларов США и техническую поддержку от команды Nethermind. «https://x.com/Starknet_ZH/status/1785159198868943151» Starknet также усердно работает над разрушением барьеров с Ethereum с двух сторон. С одной стороны — проект Warp, разработанный Nethermind, который посвящен преобразованию кода Solidity в код Cairo для достижения совместимости на уровне языка высокого уровня. С другой стороны, решение Kakarot zkEVM, разработанное членами команды StarkWare, использует Cairo для моделирования среды EVM и попытки создать доказуемую EVM. Проект все еще находится в стадии разработки. 5.3 Будущее Благодаря усилиям StarkWare сообщество разработчиков Cairo в настоящее время растет. Благодаря процветанию сообщества разработчиков экосистема также будет способствовать появлению более отличных продуктов и инструментов, что еще больше привлечет больше выдающихся разработчиков к сообществу Cairo, образуя позитивный цикл. . Помимо ожидания рождения отличных продуктов в традиционных областях, таких как DeFi, в сочетании с улучшениями производительности и преимуществами вычислительной целостности, которые постепенно реализовал Starknet, в Starknet постепенно появляются некоторые трендовые сектора, которые могут представлять будущее. 5.3.1 Полностью он-чейн-игры Концепция полностью-чейн-игр (FOCG, также известная как «Бесконечные игры») стала популярна с момента появления блокчейна и с большим нетерпением ожидаема геймерами. Он полностью хранит правила и данные игры в цепочке, выполняет все операции и взаимодействия на основе смарт-контрактов, позволяет игрокам действительно владеть игровыми активами, гарантирует прозрачность и проверяемость правил и обеспечивает открытую экономическую систему для создать больше возможностей для игроков. Бесплатный и честный игровой процесс. Однако из-за ограничений пропускной способности, затрат и режимов взаимодействия на ранних этапах цепочки игры с полной цепочкой долгое время оставались просто красивой идеей, и массового внедрения добиться не удалось. Однако благодаря постоянной оптимизации производительности Starknet во всех аспектах мы видим из следующих аспектов, что Starknet имеет большой потенциал стать благодатной почвой для создания игр с полной цепочкой. 5.3.1.1 Собственная абстракция учетной записи Абстракция учетной записи (AA) — это ключевой шаг для улучшения интерактивного взаимодействия и помощи пользователям web2 в переходе в web3. Проще говоря, это переключение с учетной записи EOA на Ethereum, которую мы использовали как физическое лицо, на учетную запись смарт-контракта (CA). Благодаря программируемости контрактной учетной записи текущая учетная запись может быть упрощена на основе предварительно заданных настроек. настройки при обеспечении безопасности. Комплексные этапы работы для оптимизации взаимодействия с пользователем. Конструкция Starknet с самого начала сделала абстракцию собственных учетных записей обязательной опцией. Каждая учетная запись представляет собой учетную запись смарт-контракта, что снижает сложность реализации AA при проектировании системы. И собственный кошелек dApp Agent X, и Braavos поддерживают абстракцию учетной записи и могут предоставить пользователям возможности, эквивалентные Web2. В игровых ситуациях роль абстракции аккаунта будет более очевидна. Например, функция Session Key, инициированная Briq, Loot Realms и Topology, несколькими ведущими командами блокчейн-игр в цепочке Starknet, теперь используется в Loot Survivor, который использует вход без кошелька (Session Wallet). нужно расписываться за каждую «наступательную» операцию, что значительно оптимизирует опыт. 5.3.1.2 Экосистема Каира постепенно улучшается Благодаря постоянной оптимизации и повышению производительности Starknet, большое количество игровых сообществ приступили к созданию экосистемы Каира. в основном сформировано. Dojo — это сетевой игровой движок, основанный на Cairo. Он был создан в феврале 2023 года и в настоящее время управляется и поддерживается сообществом совместно. Игровой движок является основой для создания игр. Он предоставляет разработчикам игр среду разработки, состоящую из контрактов, инструментов и библиотек кода, поэтому им не нужно создавать базовую систему игры с нуля, что упрощает ее создание. -цепные игры. (Примечание. Двумя наиболее популярными игровыми движками для игр Web2 являются Unity и Unreal Engine. Знакомые «Hearthstone» и «Street Fighter» построены на основе этих двух игровых движков. В настоящее время разработка игрового движка Web3 все еще находится в стадии разработки. на ранних стадиях, и существует два существующих зашифрованных игровых движка, а именно MUD, построенный на EVM, и Dojo, основанный на Cairo.Dojo — первый игровой движок с доказуемой криптографией. ) Cartridge — это средство запуска игр. С одной стороны, оно предоставляет разработчикам инструменты и библиотеки кода на основе Dojo для создания и развертывания игр, включая игровую логику, масштабируемую архитектуру, беспрепятственный пользовательский доступ, модульную разработку и химические решения. , и т. д. С другой стороны, это упрощает процесс взаимодействия для игроков, облегчая им поиск любимых игр и вход в них. 5.3.1.3 Уровень 3 Starknet — это уровень 2 общего назначения, использующий Zk Rollup. Помимо выдающихся показателей безопасности, высокой пропускной способности и значительного снижения затрат, для удовлетворения конкретных потребностей он также запустил индивидуальную разработку Layer3 Appchain. Разработчики игр могут настраивать и оптимизировать среду выполнения и механизм консенсуса в соответствии со своими потребностями, чтобы создать высокопроизводительную, малозадержную и недорогую цепочку для конкретной игры. Это также открывает больше возможностей для игр с полной цепочкой. Realms и Cartridge объединились в начале года для совместной разработки Realms World L3, официальный запуск которого ожидается в третьем квартале этого года. К тому времени вся экосистема Realms будет работать на базе Starknet. быть более высокими скоростями и меньшими затратами, а также дальнейшей оптимизацией пользовательского опыта. Кроме того, Dope Wars также заявила, что будет сотрудничать с Cartridge для выпуска Layer3 и использования $PAPER в качестве токена Gas. 5.3.1.4 Резюме Хотя в глазах общественности производительность Starknet в Gamefi, возможно, не является выдающейся, но если вы сосредоточитесь на играх с полной цепочкой, то экологичность Starknet, четкое понимание миссии полной цепочки и ее собственные технические преимущества, Это очень привлекательно для разработчиков и игроков. Мы видим, что разработчики игр в Starknet в настоящее время с большим энтузиазмом относятся к созданию экосистемы Каира. Сотрудничество ведущих проектов привело к завершению ключевой инфраструктуры, такой как Dojo. Если однажды игры с полной цепочкой будут полностью реализованы и все больше и больше энтузиастов игр войдут в мир игр Web3 и действительно получат право собственности на игровые активы, у нас есть основания ожидать, что это произойдет и в Starknet. 5.3.2 ZKML С развитием технологий искусственного интеллекта и блокчейна AI+Blockchain все чаще рассматривается как будущее направление развития. ZKML (машинное обучение с нулевым разглашением, машинное обучение с нулевым разглашением) представляет собой план решения. Традиционная модель машинного обучения похожа на черный ящик. Поскольку она принадлежит централизованной организации, обычные пользователи не могут проверить, какую модель они используют и было ли она обучено на надежных данных, за исключением случаев, когда они доверяют одобрению крупных организаций. Это также одна из основных причин, почему централизованные большие модели в настоящее время подвергаются критике. Если вы просто загрузите модель в цепочку для обучения и эксплуатации децентрализованным образом, не только стоимость газа будет слишком высокой, но из-за недоверенной среды в цепочке надежность модели и данных обучения не может быть снижена. гарантировано. В этом случае ZKML очень необходим. Думайте вне сети, действуйте внутри сети. Благодаря обучению и запуску модели вне сети, а также использованию технологии ZK для генерации доказательств и отправки их в цепочку, две упомянутые ранее дилеммы — стоимость и надежность — прекрасно решаются. В то же время, благодаря характеристикам конфиденциальности самой ZK, ZKML также имеет широкие перспективы в таких чувствительных областях, как финансы и здравоохранение. У создания ZKML на основе Cairo в Starknet есть естественные преимущества. Как язык разработки, созданный для доказательства, Cairo обладает превосходной вычислительной целостностью и очень абстрактен в доказательстве. Разработчики могут напрямую вызывать компоненты доказательства, не сталкиваясь с проблемами доказательства самостоятельно, что значительно упрощает процесс разработки. В то же время, благодаря преимуществам масштабируемости STARK, он оказывает значительный сетевой эффект при обработке крупномасштабных вычислительных данных и может эффективно и экономично переносить большие объемы данных, необходимые для машинного обучения. В результате ZKML в Starknet, базирующийся в Технологическом институте Гизы, быстро растет. Giza — это платформа промежуточного программного обеспечения ZKML в Starknet, которая предоставляет среду разработки Orion, позволяя разработчикам использовать знакомые платформы (такие как PyTorch, TensorFlow) для обучения моделей и легко развертывать их в Starknet. В то же время Giza также запустила Agents, структуру агентов, которая сочетает в себе ZKML с многоцепочечным поведением. Разработчики могут создавать внутрисетевые агенты искусственного интеллекта на основе ZKML, взаимодействовать со смарт-контрактами и принимать решения на основе заранее определенных правил. В настоящее время Giza используется во многих проектах, таких как создание социальных сетей, сотрудничество с Circles Network, проведение анализа социальных графов и обнаружение фейковых пользователей. Что касается DeFi, Yearn Finance сотрудничает, предоставляя ему интеллектуальные инвестиционные стратегии и решения по управлению рисками на основе ZKML. ML Village, последняя из выбранных в программу начального финансирования Starknet, внедрила ZKML в цепные игры для принятия решений через Гизу, продемонстрировав широкие перспективы применения. 06 Резюме Согласно недавнему официальному заявлению Starknet, ожидается, что плата за газ может быть снижена до уровня значительно ниже 0,01 доллара США в 2024 году, при этом будут достигнуты сотни TPS, что сделает его уровнем 2 с самым высоким TPS. Эта цель не является амбициозной для Starknet. На самом деле, StarkWare позиционирует Starknet гораздо больше, чем просто уровень 2. С точки зрения выбора ключевых продуктов и рынков, Starknet больше похож на Solana, отказываясь от преимуществ и ограничений EVM и создавая систему с нуля. Но в отличие от недостатков децентрализации Соланы, Starknet ловко унаследовал крайнюю децентрализацию Эфириума через Ethereum Layer2+ZK, обеспечивая при этом масштабируемость и безопасность. И этот, казалось бы, счастливый результат, как мы говорили вначале, представляет собой практику приверженности долгосрочному подходу и бесчисленное количество раз взваливания на себя бремени движения вперед, жертвуя при этом ближним и стремясь к далекому. Мы с нетерпением ждем возможности высвободить еще больше энергии в Starknet в будущем.
См. оригинал
Biteye: Исследовательский отчет Starknet на 10 000 слов ZK Rollup постепенно становится сильнее?
Отказ от ответственности: на платформе опубликованы материалы и мнения третьих лиц. Не является финансовой рекомендацией. Может содержать спонсируемый контент. См. Правила и условия.
0