期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
使用输出分组和电路可满足性的等价性验证算法
被引量：
3
1
作者
郑飞君
严晓浪
+2 位作者
葛海通
杨军
卢永江
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005年第11期2484-2488,共5页
介绍了一种使用电路可满足性解算器的组合电路等价性验证算法.对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验证问题转化为包含若干个组的电路可满足性问题,继而使用电路解算器解决问题.同时,注意各个子问题间的有用...
介绍了一种使用电路可满足性解算器的组合电路等价性验证算法.对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验证问题转化为包含若干个组的电路可满足性问题,继而使用电路解算器解决问题.同时,注意各个子问题间的有用隐含信息的共享,减小了SAT推理的搜索空间.实验结果表明,该算法是实用有效的.
展开更多
关键词
等价
性
验证
输出分组
电路可满足性
在线阅读
下载PDF
职称材料
简洁非交互零知识证明综述
被引量：
18
2
作者
李威翰
张宗洋
+1 位作者
周子博
邓燚
《密码学报》
CSCD
2022年第3期379-447,共69页
区块链、隐私计算、人工智能等技术的快速发展,极大地推动了对零知识证明尤其是简洁非交互零知识证明的研究.本文从通用构造方法、底层技术原理、协议性能表现、安全性等角度深入研究了现有的简洁非交互零知识证明.首先,总结了简洁非交...
区块链、隐私计算、人工智能等技术的快速发展,极大地推动了对零知识证明尤其是简洁非交互零知识证明的研究.本文从通用构造方法、底层技术原理、协议性能表现、安全性等角度深入研究了现有的简洁非交互零知识证明.首先,总结了简洁非交互零知识证明的通用构造方法.其次,分别基于信息论安全证明和底层关键技术对现有的简洁非交互零知识证明进行分类并提炼了核心思路,深入分析了典型协议的实现原理.再次,辨析了各类协议的性能表现,探讨其安全性并指出其适用场景.最后,总结了简洁非交互零知识证明的研究热点和发展方向.
展开更多
关键词
零知识证明
简洁非交互
电路可满足性
信息论安全证明
承诺
在线阅读
下载PDF
职称材料
题名
使用输出分组和电路可满足性的等价性验证算法
被引量：
3
1
作者
郑飞君
严晓浪
葛海通
杨军
卢永江
机构
浙江大学超大规模集成电路设计研究所
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005年第11期2484-2488,共5页
基金
国家自然科学基金(90207002)
文摘
介绍了一种使用电路可满足性解算器的组合电路等价性验证算法.对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验证问题转化为包含若干个组的电路可满足性问题,继而使用电路解算器解决问题.同时,注意各个子问题间的有用隐含信息的共享,减小了SAT推理的搜索空间.实验结果表明,该算法是实用有效的.
关键词
等价
性
验证
输出分组
电路可满足性
Keywords
equivalence checking
output grouping
circuit SAT solver
分类号
TP302 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
简洁非交互零知识证明综述
被引量：
18
2
作者
李威翰
张宗洋
周子博
邓燚
机构
北京航空航天大学网络空间安全学院
中国科学院信息工程研究所信息安全国家重点实验室
出处
《密码学报》
CSCD
2022年第3期379-447,共69页
基金
国家重点研发计划(2021YFB3100400)
北京市自然科学基金(M22038,M21033,4202037)
+3 种基金
国家自然科学基金(61972017,61972018,72031001,61932019,61772521,61772522)
中国科学院前沿科学重点研究计划(QYZDB-SSWSYS035)
云南省区块链应用技术重点实验室(培育)开放课题(YNB202101)
中央高校基本科研业务费(YWF-22-L-1039)。
文摘
区块链、隐私计算、人工智能等技术的快速发展,极大地推动了对零知识证明尤其是简洁非交互零知识证明的研究.本文从通用构造方法、底层技术原理、协议性能表现、安全性等角度深入研究了现有的简洁非交互零知识证明.首先,总结了简洁非交互零知识证明的通用构造方法.其次,分别基于信息论安全证明和底层关键技术对现有的简洁非交互零知识证明进行分类并提炼了核心思路,深入分析了典型协议的实现原理.再次,辨析了各类协议的性能表现,探讨其安全性并指出其适用场景.最后,总结了简洁非交互零知识证明的研究热点和发展方向.
关键词
零知识证明
简洁非交互
电路可满足性
信息论安全证明
承诺
Keywords
zero-knowledge proof
succinct and non-interactive
circuit satisfiability
informationtheoretic proof
commitment
分类号
TP309.7 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
使用输出分组和电路可满足性的等价性验证算法
郑飞君
严晓浪
葛海通
杨军
卢永江
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005
3
在线阅读
下载PDF
职称材料
2
简洁非交互零知识证明综述
李威翰
张宗洋
周子博
邓燚
《密码学报》
CSCD
2022
18
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
