Changed bytevector from char to unsigned char
Made proofStruct argument
Added function getGroupFromString to Utilities
Added step 5, KeyVerifier