Li-Fan Chen
says to
YSITD
假設 A 要驗證 B 有沒有 priv_b 好了