信息安全 安全协议 零知识证明 身份识别技术 网络安全

开放式ZKP OpenZKP - 零知识证明系统的纯 Rust 实现。 概述 项目现实施 :wolf: Stark 协议（详见） 并且有 :sun_with_face: 一个简单的界面（见下面的）， :clamp: 简洁的证明， :racing_car: 体面的表现，和 :globe_with_meridians: 网络组装支持。 话虽如此，它也有许多限制，它有 没有高级语言， 没有全面的安全审计， 没有完美的零知识， 硬编码字段和哈希函数， 和其他一些，有关详细信息，请参阅下面的。 套餐 包裹 版本 描述 utils/ Criterion helpers 对处理器的大小和数量进行基准测试。 用于返回Result::Err类似宏的断言。 环绕记录大量分配的系统分配器。 mmap-vec 替代使用文件支持存储的Vec 。 macros-lib 使用proc_macro2实现的程序宏库 macros-impl proc_macro_hack实现箱 macros-

针对电子调查存在的不少安全问题，如信息欺骗、隐私安全等，构建了一个基于非交互零知识证明（NIZK,non-interactive zero knowledge proofs）的匿名电子调查系统，系统具有自组织、非交互、防重放、更安全等特点。系统采用NIZK协议和Boneh-Boyen签名方案对用户的身份进行非交互式的验证，保证了系统的真实性；系统还采用Pedersen承诺方案和伪随机函数对用户的身份和相关信息进行隐藏，保证了系统的匿名性。安全性分析表明，系统具有抵抗恶意用户并发攻击和匿名性等安全特性。最后，对系统的功能进行了仿真并验证，结果表明，系统能够正确完成各项功能，并有效地保证系统的匿名性与真实性。

libsnark-零知识证明-c++第三方库-所有的子链接的库都完全下载好了，可以放心使用～（可直接使用，添加到linux下的第三方c++库中）

该源代码对应本人博文《zk-SNARKs实战：使用circom和snarkjs实现简单版的Tornado（含源码）》，如要看该文章，可直接在百度中根据题目搜索

我们构建了一个系统，为冯·诺依曼RISC体系结构上的程序执行提供简洁的非交互式零知识证明（zk SNARKs）。该系统由两部分组成：一个用于验证算术电路可满足性的密码验证系统，以及一个用于将程序执行转换为此类电路的电路生成器。与之前的工作相比，我们对这两个组件的设计在功能和效率方面都有所提高，如下所示。我们的电路生成器是第一个通用的：它不需要知道程序，只需要知道它的运行时间。此外，输出电路的大小取决于程序大小（而不是乘法），从而允许验证较大的程序。加密证明系统通过利用新算法和根据协议定制的配对库，提高了证明和验证时间。我们对我们的系统进行了评估，以获得多达10000条指令的程序，运行多达32000个机器步骤，每个步骤都可以任意访问随机存取存储器；并演示了如何执行使用即时编译的程序。我们的证明在80位安全性时长230字节，在128位安全性时长288字节。不管原始程序的运行时间如何，典型的验证时间为5毫秒。

（二）二次剩余问题 1. 共同输入为N,x，其中N为未知因子分解的N=PQ,P,Q为素数，x与N互素，x∈QR(N) 2. 重复执行3-6步「logN」次（N看作二进数表示）。 3. P按等概分布从ZN*中随机选出一个v，计算y=v2(mod N)，P将y发送给V。 4. V 收到P发送的y后，按等概分布随机选择一个σ∈{0,1}，V将σ发送给P。 5. P收到V发送的σ后，计算 ，其中u为x的一个模N的平方根，P将z发送给V。 6. 若V收到P发送的z满足 ，则V输出1（接受），否则V输出0（拒绝）。

fabric-零知识证明-idemix

本文提出了一种全新的基于零知识证明的身份认证机制

=== 用于击键身份验证的零知识协议 通过击键动态实现零知识身份验证的原型，用 Python 实现。 参见pres/pres.tex 。 要创建帐户，请输入名称。 登录： 输入姓名。