什么是有效性证明