started validator spec and impl