@anedroid@mstdn.social The most important properties are more like what @kuba described, and they have to be proven mathematically. It's not really feasible to do this automatically.

The output length is important, but it's usually trivial to change compared to other aspects of the algorithm.