pub(crate) fn sign_hash_words( cx: &mut SymCx, private_key: U256, digest: U256, ) -> Result<Vec<SymExpr>, SymbolicError>