本文由IPFS原力區原作
FIP是針對Filecoin協議的改善提案集，0002號提案就Lotus v0.7.2所使用版本的扇區故障與時空證明失敗對礦工懲罰措施做多條建議性參考，參考的採納需要Filecoin團隊與技術社羣共同探討。
為閱讀理解更為通暢，請先了解以下資訊：
WindowPoSt每半小時為一個視窗，一天有48個視窗；同一視窗每天在相同時段都要做WindowPoSt，即週期性執行的任務。
扇區分為三類，其一稱為nonfaulty：從未故障的扇區；其二稱為DeclareFault：礦工宣告故障的扇區準備修復但尚未修復；其三稱為Skipped扇區：網路檢查出來的故障扇區且仍處於故障。
分割槽的定義：一個分割槽有2349個扇區，扇區故障會影響整個分割槽的懲罰。
問 題
由於扇區故障檢測費的規則設計，未及時提交WindowPoSt的礦工將受到網路的過高懲罰。有時誠實的礦工可能會因無法控制的原因，比如網路堵塞沒有人及時打包而錯過視窗內WindowPoSt提交的最後期限，在相關時間視窗內丟失WindowPoSt或由於單個扇區而使WindowPoSt失敗會導致整個分割槽的2349個扇區全部被罰款。
協議應該更加包容這些情況，同時要讓礦工保持強烈的動機，在整個服務合同的生命週期中提供可靠的儲存。
細則調整
為了使懲罰機制更能包容節點（部分模組）間或的不可控停運，讓儲存挖礦的體驗更加舒適，使Filecoin成為一個對儲存提供商更具吸引力的市場，同時兼顧客戶對儲存可靠性的擔憂，FIP0002減少了初次故障的懲罰，同時增加了持續故障的懲罰費用，以抑制礦工提供不可靠儲存的動機。
在不犧牲很多安全性或儲存能力的前提下減少扇區故障檢測費，包括：
不會產生費用：如果某一個視窗期內沒有查到故障扇區，這個視窗期即使WindowPoSt未按時提交也不會產生任何罰款費用（前提是首次未按時提交）。
產生費用：在某些分割槽存在故障扇區時，如果視窗期未提交成功WindowPoSt，這些故障扇區會產生扇區故障費。
費用統計區間：在每個視窗期，從檢測到故障扇區後的第一個deadline開始，將產生扇區故障費。
分割槽是扇區的集合，但某些分割槽內的故障扇區礦工已經主動宣告故障，對於正在恢復的扇區和有故障的扇區，希望有以下改善：
對於每個透過時空證明的被恢復扇區：目前恢復礦工算力，但扣除扇區故障費罰款；建議恢復算力的同時不收取任何罰款。
對於每個宣告為skipped的扇區：當前設計為刪除礦工算力，同時網路將該扇區標記為有故障，扣除礦工的扇區故障檢測費（SP）+扇區故障費（FF），該視窗期後開始計算扇區故障費；建議刪除礦工算力並標記扇區故障，但不收取任何罰款，該視窗期後開始計算扇區故障費。
對於未提交時空證明的分割槽：當前版本對所有故障扇區進行扇區故障費的懲罰、懲罰分割槽中每個扇區的扇區故障檢測費，並刪除分割槽中所有扇區的算力；建議改為刪除分割槽中所有扇區的算力、懲罰每個故障和正在恢復故障的扇區的扇區故障費，但不會對從未有過故障的扇區做故障費相關懲罰。
常量調整
網路的設計希望礦工儲存資料後在每個時空證明視窗期截止前成功提交WindowPoSt，這是合理的策略。但目前的協議設計導致礦工在單個分割槽中有很多故障，那麼礦工可能更願意不提交證明，而不是主動宣告故障（對於分割槽內故障扇區大於30％的礦工來說，宣告故障成本更高）。
為了具有更循序漸進的懲罰結構，官方評估了一個Markov Decision模型，此模型表達了礦工需要為儲存合約提供的穩定時長至少要達到60％的儲存服務要求時長，只有正常執行時間大於60％時才會產生正的收益期望。基於這一點，扇區故障費常數係數最低需要設定為3.51。
這樣既減少了對新出現故障的扇區的罰款，也增加了對持續故障的罰款，可以有效地降低罰款風險，同時使更改最小化。
總 結
對於FIP0002提到的所有對於誠實礦工更加友善和降低成本的調整細則，讓礦工的容錯空間拓寬，對於通證的流動量也有一定積極意義。FIP0002一定程度上簡化了懲罰機制的顆粒度，但目前提案仍處在未執行階段，具體的再議空間還有很大，對於經濟模型的持續性調整也如預期，最後，實施的快與慢對全體礦工都有節奏性、時間成本的影響，願技術社羣和Filecoin團隊為Filecoin生態帶來更多的確定性，一起變化與共建。
