Iagon запустив протокол підтвердження спалення екосистеми Cardano

Iagon нещодавно завершив виклик, запропонований Чарльзом Хоскінсоном, розробивши механізм спалювання, що відповідає екосистемі Cardano, (PoB)протокол. У цій статті буде представлено рішення команди Iagon, яке головним чином включає в себе такі аспекти:

1. Огляд механізму підтвердження витрат та його застосування
2. PoB схема Iagon в механізмі виконання смарт-контрактів мережі Cardano
3. Розгортання та тестування смарт-контрактів у тестовій мережі
4. Виконання протоколу PoB шляхом надсилання токенів на адресу "чорної діри"

Докази спалювання та їх застосування

В даний час спалювання крипто-токенів (, знищення ) широко використовується, по суті, це відправка токенів на недоступну адресу "чорної діри". Ця адреса недоступна, і токени, які були знищені, не можуть бути повернуті. Громадськість може перевірити, що знищення дійсно відбулося, але знає лише про одне "таємне" зобов'язання. Метою цього механізму є забезпечення того, щоб знищені кошти не підлягали перевірці з боку посередників.

Механізми спалювання мають багато застосувань, можуть підвищити вартість залишкових токенів, а також слугувати доказом зобов'язання блокчейн-протоколу. Масове спалювання токенів може викликати дефляційний тиск, оскільки це зменшує загальну кількість токенів в обігу. Хоча спалювання є поширеною транзакцією в блокчейні, все ще потрібно, щоб майнери це прийняли. Хоча ці механізми мають свої переваги, є й ті, хто виступає проти спалювання токенів. Щодо цього питання Iagon прагне впровадити незаборонений протокол спалювання токенів. Ця особлива операція без цензури привернула увагу Чарльза Хоскінсона.

Безпека доказу про спалення базується на тій самій механіці, що й транзакції з переказу токенів, а саме "криптографічна хеш-функція". Ці функції легко обчислити, але дуже важко обчислити в зворотному напрямку. По суті, важкість зворотного обчислення полягає в тому, що зміна всього лише одного біта на вході призводить до випадкових змін кожного біта на виході. Це означає, що зворотне обчислення з виходу криптографічної хеш-функції займе дуже багато часу. Коротко кажучи, переворот найменшого біта криптографічної хеш-функції може створити чорну діру адреси, і будь-які дані, надіслані на цю адресу, будуть важко або неможливо відновити.

Це демонструє, що безпека криптографічних транзакцій повністю базується на відкритій криптографії та криптографічних хеш-функціях: "Щоразу, коли надсилаються кошти, створюється новий невитрачений вихід транзакції (UTxO)." UTxO записує кількість коштів та криптографічний хеш відкритого ключа отримувача. Якщо отримувач хоче використати ці кошти, він повинен підписати нову транзакцію витрат за допомогою того ж відкритого ключа.

Причина, чому використовується обернений хеш-функція для виведення найменшого біта замість прямого використання хеш-функції 0x0, полягає в тому, що використання відомого значення робить спалювання відразу видимим. Однак задум цього протоколу полягає в тому, щоб спочатку спалити кошти, а потім ( в окремих кроках ) підтвердити, що вони були спалені. Для цього спочатку потрібно створити хеш-функцію для зобов'язуючого значення, а потім зобов'язуюче значення показує, що було створено чорну діру.

!

Смарт-контракт на основі доказу спалення в мережі Cardano

Смарт-контракти Cardano - це програми, які працюють в мережі Cardano, що дозволяють розробникам контрактів виконувати фінансові ( угоди відповідно до певних правил. Смарт-контракти призначені для встановлення прозорих і перевіряємих угод між різними сторонами. Нещодавно децентралізовані фінансові послуги та децентралізовані організації сприяли швидкому зростанню їх застосування.

На відміну від традиційних смарт-контрактів Ethereum, Cardano використовує іншу структуру, яка дозволяє користувачам моделювати кожну транзакцію у своїх гаманцях, ускладнюючи атаки на мережу. Зміни, що виникають, записуються після підтвердження через вузли блокчейну. Смарт-контракти Cardano мають три складові:

• Скрипт викупу: дозволяє або забороняє витрати eUTxOs
• Скрипт гаманця: представляє користувача, що виконує, використовується для викупу коштів та створення нових eUTxOs
• eUTxOs: Кожен eUTxO містить кошти та одну точку даних )datum(, яка використовується для підтвердження отримувачем, в яких випадках ці кошти можуть бути використані повторно.

Це означає, що смарт-контракти Cardano не мають централізованого стану в реєстрі. Кожен eUTxO має незалежний стан ) дані (, який не може бути відокремлений від своїх коштів. Це створює чотири можливі операції:

• Спалювання: надсилання коштів на адресу чорної діри з конфіденційним значенням хеш-підтвердження
• Була знищена: підтвердження, що спалення певного зобов'язання дійсно відбулося
• Заблокувати: надіслати кошти на адресу з ключем
• Вилучення: вилучення коштів, які були заблоковані на попередньому кроці

Необхідно звернути увагу, що кінцеві точки працюють у гаманці користувача. Після завершення виконання скрипта кінцевої точки в гаманці, згенерована транзакція буде переміщена в блокчейн. У цьому випадку ця транзакція перемістить кошти до скрипта викупу. Цей скрипт перевіряє, що кошти можуть бути доступні тільки адресою-цільовою, яка має хеш.

У закритті, хеш-значення може бути нашою власною адресою. У спалюванні, хеш-значення вказує на адресу чорної діри. Ми досягаємо цього, задаючи хешу секретне значення зобов'язання, а потім перевертаючи його. Оскільки використовується криптографічна хеш-функція, майже неможливо знайти відповідний хеш-значення для його результату.

Потрібно звернути увагу, flipCommitment лише перевертає найменш значущі біти хеш-значення )LSB(.

Посередник, який отримує транзакцію, не може знати, чи це транзакція на спалення, чи на блокування. Використовуючи цей скрипт, посередник не може вибірково перевіряти жодну транзакцію на спалення. Спалення та блокування використовують однаковий формат викуплювача, лише ініціатор транзакції знає, чи це спалення, чи блокування. Значення спалення можна перевірити, використовуючи знищену точку з вказаним значенням зобов'язання. До опублікування значення зобов'язання ніхто не знає, яка кількість коштів була знищена.

! [])https://img-cdn.gateio.im/webp-social/moments-f7f162dc2a412b8d5ff903636b2e631b.webp(

Розгортання смарт-контрактів у тестовій мережі

Щоб запустити вузол тестової мережі з гаманцем, потрібні мнемонічна фраза та випадковий пароль. Ви можете розгорнути смарт-контракт, виконавши такі кроки:

1. Встановлення Haskell інструментів

2. Побудова скриптів Plutus

3. Запустіть контейнер для підключення до вузла Cardano та гаманця

4. Відновіть гаманець та виведіть ідентифікатор гаманця ), наступні кроки потребують (, запустіть наступний код для генерації випадкових мнемонічних слів для тестування

5. Запускати токени спалення

6. Запустіть та перевірте спалення

Виконуючи вищезазначені кроки, зовнішні особи не зможуть дізнатися, чи є це транзакцією на спалення або блокування. Проте після публікації цього скрипта люди можуть спробувати скомпілювати відмову, що відповідає хешу скрипта запропонованого викупника. Це вимагатиме величезних зусиль, але може призвести до певних спалень, що підлягають перевірці. Щоб запобігти такій ситуації і ускладнити правопорушення, Iagon прагне зробити це рішення безпечнішим, що буде детально описано в наступному розділі.

! [])https://img-cdn.gateio.im/webp-social/moments-7777b1db89195a287d84464f2b80b5e9.webp(

Від смарт-контрактів до скриптів гаманця

Використовуючи той факт, що більшість операцій зі смарт-контрактами відбуваються в гаманцях користувачів, створення виконавчої схеми, яка використовує лише гаманці, може зробити смарт-контракти непотрібними. Однак ця практика може мати практичне значення, а саме неможливість вибірково блокувати відповідні транзакції смарт-контрактів на спалення. Проте ті, хто хоче заблокувати всі транзакції на спалення, можуть заблокувати всі сценарії, щоб досягти мети. Єдиний спосіб перевірити спалення, використовуючи лише гаманці, — це перевіряти всі транзакції Cardano. Це є остаточним опором для перевірки.

Щоб це реалізувати, нам потрібно замінити хеш його публічного ключа на хеш значення зобов'язання та перевернути найменший біт значення зобов'язання. Але цього недостатньо. Cardano запобігає помилкам введення в адресі, перевіряючи структуру та код CRC. Отже, найпростішим способом генерації адреси з зобов'язання є використання наступного скрипту та бібліотеки API Cardano.

Щоб переглянути, як це працює, ви можете використати наступний код для генерації адреси для знищення:

! [])https://img-cdn.gateio.im/webp-social/moments-fed84a6717b012408df1b428b2d80586.webp(

Потім можна використати наступний код для подання транзакції до блокчейну Cardano:

! [])https://img-cdn.gateio.im/webp-social/moments-3d2bf883bd43da42085612065d17c6ef.webp(

Щоб перевірити спалення, потрібно використовувати наступний код для перегляду транзакцій, надісланих на адресу спалення:

! [])https://img-cdn.gateio.im/webp-social/moments-5f4fdc7de34aa6b902801d1592aee783.webp(

Висновок

Ця стаття розділяє реалізацію протоколу Proof of Burn на два способи: через смарт-контракти або транзакції гаманця. Однак смарт-контракти Alonzo наразі не мають необхідної інфраструктури, як-от бібліотека PAB. Тому ми рекомендуємо використовувати скрипти гаманця. У будь-якому випадку, бібліотека PAB буде впроваджена в найближчому майбутньому для розробки додатків на базі Cardano, поєднуючи скрипти гаманця, складні рішення смарт-контрактів можуть бути більш життєздатними для створення середовища, здатного протистояти потенційній цензурі. Якщо ви хочете детальніше ознайомитися з цим рішенням, ви можете переглянути всю відповідну інформацію на Github.

! [])https://img-cdn.gateio.im/webp-social/moments-e16e0067b6839764b5e34d1ef1f960fd.webp(