How HIBT implements zk

How HIBT implements zk