|
演讲简介
零知识证明是指证明者在不透露任何有效信息的情况下,向验证者证明论断的正确性。公平交易是指在无可信第三方的场景中实现可以保障买卖双方权益的公平交易协议。提出了一个零知识有条件支付(ZKCP)的改进方案——ZKCP+;对底层零知识证明算法相较于 Groth16 方案提出了改进方案 CLINK;并在可验证数据库,神经网络推断的零知识证明等应用场景下进行了大规模实验。
|
零知识证明是指证明者在不透露任何有效信息的情况下,向验证者证明论断的正确性。公平交易是指在无可信第三方的场景中实现可以保障买卖双方权益的公平交易协议。提出了一个零知识有条件支付(ZKCP)的改进方案——ZKCP+;对底层零知识证明算法相较于 Groth16 方案提出了改进方案 CLINK;并在可验证数据库,神经网络推断的零知识证明等应用场景下进行了大规模实验。