Я пытаюсь построить это (ero-Knowledge_proof: Discrete_log_of_a_given_value), но я не понимаю, как реализовать <em>C = g<sup>r</sup>• (g<sup>x</sup>)<sup>-1</sup></em> mod <em>p</em> без фактического вычисления x. Любые указатели будут полезны.
<em>C = g<sup>r</sup>• (g<sup>x</sup>)<sup>-1</sup></em> mod <em>p</em>
x