Research Article
Design of a Blockchain-Based Traceability System with a Privacy-Preserving Scheme of Zero-Knowledge Proof
Algorithm 5 Verification algorithm.
| Input: proof, TF | | Output: TP, result | (1) | TDA.subscribe(TA,TDP) | (2) | TraceabilityResult = TDA.verify(ProofAddr, Proof|ProofFeature) | (3) | If TraceabilityResult = = satisfied: | (4) | Finish tracing | (5) | If TraceabilityResult = = not satisfied | (6) | Restart traceability process() | (7) | Return tracing failed |
|