觀測地平線：權益證明系統中具時間限制的離線可驗證性
本筆記試圖將權益證明系統中弱主觀性底層的驗證邊界正式化，並引入觀測地平線的概念，即離線驗證者僅透過協議驗證就能唯一確定規範歷史的最長持續時間。
這篇筆記試圖將權益證明（Proof-of-Stake）系統中弱主觀性（weak subjectivity）背後的驗證邊界正式化。
它引入了「觀察地平線」（observation horizon）的概念：即離線驗證者僅憑協議驗證就能唯一確定規範歷史的最長持續時間。
在標準的遠程攻擊者模型下，本文論證了具有基於簽名的終局性（finality）和有限罰沒性（slashability）的權益證明系統，其觀察地平線是有界的。超過此區間後，多個協議有效的歷史對於離線觀察者而言可能變得無法區分。
其目的並非提議修改協議，而是為了釐清弱主觀性在運作上所應對的安全參數。
完整筆記附於下方。非常歡迎提出評論與回饋。
Observation_Horizon_Time_Bounded_Offline_Verifiability_in_Proof_of_Stake_Systems.pdf (222.5 KB)
1 則貼文 - 1 位參與者
[閱讀完整主題](https://ethresear.ch/t/observation-horizon-time-bounded-offline-verifiability-in-proof-of-stake-systems/24297)