JP5925969B2 - 2パーティ秘匿関数計算向けの入力整合性検証 - Google Patents
2パーティ秘匿関数計算向けの入力整合性検証 Download PDFInfo
- Publication number
- JP5925969B2 JP5925969B2 JP2015534553A JP2015534553A JP5925969B2 JP 5925969 B2 JP5925969 B2 JP 5925969B2 JP 2015534553 A JP2015534553 A JP 2015534553A JP 2015534553 A JP2015534553 A JP 2015534553A JP 5925969 B2 JP5925969 B2 JP 5925969B2
- Authority
- JP
- Japan
- Prior art keywords
- party
- function
- verification
- input
- executions
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Images
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
- H04L9/3218—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using proof of knowledge, e.g. Fiat-Shamir, GQ, Schnorr, ornon-interactive zero-knowledge proofs
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L2209/00—Additional information or applications relating to cryptographic mechanisms or cryptographic arrangements for secret or secure communication H04L9/00
- H04L2209/46—Secure multiparty computation, e.g. millionaire problem
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L2209/00—Additional information or applications relating to cryptographic mechanisms or cryptographic arrangements for secret or secure communication H04L9/00
- H04L2209/50—Oblivious transfer
Landscapes
- Engineering & Computer Science (AREA)
- Computer Security & Cryptography (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Storage Device Security (AREA)
Description
本発明は、内務省(DOI)の契約番号第D11PC20194号によるIntelligence Advanced Research Projects Activity(IARPA)の下で実行される作業に関連して実施されたものである。
既存の汎用的な2パーティSFEアルゴリズムは通常、ガーブル回路(GC:Garbled Circuit)を利用する。GCの詳細な説明は、例えば、Andrew C.Yao、「Protocols for Secure Computations」、Proc. 23rd IEEE Symp. on Foundations of Comp. Science、160−164頁、(Chicago、1982)、またはAndrew C.Yao、「How to Generate and Exchange Secrets」、Proc. 27th IEEE Symp. on Foundations of Comp. Science、162−167頁、(Toronto、1986)を参照されたい。
図2および図3は例示的なステップシーケンスを示しているが、本発明の一実施形態では、シーケンスが変更されてもよい。アルゴリズムの様々な置換えが本発明の代替の実施形態として考えられる。
Claims (10)
- 複数の実行iに対する関数を評価するために、第1のパーティによって、第2のパーティと共に実行される2パーティ秘匿関数計算(SFE)のための方法であって、
複数の前記実行iに対して、
前記関数に対応するガーブル回路GCiを計算するステップと、
前記第2のパーティの入力xiの暗号化されたバージョンkiであるワイヤ秘密を提供するために、紛失通信(OT)プロトコルを使用して、前記第2のパーティと通信するステップであって、第2のパーティが、前記複数の実行に対する、前記第2のパーティの入力xiの前記暗号化されたバージョンkiを格納する、通信するステップと、
出力の計算のために、計算されたガーブル回路GCiを前記第2のパーティに送信するステップと、
前記出力を前記第2のパーティから受信するステップと
を含み、また、
前記実行のうちの2つに対する、前記第2のパーティの前記入力xiのその後の検証に対して、
検証されるガーブル回路の入力鍵に基づいて、検証関数に対応する検査ガーブル回路CGCを計算するステップと、
検証出力の計算のために、計算された検査ガーブル回路CGCを前記第2のパーティに送信するステップであって、前記第2のパーティが、前記2つの実行に対する、前記格納された暗号化されたバージョンkiを前記検査ガーブル回路CGCに適用することにより、前記検証出力を計算する、送信するステップと、
前記検証出力を前記第2のパーティから受信するステップと、
前記2つの実行に対する、前記第2のパーティの前記入力xiを検証するために、前記検証出力を評価するステップと
を含む、方法。 - 前記検証関数が、等値関数、より大なり関数、より小なり関数、および両パーティによって合意された検証関数のうちの1つまたは複数を含む、請求項1に記載の方法。
- 複数の実行iに対する関数を評価するために、第1のパーティによって、第2のパーティと共に実行される2パーティ秘匿関数計算(SFE)のための、有形のマシン可読および記録可能記憶媒体であって、1つまたは複数のソフトウェアプログラムが、1つまたは複数の処理デバイスによって実行されると、請求項1に記載の方法のステップを実施する、有形のマシン可読および記録可能記憶媒体。
- 複数の実行iに対する関数を評価するために、第2のパーティによって、第1のパーティと共に実行される2パーティ秘匿関数計算(SFE)のための方法であって、
複数の前記実行iに対して、
前記関数に対応するガーブル回路GCiを前記第1のパーティから受信するステップと、
前記第2のパーティの入力xiの暗号化されたバージョンkiであるワイヤ秘密を受信するために、紛失通信(OT)プロトコルを使用して、前記第1のパーティと通信するステップと、
前記複数の実行に対する、前記第2のパーティの入力xiの前記暗号化されたバージョンkiを格納するステップと、
出力を計算するために、入力を、計算されたガーブル回路GCiに適用するステップと、
前記出力を前記第1のパーティに提供するステップと
を含み、また、
前記実行のうちの2つに対する、前記第2のパーティの前記入力xiの、前記第1のパーティによるその後の検証に対して、
検証関数に対応する検査ガーブル回路CGCを前記第1のパーティから受信するステップと、
前記2つの実行に対する、前記格納された暗号化されたバージョンkiを検査ガーブル回路CGCに適用することにより、検証出力を計算するステップと、
前記2つの実行に対する、前記第2のパーティの前記入力xiを検証するために、前記検証出力を前記第1のパーティに提供するステップと
を含む、方法。 - 前記検証関数が、等値関数、より大なり関数、より小なり関数、および両パーティによって合意された検証関数のうちの1つまたは複数を含む、請求項4に記載の方法。
- 複数の実行iに対する関数を評価するために、第2のパーティによって、第1のパーティと共に実行される2パーティ秘匿関数計算(SFE)のための、有形のマシン可読および記録可能記憶媒体であって、1つまたは複数のソフトウェアプログラムが、1つまたは複数の処理デバイスによって実行されると、請求項4に記載の方法のステップを実施する、有形のマシン可読および記録可能記憶媒体。
- 複数の実行iに対する関数を評価するための、第1のパーティによる、第2のパーティと共に用いる2パーティ秘匿関数計算(SFE)のためのシステムであって、
メモリと、
メモリに結合された少なくとも1つのハードウェアデバイスであって、
複数の前記実行iに対して、
前記関数に対応するガーブル回路GCiを計算し、
前記第2のパーティの入力xiの暗号化されたバージョンkiであるワイヤ秘密を提供するために、紛失通信(OT)プロトコルを使用して、前記第2のパーティと通信し、第2のパーティが、前記複数の実行に対する、前記第2のパーティの入力xiの前記暗号化されたバージョンkiを格納し、
出力の計算のために、計算されたガーブル回路GCiを前記第2のパーティに送信し、
前記出力を前記第2のパーティから受信する
ように動作し、また、
前記実行のうちの2つに対する、前記第2のパーティの前記入力xiのその後の検証に対して、
検証されているガーブル回路の入力鍵に基づいて、検証関数に対応する検査ガーブル回路CGCを計算し、
検証出力の計算のために、計算された検査ガーブル回路CGCを前記第2のパーティに送信し、前記第2のパーティが、前記2つの実行に対する、前記格納された暗号化されたバージョンkiを前記検査ガーブル回路CGCに適用することにより、前記検証出力を計算し、
前記検証出力を前記第2のパーティから受信し、
前記2つの実行に対する、前記第2のパーティの前記入力xiを検証するために、前記検証出力を評価する
ように動作するハードウェアデバイスと
を備える、システム。 - 前記検証関数が、等値関数、より大なり関数、より小なり関数、および両パーティによって合意された検証関数のうちの1つまたは複数を含む、請求項7に記載のシステム。
- 複数の実行iに対する関数を評価するために、第2のパーティによって、第1のパーティと共に実行される2パーティ秘匿関数計算(SFE)のためのシステムであって、
メモリと、
メモリに結合された少なくとも1つのハードウェアデバイスであって、
複数の前記実行iに対して、
前記関数に対応するガーブル回路GCiを前記第1のパーティから受信し、
前記第2のパーティの入力xiの暗号化されたバージョンkiであるワイヤ秘密を受信するために、紛失通信(OT)プロトコルを使用して、前記第1のパーティと通信し、
前記複数の実行に対する、前記第2のパーティの入力xiの前記暗号化されたバージョンkiを格納し、
出力を計算するために、入力を、計算されたガーブル回路GCiに適用し、
前記出力を前記第1のパーティに提供する
ように動作し、また、
前記実行のうちの2つに対する、前記第2のパーティの前記入力xiの、前記第1のパーティによるその後の検証に対して、
検証関数に対応する検査ガーブル回路CGCを前記第1のパーティから受信し、
前記2つの実行に対する、前記格納された暗号化されたバージョンkiを検査ガーブル回路CGCに適用することにより、検証出力を計算し、
前記2つの実行に対する、前記第2のパーティの前記入力xiを検証するために、前記検証出力を前記第1のパーティに提供する
ように動作するハードウェアデバイスと
を備える、システム。 - 前記検証関数が、等値関数、より大なり関数、より小なり関数、および両パーティによって合意された検証関数のうちの1つまたは複数を含む、請求項9に記載のシステム。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US13/630,568 | 2012-09-28 | ||
US13/630,568 US8891766B2 (en) | 2012-09-28 | 2012-09-28 | Input consistency verification for two-party secure function evaluation |
PCT/US2013/060323 WO2014052113A1 (en) | 2012-09-28 | 2013-09-18 | Input consistency verification for two-party secure function evaluation |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2015530623A JP2015530623A (ja) | 2015-10-15 |
JP5925969B2 true JP5925969B2 (ja) | 2016-05-25 |
Family
ID=49301626
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2015534553A Expired - Fee Related JP5925969B2 (ja) | 2012-09-28 | 2013-09-18 | 2パーティ秘匿関数計算向けの入力整合性検証 |
Country Status (6)
Country | Link |
---|---|
US (1) | US8891766B2 (ja) |
EP (1) | EP2901613A1 (ja) |
JP (1) | JP5925969B2 (ja) |
KR (1) | KR101687122B1 (ja) |
CN (1) | CN104685826B (ja) |
WO (1) | WO2014052113A1 (ja) |
Families Citing this family (21)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10044695B1 (en) | 2014-09-02 | 2018-08-07 | Amazon Technologies, Inc. | Application instances authenticated by secure measurements |
US9442752B1 (en) | 2014-09-03 | 2016-09-13 | Amazon Technologies, Inc. | Virtual secure execution environments |
US9246690B1 (en) | 2014-09-03 | 2016-01-26 | Amazon Technologies, Inc. | Secure execution environment services |
US9491111B1 (en) | 2014-09-03 | 2016-11-08 | Amazon Technologies, Inc. | Securing service control on third party hardware |
US9584517B1 (en) | 2014-09-03 | 2017-02-28 | Amazon Technologies, Inc. | Transforms within secure execution environments |
US10061915B1 (en) | 2014-09-03 | 2018-08-28 | Amazon Technologies, Inc. | Posture assessment in a secure execution environment |
US9577829B1 (en) * | 2014-09-03 | 2017-02-21 | Amazon Technologies, Inc. | Multi-party computation services |
US9754116B1 (en) | 2014-09-03 | 2017-09-05 | Amazon Technologies, Inc. | Web services in secure execution environments |
US10079681B1 (en) | 2014-09-03 | 2018-09-18 | Amazon Technologies, Inc. | Securing service layer on third party hardware |
GB201511520D0 (en) * | 2015-07-01 | 2015-08-12 | Barclays Bank Plc | Secure computation |
JP6034927B1 (ja) * | 2015-07-27 | 2016-11-30 | 日本電信電話株式会社 | 秘密計算システム、秘密計算装置、およびプログラム |
US10243738B2 (en) * | 2015-12-04 | 2019-03-26 | Microsoft Technology Licensing, Llc | Adding privacy to standard credentials |
US10452802B2 (en) * | 2016-07-08 | 2019-10-22 | efabless corporation | Methods for engineering integrated circuit design and development |
WO2019110380A1 (en) * | 2017-12-04 | 2019-06-13 | Koninklijke Philips N.V. | Nodes and methods of operating the same |
CN111758241A (zh) * | 2017-12-22 | 2020-10-09 | 皇家飞利浦有限公司 | 使用函数的事件评价 |
US10999082B2 (en) | 2018-09-28 | 2021-05-04 | Analog Devices, Inc. | Localized garbled circuit device |
US11245680B2 (en) * | 2019-03-01 | 2022-02-08 | Analog Devices, Inc. | Garbled circuit for device authentication |
CN112711744B (zh) * | 2020-06-23 | 2024-06-25 | 华控清交信息科技(北京)有限公司 | 一种计算任务的处理方法、装置和用于计算任务的处理装置 |
CN112231642B (zh) * | 2020-10-19 | 2024-02-02 | 贵州大学 | 基于安全熵判据的理性两方计算模型的计算方法 |
CN114024674B (zh) * | 2021-11-23 | 2024-05-31 | 支付宝(杭州)信息技术有限公司 | 两方安全比较的方法及系统 |
CN114285558B (zh) * | 2021-12-24 | 2023-09-08 | 浙江大学 | 一种基于半可信硬件的多方隐私计算方法及装置 |
Family Cites Families (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
IL139935A (en) * | 1998-06-03 | 2005-06-19 | Cryptography Res Inc | Des and other cryptographic processes with leak minimization for smartcards and other cryptosystems |
US7240198B1 (en) * | 2000-08-08 | 2007-07-03 | Yeda Research & Development Co., Ltd. | Honesty preserving negotiation and computation |
EP1720144A4 (en) * | 2004-01-26 | 2013-10-23 | Nec Corp | METHOD AND DEVICE FOR CALCULATING A FUNCTION FROM MANY INPUTS |
US8923519B2 (en) * | 2009-05-29 | 2014-12-30 | Alcatel Lucent | Method of efficient secure function evaluation using resettable tamper-resistant hardware tokens |
US8539220B2 (en) * | 2010-02-26 | 2013-09-17 | Microsoft Corporation | Secure computation using a server module |
US8488791B2 (en) * | 2010-09-22 | 2013-07-16 | Alcatel Lucent | Securing two-party computation against malicious adversaries |
US8837715B2 (en) * | 2011-02-17 | 2014-09-16 | Gradiant, Centro Tecnolóxico de Telecomunicacións de Galica | Method and apparatus for secure iterative processing and adaptive filtering |
US9077539B2 (en) * | 2011-03-09 | 2015-07-07 | Microsoft Technology Licensing, Llc | Server-aided multi-party protocols |
-
2012
- 2012-09-28 US US13/630,568 patent/US8891766B2/en not_active Expired - Fee Related
-
2013
- 2013-09-18 KR KR1020157007753A patent/KR101687122B1/ko active IP Right Grant
- 2013-09-18 WO PCT/US2013/060323 patent/WO2014052113A1/en active Application Filing
- 2013-09-18 CN CN201380050556.5A patent/CN104685826B/zh not_active Expired - Fee Related
- 2013-09-18 JP JP2015534553A patent/JP5925969B2/ja not_active Expired - Fee Related
- 2013-09-18 EP EP13771683.3A patent/EP2901613A1/en not_active Withdrawn
Also Published As
Publication number | Publication date |
---|---|
KR101687122B1 (ko) | 2016-12-15 |
US8891766B2 (en) | 2014-11-18 |
EP2901613A1 (en) | 2015-08-05 |
US20140105393A1 (en) | 2014-04-17 |
CN104685826A (zh) | 2015-06-03 |
KR20150048827A (ko) | 2015-05-07 |
WO2014052113A1 (en) | 2014-04-03 |
JP2015530623A (ja) | 2015-10-15 |
CN104685826B (zh) | 2018-01-30 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5925969B2 (ja) | 2パーティ秘匿関数計算向けの入力整合性検証 | |
Yang et al. | Provable data possession of resource-constrained mobile devices in cloud computing | |
Wei et al. | Security and privacy for storage and computation in cloud computing | |
Wang et al. | Privacy-preserving public auditing for data storage security in cloud computing | |
JP2024063229A (ja) | ブロックチェーンにより実装される方法及びシステム | |
JP2015535956A (ja) | コンテンツ隠蔽ブルームフィルタを用いたセキュアプライベートデータベースクエリ | |
Williamson | The aztec protocol | |
US11764943B2 (en) | Methods and systems for somewhat homomorphic encryption and key updates based on geometric algebra for distributed ledger/blockchain technology | |
US8321666B2 (en) | Implementations of secure computation protocols | |
CN113536379B (zh) | 一种隐私数据的查询方法、装置及电子设备 | |
CN114175028B (zh) | 密码假名映射方法、计算机系统、计算机程序和计算机可读介质 | |
CN105187425A (zh) | 面向云计算通信系统安全的无证书门限解密方法 | |
US9178704B2 (en) | Input consistency verification for server assisted secure function evaluation | |
CN118160275A (zh) | 阈值签名方案 | |
CN111917533A (zh) | 具有减少泄漏的区间统计量的隐私保护基准分析 | |
WO2013153628A1 (ja) | 演算処理システムおよび演算結果認証方法 | |
Shi et al. | Threshold eddsa signature for blockchain-based decentralized finance applications | |
Li et al. | [Retracted] Hardware Optimization and System Design of Elliptic Curve Encryption Algorithm Based on FPGA | |
CN111885056A (zh) | 基于区块链的零知识证明方法、装置及电子设备 | |
Ahmed et al. | Integrity verification for an optimized cloud architecture | |
Hinkelmann et al. | A cryptographically t‐private auction system | |
Chaudhari et al. | Secure and Verifiable Multi-Party Computation Using Indistinguishability Obfuscation | |
CN117454431B (zh) | 计算服务外包的可验证数据隐私保护系统及方法 | |
JP7348848B2 (ja) | 統合属性ベースグループ署名処理方法、統合属性ベースグループ署名処理システム、および、プログラム | |
Song et al. | General construction of compressive integrity auditing protocol from strong homomorphic encryption scheme |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20150525 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20160315 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20160322 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20160420 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5925969 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
LAPS | Cancellation because of no payment of annual fees |