Godel hash encoding for ds