ALCHEMY

• plaintextなプログラムからhe programに変換する言語 & コンパイラを作成した
  • BGV styleに対応
• syntax highlightingされていて良き

@inproceedings{crockett2018alchemy,
  title={Alchemy: A language and compiler for homomorphic encryption made easy},
  author={Crockett, Eric and Peikert, Chris and Sharp, Chad},
  booktitle={Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security},
  pages={1020--1037},
  year={2018},
  url={https://web.eecs.umich.edu/~cpeikert/pubs/alchemy.pdf}
}

Language design

• rot supportしていないんだ

参考文献

• cpeikert/ALCHEMY
  • Haskell実装
• ALCHEMY YouTube