Введение:

Начиная с технологий и данных, эта статья пытается ответить на вопрос, является ли низкая стоимость ZKP ложным предложением.

Введение: С постоянным прогрессом технологии ZKP (Zero-Knowledge Proof) люди стали живо интересоваться соотношением между стоимостью и производительностью. Огромные вычислительные ресурсы и оптимизация алгоритмов необходимы для реализации и поддержки систем доказательств с нулевым знанием. Эти расчеты могут привести к большим затратам, особенно при работе с огромными данными и сложными вычислениями. Поэтому ZKP не имеет абсолютного преимущества по стоимости, которое зависит от конкретного сценария применения.

На фоне новостей о том, что компания Azarta Connect вынуждена закрыться, нам необходимо переоценить заявленные преимущества технологии ZKP по стоимости. Хотя ZKP рекламируется как решение, способное обеспечить высокую степень конфиденциальности, временный провал Azarta Connect, по крайней мере, доказывает, что на данном этапе эта технология сталкивается с огромными проблемами в плане стоимости.

Если технология ZKP действительно экономически эффективна, почему Azarta Connect не может добиться устойчивости в своей деятельности? Что еще более интригует, так это то, что Azarta также поощряет сообщество к форку, развертыванию и эксплуатации новых версий Azarta Connect. Это намекает на то, что для самостоятельной работы Azarta Connect требуются огромные ресурсы. Это также еще больше усугубляет наши сомнения в экономической эффективности ZKP. Если ZKP действительно имеет преимущество в стоимости, тогда почему сообществу нужны такие большие инвестиции, чтобы поддерживать проект в рабочем состоянии?

Поэтому нам необходимо серьезно взглянуть на заявленные преимущества технологии ZKP по стоимости. Возможно, преимущество ZKP в стоимости - это всего лишь преувеличенная иллюзия, а реальная ситуация может быть более сложной. В поисках преимущества в стоимости необходимо думать не только об оптимизации отдельного аспекта, но и о производительности и балансе стоимости всей системы в целом. Например, снижение вычислительных затрат может увеличить затраты на связь, или использование более эффективных алгоритмов может потребовать более сложной аппаратной поддержки. Поэтому нам необходимо провести всесторонний анализ затрат и выгод для конкретного проекта, взвесить стратегии оптимизации во всех аспектах и найти оптимальную точку равновесия.

Источник: Bing Ventures

Миф о ломаной стоимости

Во-первых, нам нужно определить структуру затрат ZKP. В настоящее время различные методы определения сложны и имеют различные стандарты, которые, как минимум, включают в себя стоимость аппаратного обеспечения, стоимость вычислений, стоимость проверки, стоимость хранения и т.д. Но в этой статье, следуя исконным принципам ZKP, определение структуры затрат сосредоточено на двух основных расходах - расходах на связь и расходах на вычисления. Коммуникационные затраты означают стоимость обмена информацией между проверяющим и валидатором, а вычислительные затраты - стоимость выполнения вычислений проверяющим и валидатором. Эти две основные затраты играют ключевую конкурентную роль в ZKP, поскольку они напрямую влияют на эффективность и безопасность доказательства и проверки. Если стоимость связи и вычислений слишком высока, эффективность доказательства и проверки будет снижена, что повлияет на производительность всей системы.

Теперь, возвращаясь к архитектуре конфиденциальности Azarta, мы должны понять, что между подходом Rollup от Azarta и другими решениями уровня 2 серии ZK есть существенные различия. По сравнению с объединением и упаковкой нескольких транзакций для создания доказательств, Azarta должен генерировать доказательства для каждой транзакции отдельно, а затем упаковывать их. Такой подход приводит к необходимости генерировать независимое доказательство для каждой транзакции, что увеличивает стоимость вычислений и плату за газ, в результате чего плата за газ в Azarta выше, чем в других схемах Rollup.

Кроме того, только доказательство конфиденциальности, созданное самим пользователем, является доказательством с нулевым знанием, не допускающим утечки информации, а внутренние доказательства Rollup и внешние доказательства Rollup, созданные поверх него, не обязательно являются доказательствами с нулевым знанием. Это затушевывает преимущества ZKP в плане конфиденциальности и еще больше ставит под сомнение жизнеспособность преимущества ZKP в плане стоимости. Метод шлюза Azarta Connect относительно раздутый. Он агрегирует транзакции до уровня 1 и реализует агрегацию средств и вызовы функций Defi через Azarta Bridge Contract. Однако такой шлюзовой подход может подходить только для определенных типов сделок с точки зрения разделения комиссии и может сделать развертывание проекта менее гибким.

Источник: Sin7Y

Трудно измерить экономическую эффективность

Взаимосвязь между стоимостью и производительностью является сложной и динамичной. Как правило, более низкая стоимость повышает производительность, поскольку снижает вычислительные и коммуникационные накладные расходы, тем самым делая систему в целом более эффективной. Однако чрезмерная погоня за низкой ценой приведет к снижению производительности, поскольку в этом случае в жертву приносятся определенные вычислительные и коммуникационные ресурсы. Поэтому необходимо найти подходящий баланс между стоимостью и производительностью в системах ZKP, чтобы удовлетворить потребности различных областей применения.

Доказательства с нулевым знанием подразумевают проверку правильности утверждения между различными участниками путем передачи сообщений, поэтому стоимость связи является ключевым фактором. Чтобы снизить затраты на связь, мы можем рассмотреть возможность использования эффективных протоколов связи и алгоритмов сжатия для уменьшения размера сообщения и времени передачи. Особенно для проектов второго уровня, таких как Azarta, межцепочечная связь требует передачи сообщений и данных между различными сетями блокчейна. Доставка сообщений предполагает общение и взаимодействие в сети, что влечет за собой определенные затраты на коммуникацию. Особенно при создании крупномасштабных полноцепочечных DApp объем передачи сообщений будет больше, что увеличит давление на стоимость связи.

Доказательства с нулевым знанием требуют больших вычислений для создания доказательств и проверки их правильности. Чтобы снизить затраты на вычисления, мы можем уменьшить количество ненужных вычислительных операций и накладных расходов на хранение данных, оптимизировав алгоритмы и структуры данных. Кроме того, технологии параллельных и распределенных вычислений могут использоваться для распределения вычислительных задач между несколькими узлами для повышения эффективности вычислений. Проверка ZKP на целевой цепочке относительно дешева, но процесс генерации доказательств на исходной цепочке требует больших вычислительных затрат. Особенно при использовании традиционных методов проверки, стоимость проверки высока, и пользователи не могут себе этого позволить.

Источник: Bing Ventures

Более эффективные стратегии контроля затрат

Автор считает, что с развитием технологий стоимость связи может перестать быть главным ограничением. Постоянное развитие современных коммуникационных технологий означает, что расходы на связь снижаются в огромных масштабах. Поэтому нам нужно больше сосредоточиться на оптимизации вычислительных затрат, что может оказаться более значимым. Однако по мере расширения сферы применения таких протоколов стоимость связи может оставаться важным фактором, поэтому следует уделять постоянное внимание конкретным сценариям, чтобы использовать их гибко.

В то же время, мы должны знать, что оптимизация алгоритмов - не единственный способ снизить затраты на вычисления. Помимо улучшения алгоритма протокола, Вы также можете рассмотреть возможность сокращения вычислительных затрат за счет технологических инноваций в таких областях, как специализированное оборудование, распределенные вычисления или глубокое обучение. Эти методы требуют более длительных исследований и демонстрации, но они определенно принесут прорыв в улучшении производительности и повышении стоимости. Мы считаем, что следующие направления заслуживают большего внимания в будущем соревновании ZKP:

1. Высокая производительность и низкая стоимость вычислений: Проект ZKP с высокой производительностью и низкой стоимостью вычислений будет представлять большой интерес. Это означает, что проект способен генерировать и проверять доказательства эффективным способом, сохраняя при этом безопасность и конфиденциальность. Такой проект будет иметь широкий потенциал применения и сможет удовлетворить масштабные практические потребности. В настоящее время существует несколько различных систем доказательства ZKP, каждая из которых имеет свои уникальные преимущества и недостатки. Мы с большим оптимизмом смотрим на проекты, посвященные совершенствованию и инновациям в системах доказательств для повышения эффективности, снижения вычислительных затрат и повышения безопасности. Разработчикам необходимо изучить более эффективное построение доказательств с нулевым знанием и более оптимизированные алгоритмы проверки доказательств с нулевым знанием, чтобы добиться более быстрых и надежных процессов создания и проверки доказательств.
2. Успешный проект ZKP должен обладать функциями, которые могут быть развернуты в реальном мире. Это означает, что он должен учитывать ограничения, существующие в реальных условиях, и предлагать практические решения. Например, важны такие соображения, как совместимость с существующей инфраструктурой и системами, простота интеграции и удобство использования. Использование специализированного оборудования для ускорения вычислений ZKP - важное направление исследований. Будущие исследования могут быть сосредоточены на инновационных технологиях аппаратного ускорения, таких как использование специализированного оборудования, включая FPGA (Field Programmable Sanv Array) или ASIC (Application Specific Integrated Circuit). Использование аппаратного ускорения позволяет повысить производительность и эффективность системы ZKP, обеспечивая лучшую поддержку крупномасштабных приложений и сценариев реального времени.

Источник: Bing Ventures

Решение проблем безопасности: В системе ZKP безопасность имеет решающее значение. Вопросы безопасности в системе ZKP - это самые большие скрытые расходы, такие как защита от атак и уязвимостей, безопасность настроек параметров и гарантия случайности и т.д. Только постоянно совершенствуя безопасность системы ZKP, такие проекты могут обеспечить ее надежность и достоверность в практических приложениях и предоставить пользователям более высокий уровень защиты и гарантии конфиденциальности, которые будут действовать на протяжении всего процесса проектирования с учетом стоимости и производительности.

Подводя итог, можно сказать, что перспективный проект ZKP должен отличаться высокой производительностью и низкой стоимостью вычислений. Кроме того, он должен быть ориентирован на практическое применение, быть безопасным и надежным, развертываемым в реальном мире и защищенным на протяжении всего процесса. Мы можем предвидеть, что постоянное развитие технологии ZKP откроет более широкие перспективы применения для защиты конфиденциальности и проверки. При оценке экономической эффективности проекта ZKP нам также необходимо учитывать множество факторов, включая вычислительные ресурсы, требования к безопасности, производительность, сложность реализации и обслуживания. В некоторых случаях ZKP может обеспечить значительные преимущества в плане конфиденциальности и безопасности, которые компенсируют возросшие затраты. Однако в других случаях стоимость может превышать реальную стоимость.

Отказ от ответственности：

1. Эта статья перепечатана с сайта[Bing Ventures]. Все авторские права принадлежат оригинальному автору[Кайлу Лю]. Если у Вас есть возражения против этой перепечатки, пожалуйста, свяжитесь с командой Sanv Nurlae, и они незамедлительно рассмотрят их.
2. Предупреждение об ответственности: Мнения и взгляды, выраженные в этой статье, принадлежат исключительно автору и не являются инвестиционным советом.
3. Перевод статьи на другие языки осуществляется командой Sanv Nurlae. Если не указано, копирование, распространение или плагиат переведенных статей запрещены.