LCMA.ino文件需要在Arduino lDE 2.3.4下运行; Arduino lDE 2.3.4软件要先接到ESP32上; Prime.h是一个素数头文件,论文所有代码都在LCMA.ino中，其中ProVerif证明的代码也在里边