an implementation of the age encryption spec in hare