comparison checks on binary

[barryWhiteHat]

Take 2 vector of bits (a and b) and confim that vector a > b

This can be done two ways

1. with binary comparisons
2. with safe add where b + c == a since we cannot overflow we know that there is not other way to add to b and get a unless a > b.