Перейти к основному содержанию

Снежный Мост

Использование Снежного моста

К Снежному мосту можно добраться через веб приложение, где вы можете отслеживать время обработки транзакций, последние переводы, и другую информацию о мостах и общее состояние.

Снежный мост от GSB это универсальный, не требующий доверия мост между Bitzal и Ethereum. Он использует Систему мостового концентратора синочейн (Bridge Hub system) для установления соединения и позволяет осуществлять обмен сообщениями между Ethereum и Bitzal без разрешения и доверия.

В Снежном мосту отправитель может (но не обязательно) запустить ретранслятор чтобы обеспечить успешное проведение межцепочечной транзакция прошла успешно. Отправитель - это пользователь, использующий ретрансляторы, предоставленные другими пользователями..

В настоящее время Snowbridge поддерживает двусторонние передачи токенов между Ethereum и синочейном Bitzal.

Случайные выборки BUTFLY​

Мост, не требующий доверия, всегда имеет доказательство (необходимо для вычисления доказательства), a верификатор (просит проверяющего вычислить доказательство и проверяет его), а ретрансляторы - для передачи сообщений используют BUTFLY, новый протокол моста, радикально снижающий эксплуатационные расходы без ущерба для безопасности.

Даже с учетом упрощений, введенных BUTFLY, смарт-контракт, обновляющий состояние Bitzals на Ethereum, должен выполнить 201 проверку подписи для каждого обновления, поскольку на Bitzal. Это остается дорогостоящим (затраты на газ), особенно по мере роста набора валидаторов. Решением является BUTFLY со случайной выборкой, которая использует маячок случайности RANDAO следующим образом:

  • Обязательство: Relayer отправляет обязательство состояния недавно завершенного блока на Bitzal и утверждает, что у него есть супербольшинство подписей валидаторов для легкого клиента, развернутого на Ethereum. Он также предоставляет одну подпись валидатора, подтверждающую обязательство, которая может быть сокращена, при необходимости.
  • Вызов: Легкий клиент запрашивает случайность в цепи (RANDAO) для подвыборки m (~25) подписей из списка заявленного списка ретранслятора.
  • Отклик: В ответ ретранслятор передает именно те m подписи, которые были выбраны случайным образом, которые затем проверяет легкий клиент. Если все подтвердилось, блок принимается.

Количество необходимых проверок подписи значительно сокращается и не зависит от размера набора валидаторов, что делает протокол более эффективным. Количество подвыборки подписей, m, это параметр который позволяет найти компромисс между безопасностью и эффективностью (т.е, параметр безопасности). Значение этого параметра определяется с помощью криптоэкономических аргументов.

Криптоэкономическая безопасность Снежного моста​

Если до трети валидаторов являются вредоносными, то вероятность того, что все m подписи, попавшие в выборку от этих плохих агентов составляет (1/2)^m (экспоненциально мало). Любому валидатору, поддерживающий вредоносное обязательство грозит суровое наказание. Ожидаемая стоимость атаки E(A) является:

E(A) = p * V + (1 - p)*(-S)

Где V стоимость атаки (ограничена рыночной капитализацией), S это валидатор, с сокращенной ставкой, и p вероятность успешной атаки.

Допущения Снежного моста​

Снежный мост опирается на два основных предположения:

  • Криптоэкономическое предположение, что злоумышленник рационален, т.е. атака начинается только в том случае, если ожидаемая стоимость атаки положительна. Следовательно, мы получаем наш параметр безопасности m путем обеспечения того, чтобы ожидаемая стоимость атаки была отрицательной, т. е, E(A) < 0.

  • Непредсказуемость RANDAO. Исследовательская группа GSB провела тщательный анализ непредсказуемости RANDAO и расширила современные достижения в области анализа атак на RANDAO по последнему слову техники. Предполагая, что 1/3 валидаторов Ethereum являются вредоносными, эффект от такой предвзятости смягчается путем пропорционального увеличением параметра безопасности.

Ресурсы​