-
本版专家分：0结帖率 0% -
什么是零知识证明？零知识证明需满足什么条件？
-
本版专家分：0
-
公共区块链的隐私将通过使用“零知识证明”得到进一步提升，除了声明的有效性，这个验证方法并不会透露出其他的信息。一个在公共区块链上的开源加密货币促进支付系统，但是发送方、接收方以及交易的金额，这些信息都是保密的。就好比当前能通过网络来构建安全的电子商务交易一样，在未来，在公共区块链上构建私有业务也是有可能的。
- 论文研究-拥有DSA数字签名的零知识证明.pdf
提出一种面向QoS的马尔可夫选择决策算法，通过对算法模型合理化构建过程与异构环境特点的紧密结合、报酬函数的正确定义与求解，可以为用户选择合适的接入网络，最大程度地满足在异构网络环境中用户QoS的长期效益。...
- 基于粗糙集的决策表知识约简研究
索策略只需对条件属性集遍历一次即可得到其代数约简。为提高搜索约简的优度，提出了一种基于数据库系统的启发式信息约简算法。 提出了一种基于Vague模糊熵的Vague集相似度量方法。基于粗糙集方法，讨论了Vague目标...
- 论文研究-并发环境下可否认的环认证协议.pdf
利用基于时限的承诺方案、非交互式零知识证明系统以及环签名算法, 提出了一个可否认的环认证协议。在提出的协议中, 即使环内所有成员的私钥都被俘获, 协议的匿名性仍然保持。与相关的可否认的环认证协议相比, 提出的...
- 论文研究-证据理论与熵值融合的知识约简新方法.pdf
求解决策表的最小约简已被证明是NP-hard问题，在粗糙集和证据理论的基础上提出了一种知识约简的启发式算法。利用粗糙集等价划分的概念给出属性的信息熵，定义每个属性的熵值重要性并由此确定知识的核。引入二分mass...
- 论文研究-改进的支持暂停匿名用户服务的电子现金系统.pdf
改进系统是通过结合自盲化证书和批量零知识证明技术对Brickell等人的EPID（enhanced privacy ID）方案作出扩展而得到的，而且构造过程借鉴了Xi等人将系统的运行时间划分为若干时间周期且为未被废除用户颁发通行证的...
- 论文研究-2-CNF理论的逻辑差.pdf
如何刻画知识库不同版本之间的区别是研究知识库动态更新中的一个重要问题。...由于2-CNF理论的可满足问题的易处理性，证明了2-CNF理论的逻辑差具有范畴性，并设计了一个多项式时间算法计算它们的逻辑差。
- 数据结构（C++）有关练习题
实验一 复习C++有关知识 实验目的: 通过实验掌握下列知识: 1、复习C++有关基本知识； 2、熟悉VC编程、编译和调试环境； 内容及步骤: 编写一个类Complex，定义复数的加法、减法、乘法和除法运算，...
- 图像处理基础（第2版）.[美]Maria Petrou(带详细书签).pdf
本书也是一本介绍图像技术的教材，但它有不同的视点和方式。至少有两点值得指出： ... 4.1.4 h(k, l)需要满足什么条件才能用作卷积滤波器？ 217 B4.1 2-D 理想低通滤波器的单位采样响应是什么样的？...
- 线性代数 李永乐
全书共分六章及一个附录,每章均由知识结构网络图、基本内容与重要结论、典型例题分析选 讲以及练习题精选四部分组成。为的是方便同学们总结归纳以及更好地掌知识间的相互透 与转换。 本书力求在较短的时间内,用不多...
- 论文研究-分析语句命中谱的自动故障定位方法研究.pdf
以锚杆钻机动力头设计的ANSYS分析数据抽取知识加以验证，验证结果获得了动力头设计的3条指导性强关联规则（知识），从而证明该知识获取方法是正确有效的，该方法对其他工程分析软件抽取设计知识具有很好的借鉴作用。
- 论文研究-一种定性定量信息转换的不确定性模型——云模型.pdf
从复杂系统描述与评价的角度来讲，严格、精确的数学描述几乎是不可能做到的,只有将定性定量的知识加以变换与集成才能获得关于系统的定性定量相结合的完整描述。因此，建立一个定性定量的不确定性转换模型，实现语言...
- Java2019年吃香的技术合集
生活的格调在于你的品味， 生命的质量在于你的选择， 时间会证明你的理性和瞻远的眼光。 外行人比的是价格， 内行人比的是价值、比的是品质、比的是知识！ 没有一点点利润，哪来的高大上服务？ 单纯的比价格，...
- 磁共振成像基本知识.pdf
精确分析证明，自旋并不完全与磁场趋向一致，而是倾斜一个角度θ。这样，双极磁体开始环绕磁场进动。进动的频率取决于磁场强度。也与原子核类型有关。它们之间的关系满足拉莫尔关系：ω0=γB0，即进动角频率ω0是...
- 论文研究-集值信息系统基于变精度相容关系的知识约简.pdf
多目标优化问题中，人们往往只是对目标空间的某一区域感兴趣，因此这就需要在这一特定的区域能够得到比较稠密的Pareto解，但传统的方法权值法无法满足这种需求而且不能处理目标空间是非凸的情况，遗传算法虽然是现在...
- 计算复杂性：现代方法.[美]桑杰夫·阿罗拉（Sanjeev Arora）(带详细书签).pdf
6.1.2 线路的可满足性和库克勒维定理的另一种证明 86 6.2 一致线路 87 6.2.1 对数空间一致线路族 87 6.3 纳言图灵机 88 6.4 P/poly和NP 88 6.5 线路下界 89 6.6 非一致分层定理 90 6.7 线路复杂性类的精细...
- 思维导图2018年新xmind8和mindmanager2018通关合集
生活的格调在于你的品味， 生命的质量在于你的选择， 时间会证明你的理性和瞻远的眼光。 外行人比的是价格， 内行人比的是价值、比的是品质、比的是知识！ 没有一点点利润，哪来的高大上服务？ 单纯的比价格，时间...
- 论文研究-不完备形式背景中的知识获取方法.pdf
重点讨论了不完备形式背景中的相容概念以及基于相容...通过参数的设定可以满足不同用户的实际需求，实例证明该方法是有效的。该方法不仅为不完备形式背景的处理提供了一条新的途径，同时也为更深入的研究奠定了基础。
- 华为认证HCNP
HCNA是对企业网络初级知识和技能的认证。证明您具备配置和维护小型企业网络的能力。HCNA认证考查工程师协助设计、部署小型企业网络和基本网络运维的能力。目的是考察企业网络工程师使用华为网络设备搭建小型企业路由...
- 图书馆管理系统毕业设计
系统运行结果证明，本文所设计的图书管理系统可以满足借阅者、图书馆工作人员和高级管理员三方面的需要。 第一章对数据库应用系统开发和图书管理系统进行了简明的介绍，并分析了开发图书管理系统所应进行的工作。 第...
- PCB设计阻抗匹配基本知识
频率在数十兆赫兹以上时，理论计算和仿真已经远远不能满足要求，为了得到适当的最终结果，还必须考虑在实验室中进行的RF测试、并进行适当调谐。需要用计算值确定电路的结构类型和相应的目标元件值。 有很多种阻抗...