本文通过一个Solana智能合约中的奖励分配逻辑的实际案例，强调了使用集合论的思维方式来确保代码的健壮性。核心思想是将问题划分为完整的子集，从而全面考虑所有可能的情况，减少bug的产生，并优化链上存储的使用。
RareSkills 的 Zero Knowledge Proofs 系列文章之一，介绍了集合论的基础知识。翻译的过程中完成了其中的练习题。
MrMaxPi
0xE