exp-zk branch