6.5.1 SPDZ和BMR