High-assurance cryptographic library.
