math/shortest vector problem.md problem entity mathematics ฯ 0.02% good candidate for quantum proof of work Linked References math/module learning with errors math/module short integer solution Local Graph