![](https://img-blog.csdnimg.cn/20201014180756925.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
零知识证明
文章平均质量分 85
对零知识证明进行简单入门
神通广大白居易
这个作者很懒,什么都没留下…
展开
-
【零知识证明】构建snark电路时出现问题解决方案(circom2)
将第一行“pragma circom 2.0.0;原创 2024-08-01 12:04:53 · 933 阅读 · 0 评论 -
【零知识证明】构建第一个zk
circom : 无法加载文件 D:\node\node_global\circom.ps1,因为在此系统上禁止运行脚本。有关详细信息,请参阅 https:/go.microsoft.com/fwl。运行电路前需要先编译,编译命令为【circom 电路文件名 --r1cs --wasm】安装依赖,最开始已经在全局模式下安装过circom和snarkjs,此步可省。编译成功后,运行此电路,通过刚刚生成的js文件进行运行。新建一个json文件,用于给出电路的输入。第五课,circom实践,需要安装。原创 2024-08-26 15:25:05 · 672 阅读 · 0 评论 -
【零知识证明】MiMC哈希函数电路
对于“c”使用ethers中的 BigNumber来生成10个随机的256位数。原创 2024-08-29 12:54:48 · 124 阅读 · 0 评论 -
【零知识证明】Groth16
Groth16是一种用于零知识证明系统中的简洁非交互式知识论证(SNARK)协议,是一种表示计算的方式,在算术电路上操作,使用加法和乘法门。使用配对友好的椭圆曲线来实现高效的证明生成和验证。Groth16的主要特点包括:--1. 简洁性:生成的证明非常小,通常只有几百字节。--2. 高效验证:验证过程计算量小,速度快。--3. 非交互式:证明者只需发送一个证明,无需与验证者进行多轮交互。--4. 通用性:可以用于各种计算问题的零知识证明。--5. 安全性:基于一些标准的密码学假设。原创 2024-08-29 15:26:37 · 624 阅读 · 0 评论