Some more basic checks are needed: * No signing or verifying without keys or message * Checks for lengths and types of parameters in functions * Think about what else could go wrong (usecases)