Logical AND between this SigmaProp and other SigmaProp.
Logical AND between this SigmaProp and other SigmaProp. This constructs a new CAND node of sigma tree with two children.
Serialized bytes of this sigma proposition taken as ErgoTree and then serialized.
Logical OR between this SigmaProp and other SigmaProp.
Logical OR between this SigmaProp and other SigmaProp. This constructs a new COR node of sigma tree with two children.
Proposition which can be proven and verified by sigma protocol.