確率的検査可能証明
【かくりつてきけんさかのうしょうめい】
【kakuritsutekikensakanousyoumei】
可能核对证明