RandomNonceBox: update cryptography specs with alice and bob boxes