testing zk framework