Sukuk 審計競賽現在開始！ 讓我們歡迎 @sukukfi，這是一個將 DeFi 直接與盈利的現實世界企業連接的鏈上市場。 這場 40,000 美元的審計競賽將持續 9 天，請務必查看下面的審計文件以獲取更多詳細信息！ ⤵️

在這次競爭性審計中，@sukukfi 鼓勵管理員關注以下幾個問題領域： • 批次結算淨額（WERC7575ShareToken.batchTransfers）：由驗證者控制的複雜淨額邏輯，零和不變性驗證，潛在的狀態腐敗。 • 角色訪問控制：五個不同的角色（擁有者、驗證者、KYC 管理員、收入管理員、投資經理）具有獨立的權限；單點故障密鑰洩露的風險。 • 異步流程中的重入：在存款/贖回/投資功能中進行外部調用，並具有非重入保護；驗證整個 CEI 模式。 • 雙重授權模型：非標準 ERC20 需要自我授權 + 調用者授權；驗證在 transfer/transferFrom 中強制執行這兩個檢查。 • 保留資產會計：確保待處理/可索賠/已投資的資產正確計算且不重疊；驗證投資層無法過度分配。 • 異步狀態轉換：請求→履行→索賠流程，並包含取消；驗證沒有狀態跳過、雙重索賠或永久阻塞。 • 允許簽名驗證：EIP-712 重放保護、隨機數跟蹤、鏈 ID 包含；驗證驗證者簽名的真實性。 • 升級安全性：ERC-7201 命名空間存儲、間隙數組、無存儲重排序；驗證升級模式防止存儲碰撞。