Scalable and Soundness Verifiable Outsourcing Computation in Marine Mobile Computing

Table 3

Group operations analysis in each phase of our protocol. In the table, “” represents a paring operation in the protocol; and denote an exponentiation operation in groups and , respectively; similarly, and denote a multiplication operation in group and , respectively; “, ,” respectively, represent the maximum input size and the row’s number in the sharing matrix .

Step	Description	Performer	Operations
(1)	System initialization	Pilot vessel
(2)	Evaluation key generation	Pilot vessel
(3)	Problem generation	Any vessel
(4)	Compute	Cloud
(5)	Verification	Anyone