Exploring Formal Methods in Zero Knowledge Circuits for Enhanced Security