Проблема при реализации длинной арифметики в конечном поле

[Aoizora]

Я пишу библиотеку 256-битной арифметики для реализации эллиптической криптографии на микроконтроллерах. Вычисления должны проводиться в конечном после, которое, для оптимизации, будет выбрано заранее, и во все вычисления будут заточены под это поле. Таким образом, длинные числа у нас фиксированной длины: допустим, 256 или 128 бит. Для простоты отладки я сейчас реализую 32-битную арифметику.

При реализации возникли проблемы, которые я описал на васме. Надеялся, что там встроенный редактор формул поддерживает LATeX, но вышел облом.

Ссылка на васм

Кому не лень - почитайте и подскажите, в чем проблема