An Efficient Algorithm for the Shortest Vector Problem | Synapse