草庐IT

zk系列一:zookeeper基础介绍

聊完kafka必不可少的需要再聊一聊zk了,下面开始一、ZK是什么ZooKeeper是分布式应用程序的高性能协调服务。它可以实现分布式的选主、统一配置管理,命名,分布式节点同步,分布式锁等分布式常用功能;它以path节点的形式保存数据,每个节点都可以存储数据,因为ZK只是分布式的协调者而不推荐做数据库,所以需要减少没必要的写操作,确保对外提供的服务高效、快速,因此其节点的最大容量限制为1M;1、ZK的节点类型持久节点即客户端创建后不会随着客户端的下线而消失,会一直存在;临时节点即随着客户端的下线而被删除;这里需要说下的是,zk会给每个客户端创建一个session,且该session是会同步到集

使用 zk-SNARKs 的可编程零知识证明:第 3 部分

之前,我们已经展示了如何使用称为零知识密钥声明证明(ZKKSP)的技术为以下声明构建零知识证明(ZKP)。基本上,它证明了不仅证明者知道给定公钥的密钥,而且还证明知道给定摘要的秘密哈希,而不会泄露秘密。图片来自CoinGeek虽然ZKKSP有效,但它有一个严重的限制:它只适用于一种特定形式的声明,即秘密是给定公钥的私钥,也是给定哈希的原像。目前尚不清楚如何将其扩展为稍作修改的声明,例如,除了作为私钥和原像之外,私钥也是偶数。此外,提出它需要密码学的专利级知识,例如∑协议和承诺方案。使用zkSNARKs的ZKKSP我们通过利用zkSNARKs的可编程性来重新实现ZKKSP。我们简单地将第2部分中

使用 zk-SNARKs 的可编程零知识证明:第 3 部分

之前,我们已经展示了如何使用称为零知识密钥声明证明(ZKKSP)的技术为以下声明构建零知识证明(ZKP)。基本上,它证明了不仅证明者知道给定公钥的密钥,而且还证明知道给定摘要的秘密哈希,而不会泄露秘密。图片来自CoinGeek虽然ZKKSP有效,但它有一个严重的限制:它只适用于一种特定形式的声明,即秘密是给定公钥的私钥,也是给定哈希的原像。目前尚不清楚如何将其扩展为稍作修改的声明,例如,除了作为私钥和原像之外,私钥也是偶数。此外,提出它需要密码学的专利级知识,例如∑协议和承诺方案。使用zkSNARKs的ZKKSP我们通过利用zkSNARKs的可编程性来重新实现ZKKSP。我们简单地将第2部分中