_ IACR ePrint 2016/094まで確認済み、ECCC 2003年分まで確認済み
_ 先日思いついた研究ネタをじっくり考えなおしてみたら(少なくともすぐには)うまくいかないことが判明してorzとなっている。
_ (2/5記:プログラミング修行、調べ直してみたらRubyの古いバージョンと新しいバージョンが両方ともインストールされていて、通常ユーザでの実行時とrootでの実行時でバージョンが違うという謎現象が起きている。それはさておき、この日の分としてとりあえずRuby版のHello Worldを書いてみた。)
_ 忙しくてここ数日できていなかったプログラミング修行、この日はほんのちょっとだけRubyでコード書きをした。
_ IACR ePrint 2016/096まで確認済み、ECCC 2003年分まで確認済み
_ (2/21記:とある分野の某論文誌から査読依頼を受けていたのだけど、そちらの分野では査読期間がめちゃ短いことを知らずに1週間ほど論文を放置していたら催促のメールがやってきた(←うちのIMEは「最速の」と変換してきおった。趣深い)。それで論文を読んでみたら(涙を禁じ得ない)な論文だったため査読はすぐ終了した。論文読んだ時間よりも査読レポートを書くのに使った時間の方が長かったんじゃなかろうか。)
_ IACR ePrint 2016/199まで確認済み、ECCC 2003年分まで確認済み
_ 某所で見かけた「ある空間上の連続関数全体のなす環の極大ではない素イデアルを見つけよ」という問題を、例えば実数直線上の実数値関数の場合に考えてみたのだけれどもよくわからなくて調べてみたところ、選択公理を使えば例が得られるが選択公理(やその仲間たち)抜きでどうなるかの情報が見当たらなかったため心が燃えている。
_ IACR ePrint 2016/208まで確認済み、ECCC 2003年分まで確認済み
_ 気になった論文:To Save the Wilting Multilinear Maps
, Yilei Chen, http://eprint.iacr.org/2016/200
In this paper, we initiate the study of ``homomorphic obfuscation", and show how to homomorphically obfuscate the kernel-test and affine subspace-test functionalities of high dimensional matrices. Namely, the evaluator is able to perform additions and multiplications over the obfuscated matrices, and test subspace memberships on the resulting code. The homomorphic operations are constrained by the prescribed data structure, e.g. a tree or a graph, where the matrices are stored. The security properties of all the constructions are based on the hardness of Learning with errors problem (LWE). The technical heart is to ``control" the ``chain reactions'' over a sequence of LWE instances.
Viewing the homomorphic obfuscation scheme from a different angle, it coincides with the graph-induced multilinear maps proposed by Gentry, Gorbunov and Halevi (GGH15). Our proof technique recognizes several ``safe modes" of GGH15 that are not known before, including a simple special case: if the graph is acyclic and the matrices are sampled independently from binary or error distributions, then the encodings of the matrices are pseudorandom. We further discuss the implication of our work for the landscape of cryptographic multilinear maps and program obfuscators.
最近のツッコミ↓