回答情况：
提问时间：
问题标签：
我对ZoKrates和ZK的东西一般都是新手。我对证人的工作方式感到困惑。如果我计算出一个无效的证人，验证者仍然会验证这个证据是正确的。例如(基于ZoKrates "get started")。鉴于这一方案： return a * a == bzokrates compile -iroot.zokzokrates compute-wit
浏览 5修改于2021-05-28得票数 0
回答已采纳
我正在尝试验证一个具有go-snark验证功能的ZoKrates proof (相同的bn128参数和G16协议)。但由于某些原因，它不能工作，我怀疑这是一个问题，在点的顺序。
浏览 25提问于2019-12-29得票数 0
今天刚刚注意到，ZoKrates终于支持SHA256了！我希望看到它的实际操作，所以我在https://zokrates.github.io/sha256example.html上学习了教程，稍微修改了一下表单。/zokrates compute-witness -a 0 0 0 5 263561599766550617289250058199814760685 65303172752238645975888084098459749904
浏览 0修改于2019-01-06得票数 1
我正在使用"ZoKrates"(0.4.6) toolbox in "docker"(18.09.2) at Ubuntu 18.04“，在编译代码时，我得到了以下内容：编译test.code
线程'main‘在一个名为Result::unwrap()的Err值上惊慌失措: Os {代码: 2，种类: NotFound
浏览 2修改于2019-05-14得票数 0
我试图看看我是否可以在这样一个场景中使用ZoKrates，即用户可以向验证者证明年龄超过21岁，而不透露出生日期。我认为这是零知识证明的一个很好的用例，但我喜欢理解实现它的最佳方法。/target/release/zokrates generate-proof命令获取可用作verifier.sol输入的输出。
浏览 2修改于2018-07-31得票数 4
我需要你帮我用佐克拉底语构造数据。Res数据是这样的(不是固定的，键可以变化，但将与Attr相同)。 age: "21", gender: "male"}构建Attr的最佳方式是什么，这样我就可以将它们与Res.进行比较。这两个数据将以zokrate脚本的私有和公共输入方式传递。
基本上，我
浏览 0修改于2022-12-06得票数 1
我试图使用从keccak256获得的散列(应用于一个数字或输入)，并将其从ZoKrates (或其他函数)中使用到sha256packet中，以便将其与在Zokrate中获得的用于相同输入的哈希进行比较
浏览 0修改于2019-06-28得票数 1
我读到需要将$ZOKRATES_HOME环境变量设置为stdlib。我为'C:\Users\ansth\ZoKrates\zokrates_stdlib\stdlib'.创建了一个新的系统变量ZOKRATES_HOME并将%ZOKRATES_HOME%添加到系统变量的Path
浏览 11修改于2020-11-13得票数 0
我试图理解我的zokrates代码，以及它是如何按照这篇文章逐步处理zk的。~/zokrates setupzokrates@0a96d8e9989b:~/code/square$ ~/zokrates setup
Performing setupSee zokrates.github.io/reference/proving_schemes.html#g16-malleability
浏览 0提问于2020-05-29得票数 5
我试着遵循本教程- https://zokrates.github.io/sha256example.html
我构建了zokrates，并将源代码复制到了docker，然后尝试编译代码。
浏览 0提问于2019-02-13得票数 0
我正在尝试用ZoKrates库进行实验。当我使用./zokrate安装命令时，它会警告我gm16的可塑性。因此，我试图将证明方案改为gm17。但是我一直得到“后端gm17不受支持”的错误。
浏览 0提问于2019-07-02得票数 1
结果的十六进制表示如下图所示：但是，我无法在我的ubuntu18.04命令行上复制这个命令：
(venv3.6) ~/zokrates_tutorial$ echo 5 | sha256sum
浏览 0提问于2019-09-12得票数 1
回答已采纳
我还意识到了ZoKrates，一个独立的程序，它能够将一个程序(似乎是一组有限的程序)编译成另一个程序，它可以生成一个非交互式的零知识证明和一个智能契约来进行在线验证。
浏览 0修改于2018-04-19得票数 5
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号