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