ZKP零知识证明硬件加速卡(算力卡) / ZKP-T4000

▶芯片：4 颗 Leo Chip 芯片，专注零知识证明运算加速 ▶存储：64GB LPDDR4 显存 ▶接口：PCIe 4.0 x16 接口（可拆 4 个 x4 通道） ▶ 架构：双插槽、10.8 英寸全高全长设计，ASIC LEO（DPU）架构，运行稳定 ▶ 散热：被动式散热，系统气流控温 ▶ 功耗：300W 热设计功耗，稳定处理高强度任务 ▶ 应用场景：在区块链、隐私计算领域表现突出，支持 Scroll、Zcash、Manta 等项目，快速完成零知识证明生成与验证，保护用户隐私。适用于区块链、隐私计算、身份验证、云计算与大数据、物联网等领域，满足不同场景下的隐私保护、计算加速、安全验证等需求。      

深圳金超云控科技有限公司 2025-07-15

【长春日报】科技可感 人文可触——第63届高等教育博览会打造教育创新成果体验区

第63届高等教育博览会在万众期待中拉开帷幕，1.2万平方米的室外体验区成为创新成果的互动展示舞台，洋溢着蓬勃的朝气与创新的活力。在这里，前沿科技与传统文化交相辉映，智能制造与市民生活紧密相连，游客们开启了一场沉浸式的教育成果体验之旅。

长春日报 2025-05-24

可飞行式电力线路巡线作业机器人

目前国家电网共有线路160万公里，每公里每年需要投入6000元进行巡视、维护。尤其是春夏季，经常有农膜悬挂线路上，造成短路事故。线路也会有断股、瓷瓶碎裂等故障隐患，需要及时发现维修。 本产品可以代替人工进行线路的巡视、维护，并且比人工更细致、更有效率、24小时不间断地工作。产品克服了现有正在研发的机器人的缺点，具有如下优势： 1、飞行式上下线，不需停电即可作业。 2、感应式在线取电，不需要下线充电，可以在线路上长期工作。 3、可以跨越任何线路结构，做到长距离巡视 4、灵活的机械手可以清除农膜等杂物 5、结合物联网管理系统，可以及时获知机器人运行信息及巡视信息。

山东大学 2025-02-08

郑元世教授团队在多智能体网络化系统的鲁棒性和可扩展性上取得新进展

西安电子科技大学机电工程学院多智能体研究中心郑元世教授团队通过引入了智能体及邻居的历史状态，提出了一种基于记忆信息的一致性协议并建立了该协议下显式的一致域。

西安电子科技大学 2025-02-26