sigmastate
Basic trait for leafs of crypto-trees, such as ProveDlog and ProveDiffieHellman instances
Unique id of the node class used in serialization of SigmaBoolean.
Size of the proposition tree (number of nodes).
Basic trait for leafs of crypto-trees, such as ProveDlog and ProveDiffieHellman instances