start working on SHA_equiv and pad-64 proof. need to work with mods. also moved some files into other/