To better understand the Secure Hash Algoritm (SHA), use the BitVector module to create an implementation of SHA-512. You can check the correctness of your work by comparing the hash values produced by your code with those produced by Pythons hashlib library.

Your program should have the following call syntax :

sha512.py <name of input file to hash> <name of hashed file (output)>

You can include the round constants K_i in the program file.