8.3.4 SPDZ