I wouldn't be surprised if somebody is already porting them to Solidity on RSK, which should be quite strait forward.