adding zmq tx/rx and working on verifiers