|
搜索
搜 索
高等教育领域数字化综合服务平台
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
一种流水线架构的零知识证明隐私计算专用加速芯片
1. 痛点问题
数据是数字经济时代的核心生产要素，但数据在自由流通或共享中才能产生更大价值。数据的隐私计算对保护数据安全，实现数据共享与协作应用，破除数据孤岛，提供合法合规的监管抓手，最大化释放数据价值有重大的现实价值。
零知识证明、安全多方计算、差分隐私、同态加密等现代密码学算法具有坚实完善的理论基础，可以提供最为可靠的数据保护方式。例如，零知识证明算法已经在学术界和工业界受到了广泛关注，应用于可信计算、区块链扩容、匿名货币等多种场景。然而，受制于算法的复杂度和硬件的计算能力，现有零知识证明等隐私计算性能仍比明文计算慢两到三个数量级，难以有效实现产业化。
2. 解决方案
本成果提出了一种高效的流水线芯片架构，显著提升了以零知识证明为核心的多种隐私计算和区块链应用中的数据处理性能和效率。本成果以算法为核心、以数据流为参考、以芯片实现为目的，通过全流水设计，优化芯片性能、面积和功耗，多维度解决隐私计算的算力不足问题，致力于成为新基建“数据价值互联网”的基础设施。
本成果所提出的芯片架构包含两个子系统。第一个子系统主要处理有限域上的高次多项式计算。通过利用傅里叶变换分解庞大的计算任务，同时对底层模块进行定制化流水线设计，并利用数据分片、片上转置等技术优化对数据流的控制。第二个子系统主要处理椭圆曲线上的大规模模幂运算。采用计算复杂度最优的Pippenger算法与定制化的数据流和底层流水线控制，并结合实际场景下的系数分布规律采用简单高效的任务分配机制，用最小的控制逻辑实现负载均衡。
清华大学
2021-09-15
知识库建设与知识管理技术
知识是经验的积累，是智慧的结晶。企业知识是企业团队的共同财产。为企业不断的进步和发展，必须要管理好企业的各项资源。其中无形资产中的知识管理是一项重要的管理内容。根据人类认知结构，知识是由构造人类知识不同方面的模型组成。我们将企业各种不同类型的知识作为知识模型，基于知识构建的思想来获取和应用各类知识。利用知识工程、机器学习与自然语言处理等技术为知识库的构造提供理论与技术支撑。从企业知识内容入手，以知识结构与知识的组织为主线，基于本体论对知识进行描述，并建立知识之间的关联关系，以满足领域知识的表达、共享、重用，实现知识组织和推理，提供了动态与静态知识获取技术以及知识模板。 在知识库中应用本体来描述行业领域概念以及概念术语之间的关系，即知识，形成知识结构，完成行业知识库的构建。主要技术包括：1）基于模型的知识构建技术，以模型为核心来组织、管理、共享与应用知识体系；2）知识分类、知识结构与知识结构模型；2）基于本体的知识结构模型，基于本体的知识库构建与管理技术；3）依据知识复用的原则，建立了基于模板与模型的知识复用技术；4）基于模型的知识获取与描述技术；5）知识库系统的设计与实现技术。 本技术可用于通信、能源、交通、政府、国家中医药管理局、医疗机构、冶金行业、石油石化等行业。
北京科技大学
2021-04-11
基于Web技术的汽车零部件产品知识数据库系统
汽车零部件产品知识数据库系统主要用于汽车产品的自主开发设计。系统内可储存相关成熟产品的设计图纸、结构图片、及设计知识。为设计师进行新产品设计开发提供查询和参考。系统可运用关键词或图号或所属关系进行模糊查询，调用内存中的设计图纸、结构图片、及设计知识。实现技术支持的目标。 系统可实现权限管理，即根据不同的权限进行分级授权管理和存储调用AutoCAD、Pro/E、UG、CATIA等多种绘图软件绘制的工程视图，以及对相关图片、表格和测试报告等资料。并设计接口以兼容和调用采用其它设计计算模块，使其能有效的进行二次应用与管理操作
上海理工大学
2021-04-11
健康知识挂图
产品详细介绍
中学健康知识挂图
采用铜版纸胶印，共40幅，规格为：78x55厘米。国家教委中小学教材审定委员会审查通过，符合九年义务教育中学教学标准。
小学健康知识挂图
采用铜版纸胶印，共40幅，规格为：78x55厘米。国家教委中小学教材审定委员会审查通过，符合九年义务教育小学教学标准。
沧州冠杰体育用品有限公司
2021-08-23
知识付费SAAS系统
创客匠人专注为教育培训讲师、机构等内容创业者提供：知识付费、营销获客、直播互动、数据分析、效率提升、品牌传播、商业变现为闭环的一整套互联网解决方案。公司产品矩阵包括：教育SAAS、直播SAAS、企训SAAS、内容SAAS等。
厦门创匠信息科技股份有限公司
2021-01-22
国务院关于涉外知识产权纠纷处理的规定
《国务院关于涉外知识产权纠纷处理的规定》已经2025年2月21日国务院第53次常务会议通过，现予公布，自2025年5月1日起施行。
中国政府网
2025-03-20
基于HybridUML和定理证明的CPS自适应性验证方法
本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证。
东南大学
2021-04-10
门户及知识智能管理系统
1 成果简介Portaligent 系统涉及内容管理、多媒体管理、内容采集、内容加工、网站运行管理、网站交互功能管理以及企业内外门户、电子商务等多方面的内容。 KMS 为门户型网站提供了一个综合技术开发和运营维护平台。2 技术指标Portaligent 具有：站点管理、栏目管理、文档管理、模板管理、发布管理、会员管理、广告管理、财务结算、统计管理、系统管理等功能。 构件化定制开发，节省实施周期 50%以上。3 应用说明政府、企业内外网宣传系统，企业电子商务系统等。4 效益分析随着互联网的广泛应用，政府及企业面对不断增加的信息内容管理的问题越来越突出。本系统就是利用智能化的手段和构件化的组合方面，为政府和企业提供一种快速构建 Web内容乃至知识管理手段，缩短开发周期，提高管理效率，节省开发成本。目前本系统需求较大，市场前景十分广阔。5 合作方式定制开发、授权代理、联合开发。
清华大学
2021-04-13
数字切片知识库系统
该系统采用B/S架构设计，利用扫描系统把传统玻璃切片进行扫描、拼接，生成一张全视野的数字切片，实现数字切片的浏览、存储和管理，可进行固定倍率或无级变倍观察，系统包含有七大类1300张以上切片。
江苏省捷达科技发展有限公司
2021-02-01