1回答
我正在尝试验证一个具有go-snark验证功能的ZoKrates proof (相同的bn128参数和G16协议)。但由于某些原因，它不能工作，我怀疑这是一个问题，在点的顺序。在exported contract中，G1点的定义是一个具有两个uint的结构，而G2是一个具有22个uint的结构。(我猜)，但是g2点是颠倒的，我猜所有的bn128点( pk，vk和<
浏览 25提问于2019-12-29得票数 0
1回答
我对ZoKrates和ZK的东西一般都是新手。我对证人的工作方式感到困惑。如果我计算出一个无效的证人，验证者仍然会验证这个证据是正确的。例如(基于ZoKrates "get started")。鉴于这一方案： return a * a == bzokrates compile -iroot.zok
zokrates
浏览 5提问于2021-05-28得票数 0
回答已采纳
1回答
H和证明键pk，并通过生成算法P生成证明prf：最后，验证器使用来自验证程序的证明运行验证函数：如果prf是正确的，则结果是正确的，这从本质上证明了验证者知道证人是他们中的一个吗？另外，表达式"a *a == b“是否等同于上面提到的函数C？我很难理解这些值和表达式是什么。我不知道证明密钥和验证密钥在这个输出中</
浏览 0提问于2020-05-29得票数 5
今天刚刚注意到，ZoKrates终于支持SHA256了！我希望看到它的实际操作，所以我在https://zokrates.github.io/sha256example.html上学习了教程，稍微修改了一下表单。/zokrates compute-witness -a 0 0 0 5 263561599766550617289250058199814760685 65303172752238645975888084098459749904可以订立证人、证明和确认合同
浏览 0提问于2019-01-06得票数 1
2回答
我最近通过zksnarks读到了Ethereum上的私人交易。1) zksnarks会使我的事务数据成为私有数据吗？例如，如果我有一个智能契约，接受一些私人用户数据，比如他们的电话号码，我希望这些信息不能在区块链上被公开查看。
2)是否有任何代码示例可用于将zksnarks集成到您的合同中？
浏览 0提问于2018-01-21得票数 7
2回答
有很多关于利用zk将隐私特性引入的讨论。我的问题是，Ethereum目前如何为zk-SNARKs的验证提供便利，而且，在这方面还计划采取什么进一步的步骤？我知道，拜占庭，第一个大都会硬叉，包括一些改变(见EIP 198，EIP 212 (197)和EIP 213 (196)，并与ELI5 5:拜占庭的变化比较)形式的预编译合同，允许在zk验证中使用的操作我还意识到了ZoKrates，一个独立的程序，它能够将一个程序(似乎是一组有限<e
浏览 0提问于2018-04-17得票数 5
1回答
我试着用Zokrate测试一个非常简单的例子。因此，我在文档中使用了第一个例子，即：def mainfield b) -> (field):return result
在部署了验证器智能契约之后，我尝试测试不同的数字来验证这一点</e
浏览 0提问于2020-12-04得票数 3
回答已采纳
我知道zk接受毫秒的范围来验证语句。但是现在是什么时候来证明。例如，如果我有一个测试There is key s.t H(key)=s的电路
谢谢大家在这个问题上提供帮助，因为我在我的论文中迫切需要一个答案。
浏览 0提问于2018-11-04得票数 3
回答已采纳
我试图看看我是否可以在这样一个场景中使用ZoKrates，即用户可以向验证者证明年龄超过21岁，而不透露出生日期。我认为这是零知识证明的一个很好的用例，但我喜欢理解实现它的最佳方法。/target/release/zokrates generate-proof命令获取可用作verifier.sol输入的输出。由于证据中明确含有"Razi“的证据和合同，可以在不知道实际出生日期<
浏览 2提问于2018-07-31得票数 4
1回答
如何利用虚无缥缈的能力？
、、、
简单的问题，但我在任何地方都找不到答案，…
如何使用Eter的zksnarks功能来执行从一个钱包到另一个 的完全匿名的Eter发送？
浏览 0提问于2018-07-11得票数 3
回答已采纳
2回答
如何在精益中定义偏序集？
、、、
我希望在精益定理证明器中证明。首先，我需要定义像偏序集这样的东西，这样我就可以定义infimum/上界。在精益中是如何做到这一点的？提到了setoid，它们是具有关联的等价关系的类型。
浏览 5提问于2016-03-27得票数 1
回答已采纳
我正在尝试用ZoKrates库进行实验。当我使用./zokrate安装命令时，它会警告我gm16的可塑性。因此，我试图将证明方案改为gm17。但是我一直得到“后端gm17不受支持”的错误。我检查了libsnark的github回购，如果他们有在Mac中激活libsnark的指令。但是，我没有看到任何指示。
提前谢谢你的帮助。
浏览 0提问于2019-07-02得票数 1
1回答
我只是遵循了一个Zokrate的例子。我在编译main.zok时遇到了一个问题。Zokrate找不到标准库。
我读到需要将$ZOKRATES_HOME环境变量设置为stdlib。我为'C:\Users\ansth\ZoKrates\zokrates_stdlib\stdlib'.创建了一个新的系统变量ZOKRATES_HOME并将%ZOKRATES<
浏览 11提问于2020-11-12得票数 0
由于非自反性和传递性，operator<总是满足偏序的定义。严格弱序的定义更为严格，而全序的定义则更为严格。我还阅读了文档中关于严格弱排序的定义：
前三个公理，非自反性，反对称性和传递性，是偏序的定义；等价的传递性是严格弱序定义的必要条件。全序是满足一个更强的条件的排序:等价必须与相等相同。一些主要问题
浏览 7提问于2013-09-13得票数 8
回答已采纳
2回答
基于链外活动的链上沉降
、、、
现在，如果dApp接受这个证明是合法的，那么我希望最终用户在链上得到一定数量的DApp代币奖励。我怎样才能在两个“王国”之间建立这种“可信”的沟通？我需要神谕吗？任何输入都是非常感谢的！
浏览 0提问于2019-03-18得票数 2
回答已采纳
1回答
免责声明:我没有密码学的背景，我想问的一切都是我从过去几天疯狂阅读这个话题中学到的。任何帮助都是非常感谢的。
问:生成一个zkSNARK证明并验证它的计算复杂度是多少？具体而言，在生成和验证一个证明时涉及多少个双线性配对、曲线点加法和标量乘法？这些约束在系统中的数量是线性的吗？这里，我可以看到每个验证都需要验证器来计算11曲线对、3*m标量乘法和3(m+1)曲线点加法。首先，我<e
浏览 0提问于2019-12-12得票数 3
回答已采纳
1回答
最近，新的哈希函数被发明。它们的主要目的是服务于零知识证明系统的需要。我说的是波塞冬-256，斯塔卡德-256等等。参见论文。与现有的哈希函数(如Blake3或SHA3 )相比，这些散列函数的主要优点是什么？这些功能有何不同？
浏览 0提问于2020-05-15得票数 10
回答已采纳
requires sorted(a,0,i-1) ensures sorted(a,0,i) 方法test要求数组a从0到i-1排序，但是Dafny在post条件中报告了一个错误，即a从0排序到i。这不是很明显吗？为什么达夫尼不能证明这一点？
浏览 0提问于2020-08-24得票数 1
从这个链接循环素数群的生成，我们知道如何生成一个素数序组。这说明了为什么质数序组是重要的。
但是为什么模是素数也很重要？在RSA、模N=pq和\operatorname{totient}(N)=(p-1)(q-1)的理论中，如果我们能找到p-1的一个因子p'，那么我们就可以证明存在一个p'序子群？但它不是模素群，N是一个复合数，这样的群有用吗？
浏览 0提问于2019-09-10得票数 0
回答已采纳
2回答
我从不同的来源研究了如果存在哈密顿路径，拓扑排序顺序是唯一的，没有其他序尊重路径的边，如果我们考虑有向图的一个简单循环，则存在哈密顿路径，但拓扑序并不存在，因为每个节点都需要访问它之前的另一个节点。是例外还是其他的东西。提前谢谢。
浏览 3提问于2015-07-02得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
