x, yを個別に所持しているPartyどうしで計算を行い、z=xyの最上位ビットをzを知ることなく取得する
Efficient Multiparty Protocols Using Circuit Randomization | SpringerLink 【技術】Beaver Multiplication Triples とは