Propose a feature to parametrize the verification protocol according to a specific probability. Ex : I want to be sure t 99% that the prover is right.
Propose a feature to parametrize the verification protocol according to a specific probability.
Ex : I want to be sure t 99% that the prover is right.