hchacha20
LOCAL void hchacha20(uint8_t derived_key[32], const uint8_t nonce[16],
hchacha20(derived_key, nonce, key);