期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
用Spi演算描述密码学安全协议
1
作者
曾小平
孙永强
《上海交通大学学报》
EI
CAS
CSCD
北大核心
1998年第10期98-101,共4页
Ｓｐｉ演算通过在Ｐｉ演算中增加描述密码学协议的原语支持对基于共享密钥的安全协议的描述，通过测试等价Ｓｐｉ演算简化了对所描述的安全协议的验证．它为密码学安全协议系统的描述和验证提供了坚实而有效的支持．
关键词
SPI演算
密码学
安全
协议
计算机
安全性
在线阅读
下载PDF
职称材料
零知识证明硬件加速研究综述
2
作者
谢明东
郝萌
+2 位作者
杨洪伟
何慧
张伟哲
《信息安全研究》
CSCD
北大核心
2024年第7期594-601,共8页
零知识证明(zeroknowledge proofs,ZKP)是一种允许证明者向验证者证明某一陈述正确性而无需泄露任何其他信息的密码学协议.主要介绍了零知识证明的加速研究,尤其关注了基于二次算术程序(QAP quadratic arithmetic program)和内积证明(in...
零知识证明(zeroknowledge proofs,ZKP)是一种允许证明者向验证者证明某一陈述正确性而无需泄露任何其他信息的密码学协议.主要介绍了零知识证明的加速研究,尤其关注了基于二次算术程序(QAP quadratic arithmetic program)和内积证明(inner product argument,IPA)的ZKP.研究表明,零知识证明的计算效率可以通过硬件加速技术显著提高,包括使用GPU,ASIC,FPGA等.首先介绍了零知识证明的定义与分类及目前零知识证明应用所遇到的困难.其次详细讨论了不同硬件系统的加速方法、实现原理及其相对于传统CPU的性能提升.例如,cuZK和GZKP利用GPU实现了多标量乘法(multiscalar multiplication,MSM)和数论变换(number theoretic transform,NTT),而PipeZK,PipeMSM,BSTMSM则通过ASIC和FPGA加速这些计算过程.此外,也提到了零知识证明在区块链中隐藏交易细节等方面的应用案例,如ZCash的隐秘交易.最后,提出了未来研究的方向,包括加速更多类型的ZKP和将硬件加速应用到实际的应用场景中,以解决效率低下问题,推动零知识证明技术的广泛应用.
展开更多
关键词
零知识证明
硬件加速计算
并行计算
密码学协议
区块链隐私
在线阅读
下载PDF
职称材料
题名
用Spi演算描述密码学安全协议
1
作者
曾小平
孙永强
机构
上海交通大学计算机科学与工程系
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
1998年第10期98-101,共4页
文摘
Ｓｐｉ演算通过在Ｐｉ演算中增加描述密码学协议的原语支持对基于共享密钥的安全协议的描述，通过测试等价Ｓｐｉ演算简化了对所描述的安全协议的验证．它为密码学安全协议系统的描述和验证提供了坚实而有效的支持．
关键词
SPI演算
密码学
安全
协议
计算机
安全性
Keywords
Pi calculus
Spi calculus
shared key
cryptographic protocol
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
零知识证明硬件加速研究综述
2
作者
谢明东
郝萌
杨洪伟
何慧
张伟哲
机构
哈尔滨工业大学网络空间安全学院
哈尔滨工业大学(深圳)计算机科学与技术学院
鹏城实验室新型网络研究部
出处
《信息安全研究》
CSCD
北大核心
2024年第7期594-601,共8页
基金
国家重点研发计划项目(2023YFB4503205)
国家自然科学基金青年基金项目(62202123)
国家自然科学基金联合重点项目(U22A2036)。
文摘
零知识证明(zeroknowledge proofs,ZKP)是一种允许证明者向验证者证明某一陈述正确性而无需泄露任何其他信息的密码学协议.主要介绍了零知识证明的加速研究,尤其关注了基于二次算术程序(QAP quadratic arithmetic program)和内积证明(inner product argument,IPA)的ZKP.研究表明,零知识证明的计算效率可以通过硬件加速技术显著提高,包括使用GPU,ASIC,FPGA等.首先介绍了零知识证明的定义与分类及目前零知识证明应用所遇到的困难.其次详细讨论了不同硬件系统的加速方法、实现原理及其相对于传统CPU的性能提升.例如,cuZK和GZKP利用GPU实现了多标量乘法(multiscalar multiplication,MSM)和数论变换(number theoretic transform,NTT),而PipeZK,PipeMSM,BSTMSM则通过ASIC和FPGA加速这些计算过程.此外,也提到了零知识证明在区块链中隐藏交易细节等方面的应用案例,如ZCash的隐秘交易.最后,提出了未来研究的方向,包括加速更多类型的ZKP和将硬件加速应用到实际的应用场景中,以解决效率低下问题,推动零知识证明技术的广泛应用.
关键词
零知识证明
硬件加速计算
并行计算
密码学协议
区块链隐私
Keywords
zeroknowledge proofs
hardware accelerated computing
parallel computing
cryptographic protocols
blockchain privacy
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
用Spi演算描述密码学安全协议
曾小平
孙永强
《上海交通大学学报》
EI
CAS
CSCD
北大核心
1998
0
在线阅读
下载PDF
职称材料
2
零知识证明硬件加速研究综述
谢明东
郝萌
杨洪伟
何慧
张伟哲
《信息安全研究》
CSCD
北大核心
2024
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
