Доказатели нулевого знания (ZKP) состоит в том, чтобы криптовать то, что TCP/IP для Интернета: интегральная и все же полная загадка для обычных пользователей. Если вы некоторое время были в криптографии, вы, вероятно, знаете основы, например, ZKP имеют возможность проверять информацию, не выявляя основных данных. Но помимо этого, как только мы начинаем входить в вонзаки, Старкс, Fhe и другие сокращения, все это станет довольно сложным довольно быстро.
—
Ну, вы можете расслабиться, потому что мы здесь не для того, чтобы говорить о теории с нулевым знанием: мы здесь, чтобы поговорить о практике, изучив три проекта блокчейна, которые используют доказательства ZK для решения реальных проблем. Степень криптографии не требуется, чтобы понять, что они готовит и почему это такая изменение игры для данных Onchain. Достаточно всего немного любопытства и базового знания блокчейна. Если у вас есть эти атрибуты, давайте продолжим.
Пространство и время
Для тех ситуаций, когда ваши доказательства ZK просто не могут дождаться другой наносекундной для вычисления, пространство и время — это то, кого вы называете. Так же, как мы называем доказательства нулевого знания как ZKP по практическим причинам, пространство и время-SXT. И когда дело доходит до предоставления проверяемых данных на молнии, SXT — это плюсы ZKP, к которым вы обращаетесь. Построенная на гибридной структуре транзакционной/аналитической обработки (HTAP), Tech SXT позволяет выполнять сложные запросы и проверять и проверена как в источниках данных, так и не цепь.
Их варианты использования столь же разнообразны, как и убедительные. В пределах Defi пространство и время позволяют проверять подачу данных, гарантируя, что ценообразование и другие финансовые показатели были точными и защищенными от подделки. Для ИИ их доказательства предоставляют доверительные входные данные, позволяя моделям ИИ работать на проверенных наборах данных без ущерба для конфиденциальности. Опираясь на интеграцию с тяжеловесами, такими как Chainlink и Microsoft Azure, пространство и время делают ZKP практическим инструментом для промышленности, управляемых данными.
В настоящее время SXT в значительной степени связана с ZK Coprocessors, которые, как объясняет соучредитель Скотт Дайкстра, представляют собой «новый класс блокчейна инфра, который позволяет разработчикам смарт-контрактов без хранения доказывать расчеты не цепь по сравнению с существующими данными Onchain».
Это оставляет его в SXT, чтобы служить первой достоверной базой данных для ZK Coprocessors на EVM, задачу, которую она выполняет с апломбом.
Краткие лаборатории
Succinct Labs, еще один американский новатор, такой как SXT, решает задачу безопасного частного общения в сетях блокчейна. Они сосредоточены на обмене сообщениями и совместимостью ZK, используя новую структуру, называемую Zkwasm, чтобы обеспечить эффективное генерацию доказательств для программ Webassspanbly. Это позволяет лабораториям создавать легкие, портативные доказательства ZK, которые можно проверить по нескольким цепям.
Крюк Zkwasm заключается в его способности абстрагировать сложные вычисления в универсальный формат, что облегчает развертывание ZKP. Протокол мультицеплентного обмена сообщениями Succinct Labs позволяет блокчейнам обмениваться данными и выполнять транзакции в частном и уверенно. Благодаря приоритету взаимодействия, Succinct эффективно закладывает основу для высоко связанного и сохраняющего конфиденциальность ландшафта блокчейна, с приложениями, начиная от децентрализованных обменов до управления поперечной цепью.
Зама
Не довольствоваясь овладением одной криптографической дисциплиной, Zama, избранным в Ace Two, объединив ZKP с полностью гомоморфным шифрованием (FHE), что позволяет вычислять зашифрованные данные без расшифровки. Это слияние позволяет расширенным частным вычислительным решениям, особенно для случаев финансового использования, когда конфиденциальность данных имеет первостепенное значение. Технология Zama позволяет учреждениям обрабатывать конфиденциальные финансовые данные, такие как кредитные оценки или модели риска, не раскрывая их третьим лицам.
В то время как FHE исторически был слишком медленным для практического использования, подход Zama фокусируется на оптимизированных случаях использования, особенно в рамках финансов. От конфиденциальных интеллектуальных контрактов до зашифрованных книг заказа, цель состоит в том, чтобы создать системы, в которых не необходимо разоблачить ни ввод, ни логику обработки.
Крюк Zama-это его способность предоставлять конфиденциальность вычисления в масштабе, решая строгие требования финансовых регуляторов и предприятий. Например, их системы могут доказать соблюдение правил борьбы с отмыванием денег или проверить целостность финансовых моделей без разоблачения проприетарных алгоритмов.
Доказательство существует
Эти три проекта иллюстрируют растущую зрелость технологии ZK. От проверки данных и безопасности поперечной цепи до зашифрованного вычислительного вычисления, доказательства нулевого знания больше не ограничиваются развертками L2 или конструкциями на уровне протокола. Они быстро расширяются в новые вертикали и используются предприятиями для решения реальных проблем.
Возможно, самое главное, доказательства ZK теряют свою репутацию как чисто академическое стремление. Благодаря поколению в подсекунде, композиции поперечной цепи и готовым к предприятию, эти технологии, наконец, вступают в производственную среду. Гонка с нулевым знанием больше не о том, кто может создать самую элегантную систему доказательств: речь идет о том, кто может обеспечить практические реализации технологии в масштабе в дикой природе. И эта гонка очень много.
