Li-Fan Chen
says to
YSITD
C 就要求 B 證明 B 有沒有 priv_B