这篇文章介绍了 V 规范语言，主要用于形式验证以证明程序逻辑的正确性。文章详细阐述了 V 语言的核心构建块—— V 语句，以及如何使用它们来指定智能合约的属性、合约不变性、方法合约和行为规范，强调了这些规范在开发安全智能合约中的重要性。
这是一份贡献者盟约行为准则，旨在为社区成员、贡献者和领导者创建一个免受骚扰的环境。它定义了社区参与者的行为规范，包括积极行为（如友善、尊重）和不可接受行为（如性暗示、人身攻击）。该准则还规定了社区领导者的执行责任、适用范围、违规行为的报告途径以及相应的处罚措施。
Veridise
OpenZeppelin