Первоначальный автор: Э.
Сопроцессоры ZK (сопроцессоры) постепенно становятся предметом большого внимания из-за вычислительных ограничений, налагаемых блокчейном в целях безопасности. Это позволяет увеличить вычислительную мощность при сохранении надежной безопасности. В этой статье Galaxy Digital Researcher E обсуждает, что такое сопроцессор ZK, что он делает и некоторые проекты, которые находятся в стадии разработки.
** В общем, сопроцессор — это специализированный компонент, который помогает центральному процессору повысить общую эффективность и скорость компьютерной системы за счет более качественной обработки определенных задач. **
Сопроцессор ZK — это уровень взаимодействия, который выполняет произвольные вычисления и предоставляет «квитанцию», которая является математически достоверным доказательством того, что вычисление было выполнено правильно.
Каждая квитанция включает криптографический идентификатор, который указывает, какое вычисление было выполнено, и записывает любые общедоступные результаты вычисления.
С помощью этих квитанций машина может однозначно «доказать», что вычисление произошло. Это не просто констатирует, что вычисление произошло, а предоставляет проверяемую трассировку. Это похоже на ненадежный, безопасный аудит вычислений!
**Зачем нужен сопроцессор ZK? **
Блокчейн накладывает ограничения на вычислительную мощность, ограничивая операции на L1/L2 небольшим набором изначально безопасных операций для обеспечения безопасности. **Сопроцессоры ZK повышают вычислительную мощность, позволяя выполнять более широкий спектр операций при сохранении высокой безопасности. **
**Какие протоколы строящегося сопроцессора zk? **
Axiom — это сопроцессор ZK Ethereum, который обеспечивает смарт-контракты с ненадежным доступом ко всем данным в цепочке и возможностью вычислять на них произвольные выражения.
Axiom полезен для любого протокола или децентрализованного приложения, которое включает в себя исторические данные или вычисления выражений в цепочке, включая учет без доверия, динамический DeFi, управление вне сети без доверия и ожидание оракулов в цепочке без доверия.
Миссия Axiom состоит в том, чтобы сделать силу доказательств с нулевым разглашением максимально доступной и пригодной для использования в сетевых приложениях, открывая новую волну более богатых и выразительных децентрализованных приложений с минимальным доверием.
Tanuki использует Axiom для предоставления надежной и прозрачной системы для расчета рейтинга кошелька на основе исторических данных в сети. Эти данные можно использовать в протоколах кредитного скоринга, таких как Karma3labs, анализе ценообразования NFT, таких как SPICYEST и т. д.
Решение Tanuki представляет собой децентрализованную альтернативу, которая позволяет протоколам вычислять соответствующие метрики без доверия, тем самым способствуя честному и прозрачному взаимодействию. Традиционно такие расчеты были возможны только в централизованных и менее прозрачных системах.
Risc Zero предоставляет zkVM, который может работать на любой платформе. Это виртуальный микроконтроллер/сопроцессор, который генерирует квитанции для каждой запущенной программы, что-то вроде безопасного виртуального Adruino.
Bonsai от RiscZero — это универсальная сеть с доказательством нулевого разглашения. Он предоставляет возможность выполнять оффчейн-вычисления для смарт-контрактов блокчейна.
Геродот стремится предоставить смарт-контракты с синхронным доступом к данным по цепочке из других слоев Ethereum. Они утверждают, что Proof-of-Storage может унифицировать состояние нескольких Rollup и даже разрешить синхронное чтение между слоями Ethereum.
Poseidon ZKP стремится заполнить пробел в создании приложений zkDApp, встроенных в EVM. Он нацелен на два основных препятствия для разработки zkDApps, ориентированных на конфиденциальность: высокий барьер для входа для использования ZKP из-за криптографической сложности и дорогостоящая проверка в цепочке.
Одна из функций, которую разрабатывает Poseidon ZKP, включает создание компонуемых примитивов ZKP в виде смарт-контрактов. На этой основе они предоставляют агрегатор ZK-ZK, который объединяет доказательства, сгенерированные партией клиентов, в одно доказательство, что значительно снижает амортизированную стоимость проверки ZKP.
Pluto, еще один скромный проект, соучредителем которого является Devloper, исследует, как создать беспроблемный опыт разработки для масштабируемости, специфичной для dApp.
Готовы вывести свои децентрализованные приложения на новый уровень эффективности и безопасности? Примите будущее сопроцессоров zk, открывая бесконечные возможности.
Отказ от ответственности: Информация на этой странице может поступать от третьих лиц и не отражает взгляды или мнения Gate. Содержание, представленное на этой странице, предназначено исключительно для справки и не является финансовой, инвестиционной или юридической консультацией. Gate не гарантирует точность или полноту информации и не несет ответственности за любые убытки, возникшие от использования этой информации. Инвестиции в виртуальные активы несут высокие риски и подвержены значительной ценовой волатильности. Вы можете потерять весь инвестированный капитал. Пожалуйста, полностью понимайте соответствующие риски и принимайте разумные решения, исходя из собственного финансового положения и толерантности к риску. Для получения подробностей, пожалуйста, обратитесь к
Отказу от ответственности.
