當你知道兄弟祕密是一個ZK最大化者但你無法證明