はじめに 誰かが不正を働いたり、利潤追求のために動いても安全...それを保証した技術の例にブロックチェーンがある。 この記事では、それを一般化したRational Adversaryという研究分野について書く。まだ理解の浅い部分があるので気持ちだけわかってもらえ…

Computional q-DHI 問題 Re-randomize Camenish-Shoup（CS）暗号 exponential Elgamal Fiat-shamir ヒューリスティック Range proof 以下の記事のPI-SCAで使用されている知識に関して紹介する tenn.hateblo.jp Computional q-DHI 問題 が与えられた時にを計…

PSIとPSU、そしてactiveな敵に対して安全なプロトコルについて簡単に調べたのでメモを残しておきます。以下の論文はgoogle scholarで出ます。 Extending Oblivious Transfers Efficiently(2003) Y Ishai, J Kilian, K Nissim ,E Petrankの研究。 概要 この研…

この記事では古典的なマルチパーティ計算モデルであるMental PokerとGarbled Circuitを解説します。どちらも1980年代の手法でマルチパーティ計算の歴史を知る上では重要だと思います。 Mental Poker Garbled Circuit 2入力の場合 注意 多入力回路や多段回路…

Oblivious Transfer(OT)と似たプロトコルOblivious Polynomial Evaluation(OPE)について解説します。1-out-of-2 OTについて説明すると、 送信者は2個のデータを送り、受信者はその中から１つだけデータを選ぶことが出来る。 送信者は受信者がどのデータを受…

NIMPC NIMPC(Non-Interactive-Multi-party-Computation)はマルチパーティ計算モデルの一つ。2014年、任意関数のＮＩＭＰＣが実現された。従来のマルチパーティ計算モデルでは計算時の通信回数がボトルネックになっていたのが、NIMPCでは相互通信が排除されて…

Oblivious Transfer Exchange Of Secret(EOS)問題 EOSプロトコルの構成 EOSプロトコルの5について 1/2で素因数分解できてしまうのはなぜか Rabin暗号 素因数分解できる理由 まとめ 参考 Oblivious Transfer Oblivious Transfer(紛失通信)とは送信者が受信者…

参考論文 Secret-sharing:a survey https://www.researchgate.net/profile/Amos_Beimel/publication/220776045_Secret-Sharing_Schemes_A_Survey/links/09e41513f14a20f236000000.pdf この論文は暗号の中でも秘密分散法に焦点を当てたサーベイ論文。秘密分散…