@misc{weko_192199_1, author = "光成,滋生 and 坂井,祐介 and Jacob,C.N. Schuldt", title = "レベル2準同型暗号の平文バイナリ制約を与えるコンパクトな非対話ゼロ知識証明" }