These is needed because SPEL currently doesn't support PDA calculation the way our programs do (we wrap our seeds in SHA256)