Flavoproteins that catalyze reversibly the reduction of carbon dioxide to formate. Many compounds can act as acceptors, but the only physiologically active acceptor is NAD. The enzymes are active in the fermentation of sugars and other compounds to carbon dioxide and are the key enzymes in obtaining energy when bacteria are grown on formate as the main carbon source. They have been purified from bovine blood. EC 1.2.1.2.

Synonyms: NAD-Formate Dehydrogenase Hydrogenlyases, Formate Formate Hydrogenlyases Formate:NAD+ oxidoreductase Dehydrogenase, NAD-Formate Formate Dehydrogenases Formate Dehydrogenase Dehydrogenase, Formate NAD Formate Dehydrogenase EC 1.17.1.9 Dehydrogenases, Formate