sigmastate.basics
common interface for both Prover and Verifier
(Since version ) see corresponding Javadoc for more information.
common interface for both Prover and Verifier