Scallop Lend (@Scallop_io) 的全面形式化驗證 我們證明了其在核心會計、清算數學、存取控制和定點運算方面具有強大的正確性。驗證範圍涵蓋所有資產負債表操作，從頭寸安全到清算匯率。 這是我們首次發布完整協議的全面形式化驗證報告。詳情及報告如下。