- 博客(11)
- 收藏
- 关注
RSS订阅原创 今日开发中的主要问题
为什么在snarkjs模块中，groth16对象中的fullProve方法或者prove方法返回的{proof={pi_a,pi_b,pi_c},_pubSignals} 作为参数直接输入到groth16的链上验证合约Groth16Verifier的verifyProof函数中，其结果是验证失败的？
2024-07-28 13:12:10
275
原创 zkBridge: Trustless Cross-chain Bridges Made Practical(CCS 2022)论文学习笔记
为了方便不同的应用程序与zkBridge集成，我们采用了模块化设计，将特定于应用程序的逻辑(例如，验证智能合约状态)与核心桥功能(例如，中继块头)分开。图1显示了zkBridge的体系结构和工作流程。桥接功能功能的核心是由区块头中继网络(block header relay net-work 以下简称BHRN𝒞2上的更新合约(updater contract, 以下简称UCBHRN转发𝒞1链上的区块头以及正确性证明而UC验证并接受中继节点提交的证明。
2024-02-29 15:52:01
932
原创 Sumcheck协议学习
求和验证协议对上述计算模型描述了一种这样的场景：证明者想要向验证者证明上述求和函数在b1,b2,....bv的值是H。如果证明者直接将b1,b2,....bv发送给验证者，则验证者需要。次g函数在v个点上的计算时间。这是一个指数验证时间，对于计算资源匮乏的验证者是无法接收这一验证时间。按照我的理解是要站在验证者一方的视角来看整个证明过程。证明者在刚开始发送一个值C给验证者并声称C等于H。,成立然后一直往上推就能成功证明 C是等于真正的值H。，其中g是定义在有限域F上的v元多项式。，这样就消除了前面的假设。
2023-11-05 16:45:09
522
2
原创 On the Size of Pairing-based Non-interactive Arguments 论文学习笔记
Groth16是一个zk-snark方案，是基于配对的zk-snark。证明大小只有仅三个元素，验证时间仅做3次配对运算和l次指数元素，l是statement的大小。
2023-11-03 10:44:18
345
原创 mimc.circom和mimcsponge.circom学习
上述文章的作者是的作者之一。mimc是Minimal Multiplicative Complexity的缩写。
2023-10-26 13:27:33
222
原创 Circom language tutorial with circomlib walkthrough 学习
本文主要学习文章：Circom language tutorial with circomlib walkthrough。基本把大致的内容都学习了一遍并记录在本文。
2023-10-25 20:30:19
264
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人