Verification apparatus, multiparty computation verification system, and method and program for verifying multiparty computation executable code

A multiparty computation verification system comprising:

• a verification environment including a plurality of secure computation servers;
• and
• a verification apparatus connected to the verification environment, wherein
• the verification apparatus comprises:
• a processor;
• and
• a memory storing program instructions executable by the processor to implement:
• an acquisition part that acquires a source code for multiparty computation;
• a compilation part that while changing a combination of options settable to a multiparty computation compiler, compiles the source code for each combination of options to generate a plurality of multiparty computation executable codes;
• a verification environment control part that selects at least one multiparty computation executable code from the plurality of multiparty computation executable codes as a verification code and provides the at least one verification code to the verification environment;
• an evaluation part that generates an evaluation index with respect to an execution result of the at least one verification code in the verification environment;
• and
• an output part that selects at least one recommended code from the plurality of multiparty computation executable codes, based on the evaluation index corresponding to the at least one verification code and outputs the selected recommended code.

A method for verifying multiparty computation executable code, the method comprising:

• acquiring a source code for multiparty computation;
• while changing a combination of options settable to a multiparty computation compiler, compiling the source code for each combination of options to generate a plurality of multiparty computation executable codes;
• selecting at least one multiparty computation executable code from the plurality of multiparty computation executable codes as a verification code and providing the at least one verification code to a verification environment of multiparty computation;
• generating an evaluation index with respect to an execution result of the at least one verification code in the verification environment;
• and
• selecting at least one recommended code from the plurality of multiparty computation executable codes, based on the evaluation index corresponding to the at least one verification code and outputting the selected recommended code.

A non-transitory computer-readable medium storing therein a program causing a computer to execute processing comprising:

• acquiring a source code for multiparty computation;
• while changing a combination of options settable to a multiparty computation compiler, compiling the source code for each combination of options to generate a plurality of multiparty computation executable codes;
• selecting at least one multiparty computation executable code from the plurality of multiparty computation executable codes as a verification code and providing the at least one verification code to a verification environment of multiparty computation;
• generating an evaluation index with respect to an execution result of the at least one verification code in the verification environment;
• and
• selecting at least one recommended code from the plurality of multiparty computation executable codes, based on the evaluation index corresponding to the at least one verification code and outputting the selected recommended code.