smart_verify library