its_seed

Member
2
Posts
65
Reputation
Mar 18, 2019
Joined
Recent posts
  • Clever implementation. Lends itself well to complete regression testing / provability. On first inspection, I'm not convinced that the reduced form is correct. By definition, doesn't c31 depend on a30 if b30 = 1?…

  • Wouldn't the stateful 32-bit operations (ROTR, + mod 32) radically complicate creating a reduceable linear polynomial? ROTR I can see since its just assignment in your model, but where do all the carry flags go in + mod…