最近、ある大学院生が数学的証明の複雑さを利用して、暗号化に強力な新しいツールを作成しました。