Автор: Боб Боділі; генеральний директор Bioniq Market; Переклад: Golden Finance Cryptonaitive
BitVM - це нова оптимістична зведена парадигма + доказ шахрайства + Taproot Leaf + Bitcoin Script, розроблена Робіном Лінусом з ZeroSync. Вранці 9 жовтня вони опублікували чудову білу книгу, яку рецензували Super Testnet і Сем Паркер (на даний момент статтю переглянули 1,5 мільйона разів).
Занадто довго, щоб читати:
BitVM не є панацеєю для вирішення проблем
BitVM не такий хороший, як EVM, BitVM повільніший, дорожчий і складніший
Основна перевага BitVM полягає в тому, що ми негайно отримуємо додаткову програмованість на Bitcoin без необхідності оновлень. Нові коди операцій не потрібні. Софт-форк не потрібен. Тепер він готовий до використання.
Прості потенційні варіанти використання включають частини децентралізованих додатків, які в даний час покладаються на централізовані сервіси (оракули для DLC, агрегатори контролю перевантажень/coinjoin, рейтинги сайдчейнів)
5, BitVM не вирішує проблему мостового зв'язку сайдчейнів (може знадобитися контракт — Ковенант)
Так, BitVM однозначно кращий, ніж приклад умовної оплати ZKP Грега Максвелла 2016 року
BitVM дуже складний і складний для розуміння та реалізації. Оновлення Bitcoin за допомогою одного коду операції може досягти такого ж ефекту.
Технічна копка
Тепер давайте зануримося в технічну сторону справи. У своїх дискусіях я в основному цитую інших людей, тому що це найбезпечніший спосіб залишатися вірним тому, що вони говорять, і уникати неправдивих цитат.
Мета BitVM полягає в тому, що «будь-яка обчислювана функція може бути перевірена на Bitcoin». —Технічний документ BitVM
Це означає, що "Біткойн тепер завершений за Тюрінгом, як і будь-який інший ланцюжок, і це не вимагає жодних змін у Біткойн". " ——Сем Паркер
Існують деякі обмеження (про які ми поговоримо пізніше), але в основному це означає, що якщо ви:
(1) Є достатньо коштів для оплати офчейн-розрахунків/доказів,
(2) Має достатню пропускну здатність для отримання та надсилання необхідних даних (можливо, сотні мегабайт)
(3) може виконати необхідну кількість біткойн-транзакцій,
Тоді ви можете розрахувати все, що захочете.
«Єдине, що робить BitVM, це дозволяє нам розділяти певні логічні середовища виконання з обсягу однієї транзакції на кілька транзакцій. На цьому все. " ——Сем Паркер
Тому це може зайняти багато часу. Це може бути дуже дорого. На це можуть піти сотні транзакцій. Але ви можете робити все, що захочете.
Сам Сем повторював: "Таким чином, технічно Біткойн не став більш повним Тюрінга, ніж раніше, ми можемо лише обґрунтовано сказати, що він "повний-Тюрінга" достатньо для будь-якої програми, яку ми могли б насправді захотіти виконати." **"
Однією з ключових переваг є те, що оновлення не потрібні. Все це ви можете зробити прямо зараз.
А якщо ви не хочете його використовувати, ви також можете не використовувати: "Це необов'язково. Якщо ви не довіряєте прив'язування біткоїнів до якогось смарт-контракту, повного Тюрінга (цілком розумно), не блокуйте їх за допомогою смарт-контракту, повного Тюрінга. "——Сем Паркер
Оскільки ви можете піддатися деяким обчислювальним обмеженням, я думаю, що мінімальний результат для BitVM, швидше за все, замінить централізовану службу "Bitcoin Edge", якою зараз користуються багато людей.
Наприклад, ми можемо «позбутися всіх довірених або напівдовірених хостингових сервісів, які нам потрібні в даний момент». Агрегатори контролю перевантажень/з'єднання монет, сайдчейн-кворуми та певні типи оракулів DLC можуть змінюватися від надійних/напівдовірених до 100% безнадійних. Недовіра до біткойна настільки сильна, наскільки сильна найслабша ланка в посиланні, з яким ви взаємодієте. » - Сем Паркер
Тепер давайте подивимося, що з цього приводу скаже Ерік Уолл:
«Я щойно прочитав білу книгу, і всі концепції для мене правильні. У мене є природна відраза до сценаріїв, які вимагають дуже великих попередньо підписаних транзакцій на етапі встановлення. Я не знаю, які проблеми можуть виникнути при таких сценаріях. Накладні витрати та дозволи – це дві суттєві проблеми.
Наразі я з обережним нетерпінням чекаю, які результати дасть реальний експеримент. Можливо, є елегантні, тонкі рішення, які усувають як обмеження цієї схеми, так і ні. Можливо, накладні витрати є керованими для певного типу обчислень, таких як доведення з нульовим розголошенням.
Було б цікаво, якби BitVM перевірив, що шар zkwasm добре працює в ньому — BitVM виконував би роль шару zkwasm, про який я говорив раніше. "
Потім він сказав, що, ймовірно, є найкоротшим резюме BitVM:
«BitVM описує лише спосіб, за допомогою якого валідатор може вкрасти маржу у шахрая на основі результатів обчислень Тюрінга, але насправді не описує архітектуру прив'язки/аутів для зовнішніх учасників, що може бути правильним».
Так, BitVM саме такий.
Адам Бек приєднується до більш критичного коментаря (з багатьма моментами): «Це круто для людей, які стають (надмірно) схвильованими, але насправді це просто узагальнення двосторонньої гри — явно згадане в абстрактному вигляді — тому це трохи схоже на приклад Грега Максвелла 2016 року про впровадження умовних платежів ZKP». "
Крім того, що Адам не помітив частину білої книги, ця BitVM насправді краща, ніж приклад ZKP Грега Максвелла 2016 року. Процитую Робіна: «Це абсолютно краще в ZKCP [порівняно з прикладом ZKP Грега Максвелла 2016 року], тому що в ZKCP виконавець повинен знати рішення заздалегідь». "
Super Testnet, один з рецензентів статті, висловив свою думку: "Це, мабуть, найбільш захоплююче відкриття в історії Bitcoin Script. Здається, він вирішує майже всі проблеми та дає нам доступ до ковенантів, сайдчейнів та функцій, таких як Liquid або EVM, без будь-яких форків. Я не можу дочекатися, щоб випустити свою демоверсію. "
У відповідь на запитання Еріка Уолла про налаштування схеми 1-to-N, Super Testnet опублікував наступне: «Він також підтримує схему 1-N, подібну до rollups. Ви можете доручити центральній стороні отримувати гонорари для виконання розрахунків для групи. Всі в групі знають, що центральна партія не може брехати, інакше група може отримати величезну маржу і розділити її між своїми членами. "
Основним недоліком BitVM є складність. **Для того, щоб BitVM працював, потрібно багато попереднього підписання.
Райндаль прокоментував: «Схоже, CTV зменшить кількість попередніх підписів. Було б чудовим рішенням побудувати з поточним біткойном, а потім з'ясувати, наскільки інтерактивність можна зменшити за допомогою CTV, і чи є це хорошою річчю чи необхідністю. "
Якщо ви ще не знаєте, CTV = BIP-119 = Simple Covenant. Тому, якщо ми оновимо Bitcoin, щоб увімкнути CTV, BitVM буде набагато кращим та ефективнішим. **
Пост Капоне додав свою власну точку зору, обговорюючи поточний позитив в екосистемі Bitcoin: «BitVM згенерував чисті позитивні коментарі від 8 різних фракцій всередині Bitcoin, які зазвичай очорнюють один одного до ступеня руйнування. Велика справа, чоловіче. За короткий проміжок часу передається багато аналізу/зворотного зв'язку, і це дуже круто. Ordinals був чарівним моментом. Відчувається, що він достатньо мотивований, щоб зробити все можливе. Ми всі зібралися разом, щоб він запрацював. "
BitVM дуже схожий на Lightning Network, принаймні з однією вимогою до мультипідпису 2:2.
Ділан Леклер прокоментував: «Виправте мене, якщо я помиляюся: хоча технічно це дуже відрізняється, це схоже на LN в тому сенсі, що це мультипідпис 2:2, де TX/додатки/контракти можуть бути побудовані на Bitcoin, але перевірка та розрахунки відбуваються в мережі. Як я розумію, це дозволило б прив'язати BTC до BTC без довіри(?) ）"。
Сем відповів: «Він може робити все, що завгодно, включаючи прив'язки, яким не можна довіряти». У цьому відношенні вона дуже схожа на Lightning Network. Я думаю, що запуск цього протоколу всередині Lightning Channel був би справжнім стратегічним кроком. Я підозрюю, що є спосіб їздити на транзакціях Lightning's Justice дуже синергетичним способом. "
Були сумніви, що BitVM зможе підтримувати глобальний стан, так як опис в статті схоже на канал стану, але Super Testnet відповів: «Він підтримує глобальний стан». Сторона А може довести стороні Б твердження про глобальний реєстр (наприклад, Bitcoin, сайдчейни або навіть інші мережі). "
В цілому, BitVM "робить біткойн-контракти більш виразними". Зокрема, це робить можливими функції, які, як ми спочатку вважали, потребували софт-форку. Він може впровадити сайдчейни без довіри, але це ще не зовсім вирішено. "——Супер тестова мережа
Рейндейл відповів, що нам все ще можуть знадобитися ковенанти для впровадження сайдчейнів, що не потребують довіри: «BitVM дозволяє витрачати всі суми UTXO, які містять смарт-контракти. Для сайдчейнів, які не потребують довіри, нам потрібно мати можливість витратити частину UTXO, що містить смарт-контракт. "
Моя думка
Ще одна біла книга, ще один раунд подкастів. BitVM дуже цікава, але вона все ще знаходиться на стадії дослідження і є ще багато питань, які потрібно вивчити, тому скільки проблем зможе вирішити BitVM, ще належить визначити.
Можуть бути кілька простих ключових варіантів використання, щоб негайно почати використовувати BitVM, щоб зменшити припущення про довіру (наприклад, оракули DLC).
Нам потрібно безліч різних способів забезпечити більшу програмованість для Bitcoin, тому я аплодую всім, хто працює в цій сфері (включаючи BitVM). Я сподіваюся, що є багато розробників, які використовують його для створення дійсно крутих демо-версій, які вирішують важливі проблеми людей.
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Все, що вам потрібно знати про BitVM
Автор: Боб Боділі; генеральний директор Bioniq Market; Переклад: Golden Finance Cryptonaitive
BitVM - це нова оптимістична зведена парадигма + доказ шахрайства + Taproot Leaf + Bitcoin Script, розроблена Робіном Лінусом з ZeroSync. Вранці 9 жовтня вони опублікували чудову білу книгу, яку рецензували Super Testnet і Сем Паркер (на даний момент статтю переглянули 1,5 мільйона разів).
Занадто довго, щоб читати:
BitVM не є панацеєю для вирішення проблем
BitVM не такий хороший, як EVM, BitVM повільніший, дорожчий і складніший
Основна перевага BitVM полягає в тому, що ми негайно отримуємо додаткову програмованість на Bitcoin без необхідності оновлень. Нові коди операцій не потрібні. Софт-форк не потрібен. Тепер він готовий до використання.
Прості потенційні варіанти використання включають частини децентралізованих додатків, які в даний час покладаються на централізовані сервіси (оракули для DLC, агрегатори контролю перевантажень/coinjoin, рейтинги сайдчейнів)
5, BitVM не вирішує проблему мостового зв'язку сайдчейнів (може знадобитися контракт — Ковенант)
Технічна копка
Тепер давайте зануримося в технічну сторону справи. У своїх дискусіях я в основному цитую інших людей, тому що це найбезпечніший спосіб залишатися вірним тому, що вони говорять, і уникати неправдивих цитат.
Мета BitVM полягає в тому, що «будь-яка обчислювана функція може бути перевірена на Bitcoin». —Технічний документ BitVM
Це означає, що "Біткойн тепер завершений за Тюрінгом, як і будь-який інший ланцюжок, і це не вимагає жодних змін у Біткойн". " ——Сем Паркер
Існують деякі обмеження (про які ми поговоримо пізніше), але в основному це означає, що якщо ви:
(1) Є достатньо коштів для оплати офчейн-розрахунків/доказів,
(2) Має достатню пропускну здатність для отримання та надсилання необхідних даних (можливо, сотні мегабайт)
(3) може виконати необхідну кількість біткойн-транзакцій,
Тоді ви можете розрахувати все, що захочете.
«Єдине, що робить BitVM, це дозволяє нам розділяти певні логічні середовища виконання з обсягу однієї транзакції на кілька транзакцій. На цьому все. " ——Сем Паркер
Тому це може зайняти багато часу. Це може бути дуже дорого. На це можуть піти сотні транзакцій. Але ви можете робити все, що захочете.
Сам Сем повторював: "Таким чином, технічно Біткойн не став більш повним Тюрінга, ніж раніше, ми можемо лише обґрунтовано сказати, що він "повний-Тюрінга" достатньо для будь-якої програми, яку ми могли б насправді захотіти виконати." **"
Однією з ключових переваг є те, що оновлення не потрібні. Все це ви можете зробити прямо зараз.
А якщо ви не хочете його використовувати, ви також можете не використовувати: "Це необов'язково. Якщо ви не довіряєте прив'язування біткоїнів до якогось смарт-контракту, повного Тюрінга (цілком розумно), не блокуйте їх за допомогою смарт-контракту, повного Тюрінга. "——Сем Паркер
Оскільки ви можете піддатися деяким обчислювальним обмеженням, я думаю, що мінімальний результат для BitVM, швидше за все, замінить централізовану службу "Bitcoin Edge", якою зараз користуються багато людей.
Наприклад, ми можемо «позбутися всіх довірених або напівдовірених хостингових сервісів, які нам потрібні в даний момент». Агрегатори контролю перевантажень/з'єднання монет, сайдчейн-кворуми та певні типи оракулів DLC можуть змінюватися від надійних/напівдовірених до 100% безнадійних. Недовіра до біткойна настільки сильна, наскільки сильна найслабша ланка в посиланні, з яким ви взаємодієте. » - Сем Паркер
Тепер давайте подивимося, що з цього приводу скаже Ерік Уолл:
Потім він сказав, що, ймовірно, є найкоротшим резюме BitVM:
«BitVM описує лише спосіб, за допомогою якого валідатор може вкрасти маржу у шахрая на основі результатів обчислень Тюрінга, але насправді не описує архітектуру прив'язки/аутів для зовнішніх учасників, що може бути правильним».
Так, BitVM саме такий.
Адам Бек приєднується до більш критичного коментаря (з багатьма моментами): «Це круто для людей, які стають (надмірно) схвильованими, але насправді це просто узагальнення двосторонньої гри — явно згадане в абстрактному вигляді — тому це трохи схоже на приклад Грега Максвелла 2016 року про впровадження умовних платежів ZKP». "
Крім того, що Адам не помітив частину білої книги, ця BitVM насправді краща, ніж приклад ZKP Грега Максвелла 2016 року. Процитую Робіна: «Це абсолютно краще в ZKCP [порівняно з прикладом ZKP Грега Максвелла 2016 року], тому що в ZKCP виконавець повинен знати рішення заздалегідь». "
Super Testnet, один з рецензентів статті, висловив свою думку: "Це, мабуть, найбільш захоплююче відкриття в історії Bitcoin Script. Здається, він вирішує майже всі проблеми та дає нам доступ до ковенантів, сайдчейнів та функцій, таких як Liquid або EVM, без будь-яких форків. Я не можу дочекатися, щоб випустити свою демоверсію. "
У відповідь на запитання Еріка Уолла про налаштування схеми 1-to-N, Super Testnet опублікував наступне: «Він також підтримує схему 1-N, подібну до rollups. Ви можете доручити центральній стороні отримувати гонорари для виконання розрахунків для групи. Всі в групі знають, що центральна партія не може брехати, інакше група може отримати величезну маржу і розділити її між своїми членами. "
Основним недоліком BitVM є складність. **Для того, щоб BitVM працював, потрібно багато попереднього підписання.
Райндаль прокоментував: «Схоже, CTV зменшить кількість попередніх підписів. Було б чудовим рішенням побудувати з поточним біткойном, а потім з'ясувати, наскільки інтерактивність можна зменшити за допомогою CTV, і чи є це хорошою річчю чи необхідністю. "
Якщо ви ще не знаєте, CTV = BIP-119 = Simple Covenant. Тому, якщо ми оновимо Bitcoin, щоб увімкнути CTV, BitVM буде набагато кращим та ефективнішим. **
Пост Капоне додав свою власну точку зору, обговорюючи поточний позитив в екосистемі Bitcoin: «BitVM згенерував чисті позитивні коментарі від 8 різних фракцій всередині Bitcoin, які зазвичай очорнюють один одного до ступеня руйнування. Велика справа, чоловіче. За короткий проміжок часу передається багато аналізу/зворотного зв'язку, і це дуже круто. Ordinals був чарівним моментом. Відчувається, що він достатньо мотивований, щоб зробити все можливе. Ми всі зібралися разом, щоб він запрацював. "
BitVM дуже схожий на Lightning Network, принаймні з однією вимогою до мультипідпису 2:2.
Ділан Леклер прокоментував: «Виправте мене, якщо я помиляюся: хоча технічно це дуже відрізняється, це схоже на LN в тому сенсі, що це мультипідпис 2:2, де TX/додатки/контракти можуть бути побудовані на Bitcoin, але перевірка та розрахунки відбуваються в мережі. Як я розумію, це дозволило б прив'язати BTC до BTC без довіри(?) ）"。
Сем відповів: «Він може робити все, що завгодно, включаючи прив'язки, яким не можна довіряти». У цьому відношенні вона дуже схожа на Lightning Network. Я думаю, що запуск цього протоколу всередині Lightning Channel був би справжнім стратегічним кроком. Я підозрюю, що є спосіб їздити на транзакціях Lightning's Justice дуже синергетичним способом. "
Були сумніви, що BitVM зможе підтримувати глобальний стан, так як опис в статті схоже на канал стану, але Super Testnet відповів: «Він підтримує глобальний стан». Сторона А може довести стороні Б твердження про глобальний реєстр (наприклад, Bitcoin, сайдчейни або навіть інші мережі). "
В цілому, BitVM "робить біткойн-контракти більш виразними". Зокрема, це робить можливими функції, які, як ми спочатку вважали, потребували софт-форку. Він може впровадити сайдчейни без довіри, але це ще не зовсім вирішено. "——Супер тестова мережа
Рейндейл відповів, що нам все ще можуть знадобитися ковенанти для впровадження сайдчейнів, що не потребують довіри: «BitVM дозволяє витрачати всі суми UTXO, які містять смарт-контракти. Для сайдчейнів, які не потребують довіри, нам потрібно мати можливість витратити частину UTXO, що містить смарт-контракт. "
Моя думка
Ще одна біла книга, ще один раунд подкастів. BitVM дуже цікава, але вона все ще знаходиться на стадії дослідження і є ще багато питань, які потрібно вивчити, тому скільки проблем зможе вирішити BitVM, ще належить визначити.
Можуть бути кілька простих ключових варіантів використання, щоб негайно почати використовувати BitVM, щоб зменшити припущення про довіру (наприклад, оракули DLC).