毕业设计：零知识证明编译器的模糊测试

简介：
本项目致力于开发一款针对零知识证明系统的模糊测试工具，旨在通过随机输入检测潜在的安全漏洞，以增强系统安全性。 American Fuzzy Lop (AFL) 是一个用于测试程序安全性和稳定性的模糊测试工具。它的工作原理是将输入文件作为程序的输入，并通过不断变异这些输入文件来观察程序的行为，从而发现潜在的安全漏洞。借助于代码插桩技术，可以将程序行为转化为一组约束条件，进而求解该组约束以获取有效输入。 libsnark 是一个用于构建零知识证明系统的C++库。它提供了一套工具和算法简化了此类系统的设计与实现过程。非交互式零知识证明是一种能够验证某个命题的真实性而不泄露任何额外信息的机制，在密码学中尤其有用，例如它可以用来确认某人掌握特定秘密（如密钥）而无需公开该秘密本身。 Ubuntu 22.04、LLVM 14和Clang 14 是支持AFL 和 libsnark 开发与测试的重要环境配置。