
Đã dành một chút thời gian tìm hiểu sâu về SP1 Tendermint light client của Cosmos IBC Eureka trên ethereum. Tò mò liệu các phiên bản SP1 mới hơn có vẫn hoạt động được với verifier đã triển khai hiện tại mà không cần nâng cấp hợp đồng hay không. Đã phát hiện ra một số điều thú vị. Lấy về cả 4 ELF sản xuất chính thức và tái tạo chính xác các khóa xác minh chương trình của chúng bằng SP1 v6.1 và v6.9. Sau đó, tạo ra một bằng chứng cập nhật Tendermint thực tế của Cosmos Hub và thực thi ELF sản xuất ban đầu bằng cả hai phiên bản. Cả hai lần thực thi đều thành công và tạo ra đầu ra công khai giống nhau, dài 768 byte, cùng mức gas thực thi và cùng hash SHA-256. Phần thú vị hơn: SP1 v6.1, v6.9 và v6.10 đều vẫn báo phiên bản mạch là v6.1.0. So sánh các tệp nhị phân khóa xác minh Groth16 thực tế từ v6.1 và v6.10. Chúng giống nhau từng byte. Hash SHA-256 của chúng cũng khớp với hash verifier đã được triển khai trên ethereum: 0x4388a21c687fdd5f218d7e3d13190cac4c5355818d3605fd5fb811df468ee696 Vì vậy, ít nhất ở cấp độ danh tính chương trình, thực thi và khóa xác minh Groth16, sự tương thích vẫn được duy trì giữa các phiên bản này. Vẫn chưa tạo ra bằng chứng thực sự bằng trình chứng minh mới hơn hoặc thử nghiệm nó với verifier ethereum đang hoạt động. Đó là bước tiếp theo. Thú vị khi thấy có bao nhiêu thành phần trong stack chứng minh có thể thay đổi trong khi giao diện xác minh vẫn giữ nguyên.

