Какой язык используется для доказательства с нулевым разглашением?

Какой язык используется при разработке и внедрении систем доказательства с нулевым разглашением? Учитывая сложность и техническую природу этих протоколов, существует ли конкретный язык программирования, который предпочитают разработчики и исследователи в этой области? Или дело больше в алгоритмах и математических принципах, лежащих в основе доказательств, а не в конкретном языке, используемом для их кодирования?