公开(公告)号：CN118487724A

公开(公告)日：2024-08-13

申请号：CN202410187501.9

申请日：2024-02-20

Applicant: 厦门大学 ,  厦门云在科技有限公司

Inventor： 罗晔 ,  祝辉林 ,  游泽平 ,  程晨 ,  魏永增 ,  刘东俊

IPC: H04L1/1867 ,  H04L9/32 ,  H04L9/00

Abstract: 本发明公开了一种基于延迟函数和零知识的存储空间证明方法，包括：存储方根据实际存储空间大小和可验证延迟函数创建表格，在表格上记录可验证延迟函数的输入和输出之间的一一对应关系；验证者随机生成挑战作为可验证延迟函数的目标输出；存储方从表格中寻找与目标输出相对应的目标输入，并发送给验证者；存储方根据目标输入和目标输出生成零知识证明数据，并发送给验证者；验证者根据目标输入和零知识证明数据进行验证，得到验证结果；根据验证结果判定存储方是否具有对应的存储空间。本发明还公开了一种电子设备及计算机可读存储介质，可以证明存储方确实拥有一定大小的存储空间。

公开(公告)号：CN118282661A

公开(公告)日：2024-07-02

申请号：CN202410186791.5

申请日：2024-02-20

Applicant: 厦门大学 ,  厦门云在科技有限公司

Inventor： 罗晔 ,  祝辉林 ,  程晨 ,  游泽平 ,  魏永增 ,  刘东俊

IPC: H04L9/32 ,  H04L9/06

Abstract: 本发明公开了一种基于延迟函数和零知识的存储过程证明方法，包括：证明者生成并公开存储过程证明中所需要的公共参数；根据哈希算法构建待存储数据文件的Merkle树；证明者对待存储数据文件进行分块处理，对每个单元数据块进行封装；验证者随机生成验证数据并发送给证明者，证明者对验证数据进行解封装，生成零知识证明并验证，从而实现短期多次抽检；对封装后的文件进行解封装处理，得到解封装后的文件，并进行长期完整验证；验证者根据验证路径进行验证，根据验证结果来证明所述证明者此刻正在真实存储数据。本发明还公开了一种电子设备和计算机可读存储介质，实现可解码的更实用的存储过程证明方案。

公开(公告)号：CN117938317A

公开(公告)日：2024-04-26

申请号：CN202410169917.8

申请日：2024-02-06

Applicant: 厦门大学 ,  厦门云在科技有限公司

Inventor： 罗晔 ,  祝辉林 ,  游泽平 ,  魏永增 ,  刘东俊

IPC: H04L1/00 ,  H04L9/40

Abstract: 本发明公开了一种可批量验证的时间非对称编码方法，包括：步骤1、存储方生成公共参数并公开；步骤2、验证者将文件发送给存储方；步骤3、存储方根据公共参数对文件进行编码，并将编码结果发送给验证者；步骤4、验证者根据公共参数对编码结果进行验证，得到验证结果；步骤5、验证者根据验证结果判断存储方是否保存有文件，若验证成功，则说明存储方保存有文件；若验证失败，则说明存储方未保存文件。本发明还公开了一种电子设备和计算机可读存储介质，可以准确、快速地验证存储方是否存储有对应的文件。

公开(公告)号：CN116502728A

公开(公告)日：2023-07-28

申请号：CN202210053573.5

申请日：2022-01-18

Applicant: 厦门云在科技有限公司

Inventor： 范晓亮 ,  魏永增 ,  王胜 ,  刘东俊

IPC: G06N20/00

Abstract: 一种基于联邦学习的动态聚合方法和装置，它涉及联邦学习技术领域。它包括至少一个终端设备、中央服务器、连接终端，所述一个终端设备用于接收全局模型，通过正则化训练防止过拟合并上传局部模型，所述中央服务器连接至少一个所述终端设备，用于接收所述各个终端上传的局部模型、计算各个终端的聚合权重，然后根据权重动态聚合局部模型而生成本轮的全局模型，最后下发全局模型至连接终端。本发明有益效果为：一方面，通过在中央服务器端计算各客户端的动态聚合权重，解决了各参与终端的数据非独立同分布问题，提高了联邦学习模型训练效果；另一方面，在客户端的本地训练时加入正则项，防止其在本地数据上过拟合，提升了模型泛化能力。