Method get_binary_input_file

Compiler/program.py:675–681

(self, player)

        self.public_input_file.write("%s\n" % str(x))

    def get_binary_input_file(self, player):
        key = player, 'bin'
        if key not in self.input_files:
            filename = 'Player-Data/Input-Binary-P%d-0' % player
            print('Writing binary data to', filename)
            self.input_files[key] = open(filename, 'wb')
        return self.input_files[key]

    def set_bit_length(self, bit_length):
        """Change the integer bit length for non-linear functions."""