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