- 博客(4)
- 收藏
- 关注
原创 Sin7Y 研究人员对话——关于 zkEVM 的思考
本文为Sin7Y发布的第一篇对话记录,我们邀请了匿名业内专家,以问答的形式讨论了一些关于以太坊虚拟机亟待解决问题的想法和方向。问:如何证明Prover使用了正确的合约逻辑?答:你需要在链上调用数据,这将定义“制定合约”,之后我们需要从存储中加载该合约的字节码,并确保这些是状态验证传递给以太坊虚拟机证明的操作码。问:那么过程应该是这样的:• Prover 从存储中加载合约字节码;• 在状态证明中检查字节码,然后传递给以太坊虚拟机证明但是如何确保状态证明和 zkEVM 证明中使用的字节码...
2021-09-28 11:50:39 6810
原创 Sin7Y团队深度解读:Plookup 在 ZKEvm设计中的应用
“实现 ZKEvm 是一个伟大的工作,也是一个巨大的工程,不是一个单独的团队就能正确实现的,这需要行业中多个伟大团队的协作与努力。由于没有成熟的方案参考,因此,大家都是在探索的过程中去实现它,Sin7Y 团队发表的相关内容,仅代表我们对 ZKEvm 方案的理解,不保证完全正确,我们真诚的希望且渴望能和专业的人士进行交流,互相学习改进,一起推动这项伟大工程的实现。”————Sin7Y 团队在文章ZKEVM 设计概览中,我们初步分析对比了 Hermez、ZKsync 和 Appliedzkp 等团队的..
2021-09-14 16:14:25 228
原创 Sin7Y团队深入研讨——几种多项式承诺方案
希望通过本文的介绍,让大家对这几种主流的PC方案有更全面的认识,然后在实际的应用过程中,选择最合适的PC方案。在学习各种零知识证明算法的过程中,经常会看到这样一个 Cryptographic Primitives:Polynomial Commitment(PC)。先看一下 Commitment 的定义:一个 Committer 提供一个 Public Value,这个 Value 称为 Commitment,是与原始的 Message 绑定(即 Computation Binding),且不暴.
2021-09-07 16:21:37 821
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人