然而，一種觀點一再重復(fù)就容易被視為真理。當(dāng)大家都在重復(fù)同一觀點時，人們往往選擇相信這個觀點，而不去深入思考波卡的安全性設(shè)計是否牢固。波卡基于Validator的巡查制度能提供多高的安全性，值得質(zhì)疑。

在最近的一篇博客中，烤仔提到了波卡的跨鏈延遲問題。根據(jù)GavinWood在hackmd.io的博客中所說，一個平行鏈的確認(rèn)時間可能需要一分鐘左右。烤仔對此感到吃驚，因為波卡的Validator數(shù)量相對較少。如果這些少數(shù)Validator存在問題，錯誤的賬本狀態(tài)可能會通過中繼鏈傳播到其他平行鏈，最終破壞整個波卡的正確性和安全性。

為了緩解這種安全威脅，波卡允許任何人提交錯誤證明，并給予足夠的時間來提交這些錯誤證明，這是波卡公鏈安全性的重要組成部分。在以太坊的二層協(xié)議OptimisticRollup中，錯誤證明的提交窗口是以天計算的。但是，在波卡中，這個窗口時間被設(shè)定為不到一分鐘。

GavinWood解釋了為什么設(shè)計如此短的窗口時間。由于波卡引入了secondary-checkers，原本的允許任何人提交錯誤證明的設(shè)計就沒有必要了。如果fishermen能夠在一分鐘內(nèi)提交錯誤證明，那么他們?nèi)匀豢梢赃@樣做，但是波卡對此并不關(guān)心。

那么，為什么secondary-checkers可以替代fishermen的位置呢？根據(jù)白皮書4.4.2章節(jié)的介紹，第三級的有效性檢查由一些隨機和私密分配的Validator執(zhí)行。Validator的數(shù)量取決于fishermen和collator報告的異常數(shù)量。這種設(shè)計可以防止攻擊者與當(dāng)前平行鏈的Validator相互勾結(jié)，因為你不知道哪些Validator是秘密檢查組的成員。

然而，這種設(shè)計無法阻止一個壞的Validator被選入秘密檢查組中，因此無法完全取代fishermen。盡管該設(shè)計可以提高波卡生態(tài)的安全性并增加攻擊的難度，但它不足以完全取代fishermen，因為它無法排除暗訪的Validator本身是惡意的情況。

然而，波卡放棄了fishermen這一設(shè)計。在白皮書中沒有提到他們設(shè)定了極短的錯誤證明窗口，也沒有提到他們在安全設(shè)計中放棄了fishermen。在與另一個公鏈項目比較性能時，GavinWood又提到了一分鐘的參數(shù)來展示波卡的性能，對安全性則只字未提。

波卡的跨鏈延遲一小時固然有一定局限性，但如果為了追求效率而放棄安全性，波卡越發(fā)繁榮，也就越容易吸引攻擊，最終可能會破壞整個波卡生態(tài)。

對于波卡平行鏈的開發(fā)者，建議是要做一個誠實的開發(fā)者。上述討論的所有安全威脅都需要平行鏈全節(jié)點的參與。只要保證自己的平行鏈不出錯，無需擔(dān)心其他平行鏈的問題，即可問心無愧。

對于波卡未來生態(tài)的用戶，應(yīng)謹(jǐn)慎選擇平行鏈。波卡的Validator機制并不能提供足夠的安全性，但平行鏈的全節(jié)點可以彌補這一不足。選擇節(jié)點數(shù)量足夠多、分散度足夠高的平行鏈，可以緩解安全性問題。然而，一個平行鏈被Validator操縱的后果會通過跨鏈消息傳播。即使自己選擇的平行鏈很可靠，也會受到來自其他不可靠平行鏈的跨鏈資產(chǎn)的影響。

對于DeFi合約的開發(fā)者來說，波卡的跨鏈故事可能很新穎，但波卡生態(tài)并沒有帶來太多新功能。相關(guān)功能，如零知卷疊和隱私計算等，都可以通過EVM合約或二層網(wǎng)絡(luò)設(shè)計完成。在性能方面，波卡的技術(shù)架構(gòu)注定了單個平行鏈的性能不如以太坊，因此波卡只能通過增加多鏈性能來超越以太坊單鏈性能。然而，多鏈無法很好地平衡跨鏈延遲和安全性，使得互操作性成為一種需犧牲安全性才能實現(xiàn)的功能，這在公鏈領(lǐng)域是獨一無二的。而EVM生態(tài)的性能問題已經(jīng)被許多新興公鏈解決。

最后，波卡放棄fishermen的改動是一顆定時炸彈，你永遠(yuǎn)不知道它何時會爆炸。選擇在一個足夠去中心化、兼容EVM、有用戶和生態(tài)基礎(chǔ)、高性能的

熱點：公鏈 項目