Доказательство мошенничества и концепция реализации ZK Fraud Proof
доказательство мошенничества является широко применяемым техническим решением в области блокчейна, впервые возникшим в сообществе Ethereum и принятым такими Layer2, как Arbitrum и Optimism. После появления экосистемы биткойна в 2023 году Робин Линус предложил решение BitVM, в основе которого лежит идея доказательства мошенничества, предоставив новую модель безопасности для второго уровня биткойна или мостов.
BitVM прошел через несколько этапов эволюции, начиная с ранней версии BitVM0, основанной на логических вентилях, и до более поздней версии BitVM2, сосредоточенной на ZK доказательствах мошенничества и верификационных схемах Groth16, что свидетельствует о постоянном совершенствовании технологий. Несколько проектов, таких как Bitlayer, Citrea, BOB и другие, реализованы на основе технологии BitVM.
В данной статье будет рассмотрен пример схемы доказательства мошенничества Optimism, проанализированы ее решения, основанные на виртуальной машине MIPS и интерактивном доказательстве мошенничества, а также основные идеи zk-доказательства мошенничества.
Optimism является известным проектом Optimistic Rollup, его архитектура состоит из последовательного устройства и смарт-контракта на блокчейне Ethereum. После обработки транзакций последовательное устройство отправляет данные в Ethereum. Любой может запустить клиент узла Optimism, загрузить данные и выполнить транзакции локально, вычислив текущий хэш состояния.
Если последователь загружает неправильный hash состояния, местный вычисленный результат будет отличаться, и в этом случае можно инициировать сомнение. Optimism использует поле OutputRoot для отражения изменений состояния, вычисляемых на основе StateRoot и других двух полей.
Для проверки корректности OutputRoot в блокчейне команда Optimism реализовала виртуальную машину MIPS с помощью Solidity и разработала интерактивную систему доказательства мошенничества. Эта система уточняет процесс обработки транзакций, наблюдая, какой код операции MIPS привел к ошибке.
Состояние виртуальной машины MIPS организовано в структуру дерева Меркла. В интерактивном доказательстве мошенничества необходимо определить, какой операционный код привел к ошибке хеширования состояния, а затем воссоздать состояние виртуальной машины в цепочке и выполнить этот операционный код.
Интерактивное доказательство мошенничества
Optimism разработал протокол Fault Dispute Game(FDG), который включает в себя две роли: вызов и защиту. Обе стороны должны локально построить GameTree и через несколько раундов взаимодействия определить спорный MIPS код операции.
Традиционные доказательства мошенничества имеют такие проблемы, как сложная интерактивность, высокая стоимость газа и большая сложность разработки. В связи с этим Optimism предложил концепцию ZK Fraud Proof. Основная идея заключается в том, что оспорщик указывает транзакции, которые необходимо воспроизвести, последователь предоставляет ZK-доказательство, которое проверяется контрактом Ethereum.
По сравнению с интерактивным доказательством мошенничества, ZK Fraud Proof упрощает многораундное взаимодействие до одного раунда генерации и проверки ZK-доказательства, экономя время и средства. В отличие от ZK Rollup, доказательства формируются только при возникновении вызова, что снижает вычислительные затраты.
Эта идея также была принята BitVM2. BitVM2 реализует проверку ZK Proof с помощью биткойн-скриптов и упрощает программы на блокчейне. Несколько проектов, таких как Bitlayer, Goat Network и другие, уже приняли это решение.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
11 Лайков
Награда
11
7
Репост
Поделиться
комментарий
0/400
BugBountyHunter
· 07-22 23:54
Опять технология вагонов OP, эх.
Посмотреть ОригиналОтветить0
GateUser-a180694b
· 07-22 23:36
У нового решения Groth16 есть что-то интересное.
Посмотреть ОригиналОтветить0
TestnetFreeloader
· 07-22 22:00
Скоро снова будет возможность захватить много выгод!
Посмотреть ОригиналОтветить0
GasWastingMaximalist
· 07-20 00:31
мир криптовалют тоже слишком конкурентен, куча людей занимается доказательствами
Посмотреть ОригиналОтветить0
LiquidatedTwice
· 07-20 00:29
доказательство мошенничества玩明白了 就直接润
Посмотреть ОригиналОтветить0
BridgeTrustFund
· 07-20 00:28
Как так получилось, что половина этого доказательства мошенничества от автора темы исчезла?
Анализ реализации доказательства мошенничества Optimism и ZK Fraud Proof
Доказательство мошенничества и концепция реализации ZK Fraud Proof
доказательство мошенничества является широко применяемым техническим решением в области блокчейна, впервые возникшим в сообществе Ethereum и принятым такими Layer2, как Arbitrum и Optimism. После появления экосистемы биткойна в 2023 году Робин Линус предложил решение BitVM, в основе которого лежит идея доказательства мошенничества, предоставив новую модель безопасности для второго уровня биткойна или мостов.
BitVM прошел через несколько этапов эволюции, начиная с ранней версии BitVM0, основанной на логических вентилях, и до более поздней версии BitVM2, сосредоточенной на ZK доказательствах мошенничества и верификационных схемах Groth16, что свидетельствует о постоянном совершенствовании технологий. Несколько проектов, таких как Bitlayer, Citrea, BOB и другие, реализованы на основе технологии BitVM.
В данной статье будет рассмотрен пример схемы доказательства мошенничества Optimism, проанализированы ее решения, основанные на виртуальной машине MIPS и интерактивном доказательстве мошенничества, а также основные идеи zk-доказательства мошенничества.
! Предыстория BitVM: Реализация защиты от мошенничества и защиты от мошенничества ZK
OutputRoot и StateRoot
Optimism является известным проектом Optimistic Rollup, его архитектура состоит из последовательного устройства и смарт-контракта на блокчейне Ethereum. После обработки транзакций последовательное устройство отправляет данные в Ethereum. Любой может запустить клиент узла Optimism, загрузить данные и выполнить транзакции локально, вычислив текущий хэш состояния.
Если последователь загружает неправильный hash состояния, местный вычисленный результат будет отличаться, и в этом случае можно инициировать сомнение. Optimism использует поле OutputRoot для отражения изменений состояния, вычисляемых на основе StateRoot и других двух полей.
! Предыстория BitVM: Реализация защиты от мошенничества и защиты от мошенничества ZK
MIPS виртуальная машина и память Merkle Tree
Для проверки корректности OutputRoot в блокчейне команда Optimism реализовала виртуальную машину MIPS с помощью Solidity и разработала интерактивную систему доказательства мошенничества. Эта система уточняет процесс обработки транзакций, наблюдая, какой код операции MIPS привел к ошибке.
Состояние виртуальной машины MIPS организовано в структуру дерева Меркла. В интерактивном доказательстве мошенничества необходимо определить, какой операционный код привел к ошибке хеширования состояния, а затем воссоздать состояние виртуальной машины в цепочке и выполнить этот операционный код.
Интерактивное доказательство мошенничества
Optimism разработал протокол Fault Dispute Game(FDG), который включает в себя две роли: вызов и защиту. Обе стороны должны локально построить GameTree и через несколько раундов взаимодействия определить спорный MIPS код операции.
! Предыстория BitVM: Реализация защиты от мошенничества и защиты от мошенничества ZK
! Предыстория BitVM: Реализация защиты от мошенничества и защиты от мошенничества ZK
ZK-данные доказательства мошенничества
Традиционные доказательства мошенничества имеют такие проблемы, как сложная интерактивность, высокая стоимость газа и большая сложность разработки. В связи с этим Optimism предложил концепцию ZK Fraud Proof. Основная идея заключается в том, что оспорщик указывает транзакции, которые необходимо воспроизвести, последователь предоставляет ZK-доказательство, которое проверяется контрактом Ethereum.
По сравнению с интерактивным доказательством мошенничества, ZK Fraud Proof упрощает многораундное взаимодействие до одного раунда генерации и проверки ZK-доказательства, экономя время и средства. В отличие от ZK Rollup, доказательства формируются только при возникновении вызова, что снижает вычислительные затраты.
Эта идея также была принята BitVM2. BitVM2 реализует проверку ZK Proof с помощью биткойн-скриптов и упрощает программы на блокчейне. Несколько проектов, таких как Bitlayer, Goat Network и другие, уже приняли это решение.
! Предыстория BitVM: Реализация защиты от мошенничества и защиты от мошенничества ZK