Blockchain-Based Secure Outsourcing of Polynomial Multiplication and Its Application in Fully Homomorphic Encryption

Algorithm 5

Verification and payment.

(1)	function VERIFICATION AND PAYMENT (feedback, Result, Honest, user, price)
(2)	if feedback ≥ user or (feedback = NULL and |Result| = |Task|) then
(3)	addr[user] ⟵ addr[user]-[Honest]price
(4)	for i = 1⟶|Honest| do
(5)	Rep[nodei] ⟵ Rep[nodei] + ∆c; addr[nodei]⟵addr[nodei] + price
(6)	end for
(7)	else
(8)	stimulate all computations and put dishonest user or nodes into Dishonest
(9)	t ⟵ ∆b[IDishonest]
(10)	for i = 1⟶|Dishonest| do
(11)	Rep[nodei]⟵Rep[nodei] + ∆c; addr[nodei] ⟵ addr[nodei]−∆b
(12)	end for
(13)	for i = 1⟶|Honest|do
(14)	Rep[nodei] ⟵ Rep[nodei] + ∆c; addr[nodei] ⟵ addr[nodei] + t/|Honest|
(15)	end for
(16)	end if
(17)	end function