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