В реализации wolfCrypt CMAC существовало целочисленное переполнение, которое можно было использовать для подделки тегов CMAC. Функция wc_CmacUpdate использовала защиту `if (cmac->totalSz != 0)`, чтобы пропустить цепочку XOR в первом блоке (где дайджест — это все нули, а XOR — пустая операция). Однако totalSz имеет значение word32 и обнуляется после 2^28 сбросов блоков (4 ГиБ), в результате чего защита ошибочно отбрасывает активное состояние цепочки CBC-MAC.
Любые два сообщения, имеющие общий суффикс за пределами отметки 4 ГиБ, затем создают идентичные теги CMAC, что обеспечивает нулевую подделку с заменой префикса. Исправление устраняет защиту, делая XOR безусловным; свойство no-op в первом блоке сохраняется, поскольку дайджест инициализируется нулем с помощью wc_InitCmac_ex.
Показать оригинальное описание (EN)
An integer overflow existed in the wolfCrypt CMAC implementation, that could be exploited to forge CMAC tags. The function wc_CmacUpdate used the guard `if (cmac->totalSz != 0)` to skip XOR-chaining on the first block (where digest is all-zeros and the XOR is a no-op). However, totalSz is word32 and wraps to zero after 2^28 block flushes (4 GiB), causing the guard to erroneously discard the live CBC-MAC chain state. Any two messages sharing a common suffix beyond the 4 GiB mark then produce identical CMAC tags, enabling a zero-work prefix-substitution forgery. The fix removes the guard, making the XOR unconditional; the no-op property on the first block is preserved because digest is zero-initialized by wc_InitCmac_ex.
Характеристики атаки
Последствия
Строка CVSS v4.0