Check that crypto_box_open detects tampering
spki-sexp-list-limit
spki-sexp->bytes, bytes->spki-sexp
struct exn:fail:contract:racl
Make MITM preventable in port.rkt