6.3.3 证明机制