Create DSL big integer from existing java.math.BigInteger
Create DSL big integer from existing java.math.BigInteger
Create DSL's group element from existing org.bouncycastle.math.ec.ECPoint
.
Create DSL's group element from existing org.bouncycastle.math.ec.ECPoint
.
Construct a new authenticated dictionary with given parameters and tree root digest.
Construct a new authenticated dictionary with given parameters and tree root digest.
The generator g of the group is an element of the group such that, when written multiplicatively, every element of the group is a power of g.
The generator g of the group is an element of the group such that, when written multiplicatively, every element of the group is a power of g.
the generator of this Dlog group
Extract sigmastate.AvlTreeData
from DSL's AvlTree
type.
Extract sigmastate.AvlTreeData
from DSL's AvlTree
type.
Extract java.math.BigInteger
from DSL's BigInt
type
Extract java.math.BigInteger
from DSL's BigInt
type
Extract org.bouncycastle.math.ec.ECPoint
from DSL's GroupElement
type.
Extract org.bouncycastle.math.ec.ECPoint
from DSL's GroupElement
type.
Extract sigmastate.Values.SigmaBoolean
from DSL's SigmaProp
type.
Extract sigmastate.Values.SigmaBoolean
from DSL's SigmaProp
type.