is "cm" bitness ensured?

[kobigurk]

1. It's initialized here: https://github.com/barryWhiteHat/miximus/blob/7ef365fb818492a2e6c4ec06956f70baf20cf76b/src/main.cpp#L95
2. Witnessed here:https://github.com/barryWhiteHat/miximus/blob/7ef365fb818492a2e6c4ec06956f70baf20cf76b/src/main.cpp#L169
3. Thought maybe your unpacker does it, but it's called with false: https://github.com/barryWhiteHat/miximus/blob/7ef365fb818492a2e6c4ec06956f70baf20cf76b/src/main.cpp#L141

I'd ideally print the constraints related to these variables to see if there are any related to bitness, but didn't have the time.

[barryWhiteHat]

Hi Kobi, Thanks for taking a look. That is definitely an issue. Made a fix for it.

https://github.com/barryWhiteHat/miximus/pull/27

[barryWhiteHat]

Another issue https://github.com/barryWhiteHat/semaphore/issues/8