Embedding ZK for unit tests