1. 引言

开源代码见：

• https://github.com/spalladino/zkp-tests

对比了分别使用：

• Iden3团队的circom语言（易于学习ZKP）
• ZCash团队的Halo2框架
• Aztec团队的Noir语言（最友好）

编写石头剪刀布游戏的ZKP证明：

石头剪刀布游戏体验网站为：

• https://adventofcode.com/2022/day/2

基本流程为：

• The private inputs are the arrays of choices by each player on each round, where 0 is rock, 1 is paper, and 2 is scissors
• The public value is the total score achieved by the second player
• The proof proves that the public score corresponds to the private inputs, and that all inputs are valid

参考资料

[1] twitter——分别用Circom/Halo2和NoirLang语言写石头剪刀布游戏ZKP