在审查协议时，我首先寻找不变性测试和文档，这是第一步。 这是了解哪些属性重要以及协议如何工作的最快方法。 如果我找不到任何文档化的不变性，我就知道要谨慎行事。