zkMIPS как первая в мире zkVM на основе набора инструкций MIPS, совмещающая зрелую экосистему MIPS и инфраструктуру ZKP ZKM, значительно способствует быстрому внедрению zkVM.
Автор: Стивен Д
!
Сеть второго уровня биткойна - это техническое решение, направленное на увеличение скорости сделок с биткойном. Частичное перемещение сделок с главной цепи биткойна на вторичные сети позволяет снизить нагрузку на главную цепь, увеличить скорость обработки сделок и снизить их стоимость. Распространенные технологии вторичных сетей включают молнии (Lightning Network), каналы состояния (State Channels) и очень популярный в настоящее время мост BitVM2, объединяющий zkRollup.
Проблемы, с которыми сталкивается решение zkRollup для второго уровня биткойна
Безопасность: Безопасность - это фактор, который больше всего беспокоит держателей биткойнов. Безопасность требует рассмотрения согласованности, активности и самовосстановления сети. Согласованность, то есть безопасность консенсуса, определяет невозможность подделки всей сетевой книги, активность определяет доступность всей сети, самовосстановление определяет возможность быстрого восстановления сети после атаки или исключения. Для реализации безопасности BTC в качестве zkRollup требуется, чтобы zkRollup мог полностью обязаться за транзакции второго уровня и обязательства могли быть непосредственно проверены майнерами биткойнов. Однако сложность заключается в том, что в настоящее время сложно реализовать Covenant для BTC. Недавно появились некоторые перспективные решения, включая BitVM2, функциональное шифрование и новейшее решение ColliderScript, а также поддержка активности и самовосстановления сети второго уровня. В настоящее время многие zkRollup сталкиваются с проблемой централизации Sequencer, что приводит к высокой степени централизации цепочки Rollup и отсутствию достаточных стимулов для привлечения других игроков, создавая зловредный круг.
Программируемость: Программируемость является основой BTCFi. Биткойн долгое время рассматривался как средство сохранения стоимости в экосистеме блокчейн с наибольшей рыночной капитализацией, однако в практическом применении и генерации дохода он относительно недостаточен. Это ограничение в основном связано с масштабируемостью сети биткойна и встроенными ограничениями языка сценариев, что делает его неспособным поддерживать сложные децентрализованные финансовые (DeFi) приложения. Для владельцев биткойнов, желающих получить доход от своих BTC, традиционно можно было выбрать только хранение активов на централизованной бирже или использование сервисов мостов для преобразования их в упакованные токены (например, WBTC). Однако эти методы вводят дополнительные риски, такие как риск доверия, связанный с централизованной платформой, что противоречит децентрализованной сути биткойна. Очень важно внедрение EVM, учитывая богатство протоколов и экосистемы ETH в области DeFi.
Сеть GOAT: реализация вторичной сети Bitcoin, совместимой с EVM, на основе zkMIPS
GOAT Network - первый в мире протокол оптимистичных вызовов, основанный на zkMIPS, BitVM2 и децентрализованном Sequencer во втором уровне биткойна, обеспечивающий улучшенную безопасность. Он обеспечивает 100% совместимость с EVM и требует только 1 из n предположений для обеспечения безопасности биткойн-сети. GOAT Network имеет следующие ключевые особенности:
Реализация истинной децентрализации: благодаря революционному протоколу без разрешения Sequencer, все межцепочные сообщения, включая перевод активов peg-in, peg-out и состояние сети Rollup на втором уровне, могут достичь согласия как на биткоине, так и в сети GOAT. Это полностью избавляет от зависимости от единого централизованного субъекта и обеспечивает истинную децентрализацию. В то же время это инновационно упрощает настройку доверия протокола BitVM2, обеспечивая одинаковый уровень безопасности.
Без разделения цепочки блоков, достижение полной проверки биткойна : сеть GOAT совмещает децентрализованный Sequencer и протокол BitVM2, что делает протокол BitVM2 пригодным для использования, путем прямой проверки доказательств с помощью скриптов биткойна, наследуя при этом изначальную безопасность биткойна. В качестве инфраструктуры масштабирования GOAT, zkMIPS не только обеспечивает 100% совместимость с EVM, но также значительно ускоряет процесс создания и проверки доказательств, обеспечивая GOAT сети невиданные ранее возможности экосистемного расширения.
Механизм двойного наказания обеспечивает безопасность: GOAT Network первым ввел механизм "двойного наказания" в сети биткойнов Layer 2. Этот механизм объединяет в себе встроенный механизм наказания в слое проверки биткойнов и механизм наказания в GOAT, что эффективно снижает вероятность недобросовестного поведения в протоколе GOAT Rollup. Этот механизм специально ориентирован на потенциальные риски двойного подписания, выключения узлов и незаконных взысканий Sequencer-узлов, обеспечивая всестороннее повышение безопасности и надежности сети.
Этот технологический прорыв означает новую эру децентрализации для второго уровня сети биткойна, устанавливая новые отраслевые стандарты для будущего блокчейн-технологий.
В zkMIPS, совмещаясь с BitVM2, zkMIPS оптимизирует скорость доказательства Groth16, одновременно проводит множество оптимизаций на этапе проверки, включая значительное снижение сложности вычисления цикла Miller в биткойн-скрипте с помощью приемов Hints, разделение схемы Verifier на сегменты, сжатие общественного ввода zkVM, гарантирование с помощью децентрализованного последователя, что общественный ввод и суперблок находятся на одной ветви, что в некоторой степени упрощает сложность оптимистического процесса вызова BitVM2.
zkMIPS: первая в мире виртуальная машина zkVM на основе набора команд MIPS
zkMIPS - это первая в мире виртуальная машина zkVM, основанная на наборе команд MIPS. Набор команд MIPS - это зрелый набор команд, преимущества которого включают в себя:
Команды MIPS32R2 более разнообразны по сравнению с RISCV32IM, включая инструкции серии J/JAL, которые могут иметь длину перехода до 256MiB. В статической среде связи это позволяет легко осуществлять переходы. MIPS32r2 имеет обширный набор битовых операций, отсутствующих в RISCV32IM и требующих использования B-расширений. MIPS32r2 также включает условные команды выбора типа MOVN/MOVZ, которые во многих случаях могут заменить команды перехода, повышая производительность и уменьшая количество инструкций. MIPS32r2 предоставляет целочисленные команды умножения и сложения, что способствует повышению производительности и сокращению числа инструкций. Кроме того, MIPS32r2 включает команды расширения знака SEH и SEB, обеспечивающие удобное выполнение операций по расширению знака для данных типа char и short.
Все директивы в MIPS32r2, в целом, были очень зрелыми и широко используются уже более 20 лет, и проблем с взаимосвязанностью отдельных модулей не возникнет; Также не будет никаких потрясений, которые могут возникнуть в результате споров об авторских правах. Поскольку это реализация расширения, а не набор инструкций для монолитной реализации, могут возникнуть проблемы с обкаткой между расширениями. Некоторые комбинации расширений могут иметь неполные или слишком большие проблемы. Руководство по эксплуатации MIPS также содержит более четкое и подробное описание поведения команды. На блокчейне MIPS был успешно применен в Optimism's Fraud Prof, который основан на MIPS VM.
zkMIPS полностью функционален. Разработчики могут доказать, что любая программа написана на широко используемом языке высокого уровня, таком как Rust, Golang и т.д. zkMIPS предоставляет ряд простых в использовании комплектов для разработки, включая ZKM Playground, ZKM-Project-Template и ZKM Proof Network, чтобы помочь проектам и разработчикам создавать свои продукты ZKP с очень низким порогом входа.
zkMIPS помогает разработчикам обеспечить безопасность логики схемы. Разработчики могут реализовывать произвольные приложения на языке, с которым они лучше всего знакомы, и освобождены от аудита схем с доказательством с нулевым разглашением. В отличие от традиционной разработки ZKP, zkMIPS строго придерживается набора инструкций MIPS32r2, и если разработчик уже проверил бизнес-логику приложения, нет необходимости проводить аудит схемотехники.
ZKM предоставляет сеть доказательств, чтобы помочь разработчикам и проектам быстро создавать доказательства, поддерживать горизонтальное масштабирование и действительно создавать доказательства в режиме реального времени. Это позволяет разработчикам и проектам создавать свои децентрализованные приложения Web3 с чрезвычайной эффективностью. Кроме того, zkMIPS также поддерживает различные схемы ускорения экстремальных доказательств, такие как Precompiles.
zkMIPS имеет ведущие в отрасли варианты использования, которые поддерживают несколько инновационных сценариев использования с поддержкой zkVM, включая Bitcoin L2 от GOAT Network и HybridRollup от Metis. И это способствует широкому внедрению технологии zkVM во многих отраслях, таких как zkLLM, zkIdentity и т. д.
zkMIPS как первая в мире zkVM на основе набора инструкций MIPS, совмещающая зрелую экосистему MIPS и инфраструктуру ZKP ZKM, значительно способствует быстрому внедрению zkVM.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
zkMIPS на втором уровне сети GOAT Network BTC
Автор: Стивен Д
!
Сеть второго уровня биткойна - это техническое решение, направленное на увеличение скорости сделок с биткойном. Частичное перемещение сделок с главной цепи биткойна на вторичные сети позволяет снизить нагрузку на главную цепь, увеличить скорость обработки сделок и снизить их стоимость. Распространенные технологии вторичных сетей включают молнии (Lightning Network), каналы состояния (State Channels) и очень популярный в настоящее время мост BitVM2, объединяющий zkRollup.
Проблемы, с которыми сталкивается решение zkRollup для второго уровня биткойна
Безопасность: Безопасность - это фактор, который больше всего беспокоит держателей биткойнов. Безопасность требует рассмотрения согласованности, активности и самовосстановления сети. Согласованность, то есть безопасность консенсуса, определяет невозможность подделки всей сетевой книги, активность определяет доступность всей сети, самовосстановление определяет возможность быстрого восстановления сети после атаки или исключения. Для реализации безопасности BTC в качестве zkRollup требуется, чтобы zkRollup мог полностью обязаться за транзакции второго уровня и обязательства могли быть непосредственно проверены майнерами биткойнов. Однако сложность заключается в том, что в настоящее время сложно реализовать Covenant для BTC. Недавно появились некоторые перспективные решения, включая BitVM2, функциональное шифрование и новейшее решение ColliderScript, а также поддержка активности и самовосстановления сети второго уровня. В настоящее время многие zkRollup сталкиваются с проблемой централизации Sequencer, что приводит к высокой степени централизации цепочки Rollup и отсутствию достаточных стимулов для привлечения других игроков, создавая зловредный круг.
Программируемость: Программируемость является основой BTCFi. Биткойн долгое время рассматривался как средство сохранения стоимости в экосистеме блокчейн с наибольшей рыночной капитализацией, однако в практическом применении и генерации дохода он относительно недостаточен. Это ограничение в основном связано с масштабируемостью сети биткойна и встроенными ограничениями языка сценариев, что делает его неспособным поддерживать сложные децентрализованные финансовые (DeFi) приложения. Для владельцев биткойнов, желающих получить доход от своих BTC, традиционно можно было выбрать только хранение активов на централизованной бирже или использование сервисов мостов для преобразования их в упакованные токены (например, WBTC). Однако эти методы вводят дополнительные риски, такие как риск доверия, связанный с централизованной платформой, что противоречит децентрализованной сути биткойна. Очень важно внедрение EVM, учитывая богатство протоколов и экосистемы ETH в области DeFi.
Сеть GOAT: реализация вторичной сети Bitcoin, совместимой с EVM, на основе zkMIPS
GOAT Network - первый в мире протокол оптимистичных вызовов, основанный на zkMIPS, BitVM2 и децентрализованном Sequencer во втором уровне биткойна, обеспечивающий улучшенную безопасность. Он обеспечивает 100% совместимость с EVM и требует только 1 из n предположений для обеспечения безопасности биткойн-сети. GOAT Network имеет следующие ключевые особенности:
Реализация истинной децентрализации: благодаря революционному протоколу без разрешения Sequencer, все межцепочные сообщения, включая перевод активов peg-in, peg-out и состояние сети Rollup на втором уровне, могут достичь согласия как на биткоине, так и в сети GOAT. Это полностью избавляет от зависимости от единого централизованного субъекта и обеспечивает истинную децентрализацию. В то же время это инновационно упрощает настройку доверия протокола BitVM2, обеспечивая одинаковый уровень безопасности.
Без разделения цепочки блоков, достижение полной проверки биткойна : сеть GOAT совмещает децентрализованный Sequencer и протокол BitVM2, что делает протокол BitVM2 пригодным для использования, путем прямой проверки доказательств с помощью скриптов биткойна, наследуя при этом изначальную безопасность биткойна. В качестве инфраструктуры масштабирования GOAT, zkMIPS не только обеспечивает 100% совместимость с EVM, но также значительно ускоряет процесс создания и проверки доказательств, обеспечивая GOAT сети невиданные ранее возможности экосистемного расширения.
Механизм двойного наказания обеспечивает безопасность: GOAT Network первым ввел механизм "двойного наказания" в сети биткойнов Layer 2. Этот механизм объединяет в себе встроенный механизм наказания в слое проверки биткойнов и механизм наказания в GOAT, что эффективно снижает вероятность недобросовестного поведения в протоколе GOAT Rollup. Этот механизм специально ориентирован на потенциальные риски двойного подписания, выключения узлов и незаконных взысканий Sequencer-узлов, обеспечивая всестороннее повышение безопасности и надежности сети.
Этот технологический прорыв означает новую эру децентрализации для второго уровня сети биткойна, устанавливая новые отраслевые стандарты для будущего блокчейн-технологий.
В zkMIPS, совмещаясь с BitVM2, zkMIPS оптимизирует скорость доказательства Groth16, одновременно проводит множество оптимизаций на этапе проверки, включая значительное снижение сложности вычисления цикла Miller в биткойн-скрипте с помощью приемов Hints, разделение схемы Verifier на сегменты, сжатие общественного ввода zkVM, гарантирование с помощью децентрализованного последователя, что общественный ввод и суперблок находятся на одной ветви, что в некоторой степени упрощает сложность оптимистического процесса вызова BitVM2.
zkMIPS: первая в мире виртуальная машина zkVM на основе набора команд MIPS
zkMIPS - это первая в мире виртуальная машина zkVM, основанная на наборе команд MIPS. Набор команд MIPS - это зрелый набор команд, преимущества которого включают в себя:
zkMIPS полностью функционален. Разработчики могут доказать, что любая программа написана на широко используемом языке высокого уровня, таком как Rust, Golang и т.д. zkMIPS предоставляет ряд простых в использовании комплектов для разработки, включая ZKM Playground, ZKM-Project-Template и ZKM Proof Network, чтобы помочь проектам и разработчикам создавать свои продукты ZKP с очень низким порогом входа.
zkMIPS помогает разработчикам обеспечить безопасность логики схемы. Разработчики могут реализовывать произвольные приложения на языке, с которым они лучше всего знакомы, и освобождены от аудита схем с доказательством с нулевым разглашением. В отличие от традиционной разработки ZKP, zkMIPS строго придерживается набора инструкций MIPS32r2, и если разработчик уже проверил бизнес-логику приложения, нет необходимости проводить аудит схемотехники.
ZKM предоставляет сеть доказательств, чтобы помочь разработчикам и проектам быстро создавать доказательства, поддерживать горизонтальное масштабирование и действительно создавать доказательства в режиме реального времени. Это позволяет разработчикам и проектам создавать свои децентрализованные приложения Web3 с чрезвычайной эффективностью. Кроме того, zkMIPS также поддерживает различные схемы ускорения экстремальных доказательств, такие как Precompiles.
zkMIPS имеет ведущие в отрасли варианты использования, которые поддерживают несколько инновационных сценариев использования с поддержкой zkVM, включая Bitcoin L2 от GOAT Network и HybridRollup от Metis. И это способствует широкому внедрению технологии zkVM во многих отраслях, таких как zkLLM, zkIdentity и т. д.
zkMIPS как первая в мире zkVM на основе набора инструкций MIPS, совмещающая зрелую экосистему MIPS и инфраструктуру ZKP ZKM, значительно способствует быстрому внедрению zkVM.