What language is used for zero-knowledge proof?

What language is employed in the development and implementation of zero-knowledge proof systems? Given the complexity and technical nature of these protocols, is there a specific programming language that is favored by developers and researchers in the field? Or is it more about the algorithms and mathematical principles that underpin the proofs, rather than the specific language used to code them?