求助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??