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 a circuit. Using a zero knowledge prove system called zkSNARK, a cryptographic proof is generates for the circuit and its input. This proof demonstrates that all inputs are consistent without revealing the actual alignment.

翻译：多序列比对（MSA）是生物信息学中的基础算法。当需要保护比对结果，同时公开输入序列和比对得分等其他信息时，可使用零知识证明。本文提出了一种验证器，用于检查输入序列与比对结果之间、以及比对结果与比对得分之间的一致性。该验证器采用Circom语言编写，并编译为电路。通过名为zkSNARK的零知识证明系统，为电路及其输入生成密码学证明。该证明可在不泄露实际比对结果的情况下，表明所有输入具有一致性。