零常识证明，ZKP，是由Goldwasser等人[1]首先提出的，在明码学畛域有着关键的运行，它能够保障证明者在不提供任何有用的相关消息的状况下，使验证者置信一个语句是实在的，零常识证明准许证明者发生一个冗长的证明π，可以压服任何验证者置信......