Audit

Audit

行為（activity）產生事件（event），事件（event）改變狀態（state）

• 行為是否合乎規範
• 行為是否有相應簽名留存（含鏈上證據檢驗）
• 行為是否有遺漏紀錄
• 每筆行為是否產生相對應事件
• 每筆事件變化是否依據相應行為
• 每筆事件是否產生相對應狀態變化
• 每筆狀態變化是否依據相應事件
• 狀態變化數字是否可以互相沖銷（總變化量為 0）

行為

• 用戶主動行為
• 管理者主動行為
• 系統被動行為

事件

• 成功事件
• 失敗事件

狀態

• 餘額狀態
• 委託單狀態

Use Cases

行為: 用戶入金

• 成功事件: userDeposit(address, currency, amount)

• 狀態變更: 系統資金池 -amount

• 狀態變更: 用戶資金池 +amount

• 失敗事件: userDepositFail

行為: 委託現貨交易

• 成功事件: userPlaceOrder(address, orderDetail)

• 狀態變更: 用戶資金池 -orderDetail.amount

• 狀態變更: 新建委託單委託資金 +orderDetail.amount

• 失敗事件: （無）