函证程序是指注册会计师在审计过程中，通过向第三方发送询证函的方式，以获取与被审计单位财务报表相关的账户余额或其他信息的一种审计程序。这种程序旨在帮助注册会计师验证被审计单位记录的准确性，以及财务报表中相关项目的公允表达。
函证程序的目的：
函证程序的主要目的是为了提高审计证据的相关性和可靠性。通过直接从第三方获取信息，注册会计师可以减少被审计单位管理层提供不实信息的风险。
函证对象和发函过程：
函证是一项直接获取证据的程序，包含函证项目和内容选择、函证填写和准备、发出、跟踪、收回、回函处理等一系列过程。
函证程序的应用：
函证程序不仅可以用于证实存在的信息，还可以用于获取不存在某些情况的审计证据，例如，证实没有签订的合同、没有发生的交易等。通过函证获取的证据可靠性较高，因此，函证是受到高度重视并经常被使用的一种重要程序。
银行函证：
银行函证是注册会计师在获取被审计单位授权后，直接向银行业金融机构发出询证函，银行业金融机构针对所收到的询证函，查询、核对相关信息并直接提供书面回函的过程。银行函证具有证明力强、可靠性高等特点，是注册会计师独立审计的核心程序之一。
函证审计程序的作用：
1. 获取独立的证据：函证审计程序可以向第三方获取独立的证据，减少对被审计单位提供的信息的依赖，提高审计的独立性和客观性。
2. 验证账户余额和其他信息：通过函证程序，注册会计师可以从外部直接取得有关账户明细记录所反映的内容存在以及会计记录真实、正确的证据，还可以揭示虚构的、有争议的或无法收回的应收账款或其他记录。
综上所述，函证程序是审计中一种重要的实质性程序，通过向第三方发送询证函，注册会计师能够获取可靠的外部证据，以支持财务报表的认定，并降低审计风险。