Для смарт-контрактів Turing-complete на Bitcoin, користувач Twitter @robin_linus запропонував нову пропозицію - BitVM.
Він стверджує, що цього можна досягти без будь-яких змін у коді біткоїна.
Оскільки рідна скриптова мова Bitcoin досить обмежена, саме тому нам потрібно розширити Bitcoin різними рівнями.
Ці різні рівні діють як різні будівельні блоки, в кінцевому підсумку приносячи більше функціональності Bitcoin. І сьогодні на нас чекає важливий прорив: смарт-контракти.
Цього року ми спостерігаємо різке зростання дискусій про Rollups на Bitcoin, найпоширенішими темами яких є суверенітет, докази з нульовим розголошенням та оптимістичні зведення.
Ці рішення для масштабування працюють на L2, але в кінцевому підсумку повертаються до основного ланцюга криптографічно.
Що таке BitVM
BitVM використовує технологію, аналогічну Optimistic Rollups.
Optimistic Rollups зазвичай припускають, що транзакція дійсна, але виділяють певний проміжок часу для вирішення спору.
У разі виникнення суперечки Rollup повертається до попереднього стану.
Фактичне обчислення смарт-контрактів BitVM відбувається на окремому рівні, і в разі суперечки ці суперечки «зберігаються» в основному ланцюжку Bitcoin. Таким чином, вся активність BitVM відбувається поза мережею.
** (Примітка перекладача: в основному ланцюжку зберігається публічний, незмінний запис, який можна використовувати для вирішення суперечок.) Якщо суперечки не виникне, вся активність BitVM буде відбуватися поза мережею, тобто поза основним ланцюжком Bitcoin. Ця офчейн-діяльність може здійснюватися швидше, а дійсність транзакцій забезпечується використанням основного ланцюга Bitcoin як основи безпеки та надійності. ）**
BitVM в основному залежить від чотирьох компонентів**
Хеш-блокування
Блокування часу
Дерево Меркла
Мультипідпис
Блокування хешування
Хеш-блокування — це криптографічний прихований ключ, згенерований особою, яка ініціює транзакцію, який гарантує, що транзакція може бути завершена лише після схвалення ініціатором.
Блокування часу
Транзакція під часовим блокуванням повинна бути виконана після певної дати, часу або висоти блоку.
Дерево Меркла
Гілка дерева Меркла використовує криптографію для запису результатів виконання сценарію в блокчейн, а не для запису всіх можливих виконань сценарію.
Це значно зменшує простір, який займають транзакції, особливо для більш складних!
** Раніше, щоб перевірити валідність транзакції, необхідно було записати всі можливі шляхи виконання та результати, що займало багато місця для зберігання. За допомогою розгалуження дерева Меркла ми записуємо лише результати фактичного виконання, і ця оптимізація робить обробку транзакцій більш ефективною, а також зменшує вимоги до зберігання блокчейну. ）**
Мультипідпис
Мультипідпис часто дозволяє кільком сторонам розділити контроль над одним гаманцем. Згідно з конструкцією BitVM, у вас буде мультипідпис, що складається з двох частин, що складається з провера та верифікатора.
**Отже, як працює BitVM? **
Докази та валідатори спочатку компілюють смарт-контракт у карту операторів if-then, яка містить усі можливі результати.
Щоб заощадити місце, ми використовуємо формат Merkle для економії on-chain.
Обидві сторони також повинні заздалегідь підписати серію транзакцій з оскарженням і відповіддю, які можуть бути використані в разі виникнення спору!
Після виконання цих передумов вони можуть внести Bitcoin на адресу Taproot, що активує смарт-контракт і дозволяє обом сторонам почати обмінюватися даними поза мережею або на окремому рівні.
Валідатори можуть використовувати блокування часу, щоб змусити організатора прийняти рішення протягом певного проміжку часу.
Якщо виконавець зробить неправдиву заяву, верифікатор може оскаржити це та отримати свій депозит назад.
Це гарантує, що будь-які зловмисники втратять свій депозит і заохочує хорошу поведінку.
Використання BitVM
Тепер, коли у нас є базове розуміння структури контракту BitVM, ми можемо трохи глибше зануритися в те, для чого він використовується.
На даний момент існує три "Зобов'язання" :
Зобов'язання щодо бітової вартості
Зобов'язання Logic Gate
Зобов'язання щодо двійкових схем
Зобов'язання щодо бітової вартості
Це дозволяє затверджувачам встановлювати бітове значення «0» або «1» у різних сценаріях і невикористаних виходах транзакцій (UTXO), дозволяючи одному скрипту працювати з кількома транзакціями, і ці двійкові 0 і 1 є основою для всіх обчислень
** (Примітка перекладача: Контролюючи бітове значення, можна виконувати різні операції обчислення, такі як умовне судження та логічні операції.) Ця гнучкість дозволяє BitVM більш надійно підтримувати складні функції смарт-контрактів. ）**
Обіцянка логічних воріт
Це дозволяє використовувати шлюзи NAND і реалізує функціональність таких операторів, як AND, NOT і OR.
Вентиль AND AND генерує вихідні дані на основі стану двох входів (наприклад, двох бітових значень).
** Механізм зобов'язань логічного шлюзу надає BitVM більш гнучкі та потужні функції, вводячи шлюзи AND NOT, дозволяючи смарт-контрактам підтримувати складні обчислення, що містять логічні операції. ）**
Обіцянка двійкової схеми
Після того, як різні логічні вентилі визначені, ви можете використовувати двійкові схеми для побудови більш складних цифрових систем.
Думайте про це як про повну структуру смарт-контрактів, утворену кількома будівельними блоками NAND.
У BitVM аналогічно ми можемо об'єднати кілька логічних шлюзів, щоб сформувати повну структуру смарт-контракту, подібно до того, як кілька шлюзів І НЕ утворюють конкретну модульну реалізацію. Такий модульний підхід до побудови робить дизайн смарт-контрактів більш гнучким і масштабованим. ）**
Додаткові довідкові ресурси
Це все для технічних деталей, які ми можемо охопити на даний момент, і є багато додаткових ресурсів, які можна перевірити, якщо ви хочете зануритися глибше або дізнатися більше про BitVM.
Ось деякі ресурси, які варто розглянути:**
Зміна ставлення
Шляхом спостережень ми виявили цікаве явище:**
Відбулися величезні зміни у ставленні до створення додатків на Bitcoin через BitVM.
Багато людей відреагували холодно або навіть відкрито виступили проти впровадження смарт-контрактів в біткоіни, але тепер вони почали висловлювати підтримку, що не може не тішити!
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
BitVM: початок ери смарт-контрактів Bitcoin
Для смарт-контрактів Turing-complete на Bitcoin, користувач Twitter @robin_linus запропонував нову пропозицію - BitVM.
Він стверджує, що цього можна досягти без будь-яких змін у коді біткоїна.
Оскільки рідна скриптова мова Bitcoin досить обмежена, саме тому нам потрібно розширити Bitcoin різними рівнями.
Ці різні рівні діють як різні будівельні блоки, в кінцевому підсумку приносячи більше функціональності Bitcoin. І сьогодні на нас чекає важливий прорив: смарт-контракти.
Цього року ми спостерігаємо різке зростання дискусій про Rollups на Bitcoin, найпоширенішими темами яких є суверенітет, докази з нульовим розголошенням та оптимістичні зведення.
Ці рішення для масштабування працюють на L2, але в кінцевому підсумку повертаються до основного ланцюга криптографічно.
Що таке BitVM
BitVM використовує технологію, аналогічну Optimistic Rollups.
Optimistic Rollups зазвичай припускають, що транзакція дійсна, але виділяють певний проміжок часу для вирішення спору.
У разі виникнення суперечки Rollup повертається до попереднього стану.
Фактичне обчислення смарт-контрактів BitVM відбувається на окремому рівні, і в разі суперечки ці суперечки «зберігаються» в основному ланцюжку Bitcoin. Таким чином, вся активність BitVM відбувається поза мережею.
** (Примітка перекладача: в основному ланцюжку зберігається публічний, незмінний запис, який можна використовувати для вирішення суперечок.) Якщо суперечки не виникне, вся активність BitVM буде відбуватися поза мережею, тобто поза основним ланцюжком Bitcoin. Ця офчейн-діяльність може здійснюватися швидше, а дійсність транзакцій забезпечується використанням основного ланцюга Bitcoin як основи безпеки та надійності. ）**
BitVM в основному залежить від чотирьох компонентів**
Блокування хешування
Хеш-блокування — це криптографічний прихований ключ, згенерований особою, яка ініціює транзакцію, який гарантує, що транзакція може бути завершена лише після схвалення ініціатором.
Блокування часу
Транзакція під часовим блокуванням повинна бути виконана після певної дати, часу або висоти блоку.
Дерево Меркла
Гілка дерева Меркла використовує криптографію для запису результатів виконання сценарію в блокчейн, а не для запису всіх можливих виконань сценарію.
Це значно зменшує простір, який займають транзакції, особливо для більш складних!
** Раніше, щоб перевірити валідність транзакції, необхідно було записати всі можливі шляхи виконання та результати, що займало багато місця для зберігання. За допомогою розгалуження дерева Меркла ми записуємо лише результати фактичного виконання, і ця оптимізація робить обробку транзакцій більш ефективною, а також зменшує вимоги до зберігання блокчейну. ）**
Мультипідпис
Мультипідпис часто дозволяє кільком сторонам розділити контроль над одним гаманцем. Згідно з конструкцією BitVM, у вас буде мультипідпис, що складається з двох частин, що складається з провера та верифікатора.
**Отже, як працює BitVM? **
Докази та валідатори спочатку компілюють смарт-контракт у карту операторів if-then, яка містить усі можливі результати.
Щоб заощадити місце, ми використовуємо формат Merkle для економії on-chain.
Обидві сторони також повинні заздалегідь підписати серію транзакцій з оскарженням і відповіддю, які можуть бути використані в разі виникнення спору!
Після виконання цих передумов вони можуть внести Bitcoin на адресу Taproot, що активує смарт-контракт і дозволяє обом сторонам почати обмінюватися даними поза мережею або на окремому рівні.
Валідатори можуть використовувати блокування часу, щоб змусити організатора прийняти рішення протягом певного проміжку часу.
Якщо виконавець зробить неправдиву заяву, верифікатор може оскаржити це та отримати свій депозит назад.
Це гарантує, що будь-які зловмисники втратять свій депозит і заохочує хорошу поведінку.
Використання BitVM
Тепер, коли у нас є базове розуміння структури контракту BitVM, ми можемо трохи глибше зануритися в те, для чого він використовується.
На даний момент існує три "Зобов'язання" :
Зобов'язання щодо бітової вартості
Це дозволяє затверджувачам встановлювати бітове значення «0» або «1» у різних сценаріях і невикористаних виходах транзакцій (UTXO), дозволяючи одному скрипту працювати з кількома транзакціями, і ці двійкові 0 і 1 є основою для всіх обчислень
** (Примітка перекладача: Контролюючи бітове значення, можна виконувати різні операції обчислення, такі як умовне судження та логічні операції.) Ця гнучкість дозволяє BitVM більш надійно підтримувати складні функції смарт-контрактів. ）**
Обіцянка логічних воріт
Це дозволяє використовувати шлюзи NAND і реалізує функціональність таких операторів, як AND, NOT і OR.
Вентиль AND AND генерує вихідні дані на основі стану двох входів (наприклад, двох бітових значень).
** Механізм зобов'язань логічного шлюзу надає BitVM більш гнучкі та потужні функції, вводячи шлюзи AND NOT, дозволяючи смарт-контрактам підтримувати складні обчислення, що містять логічні операції. ）**
Обіцянка двійкової схеми
Після того, як різні логічні вентилі визначені, ви можете використовувати двійкові схеми для побудови більш складних цифрових систем.
Думайте про це як про повну структуру смарт-контрактів, утворену кількома будівельними блоками NAND.
У BitVM аналогічно ми можемо об'єднати кілька логічних шлюзів, щоб сформувати повну структуру смарт-контракту, подібно до того, як кілька шлюзів І НЕ утворюють конкретну модульну реалізацію. Такий модульний підхід до побудови робить дизайн смарт-контрактів більш гнучким і масштабованим. ）**
Додаткові довідкові ресурси
Це все для технічних деталей, які ми можемо охопити на даний момент, і є багато додаткових ресурсів, які можна перевірити, якщо ви хочете зануритися глибше або дізнатися більше про BitVM.
Ось деякі ресурси, які варто розглянути:**
Зміна ставлення
Шляхом спостережень ми виявили цікаве явище:**
Відбулися величезні зміни у ставленні до створення додатків на Bitcoin через BitVM.
Багато людей відреагували холодно або навіть відкрито виступили проти впровадження смарт-контрактів в біткоіни, але тепер вони почали висловлювати підтримку, що не може не тішити!