Zero Knowledge Proof for Multiple Sequence Alignment

arXiv:2404.19064v1 Announce Type: new
Abstract: Multiple sequence alignment (MSA) is a fundamental algorithm in bioinformatics. In a situation when the alignment might need to be protected while revealing the other information such the input sequences and the alignment score, zero knowledge proof can be used. In this paper, a validator checks the consistency between the input sequence and the alignment, and between the alignment and the alignment score. The validator is written in Circom language which will be compile into …

algorithm alignment arxiv can consistency cs.cr information input knowledge proof score zero knowledge zero knowledge proof