Establishment of Fourier-based secure function secret sharing

基于傅立叶的安全函数秘密共享的建立

• 批准号: 19K22849
• 负责人: 小柴 健史
• 金额: $ 4.08万
• 依托单位: Waseda University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Challenging Research (Exploratory)
• 财政年份: 2019
• 资助国家: 日本
• 起止时间: 2019-06-28 至 2023-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-19K22849/
• 关键词: 秘密分散; 関数分散; 暗号プロトコル; アクセス構造; 量子プロトコル; 関数秘密分散; 暗号理論; フーリエ基底; 秘匿計算

関数分散は，１人のディーラーと呼ばれる関数を分散するパーティと複数の一般のパーティの間の暗号プロトコルで，各一般パーティは特定の入力に対して分散された関数の評価を行う。各一般パーティが評価した値を一定数（閾値）以上集めることにより，本来の秘密の関数の値を計算するが，一定数未満の値しか集まらない場合は関数値に関する情報は得ることができない方式である。ブール関数全体は有限体上のベクトル空間であり，任意のブール関数はフーリエ基底関数を線型結合して表現することができるが，線形結合で用いる基底の数が入力次元（入力長）の多項式で抑えられるとき簡潔表現を持つとよぶ。標準的な基底関数を用いた場合は関数分散の効率性と関数表現の簡潔性との関係は不明確であったが，フーリエ基底を採用した場合には関数分散の効率性と関数表現の簡潔性は明確な関係があった。フーリエ基底を用いた簡潔な表現を持つ関数族は効率的な関数分散が可能であるが，自然な関数族でフーリエ基底を用いた簡潔表現を持つもの諸性質を検討した。ブール関数研究においてフーリエ関数解析がよく調査されている低次元多項式クラスについて，フーリエ凝縮の観点からその性質を再検討し，関数分散の効率度との関係を明らかにした。また，量子計算に対しても耐性のあるアクセス構造を持つ秘密分散穂方式の線形代数的なアイデアを援用し，従来の研究成果であるアクセス構造をもつ関数分散方式を発展させ耐量子性を持つ方式のプロトタイプを構築した。

The number of connections is distributed among the general population and the number of connections is distributed among the general population. Each general evaluation value is a certain number (threshold value), and the original secret number is calculated. All of the basic numbers are contained in the physical space on the finite body, and any basic number can be expressed by linear combination of the basic numbers. The linear combination can be expressed by the polynomial of the basic number into the force dimension (force length), which can be used to maintain a simple expression. The relationship between simplicity and accuracy of standard correlation is unclear. The basic principle is simple, the performance is stable, the efficiency is stable, the dispersion is stable, the natural basic principle is simple, the performance is stable, and the properties are discussed. In the research of correlation, the relationship between correlation dispersion and efficiency is discussed. In addition, quantum computing has been applied to the development of quantum resistance, the construction of secret dispersion methods and linear algebra.

项目成果

Fourier-based Verifiable Function Secret Sharing

基于傅立叶的可验证函数秘密共享

• DOI: 10.34385/proc.65.c03-5
• 发表时间: 2020
• 期刊: IEICE Proceeding Series
• 作者: 神戸祐太;相川勇輔;工藤桃成;安田雅哉;高島克幸;横山和弘;Takeshi Koshiba
• 通讯作者: Takeshi Koshiba

Jatiya Kabi Kazi Nazrul Islam University(バングラデシュ)

Jatiya Kabi Kazi Nazrul 伊斯兰大学（孟加拉国）

Efficient private database queries using ring-LWE somewhat homomorphic encryption

• DOI: 10.1016/j.jisa.2019.102406
• 发表时间: 2019-12
• 期刊: J. Inf. Secur. Appl.
• 作者: T. Saha;Mayank Rathee;Takeshi Koshiba

University of Guelph(カナダ)

圭尔夫大学（加拿大）

Arbitrable blind quantum computation

• DOI: 10.1007/s11128-019-2482-4
• 发表时间: 2017-09
• 期刊: Quantum Information Processing
• 影响因子: 2.5
• 作者: Go Sato;Takeshi Koshiba;T. Morimae