証明可能安全性を持つ暗号 - 他の言語