Verifiable Random Tools