A Blockchain-Based Trustworthy Access Control Scheme for Medical Data Sharing

Algorithm 3

Verify the zero-knowledge proof.

Input: The Verification key ;

    The public key of the doctor ;

    The digital signature of the doctor ;

    The proof information of the

    hospital ;

    The proof information of the

    doctor ;

Output: The verified information of proof;

1: / Verify the digital signature of the doctor/

2: / Verify the zero-knowledge proof of the doctor/

3: / Compare relevant information/

    if (and) then

4:    = 

5:   / Return validation result/

        if = 1 then

6:    return;

7:   return;