首页 > 其他分享 >零知识证明过程中秘密的正确性怎么验证：挑战空间C和一个输出空间Y或z是否在某个合理的范围内

零知识证明过程中秘密的正确性怎么验证：挑战空间C和一个输出空间Y或z是否在某个合理的范围内

时间：2024-07-20 20:55:36浏览次数：14

标签：输出验证证明正确性交互式空间

目录

零知识证明过程中秘密的正确性怎么验证：挑战空间C和一个输出空间Y或z是否在某个合理的范围内

简化的“证明”过程

零知识证明过程中秘密的正确性怎么验证

一、零知识证明的基本原理

二、秘密的正确性验证方法

三、具体实现方式

四、高权威来源信息

非交互式证明证明举例

非交互式证明示例：区块链上的隐私交易验证

非交互式证明过程

高权威来源信息

交互式证明问题或挑战简单举例

交互式证明问题举例：图同构问题的交互式证明

零知识证明过程中秘密的正确性怎么验证：挑战空间`C`和一个输出空间`Y或z`是否在某个合理的范围内

初始化：
- 假设存在一个公开的、易于计算的函数f和一个难以从输出反推输入的“陷门”函数g（在现实中，这些函数通常基于复杂的数学难题，如离散对数、椭圆曲线密码学等）。
- Alice和Bob同意一个公共的随机挑战空间C和一个输出空间Y。
承诺阶段：
- Alice选择一个随机数r（称为盲化因子）

标签：输出,验证,证明,正确性,交互式,空间
From： https://blog.csdn.net/qq_38998213/article/details/140576074

相关文章

在 pydantic 模型中包含非验证方法是一种不好的做法吗？
我正在使用pydantic1.3来验证我正在编写的API的模型。在继承自pydantic.BaseModel的类中包含任意方法是否常见/良好实践？我需要一些与对象，我正在尝试决定是否需要一个“处理程序”类。这些模型正在转换为JSON并发送到我也在编写的一个宁静的服务......
jq验证文件
/*!jQueryValidationPlugin-v1.17.0-7/29/2017*https://jqueryvalidation.org/*Copyright(c)2017JörnZaefferer;LicensedMIT*/!function(a){"function"==typeofdefine&&define.amd?define(["jquery"],a):"object"==......
Android开发 - xmlns命名空间中tools详解
xmlns:tools是什么命名空间tools可以告诉AndroidStudio，哪些属性在运行的时候是被忽略的，只在设计布局的时候有效。比如我们要让android:text属性只在布局预览中有效。tools可以覆盖android的所有标准属性，将android:换成tools:即可。同时在运行的时候就连tools:本身都是被忽略......
什么是ToDesk虚拟屏？轻松实现设备灵活分屏，打造个性化工作空间
很多人虽有使用或了解过能够随时随地解决跨设备、跨系统远程操作问题的ToDesk远程软件，却未必知道除基础的控制外，它的其他功能有哪些。其中，虚拟屏就是这样一项尤为适合各行各业打工人掌握的实用功能！通过巧用它，不仅能够灵活实现设备分屏处理任务，更能收获高级隐私屏，变身炫酷科技达......
堆空间？栈区？不慌！看完就通透！！
前言在进行开发和学习的过程中，我们老是看到或听到“堆空间”，“栈区”，那么他们到底都是什么？有什么关联和区别呢？接下来我们一起看看。什么是堆空间堆空间是内存管理中的一种区域，用于动态地分配内存给程序中的对象。堆空间允许程序在运行时根据需要分配......
基于卷积神经网络（CNNs）的无监督多模态子空间聚类方法
基于卷积神经网络（CNNs）的无监督多模态子空间聚类方法引言基于卷积神经网络（CNNs）的无监督多模态子空间聚类方法是一种前沿技术，专门设计用于处理来自不同模态（如图像、文本、音频等）的高维数据，旨在自动学习表示并聚类这些数据，而无需任何标记信息。这种方法利用CNNs的特征提取能......
鲁棒核稀疏子空间聚类模型（Robust Kernel Sparse Subspace Clustering, RKSSC）
鲁棒核稀疏子空间聚类模型（RobustKernelSparseSubspaceClustering,RKSSC）引言鲁棒核稀疏子空间聚类模型（RKSSC）是一种用于处理高维数据的聚类技术，特别设计用于对抗数据中的噪声和异常值。该模型结合了稀疏表示、核方法和鲁棒优化策略，以在非线性子空间中寻找数据点的稀疏......
深入Redis集群部署：从安装配置到测试验证的完整指南
......
uview小程序弹窗表单验证，阻止表单关闭
设置async-close异步关闭<u-modalref="uModal"v-model="show"width="85%"title="原因"confirm-text="确定":async-close="true"show-cancel-button@confirm="confirm"@cancel="cancel&qu......
HTTPS请求笔记- SSL安全通道验证问题
一直以来，遇到的POST接口请求都是键值对的json格式，最近对接了不少公安，发现body的请求体都是直接放置字符串，虽然postman中会报红，但是仍然可请求成功using(HttpClientHandlerhandle=newHttpClientHandler())using(HttpClienthttpClient=newH......

赞助商

阅读排行