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