10 Zokrates零知识如何证明

求助Zokrates相关问题,小白不懂,有没有大佬?

代码

我有以下代码,这个代码主要用来判断输入的a是否大于b,如果a大于b则输出1,否则输出0

def main(private field a, private field b) -> field {
    return if a > b {
        1
    } else {
        0
    };
}

然后我通过以下命令生成proof、验证proof。

zokrates compute-witness -a 1 2

zokrates generate-proof

zokrates export-verifier

zokrates verify

问题

我在compute-witness的时候输入的参数是a=1, b = 2,程序输出的是0,生成的proof也能验证通过,那么我要如何来判断证明者输入的a是大于b的呢? 也就是说不管证明者输入的参数是什么,生成的proof都能通过验证,怎么能够验证证明者输入的a是否大于b??

请先 登录 后评论

1 个回答

石头
请先 登录 后评论
  • 0 关注
  • 1 收藏,1948 浏览
  • 纨绔 提出于 2023-12-22 14:11