-
-
公开(公告)号:CN117540396A
公开(公告)日:2024-02-09
申请号:CN202311470231.4
申请日:2023-11-06
Abstract: 本发明公开了一种非交互式的集合成员关系的函数证明方法,该方法包括:运行初始化算法对证明系统进行初始化,获得公共参考串;在接收证明者的用户密钥生成指令时,基于公共参考串生成证明者的公钥和私钥;根据函数密钥生成算法为验证者生成函数密钥,并根据函数密钥确认算法验证函数密钥是否正确;基于证明者输入的公钥、陈述和证据,通过预设证明算法生成陈述和证据对应的零知识证明;在零知识证明有效且函数密钥正确时,从零知识证明中提取额外的关于证据的函数信息。从而实现了关于证据的函数计算功能,进而在保持非交互零知识证明的安全内核的前提条件下,扩展了传统的非交互零知识证明的适用范围。
-
-