Closed MrStahlfelge closed 2 years ago
Adding convenience methods to convert from sigmastate SigmaProp to appkit's SigmaProp, and from SigmaBoolean to address.
This is needed when there is a SigmaProp saved in a box register.
Adding convenience methods to convert from sigmastate SigmaProp to appkit's SigmaProp, and from SigmaBoolean to address.
This is needed when there is a SigmaProp saved in a box register.