ZKP
ZKP是一种实用的零知识证明系统，可提供任意计算的小型且计算效率高的零知识证明。 该系统使我们能够以廉价，快速的验证时间构造简洁的非交互式证明。 下图描述了证明生成系统的拓扑。
编译阶段
程序建设
受信任的设置
证明生成
证明验证
程序建设
程序构建是由其他库开发的，这些库发出标准的JSON协议，该协议描述了门的功能组成，这些门计算加法，乘法和带线运算。 该库可以简单地使用任何其他编译器或库来发出JSON作为其交换格式。
包提供了电路构造语言的参考库。
受信任的设置
可以从命令行运行受信任的设置。 这将生成为特定电路设置所需的一次参数。 设置参数可以随后销毁，也可以在Shamir秘密共享配置中分发。 Shamir共享允许一个n-of-m的设置，其中至少n个参与者必须组合其秘密部分以重建受信任的设置。
zkp setup --prover Groth16 --input
2021-09-21 17:05:12
262KB
1
zk-SNARK是一个快速发展的领域，仅在过去的两个月里，就宣布了数个突破性的zk-SNARK构建。曾经必须的可信设置现在已经是冗余的了，这意味着可以使用任何计算。然而关于这些新的zk-SNARK构建的资料很难找到。在这片文章中，我将比较这些新出现的zk-SNARK构建，并在以后不定期更新。
像zk-SNARK这样的零知识证明有很多应用：Zcash利用零知识证明来保护隐私，Coda和Mir利用零知识证明将整个区块链压缩到只有几K字节，0x和Matter则利用零知识证明将许多交易封装为以太坊
上的单一证明。如果你还不了解零知识证明，可以看一下这里的解释。
相关链接：以太坊 | 比特币 | EOS
2021-09-19 16:33:23
289KB
1
文章目录1. ZooKeeper 是什么？2. ZooKeeper 提供了什么？3. Zookeeper 文件系统4. Zookeeper 怎么保证主从节点的状态同步？5. 四种类型的数据节点 Znode6. Zookeeper Watcher 机制 — 数据变更通知7. 客户端注册 Watcher 实现8. 服务端处理 Watcher 实现9. 客户端回调 Watcher10. ACL 权限控制机制11. Chroot 特性12. 会话管理13. 服务器角色14. Zookeeper 下 Server 工作状态15. 数据同步16. zookeeper 是如何保证事务的顺序一致性的？17.
2021-08-11 11:44:56
172KB
1