доказ шахрайства є широко використовуваним технологічним рішенням у сфері блокчейну, яке вперше з'явилося в спільноті Ethereum і було прийнято такими Layer2, як Arbitrum та Optimism. Після виникнення екосистеми Bitcoin у 2023 році Робін Лінус запропонував рішення BitVM, яке має доказ шахрайства в якості основної ідеї, що забезпечує нову модель безпеки для другого рівня Bitcoin або мостів.
BitVM пройшов кілька етапів еволюції, від раннього BitVM0, заснованого на логічних елементах, до пізнішого BitVM2, який ґрунтується на ZK Fraud Proof та верифікаційних схемах Groth16, технологічний шлях постійно вдосконалюється. Кілька проектів, таких як Bitlayer, Citrea, BOB тощо, реалізовані на основі технології BitVM.
Ця стаття розгляне приклад схеми доказу шахрайства Optimism, аналізуючи її рішення на базі віртуальної машини MIPS та інтерактивного доказу шахрайства, а також основні ідеї ZK-доказу шахрайства.
OutputRoot і StateRoot
Optimism є відомим проектом Optimistic Rollup, його архітектура складається з послідовника та смарт-контрактів на блокчейні Ethereum. Після обробки транзакцій послідовник відправляє дані на Ethereum. Будь-хто може запустити клієнт вузла Optimism, завантажити дані та виконати транзакції локально, обчисливши хеш поточного набору станів.
Якщо послідовник завантажив неправильний хеш набору станів, результати локальних обчислень будуть різними, у цьому випадку можна подати заперечення. Optimism використовує поле OutputRoot для відображення змін стану, яке обчислюється на основі StateRoot та інших двох полів.
Віртуальна машина MIPS та пам'ять Merkle Tree
Для перевірки правильності OutputRoot в ланцюзі команда Optimism реалізувала віртуальну машину MIPS за допомогою Solidity та розробила інтерактивну систему доказів шахрайства. Ця система деталізує процес обробки транзакцій, спостерігаючи, який код операції MIPS спричинив помилку.
Стан інформації віртуальної машини MIPS організовано в структуру дерева Меркла. У інтерактивному доказі шахрайства потрібно визначити, який код операції призвів до помилки хешу стану, а потім відтворити стан віртуальної машини в ланцюзі та виконати цей код операції.
Інтерактивний доказ шахрайства
Optimism розробив протокол Fault Dispute Game(FDG), який включає дві ролі: викликач і захисник. Обидві сторони повинні локально побудувати GameTree, через багато раундів взаємодії визначити спірні MIPS операційні коди.
ZK-верифікація доказ шахрайства
Традиційні докази шахрайства мають проблеми з складністю взаємодії, високими витратами на газ, великою складністю розробки тощо. Для цього Optimism запропонував концепцію ZK Fraud Proof. Суть полягає в тому, що викликатель визначає транзакцію, яку потрібно відтворити, а послідовник надає ZK доказ, який перевіряється контрактом Ethereum.
В порівнянні з інтерактивним доказом шахрайства, ZK Fraud Proof спрощує багаторазову взаємодію до одного раунду генерування та верифікації ZK-доказу, економлячи час та кошти. У порівнянні з ZK Rollup, доказ генерується лише під час виклику, що знижує обчислювальні витрати.
Цю ідею також використовує BitVM2. BitVM2 реалізує перевірку ZK Proof через сценарії Bitcoin і спростила процедуру запису в блокчейн. Декілька проектів, таких як 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
доказ шахрайства грати зрозуміло, то просто змастити
Аналіз реалізації доказу шахрайства Optimism та ZK Fraud Proof
Доказ шахрайства та реалізація ZK Fraud Proof
доказ шахрайства є широко використовуваним технологічним рішенням у сфері блокчейну, яке вперше з'явилося в спільноті Ethereum і було прийнято такими Layer2, як Arbitrum та Optimism. Після виникнення екосистеми Bitcoin у 2023 році Робін Лінус запропонував рішення BitVM, яке має доказ шахрайства в якості основної ідеї, що забезпечує нову модель безпеки для другого рівня Bitcoin або мостів.
BitVM пройшов кілька етапів еволюції, від раннього BitVM0, заснованого на логічних елементах, до пізнішого BitVM2, який ґрунтується на ZK Fraud Proof та верифікаційних схемах Groth16, технологічний шлях постійно вдосконалюється. Кілька проектів, таких як Bitlayer, Citrea, BOB тощо, реалізовані на основі технології BitVM.
Ця стаття розгляне приклад схеми доказу шахрайства Optimism, аналізуючи її рішення на базі віртуальної машини MIPS та інтерактивного доказу шахрайства, а також основні ідеї ZK-доказу шахрайства.
OutputRoot і StateRoot
Optimism є відомим проектом Optimistic Rollup, його архітектура складається з послідовника та смарт-контрактів на блокчейні Ethereum. Після обробки транзакцій послідовник відправляє дані на Ethereum. Будь-хто може запустити клієнт вузла Optimism, завантажити дані та виконати транзакції локально, обчисливши хеш поточного набору станів.
Якщо послідовник завантажив неправильний хеш набору станів, результати локальних обчислень будуть різними, у цьому випадку можна подати заперечення. Optimism використовує поле OutputRoot для відображення змін стану, яке обчислюється на основі StateRoot та інших двох полів.
Віртуальна машина MIPS та пам'ять Merkle Tree
Для перевірки правильності OutputRoot в ланцюзі команда Optimism реалізувала віртуальну машину MIPS за допомогою Solidity та розробила інтерактивну систему доказів шахрайства. Ця система деталізує процес обробки транзакцій, спостерігаючи, який код операції MIPS спричинив помилку.
Стан інформації віртуальної машини MIPS організовано в структуру дерева Меркла. У інтерактивному доказі шахрайства потрібно визначити, який код операції призвів до помилки хешу стану, а потім відтворити стан віртуальної машини в ланцюзі та виконати цей код операції.
Інтерактивний доказ шахрайства
Optimism розробив протокол Fault Dispute Game(FDG), який включає дві ролі: викликач і захисник. Обидві сторони повинні локально побудувати GameTree, через багато раундів взаємодії визначити спірні MIPS операційні коди.
ZK-верифікація доказ шахрайства
Традиційні докази шахрайства мають проблеми з складністю взаємодії, високими витратами на газ, великою складністю розробки тощо. Для цього Optimism запропонував концепцію ZK Fraud Proof. Суть полягає в тому, що викликатель визначає транзакцію, яку потрібно відтворити, а послідовник надає ZK доказ, який перевіряється контрактом Ethereum.
В порівнянні з інтерактивним доказом шахрайства, ZK Fraud Proof спрощує багаторазову взаємодію до одного раунду генерування та верифікації ZK-доказу, економлячи час та кошти. У порівнянні з ZK Rollup, доказ генерується лише під час виклику, що знижує обчислювальні витрати.
Цю ідею також використовує BitVM2. BitVM2 реалізує перевірку ZK Proof через сценарії Bitcoin і спростила процедуру запису в блокчейн. Декілька проектів, таких як Bitlayer, Goat Network та інші, вже використали це рішення.