sigmastate.basics
Helper extractor to match SigmaProp values and extract ProveDHTuple out of it.
(Since version ) see corresponding Javadoc for more information.
Helper extractor to match SigmaProp values and extract ProveDHTuple out of it.