proveDlog(h, a)
In ErgoScript (and ErgoTree), proveDlog(a) is defined for the default generator which is fixed in the protocol. If we want to use a different generator h, then we can emulate this using proveDHTuple as follows
proveDlog(h, a) = proveDHTuple(h, h, a, a)
An example of this is in the Stealth Address Contract