申请/专利权人：鹏城实验室;暨南大学

申请日：2022-11-02

公开（公告）日：2024-06-21

公开（公告）号：CN115834076B

主分类号：H04L9/32

分类号：H04L9/32

优先权：

专利状态码：有效-授权

法律状态：2024.06.21#授权;2023.04.07#实质审查的生效;2023.03.21#公开

摘要：本申请公开了一种与范式关系的西格玛协议证明验证方法及相关设备，方法包括：证明者将目标项目对应的与范式证明关系转换为有向无环图，基于有向无环图形成承诺，将承诺发送至验证者；验证者接收到承诺后，为证明者生成挑战值；证明者基于挑战值为有向无环图中的各图节点生成响应值，并将生成的所有响应值作为响应发送至验证者；验证者基于承诺及响应对证明者进行验证，以确定证明者是否符合目标项目的项目需求。本申请通过将与范式证明关系转换为有向无环图，并采用西格玛协议对验证者进行验证，这样通过西格玛协议对与范式关系证明进行验证，可以大幅度降低通信复杂度和提高计算效率，从而可以降低与范式关系证明的证明成本。

主权项：1.一种与范式关系的西格玛协议证明验证方法，其特征在于，所述方法包括：证明者将目标项目对应的与范式证明关系转换为有向无环图，基于所述有向无环图形成承诺，并将所述承诺发送至验证者，其中，所述承诺包括所述有向无环图中出度为0的图节点的承诺值；验证者接收到承诺后，为所述证明者生成挑战值并将所述挑战值发送给证明者，其中，挑战值基于与范式证明关系对应的证明验证环境随机生成的；证明者基于所述挑战值为所述有向无环图中的各图节点生成响应值，并将生成的所有响应值作为响应发送至验证者；验证者基于所述承诺以及响应对证明者进行验证，以确定证明者是否符合目标项目的项目需求，其中，所述目标项目为在一个预设片区建设基站的项目，目标项目的项目需求为每预设数量的相邻小区自身有一个基站；其中，所述基于所述有向无环图形成承诺具体包括：对于有向无环图中每个图节点，获取所述图节点的入度和出度；当所述入度为0，所述出度不为0时，为所述图节点随机生成承诺值；当所述入度不为0时，计算所述图节点的第一状态值并选取一随机数，然后基于所述随机数以及所述第一状态值生成承诺值，其中，所述第一状态值为基于所述图节点的前一图节点的承诺值计算得到的；基于计算得到的各图节点的承诺值，确定所述证明者的承诺；所述证明者基于所述挑战值为所述有向无环图中的各图节点生成响应值具体包括：对于有向无环图中的每个图节点，检测是否获知所述图节点的证据，并获取所述图节点的入度和出度；当获知所述图节点的证据时，基于挑战值以及证据计算所述图节点的响应值并保持所述图节点的承诺值不变；当未获知所述图节点的证据时，随机选取所述图节点的响应值，并基于所述响应值更新所述图节点的承诺值；所述验证者基于所述承诺以及响应对证明者进行验证，以确定证明者是否符合目标项目的项目需求具体包括：对于有向无环图中的每个图节点，获取所述图节点的入度和出度；当所述入度为0，所述出度不为0时，基于所述图节点对应的响应值，计算所述图节点对应的候选承诺值；当所述入度不为0时，获取所述图节点对应的第三状态值，并基于所述第三状态值以及所述图节点对应的响应值，计算所述图节点对应的候选承诺值，以得到各图节点的候选承诺；根据各图节点的候选承诺值，确定所述承诺对应的候选承诺；当所述候选承诺与所述承诺一致时，判定所述证明者验证成功；当所述候选承诺与所述承诺不一致时，判定所述证明者验证失败。

全文数据：

权利要求：

百度查询： 鹏城实验室;暨南大学 一种与范式关系的西格玛协议证明验证方法及相关设备

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD