Ненадежный механизм, преодолевающий барьер «время подтверждения »

Несколько недель назад мы описали StarkExchange , наш механизм масштабируемости для некастодиальной торговли на централизованных биржах. В первоначальном дизайне скорость вывода средств на StarkExchange ограничивалась «временем генерации доказательства» — временем, необходимым для сбора пакета сделок, вычисления доказательства, подтверждающего их действительность, и принятия доказательства в цепочке (это занимает несколько минут). ).

Ниже мы предлагаем улучшение: ненадежный механизм, который позволяет гораздо быстрее снимать средства, ограниченный только продолжительностью транзакции через Ethereum.

Преимущество: более низкая стоимость капитала и более быстрое реагирование на рыночные возможности

Более быстрое снятие средств означает более низкую стоимость капитала для трейдеров: трейдеру нужно меньше капитала для участия в рынке, потому что ему легче/быстрее перемещать средства, чтобы воспользоваться возможностями арбитража.

Техническое обсуждение

Изменения в системе StarkExchange :

• Условный платеж: интуитивно понятно, что это платеж от Алисы Бобу, который проходит только в том случае, если выполняется какое-то условие.
  Мы используем условные платежи в качестве примитива «доказательства блокчейна» — средства обеспечения того, чтобы состояние в цепочке контролировало состояние вне цепочки. В частности, платеж производится вне сети (т. е. включается в пакет, подтвержденный доказательством STARK), только если какая-либо запись появляется в цепочке .
  Условные платежи уже используются в StarkExchange, когда мы перемещаем депозиты пользователей за пределы сети: депозит не может быть включен в доказательство (которое свидетельствует об изменении состояния вне сети), если соответствующий депозит не наблюдается в сети.
  Многие преимущества условных платежей будут обсуждаться в отдельной статье блога.
• Контракт Cookie Jar: биржа устанавливает дополнительный смарт-контракт, по которому выплачиваются быстрые выплаты. Обратите внимание, что этот контракт может извлечь выгоду из шаблона проектирования реестра фактов , чтобы хранить развивающуюся историю платежей, сделанных по цепочке участвующим сторонам.

Единый поток быстрого вывода средств:

1. Пользователь отправляет на биржу запрос на быстрый вывод: подписанный условный платеж, переводящий сумму, которую пользователь хочет вывести на биржу (вне сети), при условии перевода той же суммы пользователю в сети.
2. Биржа — при условии, что у пользователя действительно есть средства на балансе вне сети, а биржа имеет достаточно средств в банке с файлами cookie — дает указание контракту перевести запрошенные средства пользователю и пометить быстрый вывод как завершенный.
3. Биржа передает условный платеж доказывающей стороне. Когда условие этого платежа выполнено (соответствующий платеж пользователю можно наблюдать в цепочке), доказывающая сторона включает его в свое следующее доказательство, и, следовательно, средства перемещаются вне цепочки со счета пользователя на счет биржи.

Пополнение контракта на банку с печеньем:

Биржа пополняет свою сетевую банку с файлами cookie за счет своего внешнего баланса (по сути, перераспределяя средства между своими внутренними и внешними балансами). Пополнение может производиться периодически или может быть инициировано доступными средствами (на токен), достигающими некоторой минимальной пороговой суммы/значения.

Стоит отметить: чем чаще пополнение, тем ниже стоимость капитала биржи для поддержки Fast Withdrawals. Например: рассмотрим банку с печеньем, из которой выводится x токенов в час. Если он пополняется ежедневно, биржа должна заблокировать 24-кратные токены в банке с печеньем (или более высокую сумму, которая включает в себя некоторый запас прочности). Если, с другой стороны, он пополняется ежечасно, то биржа должна хранить только x токенов в Cookie Jar. Стоимость капитала определяется периодичностью его пополнения.

Новый поток доходов для бирж

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

Историческая справка

Аналогичное предложение по быстрому выводу средств на Plasma было представлено еще в июне 2018 года. Этот механизм основывался на доказательствах мошенничества, а не на доказательствах действительности , что приводило к более сложному протоколу. Важно отметить, что представленный там «контракт ликвидности» (контракт Cookie Jar в нашем предложении) должен был охватывать период времени для оспаривания мошенничества (порядка двух недель по сравнению с нашим часовым периодом), что приводило к значительному более высокая стоимость капитала (примерно в 200 раз выше).

Резюме

StarkExchange версии 1.0 был разработан для обеспечения ликвидной торговли с самостоятельным хранением.

С быстрым выводом средств StarkExchange обеспечивает:

• Для пользователя: более низкая стоимость капитала
• Для биржи: больший потенциал дохода (например, за счет включения новых ценовых уровней, обращения к арбитражерам и т. д.)
• Для всех сторон: недорого и безнадежно. Ни биржа, ни пользователь не могут украсть средства другой стороны.

Дополнительные затраты на быстрый вывод средств для пользователей — это только стоимость капитала ограниченных средств, заблокированных в банке с файлами cookie; другие затраты (стоимость газа и стоимость пробной генерации) практически не изменились.

Том Брэнд, Авиху Леви и Михаил Рябзев
StarkWare