可证实的

可证实的

verifiable