В Morpho Midnight нашли уязвимость округления, ведущую к ликвидации заёмщика

Исследователь обнаружил high-severity уязвимость округления в колбэках миграции Tenor Labs поверх Morpho Midnight. Из-за mulDivDown при погашении 1 wei долга переносится 0 залога, LTV цели заёмщика уходит в бесконечность и его существующий залог ликвидируется.

• mulDivDown округляет вниз: 1000e18 * 1 / (1000e18 + 1) = 0
• Погашение 1 wei долга переносит 0 залога в целевой рынок
• LTV на целевом рынке становится бесконечным, срабатывает ликвидация
• Исправление: revert при нулевом переносе и repaidUnits > 0