mii
準同型暗号 / 言語処理系
Github
Keybase
Blog