Practical Protocols to Verifiably and Implicitly Ask Hidden Problems to Powerful Computing Servers

可验证且隐式向强大计算服务器询问隐藏问题的实用协议

• 批准号: 04402033
• 负责人: IMAI Hideki
• 金额: $ 13.31万
• 依托单位: University Scientific Research (A)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (A)
• 财政年份: 1992
• 资助国家: 日本
• 起止时间: 1992 至 1993
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-04402033/
• 关键词: Asking; IC Card; Distributed Computing; P-complete Problem; Linear Programming; Convex Programming; Information Security; Client-Server Computing; 線形計画; 暗号

A class of interactive computation techniques called iraikeisan, or verifiable implicit asking to relatively powerful servers, is very useful to speed up solving secret computational problems owned by relatively powerless clients. In this project we introduced an approach for general purpose iraikeisan which will give methodology of readily constructing verifiable P-complete problems with respect to NC-reduction (or, log-space reduction), such as Linear programming problems, with special-purpose computing facility for them.Principal results include :A theory of general purpose verifiable implicit asking,A protocol for asking Linear Programming Problems,ImPlementation based on (1) and (2).Through this project we reached the conclusion that if the expansion of sizes when transforming the original problem to be solved could be not severe the proposed approach would be very effective and practical.

一类称为 iraikeisan（或可验证的隐式询问相对强大的服务器）的交互式计算技术对于加速解决相对较弱的客户端所拥有的秘密计算问题非常有用。在这个项目中，我们介绍了一种通用的 iraikeisan 方法，它将给出容易构建关于 NC 约简（或对数空间约简）的可验证 P 完全问题的方法，例如线性规划问题，并具有专用计算设施。主要成果包括：通用可验证隐式询问的理论，询问线性规划问题的协议，基于（1）和（2）的实现。通过这个项目 我们得出的结论是，如果在改造原来要解决的问题时规模的扩大不是很严重，那么所提出的方法将是非常有效和实用的。

项目成果

Tsutomu Matsumoto: "On verifiable implicit asking protocols for RSA computation" Advances in Cryptology,LNCS 718,Springer-Verlag. 296-307 (1993)

Tsutomu Matsumoto：“关于 RSA 计算的可验证隐式询问协议”密码学进展，LNCS 718，Springer-Verlag。

Manuel Cerecedo: "Efficient and secure multiparty generation of digital signatures based on discrete logarithms" IEICE Trans.Fundamentals.E76-A. 532-545 (1993)

Manuel Cerecedo：“基于离散对数的高效、安全的多方数字签名生成”IEICE Trans.Fundamentals.E76-A。

Ozaki, Satoshi: "A holder verification protocol using fingerprints" Proceedings of 1993 Korea-Japan Workshop on Information Security and Cryptology. 24-36 (1993)

Ozaki, Satoshi：“使用指纹的持有者验证协议”1993 年韩日信息安全和密码学研讨会论文集。

Satoshi Ozaki: "A holder verification protocol using fingerprints" Proceedings of 1993 Korea-Japan Workshop on Information Security and Cryptology,Seoul. (1993)

Satoshi Ozaki：“使用指纹的持有者验证协议”1993 年韩日信息安全和密码学研讨会论文集，首尔。

松本 勉: "依頼計算" 計算理論・情報認識理解の研究動向と将来展望,電子情報通信学会情報システムグループ運営委員会. (1994)

Tsutomu Matsumoto：“请求计算”理解计算理论和信息识别的研究趋势和未来前景，IEICE 信息系统组指导委员会（1994 年）。