ZK-使用ZoKrates -证明哈希预图像教程的问题

Question

今天刚刚注意到，ZoKrates终于支持SHA256了！我希望看到它的实际操作，所以我在https://zokrates.github.io/sha256example.html上学习了教程，稍微修改了一下表单。

def main(private field a, private field b, private field c, private field d, field h0Pub, field h1Pub) -> (field):
    h0, h1 = sha256packed(a, b, c, d)
    h0 == h0Pub
    h1 == h1Pub
    return 1

./zokrates compute-witness -a 0 0 0 5 263561599766550617289250058199814760685 65303172752238645975888084098459749904

可以订立证人、证明和确认合同。但是，如果我试图向验证契约(verifyTx函数)发送带有公共输入的证明，则该函数返回false。

使用松露4.1.3部署和调用合同，并在ganache-cli 6.1.0上进行测试。

有什么想法/暗示吗？

Answer 1

问题是，来自input的proof.json没有像其他字段那样以字符串十六进制表示形式。

"input" : [263561599766550617289250058199814760685,65303172752238645975888084098459749904,1] 

我把这个1:1作为verifyTx松露的论据，这导致了一些精度的损失。

在将此转换为字符串十六进制表示之后，一切都很好！

"input":["0xc6481e22c5ff4164af680b8cfaa5e8ed","0x3120eeff89c4f307c4a6faaae059ce10","0x1"]

松露的召唤：

var p = require("./proof.json").proof;
var i = require("./proof.json").input;

verifier.verifyTx(p.A, p.A_p, p.B, p.B_p, p.C, p.C_p, p.H, p.K, i);