definitions for Stanford Javascript Crypto Library