Li-Fan Chen says to YSITD
這是我的問題 「A要怎麼驗證B是否有priv_B」