進捗状況

構成は理解した. 何をやっているかは理解したので, 次は安全性の証明.
しかし複雑なことになっている. PIR + ECC + RS-ECC + PKEとか止めて欲しい.