sigmastate.basics.DLogProtocol
Helper extractor to match SigmaProp values and extract ProveDlog out of it.
Helper extractor to match SigmaProp values and extract ProveDlog out of it.