This is a work-in-progress solidity implementation of IBC Eureka. - View it on GitHub