花了一些時間深入研究 Cosmos IBC Eureka 在以太坊上的 SP1 Tendermint 輕客戶端。 好奇較新的 SP1 版本是否仍能與現有已部署的驗證器配合使用，而無需升級合約。 發現了一些有趣的內容。 我提取了全部 4 個官方生產環境的 ELF 檔案，並使用 SP1 v6.1 和 v6.9 重現了它們精確的程式驗證金鑰。 接著，生成了一個真實的 Cosmos Hub Tendermint 更新證據，並使用這兩個版本執行了原始的生產環境 ELF。 兩次執行均通過，產生了完全相同的 768 位元公有輸出、相同的執行 Gas 費用以及相同的 SHA-256 哈希值。 更有趣的是： SP1 v6.1、v6.9 和 v6.10 均仍報告電路版本為 v6.1.0。 我比較了 v6.1 和 v6.10 的實際 Groth16 驗證金鑰二進位檔，發現它們逐位元完全相同。 它們的 SHA-256 哈希值也與已部署於以太坊上的驗證器哈希值一致： 0x4388a21c687fdd5f218d7e3d13190cac4c5355818d3605fd5fb811df468ee696 因此，在程式身份、執行和 Groth16 驗證金鑰層面，這些版本之間的相容性依然保持良好。 尚未使用較新的證明器生成真實證明，也未測試其與線上以太坊驗證器的相容性，這將是下一步工作。 有趣的是，證明堆疊的許多部分可以變更，而驗證介面卻保持不變。