Нещодавно, у відповідь на виклик, запропонований Чарльзом Хоскінсоном, була розроблена схема протоколу спалювання, що підходить для екосистеми Cardano, (PoB). У цій статті буде детально описано процес реалізації цього рішення, що включає в себе кілька основних аспектів:
Огляд механізму підтвердження спалювання та його застосування
Конкретний план реалізації смарт-контрактів PoB в мережі Cardano
Процес деплойменту та тестування смарт-контрактів
Альтернативне рішення для підтвердження спалення через транзакції гаманця
Доказ спалення та його застосування
Спалювання токенів в основному полягає в тому, щоб надіслати токени на адресу "чорної діри", до якої неможливо отримати доступ. Ця адреса не має приватного ключа для повторного отримання знищених токенів. Громадськість може перевірити, що знищення дійсно відбулося, але відомо лише одне "секретне" значення зобов'язання. Ця механіка може запобігти перевірці знищених коштів.
Механізм спалювання має кілька застосувань, може підвищити вартість залишкових токенів і також може слугувати доказом зобов'язання блокчейн-протоколу. Масштабне спалювання може створити дефляційний тиск, оскільки зменшує загальну кількість токенів в обігу. Хоча спалювання є звичайною практикою, все ще потрібно, щоб його приймали майнери. У зв'язку з цим було запропоновано протокол спалювання токенів, який не можна піддавати цензурі.
Безпека протоколу спалювання базується на криптографічних хеш-функціях. Ці функції легко обчислюються, але важко зворотно вивести. По суті, переворот найменшого біта криптографічної хеш-функції може створити чорну діру адреси. Будь-який вміст, надісланий на цю адресу, важко або неможливо відновити.
Це демонструє, що безпека криптографічних транзакцій може бути повністю заснована на публічній криптографії та криптографічних хеш-функціях: "Щоразу, коли надсилаються кошти, створюється новий невитрачений вихід транзакції (UTxO)." Цей UTxO фіксує кількість коштів та криптографічний хеш публічного ключа отримувача. Коли отримувач використовує кошти, йому потрібно підписати нову витратну транзакцію тим самим публічним ключем.
Причина, чому використовується функція перевернутого хешування для виведення найменш значущого біта, а не пряме використання хешу 0x0, полягає в тому, що використання відомого значення робить спалювання миттєво видимим. Концепція цього протоколу полягає в тому, щоб спочатку спалити кошти, а потім ( незалежним кроком ) довести, що вони були спалені. Для цього спочатку потрібно створити хеш зобов'язання, після чого це зобов'язання вказує на те, що адреса чорної діри була створена.
!
Смарт-контракт на основі доказу спалення в мережі Cardano
Смарт-контракти Cardano — це програми, що працюють в мережі, які дозволяють виконувати транзакції відповідно до правил. Вони призначені для створення прозорих і перевіряємих транзакцій. Нещодавній сплеск децентралізованих фінансових послуг та організацій сприяв швидкому зростанню використання смарт-контрактів.
На відміну від Ethereum, Cardano використовує структуру, яка дозволяє користувачам моделювати кожну транзакцію у своєму гаманці для підвищення безпеки. Розумні контракти Cardano складаються з трьох частин:
Скрипт викупу: контроль витрат eUTxOs
Скрипт гаманця: представляє користувача, який виконує, викуповує кошти та створює нові eUTxOs
eUTxOs: утримують кошти та дані (datum), для підтвердження умов використання коштів для особи, що викуповує.
Це означає, що смарт-контракти Cardano не мають централізованого стану. Кожен eUTxO має незалежний стан, який нерозривно пов'язаний з його коштами. Відповідно, виникає чотири можливі операції:
Спалювання: надсилання коштів на адресу чорної діри
Була знищена: підтвердження, що паління певного зобов'язання сталося
Блокування: надсилання коштів на адресу з ключем
Вилучення: вилучення заблокованих коштів
Слід звернути увагу, що кінцева точка працює у гаманці користувача. Транзакції будуть переміщені на блокчейн, а кошти - до скрипту викупу. Цей скрипт перевіряє, що кошти можуть бути доступні лише з певної адреси.
У процесі блокування хеш-значення може бути власною адресою. У процесі спалювання хеш-значення вказує на адресу чорної діри. Це реалізується шляхом надання хешу секретного значення зобов'язання та його перевертання. Завдяки використанню криптографічних хеш-функцій, практично неможливо знайти відповідне хеш-значення.
Посередник не може знати, чи транзакція є спаленням, чи блокуванням. Використовуючи цей скрипт, посередник не може селективно перевіряти спалювальні транзакції. Спалення та блокування використовують один і той же формат викупника, тільки ініціатор знає тип транзакції. Значення спалення можна перевірити за допомогою знищеного кінцевого пункту з даним зобов'язанням. До публікації зобов'язання ніхто не знає, скільки коштів було знищено.
!
Розгортання та тестування смарт-контрактів
Для розгортання смарт-контракту в тестовій мережі необхідно виконати такі кроки:
Встановлення інструментарію Haskell
Побудова скрипта Plutus
Запустіть контейнер, пов'язаний з вузлом Cardano та гаманцем
Відновлення гаманця та отримання ID гаманця
Запуск токенів згоряння
Запустити перевірку спалювання
Завдяки цим крокам зовнішні особи не можуть знати, чи це транзакція на спалення, чи на блокування. Але після публікації скрипту хтось може спробувати скомпілювати скрипт, що відмовляє певному викупнику. Це вимагатиме значних зусиль, але може призвести до перевірки спалення. Щоб запобігти цій ситуації, у наступному розділі буде представлено більш безпечну альтернативу.
!
Від смарт-контрактів до скриптів гаманця
Використовуючи той факт, що більшість операцій смарт-контрактів відбуваються у гаманці користувача, можна створити рішення, яке використовує лише гаманець без необхідності у смарт-контрактах. Перевагою цього підходу є те, що неможливо вибірково блокувати певні транзакції з горінням. Ті, хто хоче заблокувати всі транзакції з горінням, можуть лише заблокувати всі скрипти. Використовуючи лише гаманець, єдиний спосіб перевірки горіння — це перевірка всіх транзакцій Cardano, що є остаточним опором цензурі.
Для досягнення цього потрібно замінити хеш публічного ключа на хеш значення зобов'язання та перевернути найменший біт значення зобов'язання. Але також слід врахувати вимоги до формату адрес Cardano. Найпростіший спосіб створення адреси з зобов'язання - це використання бібліотеки API Cardano.
Можна використовувати наданий код для створення адреси для спалювання, подання транзакції в блокчейн та перевірки спалювання.
!
Висновок
Ця стаття описує два способи реалізації протоколу доказу спалення на Cardano: смарт-контракти та гаманцеві транзакції. Оскільки смарт-контракти Alonzo наразі не мають необхідної інфраструктури (, такої як бібліотека PAB ), рекомендується використовувати рішення з гаманцевими скриптами. У майбутньому, після впровадження бібліотеки PAB, комбінація гаманцевих скриптів і складних смарт-контрактних рішень може бути більш життєздатною і сприяти створенню середовища, що протистоїть потенційній цензурі.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
24 лайків
Нагородити
24
9
Репост
Поділіться
Прокоментувати
0/400
MevWhisperer
· 08-01 19:49
CH брат нарешті взявся за справу!
Переглянути оригіналвідповісти на0
AirdropHustler
· 07-30 16:09
pob ще не так цікаво, як палити паперові гроші
Переглянути оригіналвідповісти на0
MidnightSeller
· 07-30 15:56
Просто згоріти, а не балачки.
Переглянути оригіналвідповісти на0
MrDecoder
· 07-29 20:22
Чи можна вийти з чорної діри, якщо туди зайти?
Переглянути оригіналвідповісти на0
SchroedingersFrontrun
· 07-29 20:22
А це паливний механізм має деякі речі
Переглянути оригіналвідповісти на0
TokenomicsTrapper
· 07-29 20:19
лмао класичний CH хід... намагаються пампити ada з більшою кількістю протоколів відверто кажучи
Переглянути оригіналвідповісти на0
BearMarketSunriser
· 07-29 20:19
Весь день лише займаєшся технологіями, а що з того?
Cardano реалізує протокол доказу спалення: порівняння смартконтрактів та гаманець
Реалізація протоколу доказу спалення екосистеми Cardano
Нещодавно, у відповідь на виклик, запропонований Чарльзом Хоскінсоном, була розроблена схема протоколу спалювання, що підходить для екосистеми Cardano, (PoB). У цій статті буде детально описано процес реалізації цього рішення, що включає в себе кілька основних аспектів:
Доказ спалення та його застосування
Спалювання токенів в основному полягає в тому, щоб надіслати токени на адресу "чорної діри", до якої неможливо отримати доступ. Ця адреса не має приватного ключа для повторного отримання знищених токенів. Громадськість може перевірити, що знищення дійсно відбулося, але відомо лише одне "секретне" значення зобов'язання. Ця механіка може запобігти перевірці знищених коштів.
Механізм спалювання має кілька застосувань, може підвищити вартість залишкових токенів і також може слугувати доказом зобов'язання блокчейн-протоколу. Масштабне спалювання може створити дефляційний тиск, оскільки зменшує загальну кількість токенів в обігу. Хоча спалювання є звичайною практикою, все ще потрібно, щоб його приймали майнери. У зв'язку з цим було запропоновано протокол спалювання токенів, який не можна піддавати цензурі.
Безпека протоколу спалювання базується на криптографічних хеш-функціях. Ці функції легко обчислюються, але важко зворотно вивести. По суті, переворот найменшого біта криптографічної хеш-функції може створити чорну діру адреси. Будь-який вміст, надісланий на цю адресу, важко або неможливо відновити.
Це демонструє, що безпека криптографічних транзакцій може бути повністю заснована на публічній криптографії та криптографічних хеш-функціях: "Щоразу, коли надсилаються кошти, створюється новий невитрачений вихід транзакції (UTxO)." Цей UTxO фіксує кількість коштів та криптографічний хеш публічного ключа отримувача. Коли отримувач використовує кошти, йому потрібно підписати нову витратну транзакцію тим самим публічним ключем.
Причина, чому використовується функція перевернутого хешування для виведення найменш значущого біта, а не пряме використання хешу 0x0, полягає в тому, що використання відомого значення робить спалювання миттєво видимим. Концепція цього протоколу полягає в тому, щоб спочатку спалити кошти, а потім ( незалежним кроком ) довести, що вони були спалені. Для цього спочатку потрібно створити хеш зобов'язання, після чого це зобов'язання вказує на те, що адреса чорної діри була створена.
!
Смарт-контракт на основі доказу спалення в мережі Cardano
Смарт-контракти Cardano — це програми, що працюють в мережі, які дозволяють виконувати транзакції відповідно до правил. Вони призначені для створення прозорих і перевіряємих транзакцій. Нещодавній сплеск децентралізованих фінансових послуг та організацій сприяв швидкому зростанню використання смарт-контрактів.
На відміну від Ethereum, Cardano використовує структуру, яка дозволяє користувачам моделювати кожну транзакцію у своєму гаманці для підвищення безпеки. Розумні контракти Cardano складаються з трьох частин:
Це означає, що смарт-контракти Cardano не мають централізованого стану. Кожен eUTxO має незалежний стан, який нерозривно пов'язаний з його коштами. Відповідно, виникає чотири можливі операції:
Слід звернути увагу, що кінцева точка працює у гаманці користувача. Транзакції будуть переміщені на блокчейн, а кошти - до скрипту викупу. Цей скрипт перевіряє, що кошти можуть бути доступні лише з певної адреси.
У процесі блокування хеш-значення може бути власною адресою. У процесі спалювання хеш-значення вказує на адресу чорної діри. Це реалізується шляхом надання хешу секретного значення зобов'язання та його перевертання. Завдяки використанню криптографічних хеш-функцій, практично неможливо знайти відповідне хеш-значення.
Посередник не може знати, чи транзакція є спаленням, чи блокуванням. Використовуючи цей скрипт, посередник не може селективно перевіряти спалювальні транзакції. Спалення та блокування використовують один і той же формат викупника, тільки ініціатор знає тип транзакції. Значення спалення можна перевірити за допомогою знищеного кінцевого пункту з даним зобов'язанням. До публікації зобов'язання ніхто не знає, скільки коштів було знищено.
!
Розгортання та тестування смарт-контрактів
Для розгортання смарт-контракту в тестовій мережі необхідно виконати такі кроки:
Завдяки цим крокам зовнішні особи не можуть знати, чи це транзакція на спалення, чи на блокування. Але після публікації скрипту хтось може спробувати скомпілювати скрипт, що відмовляє певному викупнику. Це вимагатиме значних зусиль, але може призвести до перевірки спалення. Щоб запобігти цій ситуації, у наступному розділі буде представлено більш безпечну альтернативу.
!
Від смарт-контрактів до скриптів гаманця
Використовуючи той факт, що більшість операцій смарт-контрактів відбуваються у гаманці користувача, можна створити рішення, яке використовує лише гаманець без необхідності у смарт-контрактах. Перевагою цього підходу є те, що неможливо вибірково блокувати певні транзакції з горінням. Ті, хто хоче заблокувати всі транзакції з горінням, можуть лише заблокувати всі скрипти. Використовуючи лише гаманець, єдиний спосіб перевірки горіння — це перевірка всіх транзакцій Cardano, що є остаточним опором цензурі.
Для досягнення цього потрібно замінити хеш публічного ключа на хеш значення зобов'язання та перевернути найменший біт значення зобов'язання. Але також слід врахувати вимоги до формату адрес Cardano. Найпростіший спосіб створення адреси з зобов'язання - це використання бібліотеки API Cardano.
Можна використовувати наданий код для створення адреси для спалювання, подання транзакції в блокчейн та перевірки спалювання.
!
Висновок
Ця стаття описує два способи реалізації протоколу доказу спалення на Cardano: смарт-контракти та гаманцеві транзакції. Оскільки смарт-контракти Alonzo наразі не мають необхідної інфраструктури (, такої як бібліотека PAB ), рекомендується використовувати рішення з гаманцевими скриптами. У майбутньому, після впровадження бібліотеки PAB, комбінація гаманцевих скриптів і складних смарт-контрактних рішень може бути більш життєздатною і сприяти створенню середовища, що протистоїть потенційній цензурі.
!