_dissection
A step in the Challenge protocol in which two challenging parties interactively narrow down their disagreement until they reach a One Step Proof.
A step in the Challenge protocol in which two challenging parties interactively narrow down their disagreement until they reach a One Step Proof.