Витратив певний час на вивчення Cosmos IBC Eureka's SP1 Tendermint light client на Ethereum. Цікавилося, чи можуть новіші версії SP1 все ще працювати з існуючим розгорнутим верифікатором без необхідності оновлення контракту. Знайшов цікаві речі. Витягнув усі 4 офіційні виробничі ELF-файли та відтворив їхні точні ключі верифікації програми за допомогою SP1 v6.1 та v6.9. Потім згенерував справжній свідок оновлення Tendermint Cosmos Hub та виконав оригінальний виробничий ELF-файл за допомогою обох версій. Обидва виконання пройшли успішно та дали ідентичні 768-байтові публічні вихідні дані, однаковий газ виконання та однаковий SHA-256 хеш. Більш цікава частина: SP1 v6.1, v6.9 та v6.10 всі все ще повідомляють про версію схеми v6.1.0. Порівняв реальні двійкові файли ключа верифікації Groth16 з v6.1 та v6.10. Вони ідентичні байт у байт. Їх SHA-256 також збігається з хешем верифікатора, вже розгорнутим на Ethereum: 0x4388a21c687fdd5f218d7e3d13190cac4c5355818d3605fd5fb811df468ee696 Отже, принаймні на рівні ідентичності програми, виконання та ключа верифікації Groth16, сумісність зберігається між цими версіями. Ще не згенерував справжнє доведення за допомогою новішого прувера чи не тестував його проти живого верифікатора на Ethereum. Це наступний крок. Цікаво бачити, наскільки багато компонентів стеку доведення може змінюватися, поки інтерфейс верифікації залишається незмінним.