在審查協議時，我首先尋找不變性測試和文檔，這是第一步。 這是了解哪些屬性重要以及協議如何工作的最快方法。 如果我找不到任何文檔化的不變性，我就知道要謹慎行事。