1. レベル 2 準同型暗号の 平文バイナリ制約を与える コンパクトな非対話ゼロ知識証明 CSS2018 3A2-1, 2018/10/24 光成滋生(サイボウズ・ラボ) 坂井 祐介(AIST), Jacob C. N. Schuldt(AIST) 2. • 「レベル2準同型暗号の平文バイナリ制約を与える コンパクトな非対話ゼロ知識証明」 • レベル2準同型暗号(L2HE) • 暗号文同士の加算を複数回, 乗算を1回可能 • 平文バイナリ制約(ここだけの用語) • 暗号文𝐸𝑛𝑐(𝑚)に対して𝑚を知らずに𝑚 ∈ {0,1} を保証 • 従来研究 • 暗号文1個につき平文バイナリ制約を与えるゼロ知識証明1個 • 暗号文が𝑛個ならゼロ知識証明のサイズは𝑂(𝑛) • 提案方式 • ASIACCS'18で提案したL2HEに対して𝑛個の暗号文に対する 平文バイナリ制約を与える定数サ