|
搜索
搜 索
高等教育领域数字化综合服务平台
一种流水线架构的零知识证明隐私计算专用加速芯片
1. 痛点问题
数据是数字经济时代的核心生产要素，但数据在自由流通或共享中才能产生更大价值。数据的隐私计算对保护数据安全，实现数据共享与协作应用，破除数据孤岛，提供合法合规的监管抓手，最大化释放数据价值有重大的现实价值。
零知识证明、安全多方计算、差分隐私、同态加密等现代密码学算法具有坚实完善的理论基础，可以提供最为可靠的数据保护方式。例如，零知识证明算法已经在学术界和工业界受到了广泛关注，应用于可信计算、区块链扩容、匿名货币等多种场景。然而，受制于算法的复杂度和硬件的计算能力，现有零知识证明等隐私计算性能仍比明文计算慢两到三个数量级，难以有效实现产业化。
2. 解决方案
本成果提出了一种高效的流水线芯片架构，显著提升了以零知识证明为核心的多种隐私计算和区块链应用中的数据处理性能和效率。本成果以算法为核心、以数据流为参考、以芯片实现为目的，通过全流水设计，优化芯片性能、面积和功耗，多维度解决隐私计算的算力不足问题，致力于成为新基建“数据价值互联网”的基础设施。
本成果所提出的芯片架构包含两个子系统。第一个子系统主要处理有限域上的高次多项式计算。通过利用傅里叶变换分解庞大的计算任务，同时对底层模块进行定制化流水线设计，并利用数据分片、片上转置等技术优化对数据流的控制。第二个子系统主要处理椭圆曲线上的大规模模幂运算。采用计算复杂度最优的Pippenger算法与定制化的数据流和底层流水线控制，并结合实际场景下的系数分布规律采用简单高效的任务分配机制，用最小的控制逻辑实现负载均衡。
清华大学
2021-09-15
天雁TY-TX800图形计算器理科实验室仪器配备
天雁TY-TX800,高中，大学图形计算器学生使用，是高中理科实验室仪器配备目录，可进行四则运算、
函数计算、排列、组合、阶乘、
极坐标、直角坐标、算数运算、
统计、方程、绘制表格、矩阵、
数列、递规、函数图象、算法语
句的输入与运行、用二分法求方
程的似解、定积分与微积分、
概率、方程组求解
高分辨率128*64像素，大屏幕显示、
内含13个存储器、USB接
可与电脑相连升级同步
欢迎来电洽谈： 15323758534 QQ：2793177994 韦先生
深圳市天雁电子有限公司
2021-08-23
学生科学计算器硅胶多功能厂家直销TY82MS-5
一、主要功能
349种计算功能，具有修改、插入、删除功能、快速上下左右翻转查看、多步重现、统计运算、分数运算、表达式编辑、直角坐标与极坐标、微分计算、积分计算、独立存储器运算功能、存储内容显示、双曲和反双曲函数运算功能显示、清除存储器运算功能显示
二、规格参数，重量
112-120g(含电池)，机身尺寸：148mm*80mm*16mm，耗电：0.0002W，电源：一节AAA（7号/SUM-4），电池寿命：约有2年（每天使用一小时），操作温度：0℃-40℃
此款计算器适合中学生使用，符合国标，行标JY/T0382-2007,塑料按键，有保护盖。
欢迎来电洽谈： 15323758534 QQ：2793177994 韦先生
深圳市天雁电子有限公司
2021-08-23
一种粗糙粘结界面粗糙度的临界值计算方法
本发明公开了一种粗糙粘结界面粗糙度的临界值计算方法，包含步骤如下：(1)将一种材料的粘结界面处理平整光滑，然后制作两种材料粘结在一起的轴向受拉试件；(2)测定平整光滑界面状态下两种材料粘结界面的轴向抗拉强度σj；(3)测量两种粘结材料的轴向抗拉强度σ1和σ2，选择两种材料中轴向抗拉强度最小者作为临界值σmin；(4)确定粗糙粘结界面局部凸凹部分的平均间距d；(5)建立粗糙界面的粘结强度σj,c与σj、粗糙界面局部凸凹高差平均值h及粗糙界面局部凸凹部分的间距平均值d的关系；(6)令σmin＝σj,c，求得界面局部凸凹部分的高度临界值hmin；(7)如果实测值h大于hmin，则不会发生粗糙粘结界面剥离破坏，如果实测值h小于hmin，则会发生粗糙粘结界面剥离破坏。
东南大学
2021-04-11
一种分子体积计算方法及两分子的形状比较方法
本技术成果为一种分子体积计算方法及两分子的形状比较方法，旨在解决现有技术计算分子体积时间 较长、精度不高的问题。本技术成果通过使用高斯函数来表达一个分子中的各个原子的体积，同时给予每 个高斯函数一个权重因子（该因子与原子所处的环境相关），不仅降低了分子的三维形状定量比较的计算 复杂度，更提高了计算精度。
中山大学
2021-04-10
一种高速铁路运营期碳减排的环境效益计算方法
一种高速铁路运营期碳减排的环境效益计算方法，属于环境保护领域。根据国家统计局相关文件、中国交通运输统计年鉴、中国铁道年鉴和铁道年统计公报，建立基础数据库；基于层次分析法的数学分析，根据数据库，确定碳减排要素在高铁运营期的权重值；基于高铁耗电与标准煤量的换算，根据数据库，确定高铁碳排放指标；基于影子价格理论，根据数据库，采用超越对数法，计算二氧化碳影子价格。
北京交通大学
2021-04-10
2022年北京边缘计算节点（MEC）设备研制科技攻关“揭榜挂帅”项目指南发布
为进一步支持北京市高级别自动驾驶示范区建设有关工作，强化科技支撑力量，推动边缘计算节点设备的研发应用，北京市科委、中关村管委会会同北京市高级别自动驾驶示范区工作办公室，面向北京市征集边缘计算节点（MEC）设备研制科技攻关项目，本次征集采用“揭榜挂帅”形式进行。
新材料与智能制造科技处、北京新材料和新能源科技发展中心
2022-05-27
基于5G云计算的新冠肺炎免疫检测与智能分析系统
四川大学抗击新冠肺炎疫情应急科研攻关相关项目组联合中国移动，发挥文、理、工、医多学科交叉融合优势，充分利用华西医学科研资源，在“5G医学转化服务平台”和“医学+信息”基础上，研发成功的基于5G云计算的新冠肺炎免疫检测与智能分析系统是全球首个运用新冠肺炎生物芯片，融合物联网、大数据、人工智能、云计算等信息技术的高科技产品，能在不同场景（机场/车站安检、大型活动安检、社区及个人自检等）对目标人群开展免疫检测，并通过人工智能技术进行分析，为新冠疫情的最终解决提供必要技术支撑。该系统实现了检测点的分散式布局与检测资源下沉，能避免集中检测的交叉感染，检测方便快捷，准确率高，数据自动上传国家指定平台。
四川大学
2021-04-11
基于互联网与智能计算的质量远程监控与优化信息化平台
质量远程监控与维护信息化服务平台，包括：质量远程监控系统、工艺操作优化系统、控制系统远程维护、工程管理系统、智能监测预警体系等六个功能模块。其中“质量远程监控与工艺操作优化系统”是整个系统的核心，基于全国设备运行的云数据分析结果通过分析计算给出最优的工艺操作参数，系统人员可远程修改环保装备的底层操作参数和程序，进行远程优化操作与系统软件故障的诊断与排除。通过质量监管模型、成本管理模型和设备管理模型可以组建出一个独立的污染物治理远程运营管理模型，可以快速生成分析管理报表、趋势以及各种复杂计算，以实现污
南京工业大学
2021-01-12
面向两岸热点事件的社交多媒体大数据协同感知与计算
一、项目简介 本项目的研究，旨在揭示阻断网络下的不对称信息传播规律，创立社交多媒体大数据的感知与计算的新理论新方法，开发面向两岸热点事件的监控技术，搭建维护国家安全和两岸稳定的支撑平台。 二、前期研究基础 持续开展在社交媒体挖掘与舆情分析领域的应用研究，在计算
厦门大学
2021-01-12