A protocol for K-multiple substring matching.
Vadym Fedyukovych, Vitaliy Sharapov · 2008
A protocol is introduced to showKcopies of a pattern string are embedded is a host string. Commitments to both strings, and to offsets of copies of the pattern in the host is input of Verifier. Protocol does not leak useful information about strings, and is zero knowledge. 1