是否有一個 PoW 系統可以在沒有不斷增加的證明大小的情況下顯示累積工作？
假設我在區塊鏈中有一個高度為 100,000 的輸出。在高度 200,000 處，我想證明我的輸出具有建構在其上的 100k 塊的工作，從而保護它。在比特幣中，證明輸出具有 X 數量的雜湊保護它需要提供完整的標頭鏈，或 80 字節 * 100,000。
是否有替代的工作證明，這些“工作證明”的大小不會無限增長？
編輯：
現在我找到了一些資源，我正在尋找的術語是“緊湊 SPV 證明”。
建議對比特幣進行更改（在標題中添加跳過列表），這將使這成為可能。請參閱Blockstream 的側鏈論文附錄 B ，高效 SPV 證明：
緊湊 SPV 證明的靈感來自 skiplist [Pug90]，這是一種機率資料結構，它提供對數複雜度搜尋而無需重新平衡（這很好，因為無法重新平衡諸如區塊鏈之類的僅附加結構）。我們需要對比特幣進行更改，以便每個區塊頭都送出給它之前的區塊頭，而不是送出給它的每一個祖先。這些承諾可以儲存在默克爾樹中以提高空間效率：通過在每個塊中僅包含一個根雜湊，我們可以獲得對樹中每個元素的承諾。其次，在提取 SPV 證明時，允許證明者使用這些承諾跳回鏈中多個連結的區塊，前提是標題實際證明的工作超過了僅通過直接前導連結證明的總目標工作。結果是一個簡短的 DMMS，它證明了與原始區塊鏈一樣多的工作。
[…]
因此，如果我們想一次跳過整個剩餘鏈，我們希望只搜尋一半；根據同樣的論點，我們預計僅在四分之一之後跳過這一半，在八分之一之後跳過本季度，依此類推。結果是預期的總證明長度與鏈的原始長度成對數。對於一條百萬區塊鏈，整個鏈的預期證明大小僅為 log2(1000000) ≈ 20 個頭。這將 DMMS 的大小降低到幾十個千字節的範圍。
另請參閱關於緊湊 SPV 證明的比特幣開發郵件列表上的 Mark Friedenbach 的電子郵件：http: //sourceforge.net/p/bitcoin/mailman/message/32111357/