←back to thread

Inverting the Xorshift128 random number generator

(littlemaninmyhead.wordpress.com)
108 points rurban | 1 comments | 31 Aug 25 18:49 UTC | HN request time: 0.199s | source
Show context
viraptor ◴[04 Sep 25 12:47 UTC] No.45126642[source]▶
> I couldn’t believe that z3 was the best one can do

It probably never is, but if you don't care about a nice solution or don't care about anything past "is it possible?", then z3 and smt2 are amazing. You often don't even need to understand the whole problem. "take constraints, give solution" works great in those situations.

replies(1): >>45127175 #
1. Sesse__ ◴[04 Sep 25 13:40 UTC] No.45127175[source]▶
I've tried to use Z3 to find hash collisions in a simple hash, and it was amazingly bad at it. It took forever, whereas just trying random values until some were (multi)colliding was sub-second :-)