Міжланцюгові повідомлення: порівняйте перевірку, доставку та виконання
Додаток між ланцюжками може представляти одну дію, покладаючись на кілька різних систем. Повідомлення має бути розпізнано в вихідному ланцюжку, перевірено відповідно до зазначеної моделі безпеки, доставлено та прийнято логікою призначення. Називаючи весь процес «перехідним переходом», можна приховати, де його припущення змінюються.
Практичне порівняння полягає не в тому, яка система має найкоротший заявлений час передачі. Це те, які докази приймає адресат, хто може змінити це правило та що відбувається, коли крок затримується або оскаржується.
Розділіть етапи однієї інструкції
Розглянемо гіпотетичну інструкцію щодо розпізнавання депозиту в ланцюжку A та вивільнення балансу програми в ланцюжку B. Включена транзакція джерела сама по собі не доводить, що дія призначення виконана.
Відстежуйте чотири стани: вихідну подію та її завершення, результат перевірки, доставку повідомлення та виконання призначення. Компонент доставки може передавати інформацію, не вирішуючи, чи вона дійсна. І навпаки, перевірене повідомлення все ще може не виконуватися, якщо договір призначення відхиляє його вхідні дані або не має необхідних ресурсів.
Цей приклад описує дослідницьку модель, а не архітектуру кожного протоколу чи пропоновану наразі функцію OrangeX.
Запитайте, що підтверджує верифікатор
Документація щодо мостів Ethereum описує мости, які переміщують токени, повідомлення та дані, і відрізняє дизайни, перевірені зовні, від підходів, що покладаються на зв’язані ланцюжки. Прочитайте конкретну реалізацію, а не розглядайте мітки як повну гарантію безпеки.
Для зовнішнього набору верифікаторів дослідіть членство, порогові правила, незалежність і компрометацію ключа. Для підходу, заснованого на доказах, визначте, що доведено, які консенсусні припущення залишаються та як програмне забезпечення верифікатора можна оновити. Криптографічні докази не усувають усіх контрактних, операційних або управлінських ризиків.
Розглядайте затримку та остаточність окремо
Заявка може відображати попередній прогрес до того, як буде виконано відповідні умови остаточності або виклику. Запитайте, чи рекламований час стосується спостереження, доставки, ліквідності користувача чи остаточного розрахунку. Ці віхи можуть відрізнятися.
Не порівнюйте дві цифри затримки, якщо початкова подія, кінцева подія та умови безпеки не збігаються. Швидше підтвердження не означає автоматично більшої остаточності. Призупинений маршрут також може бути навмисною реакцією на невизначеність, а не доказом того, що вихідна транзакція зникла.
Перегляньте повторні спроби та повноваження призначення
Невдала дія призначення породжує другий набір запитань: чи можна повторити спробу, хто може повторити спробу, яка плата стягується та що заважає двічі виконати одну інструкцію? Прочитайте задокументовані ідентифікатори протоколу та засоби захисту від повторного відтворення, а не припускайте, що повторне надсилання є безпечним.
Перевірте ключі оновлення, аварійні паузи, конфігурацію маршруту та дозволи на рівні програми. Захищений рівень обміну повідомленнями не може видавати звук небезпечної цільової програми. Так само авторитетний інтерфейс не доводить, що всі підтримувані маршрути мають одну модель довіри.
Зберігайте записи про дослідження щодо конкретного маршруту
Запишіть точні ланцюжки, контракти, представлення активів, модель безпеки, припущення щодо остаточності та процедуру відновлення для маршруту, що оцінюється. Використовуйте поточну офіційну документацію та відрізняйте впроваджені засоби контролю від майбутніх планів.
Обмінний депозит є окремим робочим процесом від довільного міжланцюжкового повідомлення програми. Перш ніж надсилати на OrangeX.com, дотримуйтесь інструкцій щодо мережі та адреси, наведених у інтерфейсі депозиту. Не припускайте, що успішна робота моста робить непідтримувану мережу призначення прийнятною.
