这篇文章讨论了在编写智能合约时如何确保协议的安全性。作者强调了不仅要为特定函数编写require语句，还要为整个协议编写require语句，以保持协议级别的不变式。文章还提到了以实体为中心的FREI-PI和处理预言机和管理员/治理实体的不变式的重要性。最后，作者强调了保持简单性、定义核心不变式以及进行输入验证的重要性，以确保协议的安全性。