-
公开(公告)号：CN118487724A
公开(公告)日：2024-08-13
申请号：CN202410187501.9
申请日：2024-02-20
Applicant: 厦门大学 , 厦门云在科技有限公司
IPC: H04L1/1867 , H04L9/32 , H04L9/00
Abstract: 本发明公开了一种基于延迟函数和零知识的存储空间证明方法，包括：存储方根据实际存储空间大小和可验证延迟函数创建表格，在表格上记录可验证延迟函数的输入和输出之间的一一对应关系；验证者随机生成挑战作为可验证延迟函数的目标输出；存储方从表格中寻找与目标输出相对应的目标输入，并发送给验证者；存储方根据目标输入和目标输出生成零知识证明数据，并发送给验证者；验证者根据目标输入和零知识证明数据进行验证，得到验证结果；根据验证结果判定存储方是否具有对应的存储空间。本发明还公开了一种电子设备及计算机可读存储介质，可以证明存储方确实拥有一定大小的存储空间。
-
公开(公告)号：CN118282661A
公开(公告)日：2024-07-02
申请号：CN202410186791.5
申请日：2024-02-20
Applicant: 厦门大学 , 厦门云在科技有限公司
Abstract: 本发明公开了一种基于延迟函数和零知识的存储过程证明方法，包括：证明者生成并公开存储过程证明中所需要的公共参数；根据哈希算法构建待存储数据文件的Merkle树；证明者对待存储数据文件进行分块处理，对每个单元数据块进行封装；验证者随机生成验证数据并发送给证明者，证明者对验证数据进行解封装，生成零知识证明并验证，从而实现短期多次抽检；对封装后的文件进行解封装处理，得到解封装后的文件，并进行长期完整验证；验证者根据验证路径进行验证，根据验证结果来证明所述证明者此刻正在真实存储数据。本发明还公开了一种电子设备和计算机可读存储介质，实现可解码的更实用的存储过程证明方案。
-
公开(公告)号：CN103027030B
公开(公告)日：2014-09-03
申请号：CN201310008967.X
申请日：2013-01-10
Applicant: 厦门大学
Abstract: 智能激光灭蚊机器人，涉及智能机器人。设外壳、工作台、旋转装置、行进装置和控制装置；工作台包括3个传感器、激光头旋转控制伺服电机、上板、中板、用于上板与中板安装的连接杆、用于外壳上部安装定位的长短垫片；旋转装置包括旋转阶梯轴、啮合传动齿轮、套筒、轴承、工作台旋转控制伺服电机、用于支撑旋转工作台的滚轮支撑架、用于将穿过下板的旋转阶梯轴的带螺纹端锁紧的非标垫肩螺母、用于中间外壳安装定位的长短垫片；行进装置包括驱动电机、后轮、万向轮、避障传感器、下板、底板、用于下板和底板安装定位的连接杆、用于下部外壳Ⅰ部分和下板连接定位的垫片、用于下部外壳Ⅰ部分和底板连接定位的垫片。实现智能控制和特定灭蚊虫功能。
-
公开(公告)号：CN103027030A
公开(公告)日：2013-04-10
申请号：CN201310008967.X
申请日：2013-01-10
Applicant: 厦门大学
Abstract: 智能激光灭蚊机器人，涉及智能机器人。设外壳、工作台、旋转装置、行进装置和控制装置；工作台包括3个传感器、激光头旋转控制伺服电机、上板、中板、用于上板与中板安装的连接杆、用于外壳上部安装定位的长短垫片；旋转装置包括旋转阶梯轴、啮合传动齿轮、套筒、轴承、工作台旋转控制伺服电机、用于支撑旋转工作台的滚轮支撑架、用于将穿过下板的旋转阶梯轴的带螺纹端锁紧的非标垫肩螺母、用于中间外壳安装定位的长短垫片；行进装置包括驱动电机、后轮、万向轮、避障传感器、下板、底板、用于下板和底板安装定位的连接杆、用于下部外壳Ⅰ部分和下板连接定位的垫片、用于下部外壳Ⅰ部分和底板连接定位的垫片。实现智能控制和特定灭蚊虫功能。
-
-
-
Search Results
4
records
(took 0.033 seconds)
