What is the current state of the art zero knowledge proof compiler ? I need one that can minimally handle double exponentiation by a known value E.g.
$$Pok\{(\alpha):h=g^{\alpha^b}\} $$ where b, g and h are public but $\alpha$ is secret.
Preferably it should be able to handle double discrete log proofs E.g.
$$Pok\{(\beta):h=g^{a^\beta}\} $$ where a, g and h are public and $\beta$ s secret.
ZKPDL does not handle at least the later case.
