Algorithm 3 Accountability

Input: txid, signature, result/commitment, operating

Output: null

1: if operating is creatAccInst and msg.sender is ACS then

2: create and initialization newAccInst and

3: mapping newAccInst to txid: AccList[txid] $\leftarrow$ signature, ACS_Commitment

4: else if operating is submitCommitment and msg.sender is LA then

5: AccList[txid] $\leftarrow$ LA_commitment

6: else if operating is submitResult and msg.sender is ACS and HASH(ACS_result) equal to ACS_commitment then

7: AccList[txid] $\leftarrow$ ACS_result

8: else if operating is submitResult and msg.sender is LawAuthorith and HASH(LA_result) equal to LA_commitment then

9: AccList[txid] $\leftarrow$ LA_result

10: else if operating is submitSignerCert and msg.sender is ACS and LA_result, ACS_result have been assigned then

11: AccList[txid] $\leftarrow$ signerCert

12: end if