Найденный баг в Optimism

Хочу тут еще сделать пост о найденном баге, который принес Trust и Obront + 150к в конкурсном аудите. Вот ссылка на сам баг.

Мне пришлось перечитывать его несколько раз, что понять его смысл. Вероятно, вы сможете осознать его быстрее.

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

Так вот, тут расчеты основывали на проверке:

require(gasleft() >= _tx.gasLimit + 20000, "...");

которая была перед вызовом:

bool success = SafeCall.call(
   _tx.target,
   gasleft() - 20000,
   _tx.value,
   _tx.data
);

и все бы ничего, если между ними не было установки переменной: l2Sender = _tx.sender.

Разработчики не учли, что и это тоже требует расхода газа.

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

Если газа не хватало, то активы пользователя навсегда блокировались бы на контракте.

Вот такая маленькая деталь принесла такие большие деньги!

#audit #optimism