update code for addr part2: crypto.rkt