Testing zk framework