一名研究生最近利用数学证明的复杂性，在密码学领域开发出了一项强大的新工具。