sigmastate.basics
Construct a new SigmaBoolean value representing public key of discrete logarithm signature protocol.
Helper extractor to match SigmaProp values and extract ProveDlog out of it.