量子以降の格子ベース暗号コードの高レベル合成の最適化 | Synapse