集合论

本文通过一个Solana智能合约中的奖励分配逻辑的实际案例，强调了使用集合论的思维方式来确保代码的健壮性。核心思想是将问题划分为完整的子集，从而全面考虑所有可能的情况，减少bug的产生，并优化链上存储的使用。

本文介绍了集合论的基础知识，包括有限集和无限集、集合运算和函数。这些概念对于理解零知识证明中使用的密码学结构至关重要。文章还介绍了子集、超集、集合运算、关系和函数等概念，为后续学习群论和零知识证明协议打下基础。

本文探讨了集合论在现代人工智能及大语言模型中的核心应用及其安全风险。文章详细分析了集合论在数据表示、逻辑推理等10个领域的应用，并揭示了攻击者如何利用集合论的表达局限性，通过悖论提示词（Paradoxical Prompts）对模型进行越狱攻击的原理。

RareSkills 的 Zero Knowledge Proofs 系列文章之一，介绍了集合论的基础知识。翻译的过程中完成了其中的练习题。