A zero knowledge proof system can be used to verify the consistency between input sequences and their alignment, as well as the alignment score, without revealing the actual alignment details.
